•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第891-900项 搜索用时 63 毫秒
[首页] « 上一页 [85] [86] [87] [88] [89] 90 [91] [92] [93] [94] [95] 下一页 » 末  页»
891.
介绍了一种新型智能传感器的原理、整体设计及应用。以PIC16F687 单片机为核心,通过Modbus 通信协议,利用RS-485 总线实现远程遥控,遥测的功能。该智能传感器具有硬件结构简单,体积小,测量精度高,可调整性强等优点,易于实现集群控制。  相似文献
892.
下载全文  总被引:1,自引:0,他引:1
孟小峰  高宏 《软件学报》2014,25(4):691-692
893.
下载全文  总被引:1,自引:0,他引:1
于磁盘系统的机械运动本质,磁盘系统I/O往往会成为计算机系统的性能瓶颈.为了有效地提高系统性能,收集和分析应用系统的磁盘I/O特征信息将成为性能优化工作的重要基础.与以往I/O特征分析方法不同,给出了一种基于Xen 3.0虚拟机系统的磁盘I/O特征在线分析方法.在虚拟机环境下,该… …   相似文献
沈玉良  许鲁 《软件学报》2010,21(4):849-862
894.
下载全文  总被引:1,自引:0,他引:1
全球路由表的高速膨胀,使互联网路由系统的可扩展性面临着严峻的挑战.为了缩减路由表,很多研究提出了新的路由解决方案.在介绍了互联网路由系统现状之后,从较高层次上将存在的解决方案分为短期方案、路由架构和可扩展路由算法3部分.着重介绍了路由算法和路由架构这两类工作,对经典的可扩展路由算… …   相似文献
唐明董  张国清  杨景  张国强 《软件学报》2010,21(10):2524-2541
895.
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.  相似文献
黄达明  曾庆凯 《软件学报》2009,20(8):2051-2061
896.
下载全文  总被引:10,自引:0,他引:10
提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文… …   相似文献
897.
利用数据挖掘工具Weka,在常态数据集adult上进行实验,从时间、正确率、误差率三个指标对比分析J48(C4.5决策树),朴素贝叶斯分类器,朴素贝叶斯树(NBTree)三种分类算法.结论为:在内存充足,时间要求不高的情况下,使用朴素贝叶斯树(NBTree)能获得更高的正确率和错… …   相似文献
898.
针对嵌入式系统中大容量存储设备及其管理方面的需求,分析了传统的固定单元管理方式的弊端,提出了一种针对大容量Flash存储系统的灵活的管理方案。该方案通过实际访问量来动态地管理Flash,提高了操作效率,同时也减少了资源占用,保证了系统的性能。  相似文献
899.
如何高效快捷地存取LOB类型数据是数据库应用程序开发的一个技术难题。对此,提出基于OCCI技术存取Oracle数据库LOB类型数据的一种方法,举例阐述了其技术实现过程,同时给出在VC6.0环境中已通过调试的源代码。该方法具有简单快捷、容易处理的优点。  相似文献
900.
基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在潜在问题点自动插装动态验证函数… …   相似文献
黄强  曾庆凯 《软件学报》2011,22(9):2036-2048
[首页] « 上一页 [85] [86] [87] [88] [89] 90 [91] [92] [93] [94] [95] 下一页 » 末  页»