用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第6521-6540项 搜索用时 124 毫秒
[首页] « 上一页 [322] [323] [324] [325] [326] 327 [328] [329] [330] [331] [332] 下一页 » 末  页»
6521.
  
随着数据处理能力的不断提高,高速接口的应用越来越广泛。高速接口的测试难度较大,需要依靠工程师的经验和较长时间的分析才能确定故障的类型和位置。通过故障状态下高速接口的波形形态分析,确定了故障与故障波形之间的对应关系,降低了故障分析定位代价。实验系统以实际PCIE IP核构造了片间传… …   相似文献
6522.
研究生调剂是研究生招生中的重要环节.传统的调剂方法都是通过手工操作的,考生很难从往年大量的调剂数据中分析出规律,选报合适的学校.提出了基于半监督学习的数据挖掘方法,也即是从已知类别的训练样本提取出其中的关联规则作为分类的监督信息,并结合非监督学习方法中的K-mean聚类算法,对大… …   相似文献
6523.
下载全文  总被引：17，自引：1，他引：17
冯铁  张家晨  陈伟  金淳兆 《软件学报》2000,11(8):1078-1086
6524.
  总被引：4，自引：0，他引：4
随着高性能芯片及高性能计算的应用,人们对调试器的要求不再仅局限于“正确性调试”,而是更进一步要求进行“性能调试”,即在正确性的基础上,通过对程序的细调而获得最佳性能.正确性调试和性能调试通常由独立的工具支持,这种模式已不能很好地支持高性能计算.介绍了一个为高性能SIMD芯片设计的… …   相似文献
刘强  张兆庆  乔如良 《软件学报》1999,10(2):220-224
6525.
传统的基于实体标识的授权模型会导致由于授权路径的不一致而引起权限传播的不一致,并可能导致不合法的实体进入授权路径获得不应有的权限.针对以上两方面的问题,提出一个基于属性的授权委托模型ABADM(attribute-based authorization delegation mo… …   相似文献
吴槟  冯登国 《软件学报》2011,22(7):1661-1675
6526.
在软件系统中,缺陷定位是缺陷修复的一个关键环节,如果能将缺陷自动定位到很小的范围,将会极大地降低缺陷修复的难度.基于高斯过程提出了一种缺陷定位方法（GPBL）,即针对每个缺陷,向开发人员推荐这个缺陷可能存在于哪些源文件中,从而帮助开发人员快速修复缺陷.为了验证方法的有效性,采集了… …   相似文献
陈理国  刘超 《软件学报》2014,25(6):1169-1179
6527.
  
基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基于描述逻辑的CBR目前存在的问题并相应地提… …   相似文献
6528.
下载全文  总被引：5，自引：0，他引：5
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕… …   相似文献
6529.
下载全文  总被引：2，自引：1，他引：2
并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋,ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中,所有对象都是并发对象,对象间的通讯都采用异步消息发送方式．… …   相似文献
温冬婵  王鼎兴  张宁 《软件学报》1997,8(6):401-408
6530.
针对现有基于身份的多接收者签密方案中存在的接收者身份泄露以及解密不公平性等问题,提出一种具有解密公平性的基于身份的多接收者匿名签密方案。新方案不仅能够解决现有方案中不能保护接收者身份隐私性的问题,并且满足解密公平性,从而有效地防止了发送者可能的欺骗行为。接着,基于双线性Diffi… …   相似文献
庞辽军  李慧贤  崔静静  王育民 《软件学报》2014,25(10):2409-2420
6531.
讨论了一类只含三角函数的三角形几何不等式的自动证明问题.运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二元多项式不等式的证明,设计的基于胞腔分解和实根分离的算法实现了二元多项式不等式的自动证明,输出的证明过程可以手工验证或借助一些数学软件进行理解.实验表明上述算法… …   相似文献
6532.
下载全文  总被引：2，自引：0，他引：2
科学计算可视化技术（Visualization in Scientific Computing）,是一门融合了包括图形学、图象处理、数据管理、网络技术、人机界面等多个计算机学科在内的综合技术。由于电力科学具有数据量大、分析复杂等特点,科学计算可视化技术与电力系统的结合有着广阔的应… …   相似文献
6533.
  总被引：2，自引：0，他引：2
当前,自适应界面已成为人机界面研究的一个方向。首先介绍了有关自适应界面的一些基本概念,并在此基础上提出了一个人机界面的自适应机制。对该机制的系统结构、实现技术进行了广泛的讨论,该机制已被应用于集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统－ＧＳ－ＩＣＣＣ的研制工作中。同时介绍了该机制的一些实… …   相似文献
陈刚  吴刚  董金祥  何志均 《软件学报》1998,9(10):748-754
6534.
Windows自定义未处理异常过滤器在程序崩溃时是查找原因的重要途径,实现了一种使用IAT(Import Address Table) Hook改变Windows处理未处理异常的流程来调试自定义未处理异常过滤器的代码的方法,简化此部分代码的错误检查工作,此方法兼容性和复用性较高。… …   相似文献
吴标  赵方 《计算机系统应用》2009,18(12):215-219
6535.
按照H.323的扩展协议H.332,研究并开发了一个分布式视频会议系统。系统基于IP组播网络,具有与会成员的身份认证机制,会议全过程采用分布式控制和管理,并基于RTP/RTCP协议,对系统音视频实时发送和接收过程中的丢包、同步和时延抖动问题给出了有效的处理方法,保证了一定的服务质… …   相似文献
6536.
下载全文  总被引：8，自引：0，他引：8
基于Java技术、人机交互决策技术与数据库等技术,解决了B/S模式下水库洪水调度系统的安全性和平台无关性的问题,实现了水库调度人机交互的图形化和洪水调度规则的通用化,并完成了基于B/S模式的水库防洪调度系统的设计与开发。  相似文献
6537.
下载全文  总被引：4，自引：2，他引：2
提出了一种Contourlet域的基于奇异值分解的鲁棒水印算法。综合Contourlet变换和奇异值的优点,选择宿主图像Contourlet变换后的低频子带和能量最大的高频子带作为水印嵌入子带,分别嵌入水印信息。水印提取时,从两个子带水印中选择NC值较大的作为最终提取的水印。实验… …   相似文献
6538.
本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量。文中给出了ＣＬＯＳＵＲＥ分析,抽象分析,标记和例化较完整的形式描述。  相似文献
陆卫东  金成植 《软件学报》1996,7(10):634-640
6539.
三维景观模型的生成是近年来GIS领域研究的一个热点问题,它可将航测数据库数据转换成可视化的三维视觉显示图像,能逼真呈现线路所经区域的地形环境,有着广泛的应用前景。基于航片利用microstation软件和ImageStationSSK获取城市三雏景观建模所需的基础空间数据,并对数… …   相似文献
6540.
为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运行时检测的代码插桩;然后用BLAST提供的自定义安全属性语言对这些插桩代码进行相关约束描述;最后让BLAST根据约束描述文件对代码插桩后的程… …   相似文献
[首页] « 上一页 [322] [323] [324] [325] [326] 327 [328] [329] [330] [331] [332] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持