最小通路法在通信保密装备可靠性建模中的应用

针对通信保密装备可靠性建模难度大的问题,提出了一种新的适用于复杂系统的可靠性建模方法一最小通路法。通过在系统拓扑结构图上搜索出所有能够使系统正常工作的最小通路,建立系统的可靠性模型。该方法基于广义的网络拓扑结构,因此网络的源节点和目标节点不必局限于严格的定义,可以随意指定,具有很大的灵活性。实例证明,该方法可行有效。     

基于参数依赖关系检查的测试用例空间约简方法

针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.     

玻璃纤维增强尼龙复合材料的力学、耐油脂及耐渗透性能研究

基于尼龙6、尼龙66、透明尼龙6I、聚己二酰间苯二甲胺(MXD6)、玻璃纤维和成核剂通过熔融共混法制备了一系列玻璃纤维增强尼龙复合材料,并对常温下复合材料的力学性能进行了对比研究,此外还考察了材料在不同组成时的耐热老化性能、耐油性能及耐渗透性能。结果显示,材料刚性随MXD6加入比例提升而明显增大,而冲击韧性并未出现明显损失;加入MXD6后的配方体系耐热老化性能和耐油脂性能也明显优于原体系;此外,MXD6与成核剂的协同作用可以使材料具有相对最好的耐渗透性能。     

智能阀门定位器在安钢235OOm3/h制氧机的应用

本文介绍了安钢制氧厂新上设备阀门所用的智能型定位器的原理、性能和调试中遇到的问题及日常维护.     

“网络安全原理”课程立体教材建设思考

"网络安全原理"是一门实践性很强的主干课程,在信息安全专业人才培养上起着非常重要的作用。结合"网络安全原理"课程特点与教材现状,分析了"网络安全原理"课程立体教材建设的必要性,以突出网络安全实际操作能力和理论转化能力为目标,设计了"网络安全原理"课程立体教材建设的主要内容。     

基于粗糙集和证据推理的网络入侵检测模型

证据推理依赖于专家知识提供证据,要求各证据体相互独立,因此难以应用于实际。针对上述问题,提出基于粗糙集理论的证据获取和基本概率赋值客观确定方法,利用粗糙集中的属性约简算法剔除冗余属性,形成最简属性集,以提高证据合成效率,缩短证据合成时间,减少证据合成的冲突现象。在此基础上建立一个基于粗糙集和证据推理的网络入侵检测模型,通过算例验证该模型检测精度较高、误检率较低。     

广义求和与乘积算子中参数w的影响规律分析

广义求和算子与广义乘积算子是基于区间数的证据合成方法得以应用的两个重要参数,实际应用表明两者中参数w对证据合成结果影响较大,掌握参数w的影响规律对其应用将大有裨益。通过对关键函数fu和fi的数学分析,同时依据实例分析的结果,推导出广义求和算子与广义乘积算子中参数w对基于区间数的证据合成结果的三条主要影响规律：1）随着广义求和算子中的参数w增大,证据合成结果变得悲观;2）随着广义乘积算子中的参数w的增大,证据合成结果变得乐观;3）两者中参数w的同时增大或减小可以平衡各自对证据合成结果的悲观或乐观作用。总结出的影响规律可辅助选择适当的参数w,以更好地满足实际工程应用需要。     

基于改进的BP网络的D-S证据理论及其应用

目前,D-S证据理论凭借自身独特的处理不确定性问题能力,已在众多领域得到了广泛的应用。命题基本概率分配(BPA)的确定是D-S证据理论得以广泛应用的关键之一,将改进的BP网络运用到基本概率分配的确定过程中,使得BP网络和D-S证据理论两者有机地联合应用,这样既可利用D-S证据理论来表达和处理不确定信息,又可以充分发挥BP网络的自学习、自适应和容错能力。建立了基于BP网络的D-S证据理论的故障诊断模型,并给出了证据的融合算法。最后,仿真实验表明该模型可行。     

无双线性对的无证书安全签密方案

已有的无双线性对的无证书签密方案,大都存在着机密性漏洞和签名选择性伪造问题。针对此问题,基于有限乘法交换群上的离散对数难题,提出一种无双线性对的无证书签密方案,并进行了安全分析和证明。指出采用随机预言模型的证明方法可能忽略不解决DL难题时对签密方案的攻击,不能证明破解签密方案的难度与解决DL难题相等价。通过对参数的数学分析,证明了破解本签密方案的必要条件是解决DL难题,不存在不解决DL难题攻击本签密方案的多项式时间算法。与已知所有方案相比,所提方案安全性更高。     

基于模糊集与熵权理论的信息系统安全风险评估研究

借助模糊集合理论,对信息系统所涉及的风险因素分别从资产影响、威胁频度、脆弱性严重程度三方面进行分析,并给出其等级描述;构造了各因素所对应评判集的隶属度矩阵,采用熵权系数法确定因素权重以减少传统权重确定方法的主观偏差;运用系统综合法集成三要素的安全风险值,进而判定信息系统安全风险等级.实例分析表明,该方法可行有效.