考虑测试效率的软件可靠性模型研究

对软件可靠性模型的研究,主要集中在如何使所建立的模型尽可能地贴近实际情况.目的是提高软件可靠性模型的拟合能力,使可靠性模型能更好地对软件将来的失效行为进行预测.经典非其次泊松过程模型的假设条件都忽略了不完全排错以及排错时引入错误的可能性,也没有考虑到在测试过程中资源投入等问题.笔者认为在测试过程中,投入的资源、测试环境以及测试人员的努力程度对测试的结果有一定的影响.同时,考虑到软件排错过程中新错误的引入和错误的不完全排除等情况,提出了一种考虑测试效率的可靠性模型.通过与已有模型进行仿真试验对比显示,新模型具有更好的拟合性能,具有很好的工程实践意义.     

基于补偿系数的DV-HOP定位的改进算法

DV-Hop定位算法是一种重要的无需测距定位算法.在各向同性的密集网络中,它可以获得比较合理的定位精度,然而在随机分布的网络中,节点的定位误差较大.根据DV-Hop算法的定位过程,利用最小均方误差法对平均跳距进行改进,并考虑到传感器节点通常部署在非平面应用场景,通过补偿系数来校正未知节点到信标节点之间的估计距离,提出一种基于补偿系数的定位算法.仿真结果表明,在适当增加节点计算开销的条件下,改进算法的定位精度有明显改善,是一种可行的无线传感器网络节点定位解决方案.     

用于图学习的主干图核方法

对于结构化数据的学习是数据挖掘领域一个重要的分支.至今,出现了许多十分优秀的结构化数据学习方法.核方法是其中有效的学习方法之一,文中在G(a)ertner等人研究的基础上,提出了一种主干图核方法.该方法定义了图中重要程度较高的子结构为主干图,它有效地降低了图学习的规模.利用随机路径核函数来定义主干图核函数并对不同阶的主干图给予不同的权重.通过自适应的离散粒子群算法来对核相似矩阵进行学习.实验结果表明,文中方法能够很好地对图数据进行学习.     

二进制翻译中代码生成的子图覆盖算法

二进制翻译技术能够有效解决二进制兼容问题,促进新型体系结构的发展,也是虚拟机技术的重要组成部分,具有重要的研究和应用价值,但是其效率仍然有待提升,特别是目标代码生成的效率。设计了一种高效的目标代码生成算法——代码生成的子图覆盖算法(subgraph covering for code generation,SCCG),能够以尽可能少的代价生成精简的目标代码。该算法应用数据流图对二进制代码中的基本块进行建模,获取指令间的数据相关,并采用基于子图覆盖的贪心算法得到目标代码。在TransARM原型系统中进行了实现和测试,结果表明该算法获得了更优质的目标代码,并且成本得到了有效控制。     

浮点到定点的高效翻译策略研究

动态二进制翻译中,在目标平台没有浮点部件、不支持浮点运算的情况下,浮点指令只能通过模拟解释执行。浮点指令的解释执行造成翻译系统效率急剧下降。通过将浮点指令运算转化为定点运算,解决了浮点指令在目标平台的翻译,为浮点指令的翻译找到了新的途径。在动态二进制翻译系统中进行实验,验证了翻译方法的可行性。实验显示翻译系统的性能有明显提升,含有浮点指令的比例越高,算法能够获得的加速比越高,对含有25%浮点指令的程序,该算法能达到1.55的加速比。     

无人值守泵站自动化技术改造案例

介绍宜兴水务集团泵站自动化控制系统的组成与功能,着重论述改造前后控制方式的变化和达到的效果。     

基于μC/OS-II的虚拟机模型设计与实现

随着科技的不断进步,形形色色的移动机器人进入了人们的日常生活。为提高移动机器人的开发效率,本文在μC/OS-II基础上提出了一种虚拟机模型,构建了指令系统,可以执行自定义的虚拟机指令。虚拟机系统与底层软、硬件相互独立,具有良好的可移植性,使开发人员可以专注于机器人的功能设计,有效地提高了移动机器人应用软件的开发效率和灵活性。实践表明,该虚拟机运行稳定、可靠、安全,具有良好的实用性和推广价值。     

基于Windows的开放式数控系统实时任务调度研究

对以Windows操作系统为平台的开放式数控系统实时多任务处理方案进行了研究。在探讨了基于Windows的多任务和多线程的实现方法、Windows的任务调度模式和实时性的实现形式的基础上,应用VC++6.0编程,给出了基于Windows XP开发的开放式数控系统的模块框架、多任务调度实现方案,并提出了一种新的处理实时性任务的方法;实现了数控总控软件的实时任务调度和多线程的应用。     

云存储及其安全性研究

云存储是在云计算概念上延伸和发展出来的一个新的概念,旨在对外提供数据存储和业务访问服务。在分析云存储基本概念、结构和特点的基础上,对云存储的安全性进行了研究和分析。云存储的安全性问题是制约云存储发展的首要问题,针对非法访问、数据泄漏、数据存取故障等安全问题提出了挑战-应答式的云存储身份认证、基于用户与密钥关联的加密存储、数据恢复等多项安全解决方案,能够避免传统身份认证口令被攻击的风险,使用户可以选择加密算法使用密钥进行数据加密,以及透明地为用户提供快速且与存取并行的数据恢复。     

军事无线传感器网络路由协议的研究

针对军事无线传感器网络节点部署区域的特殊性及节点易遭破坏的特点,提出了基于LEACH协议的军事无线传感器网络簇头多跳算法(LEACH-HOP)。模拟仿真证明,LEACH-HOP与LEACH相比具有更好的性能,可以有效延长网络生存时间。