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

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

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

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

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

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

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

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

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

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

红外煤质多参数实时分析仪设计

燃煤内不同成分具有不同的红外吸收光谱,吸收程度的大小与该成分的含量具有正相关性。根据燃煤不同成分的红外光谱吸收特性,设计了煤质参数实时分析仪。采用漫反射灰度板替代滤光片作为参比物,实验中具有更好的稳定性。采用多元线性回归法对测量数据进行处理,煤质参数测量结果与化验室化验结果接近,设计可满足使用要求,工作效率较传统化验室化验法有了大幅度的提高。     

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

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

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

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

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

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

基于小波密度估计的数据流离群点检测

为能及时发现数据流上的局部离群点,分析数据流已有的离群点挖掘算法,提出基于小波密度估计的离群点检测算法。利用小波密度估计多尺度和多粒度的特点,通过小波概率阈值判断数据流中当前滑动窗口内的数据点是否为离群点,并对数据流中离群点检测过程进行讨论。仿真结果表明,与核密度估计算法相比,该算法的检测效率与精度较高。