基于陷阱网络的未知蠕虫行为模式挖掘

针对传统陷阱网络系统对未知蠕虫行为分析能力的不足，提出了一种基于遗传算法的优化解决方案。通过自定义行为向量构造准确描述网络蠕虫行为的项目集，并利用遗传算法优化未知蠕虫行为模式挖掘结果。对比研究表明，上述方案对行为模式挖掘在两个方面有显著改进：(1)提高了未知蠕虫行为项目集描述的完备性和预测性；(2)提高了既定行为模式的支持度与置信度。论文给出了运用模式相似度对系统感染特定蠕虫后的行为进行检测的统计比较结果，实验结果表明，和现有基于知识工程的方法相比，该方案能有效提高基于陷阱网络的蠕虫行为模式挖掘的精度。     

网格计算:现状与进展

归纳、总结了网格计算研究的目标、体系结构、关键技术以及研究进展。分析了网格计算研究存在的主要问题，指出了网格计算研究领域的总体发展趋势和研究方向。     

一种节能的基于定位的传感器路由算法

基于定位的无线传感器路由算法普遍存在节点能耗过快及能耗不均衡的问题。借鉴SELAR算法的思想,提出一种节能的定位路由算法EELAR。该算法通过选取转发代价最小节点作为中继节点实现数据转发,而转发代价由节点位置和能耗综合计算得出。针对能耗问题,该算法还引入了睡眠机制,节点根据自身能耗随机睡眠。实验证明,该算法使无线传感器网络能耗更均衡,能有效延长整个网络的生存时间。     

那些年一起读家游的兄弟

那一年，我刚上大学。 大学相对高中的好处，就是可以遇到各地一些或奇怪或者牛逼的同学，我那时候就遇到一个奇怪又牛逼的同学，奇怪的是他几乎很少去上课，天天就在电脑房（那时候还没网吧）和电玩房打游戏，牛逼的是他每次考试还都能过，大家都管他叫阿怪，有一天就是在阿怪那里，我看到很多本奇怪又牛逼的杂志——《家用电脑和游戏机》，我至...     

基于精简指令集的软件保护虚拟机技术研究与实现

针对软件知识产权与版权保护需求,对多样性技术和基于虚拟机的软件保护技术进行分析和研究,设计了一种基于寄存器的精简指令集软件保护虚拟机SPVM,并实现了一个具有高强度和扩展性的防逆向工程和篡改、防止核心算法破解和防盗版的软件保护虚拟机系统VMDefender.通过采用多样性和虚拟机等技术,最终实现了防止软件盗版和对软件机密信息以及软件核心技术的保护.     

恒压下树脂在双尺度多孔介质中的流动特性

基于复合材料液态模塑(LCM)工艺过程中存在半饱和区域的实验现象以及对预制体双尺度效应的逐步认识, 一些学者提出用沉浸模型来研究双尺度多孔介质的不饱和流动。通过体积均匀化方法描述了双尺度多孔介质复合材料液态模塑工艺模型的特征, 得到含有沉浸项的双尺度多孔介质的质量守恒方程, 并采用有限元法对方程进行数值求解, 通过具体算例计算了考虑双尺度效应时恒压树脂注射下不同时段的压力分布状态, 得到树脂在填充过程中流动前沿半饱和区域从出现到消失的过程, 采用不同注射压力进行模拟并比较。结果表明, 与单尺度多孔介质模型不同, 双尺度多孔介质模型更能反映实际树脂填充过程中出现的半饱和区域现象。     

黄土连拱隧道二次衬砌的结构分析与监测研究

大跨连拱隧道受结构和跨度的影响,其初期支护与二次衬砌各自承受不同的围岩压力。通过数值计算和现场监测分析表明,二次衬砌所受荷载很大,在初期支护和二次衬砌间存在不均匀压力,二次衬砌也是隧道的主要承载结构。二次衬砌所受荷载大小与其施筑时间有很大的关系,在设计和施工中要合理掌握二次衬砌所承担的荷载比例和以及施筑时间。     

淀粉生物降解材料研究进展

介绍了生物降解材料概念和淀粉生物降解材料的三个发展阶段,简述了国内外研究开发现状,论述了淀粉生物降解材料的应用和目前存在的问题,对淀粉生物降解材料发展进行了展望。     

一个网络安全风险评估模型的研究与设计

风险评估是综合的网络安全体系的基础和关键.在传统的风险评估中,大粒度的评测结果不能给管理员提供切实有用的信息.对此,提出了基于漏洞扫描和攻击效果评测的安全评估模型,采用自下而上、先局部后整体的层次化评估策略,利用服务和主机自身的重要性因子加权,分别计算服务、主机以及整个网络系统的风险指数,进而分析整个系统的安全态势.仿真试验测试表明,该模型能够准确评估服务、主机和网络系统3个层次的安全态势,在一定程度上提高了评估结果的准确性和一致性.     

并发系统模型检测中的状态约减算法

组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。对此提出了基于假定状态约减验证算法(ABSR),通过自动构造子系统接口定义来约束其状态规模,在验证过程中约减冗余状态,能更大程度降低状态爆炸几率和提高验证效率。借助假定-保证(Assume-Guarantee)算法有效性定理和组合可达性分析(CRA)算法安全性验证定理,证明该验证算法的有效性。通过采用通信系统演算(CCS)描述的任务模型为例证,证明上述算法比传统CRA算法更有效。