基于不变量的程序修复进化扩展模型*

为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型（extended repair evolutionary model,EREM）,利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束（称为正不变量约束）来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证,结果表明了     

针对软件修复的相对相似性评价模型*

利用软件修复的局部性和针对性,将行为观察序列相似性度量与软件修复过程本身相关联,引入相对相似性评价指标,建立软件修复相对相似性评价模型。该模型将修复验证问题转化为修复后行为相似性度量问题,克服了现有修复技术缺乏有效评价的缺点。在实验中分别对补丁和动态修复进行研究,对比了地址对序列、系统调用序列以及混杂序列,说明评价模型的工作方式,实验表明了模型的有效性,同时说明了混杂序列具有更强的表达能力。     

非承重墙管线及密集管线"先管后墙"喷法成形施工技术

对墙体中预埋管线、电箱尤其密集管线部位的施工基础进行了分析、实践和总结.通过对项目强弱电箱部位、多管线多线盒部位采用管线预安装砌体预留后喷浆的方法,高效率、高质量地完成了二次结构非承重墙体,密集管线部位免开槽施工.该施工技术工艺安全可靠,质量、工期效益明显,减少了人工及建筑垃圾的产生,绿色环保.     

住宅产业化对节能省地型住宅推广的影响分析

为了达到大力推广节能省地型住宅的目标，依据住宅产业化与节能省地型住宅的相互关系，本文利用层次分析法对影响推进住宅产业化的各种实旌措施进行了影响程度的排序分析，得出了影响节能省地型住宅推广的关键因素，并提出了建议。     

计算机网络信息安全及防护策略研究

近些年来,互联网经济发展迅猛,网络信息的安全也逐步受到更多人的重视。计算机网络信息快速发展,信息的更新速度和共享能力逐渐提高,缩短了人们获取信息和新闻的时间,但是在快速计算机网络信息沟通共享的同时,必然带来网络信息安全的风险同步增大。本文从威胁网络信息安全的因素分析入手,综合研究了常用的计算机网络信息安全防护策略。     

基于模块耦合性的风险关联性研究

已有的软件风险管理研究主要集中在对整个系统的所有模块的风险管理,为了缩小风险管理的范围,提出了模块风险关联集的概念,将风险管理缩小到相关模块的管理.基于模块耦合性的相关理论方法对模块风险关联性进行定义和分析,提出了模块风险关联度和模块风险关联集的概念,给出模块耦合度,将系统风险分析缩简成为模块和相关模块风险分析.在此基...     

抗毁的混合移动自组织网路由策略

针对战场毁伤条件下移动自组网（MANET）普通路由算法性能下降的问题,在含有抗毁增强节点的混合MANET网络中,融合了普通MANET路由和容迟网络(DTN)路由设计了抗毁性增强路由协议STHR,并且为了降低网络负载和冲突对STHR中抗毁增强节点的选取算法进行了设计。在网络遭受毁伤甚至出现分割情况下,MANET路由扩展环无法到达目标节点,但借助具有区域覆盖特性的抗毁增强节点转入DTN路由,可以保证在一定时延容忍前提下,仍能保持较高的分组投递率。通过ONE仿真平台实验,结果表明在毁伤情况下,STHR的分组投递率要优于AODV路由,而路由时延低于DTN喷雾等待路由。     

面向RFID数据流冰川查询的世系追踪模型

为了获得RFID数据流中热门元素以及相关起源的信息,需要对RFID数据流进行带起源信息的冰川查询。以RFID数据流中单个数据对象的世系追踪为研究对象,分析在海量RFID数据流基础上返回极少查询结果的冰山查询执行机理,初步建立一个面向RFID数据流冰山查询的数据流世系跟踪原型模型。     

基于GPRS和PLC的企业电网监控系统设计

针对钢铁企业电网监控系统的现状,设计了基于GPRS和PLC的企业电网监控系统,该系统成本低、覆盖面广,可满足电网系统实时的数据监控要求,提高了工作效率。     

一种故障传播感知的程序故障定位方法

针对现有的基于覆盖的程序故障定位方法不能有效解决故障传播给定位效果带来的影响,该文提出了一种基于传播感知的程序故障定位方法。该方法首先使用收集到的程序覆盖路径信息对可疑节点空间进行压缩来有效降低计算量,然后利用节点在正常执行路径和故障执行路径中出现的频率不同确定可疑空间中的每个节点的初始可疑度,接下来通过引入边传播趋势的概念确定初始可疑度最大的节点是否具有故障传播现象,最后对感知的故障传播相关节点进行可疑度修正来确定节点的最终可疑度。相关示例分析和定位实验结果表明,该故障定位方法能有效降低故障传播给定位准确性带来的影响,定位效果良好,且随着程序规模的扩大在时间开销上较其他方法有很大优势,因而具有较高的实用价值。