基于卡尔曼滤波的Internet蠕虫预警系统研究

当前INTERNET蠕虫的频频爆发,使得蠕虫传播成为网络安全的焦点问题。文中结合INTERNET蠕虫的传播模型,提出了通过卡尔曼滤波估计蠕虫的传染率,从而推断网络上是否有新蠕虫传播的INTERNET蠕虫预警系统,并进行了仿真分析。仿真结果表明采用卡尔曼滤波是进行INTERNET蠕虫预警的一种有效方法。     

一种基于防火墙的蠕虫传播与控制模型

防火墙对网络蠕虫传播影响的研究，主要集中在单一子网或小规模企业网范围内，针对多子网网络环境下防火墙对网络蠕虫传播的控制作用，提出了基于防火墙的蠕虫传播与控制模型．通过分析网络蠕虫在各子网内传播以及子网间交互传播，利用防火墙减小各子网间蠕虫的交互感染率，使网络蠕虫的传播得到抑制．利用该模型仿真了均匀扫描蠕虫和本地扫描蠕虫在防火墙网络中的传播．结果表明，防火墙对均匀扫描蠕虫的控制效果比较好；对于本地扫描蠕虫，当本地扫描概率较大时，防火墙的作用相对比较差，与实际情况相符．     

基于MSET的压气机故障预警研究

为了解决压气机故障预警问题,通过对压气机典型运行特性进行分析,提出了一种基于多元状态估计技术(MSET)和偏离度的故障预警方法,并利用MSET建立了压气机正常运行状态下的非参数模型。对观测向量进行最优估计并得到估计向量,观测向量与估计向量之间的差异可以定性反映压气机是否异常。引入偏离度定量衡量观测向量与估计向量之间的偏离程度,然后利用滑动窗口法确定故障预警阈值,当平均偏离度超过预警阈值时,发出预警信息。实验结果表明,该方法有较高的预测精度,可以及时发现压气机的异常,从而实现对压气机运行状态的预警监测,减少经济损失。     

给水管网状态估计的误差分析

以给水管网节点水压估计为目的,提出了管网状态估计的数学模型。并着重对估计的误差进行了分析,对模型进行了验证,提出了合理的迭代终止准则,确定了监测点选点方法和合理的监测点数量。     

基于分割的蠕虫传播抑制方法研究

通过对蠕虫的深入分析，发现了蠕虫的传播速度与网络的规模具有一定的关系。在此基础上，为了有效地遏制蠕虫在大规模网络上的爆发，提出了对网络进行划分以减小网络规模的方法，在划分边界上对蠕虫进行检测和隔离。建立了基于图的网络划分的模型，并提出了一种适于抑制蠕虫传播的网络划分的算法。     

应用改进的V-detector算法检测蠕虫

通过分析主机感染蠕虫后网络流量特性的变化，基于免疫系统的阴性选择机制，提出了一种蠕虫检测方法。首先改进了可变半径实值阴性选择算法V-detector，改进策略是在检测器生成过程中根据非自体空间的分布产生具有尽可能大覆盖范围的检测器。改进算法与原算法相比，所生成的检测器集合中检测器的数量大幅度下降，检测效率提高。应用改进的V-detector算法生成检测器集合监控主机的网络流量特性，以检测蠕虫攻击。实验结果表明，该方法能有效检测传统蠕虫及多维传播的多态蠕虫。     

基于PMI-IMSET的锅炉辅机故障预警

为实现锅炉辅机设备潜在故障预警功能,保障锅炉系统正常运行,提出基于偏互信息和改进多元状态估计技术的故障预警方法。偏互信息法被用于提取故障特征信息及筛选故障相关变量;改进多元状态估计技术被用于构建辅机设备正常状态模型,采用概率分布采样法代替传统采样法构造过程记忆矩阵。采用观测状态与模型估计正常状态之间的滑动平均相似度作为故障预警标准,当相似度低于阈值时触发警报。以循环流化床锅炉引风机为例,结果表明该方法能够有效预警辅机设备故障。     

基于节点异质度分析的蠕虫遏制方法研究

分析了自传播蠕虫的行为特性,对网络节点异(同)质度、拓扑区隔度进行定义及量化。在此基础上,提出了基于拓扑区隔度优化的蠕虫遏制方法,通过增大拓扑区隔度以达到抑制蠕虫传播速度的目的。提出了基于网络监测的良性蠕虫主动对抗方法,将良性蠕虫的扫描范围限定于高危易感主机群,从而更好地兼顾了蠕虫遏制有效性和网络资源消耗低两个方面的优势。采用matlab7.0对上述方法进行了仿真验证,仿真结果表明,以上方法均具有较好的蠕虫遏制效果。     

基于节点自杀的对等网络蠕虫防治方法

结合P2P网络的特点,提出了基于节点自杀的P2P蠕虫防治方法。基于主动探测P2P蠕虫检测方法是一套分布式系统,该系统依赖于分散在P2P网络中的探测节点来收集和分析P2P蠕虫流量,从而建立P2P蠕虫的流量特征,并用于对P2P蠕虫的识别。基于节点自杀的P2P蠕虫防治方法首先采用节点污染技术,将具备蠕虫检测和防御能力的节点分散在P2P蠕虫传播网络中。当这些具备检测功能的节点发现可疑的蠕虫传播流量时,采用自杀方式退出P2P网络,并将相关信息向自己的邻居节点进行通告,从而可有效遏制P2P蠕虫的快速传播。     

蠕虫感染率的抗差估计与最小二乘估计的比较分析

讨论了蠕虫感染率的抗差估计法和最小二乘(LS)估计法,分别从极值原则、参数估计解、误差影响函数等方面进行了较全面的分析和比较.理论分析表明,2种估计法的计算过程十分接近,区别在于权矩阵不同,抗差估计包容了LS估计;参数估计解的抗差性是通过变权来实现的;误差影响函数表明大误差对抗差估计值影响减小,而对LS估计则误差增大.仿真试验结果表明,在有粗差的情况下,抗差估计能够对原始测量值进行降权处理,具有良好的抗粗差能力,保证了拟合结果的可靠性和快速收敛.     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.