基于IPv6协议分析的入侵检测系统

IPv6将作为下一代的Internet协议取代IPv4.因此对IPv6的入侵检测系统有很迫切的需要,该文呈现了一个新的基于协议分析的入侵检测模型,该模型可以从语义层面上扫描弱点帮助误用检测选择合适的攻击特征并可得出网络行为进而进行异常检测。     

基于椭圆曲线盲数字签名的绩效评估

随着绩效评估应用的广泛,评估过程的安全性受到人们的关注。本文描述了椭圆曲线密码体制,并在此基础上介绍了基于椭圆曲线的数字签名和盲签名,讨论了椭圆曲线盲数字签名在绩效评估中的应用,提出了一个在线绩效评估方案。     

基于MD5和数字水印的电子签章文件校验方案

随着电子商务和电子政务的发展,为了保证其应用中文件的安全,根据数字水印的鲁棒性、脆弱性,以及Hash、COM组件等技术,提出了一种基于MD5和数字水印的电子签章文件校验方案.实现了文档的防篡改、文档的合法性验证.     

基于Hadoop建立云计算系统

云计算是2007年底正式提出的一个新概念,本文分析了云计算的特征和Hadoop的作用地位.针对Hadoop这样一个在集群上运行大型数据库处理应用程序的开放式源代码框架进行了云计算平台的实现,并进行了实验验证.     

基于FSA的模型检测算法研究

自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型。在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法。     

准正交空时分组码自适应设计方案与性能分析

准正交空时分组码园其牺牲部分正交性来换取全速率而无法实现全分集,在巳知信道状态信息的前提下,为最大限度降低数据符号彼此干扰,争取获得最大分集,提出两种准正交空时编码的自适应设计方案,并对其性能进行理论分析与比较,结果显示:两种自适应方案都能大大减小误码率;和增加自适应因子的方案相比,与波束形成技术相结合的自适应设计方案性能更为出色,但其增加了运算复杂度.     

基于STL实体模型离散化的数控加工仿真研究

数控加工仿真就是利用计算机仿真技术对数控加工代码进行验证,模拟刀具、工件几何体、加工环境、刀具路径和材料去除的过程,消除因程序误差而导致的机床、刀具、夹具损坏及零件报废等,提高加工的效率.然而,由于仿真过程中所用毛坯、刀具的数据量过大,使得仿真的速度很慢.为了解决这一问题,使用UniGraphics软件生成STL(Stereo lithographic)文件,通过VC跨平台调用STL文件,最终将其离散化为仿真系统所需数据,大大加快了后续仿真的速度,同时,使用STL文件可以增加系统的可扩展性.     

基于IPv6的协议分析系统的设计与实现

对开发基于Libpcap的IPv6协议分析系统进行了深入分析,并阐述了具体的实现方法,详细分析了各函数模块的实现。针对IPv4协议分析作了对比研究。实验结果表明:该系统能很好地实现IPv6下的协议分析。     

规则网格中带人工免疫SIRS模型的动力学行为

运用平均场理论和非线性动力学方法分析规则网格中带人工免疫SIRS传播模型的动力学行为,并通过计算机模拟来研究人工免疫,群体密度以及个体游动等因素对疾病传播的影响.结果表明实施人工免疫可以有效降低系统的稳态感染比例,提高系统的传播阈值,而且在群体静止情况下的效果明显高于群体游动时的效果.与此相反,个体的随机游动会提高系统的稳态感染比例,降低系统的传播阈值.     

面向方面的模块化推理框架研究

3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005)〖GK2*2]摘要：模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming, AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。