巧妙设Hosts文件防范垃圾邮件与僵尸网络的攻击

尽管垃圾电子邮件最大的发送者McColo已经被关闭．但处于活跃状态的自动运行型木马（也叫做僵尸）数量还是处于持续增加的状态,初步估计速度大概是在每天30万左右。以下将介绍的是怎样预防木马以及在出现后怎样进行有效处理这两个方面。     

State feedback sliding mode control without chattering by constructing Hurwitz matrix for AUV movement

This paper presents a new method to eliminate the chattering of state feedback sliding mode control (SMC) law for the mobile control of an autonomous underwater vehicle (AUV) which is nonlinear and suffers from unknown disturbances system. SMC is a well-known nonlinear system control algorithm for its anti-disturbances capability, while the chattering on switch surface is one stiff question. To dissipate the well-known chattering of SMC, the switching manifold is proposed by presetting a Hurwitz matrix which is deducted from the state feedback matrix. Meanwhile, the best switching surface is achieved by use of eigenvalues of the Hurwitz matrix. The state feedback control parameters are not only applied to control the states of AUV but also connected with coefficients of switching surface. The convergence of the proposed control law is verified by Lyapunov function and the robust character is validated by the Matlab platform of one AUV model.     

上下文无关语言的可重复序列及其性质

通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件.     

基于资源耗费规律的计算系统性能评价

计算系统性能衰退的主要原因是系统资源的损耗,为避免软件衰退导致的高成本,需要对衰退过程中的资源耗费规律进行研究。通过搭建仿真环境,模拟系统的性能衰退过程,采集衰退过程中的系统资源数据,利用小波去除噪声数据,建立资源耗费规律的一元线性回归模型和状态空间模型。实验结果表明,该方法能够有效地检测出系统资源的使用情况,对计算系统的性能做出评价,从而为软件抗衰策略的制定提供数据支持。     

逻辑未知PLD的安全性漏洞检测方法

针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究。通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别算法的性能。针对状态驱动问题,阐明现有驱动算法的实现思想,分析现有驱动算法的空间复杂度,并且针对状态搜索和转移路径长度,定性地分析时间复杂度,提出下一步研究的重点。     

动态七层过滤SIP感知防火墙设计与实现

为了保护SIP通信网络免受攻击,特别是拒绝服务(DoS)或垃圾消息等洪水攻击,防火墙被部署在网络入口用来过滤潜在恶意流量.但由于不支持SIP深度包检测(DPI)与状态包检测(SPI)以及动态RTP/RTCP媒体流"针孔"配置,传统防火墙无法满足SIP通信网络的需求.分析了SIP/RTP协议与呼叫流程,提出了进行SIP深度包过滤(DPI)与状态包检测(SPI)以及动态RTP/RTCP媒体流"针孔"配置的方法,还进一步阐明了它在Linux系统Netfilter框架下的设计与实现.最后给出了此类动态七层过滤SIP感知防火墙的性能评估结果.     

MANET通信网络中基于状态感知与IPSO的路由搜索与优化

报告了MANET网络结构、应用特点以及在路由选择、传输性能自适应方面的现状.针对目前MANET网络节点的智能化程度不高,网络节点及其通信路由的性能参数不能随通信条件适时优化的实际问题,运用状态感知路由选择与免疫微粒群优化算法原理,提出了人工智能与MANET相结合的智能MANET网络结构,论述了智能MANET网络中基于状态感知和免疫微粒群优化算法的路由选择、切换与性能适时优化方法.仿真实验结果表明,该方法的收敛速度与优化质量均优于其它算法.     

组合统计模型在程序错误定位中的应用

为了解决用单一统计模型进行程序错误定位时存在的泛化能力较弱、错误类型覆盖不广和时测试用例过度依赖等问题,提出了组合统计模型的方法.该方法根据各个弱计算模型的特点,对它们进行了加权组合.组合统计模型具有更好的错误查找性能和抗噪能力,能够有效定位程序中不同类型的错误代码.通过组合模型和单一模型的对比实验结果表明,组合模型有效地提升了系统的分析能力和泛化性能.     

基于协同Agent的状态监控器软件构架研究

为了在嵌入式数据库(EDB)中加入状态监控的功能,解决状态监控器软件构架设计与实现方法问题,提出一个基于协同Agent的状态监控器软件构架.从构件的角度对模型进行描述,进而阐述软件构架中如何体现Agent特性和协同特性的技术方法.描述了软件构架中的合同网结构,并引入规则树与角色协同技术进行模型优化.最后运用KQML语言对部分内容进行可实现性描述,该状态监控器在实际应用中取得良好效果.     

离散动力系统混沌化——配置若干个Lyapunov指数

对确定性离散时间动力学系统,提出了一种配置Lyapunov指数为正的混沌化和超混沌化方法.得到的受控系统所有Lyapunov指数均不为零,而其中至少一个为正,并且受控系统满足Devaney的混沌定义.此外说明了算法可以配置至少两个或者更多个Lyapunov指数为正,并给出了证明和两个混沌化实例,仿真结果显示了算法的良好效果.