软件结构脆弱性分析

文章首先应用系统工程定性定量的方法,以语言性质为基础,通过语义关系量化软件的动态运行过程,在整体上以软件元素及其关系架构起软件的系统关系结构,其次对软件结构的脆弱性进行数学建模,以变异S-粗集的演算对软件运行过程的迁移特性进行分析,建立软件元素运行过程的迁移方程式组,通过推导得到软件结构的随机概率特征值,度量出软件结构的脆弱性,然后给出了软件脆弱度的主动控制方法,以及软件攻击面和可信性的计算方法,并提出制定完备编程规范的工程规则.最后测试了两个开源软件对该方法进行验证,并系统地分析了实验过程和相关数据.     

离心泵设备管理及维修技术分析

离心泵是化工装置的基本设备,聚丙烯装置循环水泵为双吸离心泵,在故障辨识和修护方面都与我们生活中常见的离心泵存在一定的不同之处。总的来说,循环架构下的离心泵设备架构及技术方面主要存在复杂特性和修护、安设成本较高,工作人员在进行离心泵查验过程中若未能参照管理规则规范其操作流程,一定程度上会对其设备配件造成磨损,是缩减泵体寿命的主要原因之一。     

基于结构特征的二进制代码安全缺陷分析模型

针对现有方法检测复杂结构二进制代码安全缺陷的不足,提出新的分析模型,并给出其应用方法。首先以缺陷的源代码元素集合生成特征元素集合,抽取代码结构信息,构建分析模型。然后依据各类中间表示（IR,intermediate representation）语句的统计概率计算分析模型,查找满足特征模型的IR代码组,通过IR代码与二进制代码的转换关系,实现对二进制程序中代码安全缺陷的有效检测。分析模型可应用于二进制单线程程序和并行程序。实验结果表明,相对于现有方法,应用该分析模型能够更全面深入地检测出各类结构复杂的二进制代码安全缺陷,且准确率更高。     

计算机病毒运行条件的分类研究

从程序语言的角度出发,应用一一映射的方法,建立起计算机病毒规范与运行条件的同构模型．在此基础上,提出了计算机病毒运行条件的基于共性的分类方法,并给出了其在病毒防范领域中的应用方法．该分类法的应用领域包括：软件开发人员的参考指南,计算机软件工程领域的研究素材,以及病毒测试人员或审计人员的“条件核查列表”．