基于多源多层次信息融合的网络安全态势感知方法

针对网络安全态势感知范围局限、信息来源单一及准确性偏差较大的问题,提出了一个全方位整体上感知网络安全态势框架.充分考虑多信息源和多层次信息融合,从3个维度上动态生成网络当前安全状况,准确地反映网络当前安全态势,易于逆向查找异常组件.提出"3σ法则"离散化连续型随机变量方法,对建立适合处理非确定性信息融合的贝叶斯网模型有重要的理论与实践指导意义.最后,利用网络实例数据,对该模型和算法进行了验证,结果表明了该方法的正确性.     

Object-Z规格说明的结构模拟动画技术

形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一种可模拟执行的形式,从而帮助用户和规格说明者确认形式规格说明是否与用户的非形式化需求相一致.通过分析比较形式规格说明的两种动画策略———形式化程序合成和结构模拟的优缺点,决定使用结构模拟技术将Object-Z规格说明转换成SICStus Prolog可执行程序并加以执行,从而实现对Object-Z规格说明的确认.     

一个Z的证明责任产生器

在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足用户需求．证明责任是从规格说明中产生待证的性质,该文描述了一个Z的证明责任产生器的工作过程、完成证明责任产生器的工作难点就在于如何生成证明责任,本文对这一工作进行了详细的介绍。     

PA样本下密度核估计的相合性

设{X,i≥1}为同分布正相协（简记PA）随机变量序列，f(x)为X1的概率密度函数，基于样本X1，X2，…Xn，在适当条件下证明了密度函数f(x)核估计的强相合及r阶矩相合。     

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Ｚ语言用大量的数学符号和模式来构造规格说明,然而,当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号,此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Ｚ规格说明的解决方法,并给出了程序代码和实例。