基于小世界网络的软件安全风险传播分析

针对软件安全风险传播难以直观描述的问题,应用小世界网络理论对其进行了研究.首先,介绍了软件安全风险的相关概念和小世界网络的性质及模型.其次,在分析软件系统网络拓扑结构的基础上,基于小世界网络理论建立了软件构件间安全风险传播的动力学模型,得到软件安全风险的传播结果,并分析影响软件安全风险传播的关键因素.最后,以某型飞机软...     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。     

计算机软件校内实训过程的管理

校内实训是大学课堂到工作岗位之间的桥梁,是实现由理论知识教学到实际社会需求无缝过度的有效途径,实训过程的有效管理和考核对提高校内实训质量具有重要意义.文章给出了计算机软件实训的完整过程,以及实训各阶段的考核办法.经过实践证明,该实训过程和阶段性考核方法有效地提高了计算机软件实训的质量,在提高学生的实践技能以及分析问题和解决问题的能力方面发挥了重要作用.     

仿真软件在《光纤通信》实验教学中的应用研究

根据光纤通信课程特点,结合实际教学与科研工作的经验,介绍了把专用的Optisystem光学仿真软件和flash动画融入到该课程教学中的方法和思路,并阐述了该新型教学模式的意义和取得的教学效果。     

复杂空区群露天开采境界三维可视化及其应用

为了预防露天开采境界下复杂空区群对矿山生产造成重大安全事故,研究以不规则三角网(TIN)为基础的复杂地质体三维可视化建模技术,并以Surpac软件为平台制定出相应的复杂空区群露天开采境界三维可视化实施方案。将该方案应用于某矿区,建立该矿区内露天开采境界地表、地下矿体以及复杂空区群的三维可视化模型,重点对空区群内部错综复杂的通透关系进行三维描述。研究结果表明:复合模型的建立明确了地表、地下矿体及各水平采空区之间的空间位置关系,可利用其分析空区群的安全隐患及空区间的连带破坏作用,为露天境界内复杂空区群的灾害控制、安全性评判及矿区地表开采的施工设计提供了参考依据,从而解决了多空区矿山的盲目开采问题,有效预防了重大安全事故的发生。     

基于漏洞知识库的8031单片机系统软件漏洞检测算法

针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库的设计提出了一种基于知识的漏洞检测算法,用于检测8031单片机系统漏洞。基于上述方法设计并实现了软件安全性逆向分析系统,对8031单片机系统进行漏洞检测。实验结果表明,基于该漏洞知识库的漏洞检测算法可以对目标程序正确进行漏洞检测,有利于降低软件代码漏洞量,并在一定程度上降低成本和资源消耗。      

基于PSD-BPA的暂态稳定判别工具的设计与实现

随着广域测量技术在电力系统中的广泛应用,基于响应的暂态稳定控制技术成为安全稳定领域的研究热点.为拓展PSD-BPA软件的性能、推进基于响应的暂态稳定控制技术应用于实际电网,需要对PSD-BPA软件进行完善,并对暂稳技术的适用性和有效性进行分析.开发了基于PSD-BPA的暂态稳定判别工具,实现了多种基于响应的暂态稳定判别技术.实际电网故障案例分析结果表明开发的工具具有有效性,可提高安稳人员的工作效率.     

由分类算法学习软件错误定位的关联测度

基于谱的错误定位(SBFL)技术能找出导致程序出错的可执行代码.测试用例数目和覆盖语句次数可构造SBFL的二分型矩阵.利用该矩阵,人们提出许多的SBFL关联测度计算公式.然而,这些关联测度往往只适应部分程序集.因此,提出基于分类算法的技术,能学习到程序集特有的关联测度.训练集样本建立在成对的错误语句和正确语句上,其特征由语句对的条件概率相减而成.为证实技术的有效性,在Siemens套件、space和gzip三个基准数据集上完成实验.使用Weka的Logistic、SGD、SMO和LibLinear训练出的关联测度,性能都明显优于固定形式的SBFL测度.     

基于插桩技术的程序谱构建方法

为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。     

无掩模多束SPPs干涉光刻成像仿真软件研究

多束SPPs干涉光刻是一种可制作纳米尺度光子晶体器件的新型微加工方法,目前尚未见对多束SPPs干涉光刻过程进行模拟分析的专门软件.在分析SPPs激励和传输机理基础上,建立多束SPPs干涉成像模型,并采用VC和Matlab库函数混合编程编制了可计算多束SPPS干涉光刻成像的仿真软件.模拟和分析表明,该模型及软件计算准确、快速,达到预期效果,为实现无掩模SPPs干涉光刻全过程模拟和曝光实验研究的开展提供了技术支撑.