动态七层过滤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指数为正,并给出了证明和两个混沌化实例,仿真结果显示了算法的良好效果.     

一类具有数据包丢失的长时延网络控制系统的分析与设计

针对一类网络控制系统,其网络诱导时延大于采样周期且存在数据丢包,研究了其稳定性和控制器的设计.在控制器端设计了一个状态预测器,其预测状态根据传感器的数据进行更新,然后用来确定控制作用.分析了预测误差的收敛性,证明了分离原理是成立的,并依据分离原理分别设计了状态预测器和控制器,给出了参数化设计方法.仿真例子验证了方法的有效性.     

疲劳驾驶状态检测系统的设计

司机疲劳驾驶容易引起严重的交通事故,疲劳状态检测系统的研究成为计算机应用研究的重要领域.为了满足疲劳状态检测系统实时性要求,选择实时性较好的Adaboost算法来识别人眼,采用单位时间内眼睛闭合时间所占的百分率来判断疲劳状态,应用该算法后进行疲劳驾驶训练和识别研究.选择DSP移植方案并将疲劳状态检测算法移植到DSP中.经过实时检测实现的系统基本能满足实时检测疲劳驾驶的要求.     

一种面向状态COM组件的测试用例生成方法

基于组件的开发方法提高了软件的可复用性和软件开发效率,但组件具有的封装和状态特性增加了组件和基于组件软件的测试难度.依据组件的状态特性,在组件中引入状态性概念,将组件分为非状态组件和状态组件.对具有不同特征的组件进行有针对性的测试.对于状态组件,除使用非状态组件的测试方法外,还定义了扩展邻接表和扩展约束对照表来存储状态信息,并结合基于流的测试方法来产生方法序列测试用例及脚本.在理论研究的基础上开发出COM(Component Object Model)组件测试用例及脚本自动生成系统,验证了测试用例及脚本生成方法的有效性.     

带输入延时的连续时间系统的离散化

含多项式插值的Runge-Kutta方法应用于对带输入延时的连续时间系统的离散化中. 与传统的离散化方法相比, 本文提出的方法是有效且精度高阶的. 此方法的精度与Runge-Kutta法及插值多项式的精度紧密相关. 本文讨论了离散化方法的近似精度阶及最大可达的精度阶. 除此之外, 也分析了方法的输入状态稳定性. 为保证相应离散系统的稳定性, 可通过考察RK法的绝对稳定域来选择采样时间. 特别当RK法是A-稳定时, 可以不受稳定性的约束选择采样时间. 最后提供了一个数值例子来证明方法的优越性.     

离散奇异时滞系统时滞依赖稳定性分析与镇定

分别研究了离散奇异时滞系统时滞依赖稳定性分析与镇定问题. 首先给出了一个新的离散奇异时滞系统时滞依赖容许性充分条件. 经过证明, 所提出的方法与现有结论相比, 具有一定的优势. 然后, 运用矩阵理论技巧,设计出状态反馈控制器保证闭环离散奇异时滞系统是容许的. 最后,两个数值例子说明了所用方法的有效性.