基于模型的软件开发技术在型号软件研制中的应用

软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安全性和可靠性得到了较大提高。     

采用模型检测器的软件安全模型验证方法

针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.     

弹载嵌入式系统设计技术

以红外图像处理系统为背景,应用协同设计技术对红外制导舱嵌入式系统进行了设计.整个设计过程从图像增强算法开始,直至软件的实现,展示了协调、可靠、高效的设计流程.通过应用基于模型的软件建模设计技术,使设计人员构建软件模型并仿真其工作过程,为弹载软件设计提供产品建模、模型管理、性能评估,并具有可重用、可扩展的标准化数字化环境,从而确保产品设计的安全性.     

基于Petri网络的码垛机器人生产线控制软件设计方法

研究了基于验证完毕的逻辑和软件体系的码垛机器人生产线控制软件设计问题.基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则模型和控制逻辑模型,并使用可达图证明了调用规则的安全性和无死锁性,基于系统仿真软件Simulink-stateflow仿真技术验证了控制逻辑的合理性.在...     

基于Petri网的工业互联网入侵检测流程建模与优化

针对工业互联网中日益凸显的安全问题，结合Petri网和行为轮廓的相关理论，建立了基于Petri网的工业互联网入侵检测流程模型。首先通过分析原模型中的行为弱序关系，探讨了模型中存在的活性问题。再从检测流程中数据的安全性和完备性方面对原模型进行优化。最后使用PM4PY编程和PIPE仿真软件验证了优化后的模型具有良好的性质。     

ZJ112和ZJ116型卷接机组针板装配工装设计

对原始工装针板装配过程进行了分析,指出了其存在的缺点.针对原始工装的不足设计了全新的针板装配工装.通过分析新工装主要零件的结构特点,利用Pro/E软件建立了工装的三维模型.所设计新工装具有很好的安全性、可操作性与可靠性,同时具有安装效率高、制造成本低的特点,新工装具有很好的推广应用价值.     

基于FLUX3D的三相三芯柱变压器油箱和夹件涡流损耗

电力变压器的涡流损耗计算,对于提高变压器的稳定性、安全性和高效性具有重要意义.首先,从三相三芯柱变压器铁芯拓扑结构出发,基于统一磁路(unified magnetic equivalent circuit,UMEC)推导了考虑绕组耦合的三相三芯柱变压器电磁模型.然后,将电磁模型与涡流损耗经验公式联立,计算出电力变压器油箱和夹件的涡流损耗值.最后,借助有限元仿真软件FLUX3D,为变压器建立一个有限元模型,建模过程中考虑了油箱和夹件的涡流损耗.将所得涡流损耗结果与FLUX3D软件建模分析的结果进行对比,证明了涡流损耗研究方法和FLUX3D软件的有效性.基于该软件的建模与涡流损耗计算方法的探究对电力变压器的研发、生产和应用具有一定的前瞻性.     

格模型的安全性分析

分析了格模型以及格模型的各种实施机制,指出了该模型的二类实施机制在精确性上存在的问题.同时,提出了局部安全性和整体安全性二个不同概念,指出了该模型在整体安全性上的弱点,最后论证了格模型不具有保护信息完整性的能力.     

具有前向安全的Ad Hoc密钥管理方案

在完全分布式CA模型的基础上,结合信任度动态评估策略,提出了一种具有前向安全的密钥管理方案。使用NS-2仿真软件进行仿真实验,结果表明,当网络中节点数目的不同时,节点的认证成功率和节点延迟均保持稳定,提高了Ad Hoc网络的安全性与可用性,降低了系统开销。     

桥头跳车对行车安全性影响的模糊评价

桥头跳车现象严重影响了高等级公路行车的舒适性与安全性,目前尚无可行的指标或方法来评价桥头跳车对于行车安全性的影响.从道路和环境这些影响行车安全的基本因素出发,提出了桥头跳车对行车安全性影响的评价指标,并且基于层次分析法和模糊综合评价法建立了桥头跳车对行车安全性影响的评估模型.采用Matlab软件结合其GUI功能,开发了人性化的行车安全评估系统,并对实际的桥头环境进行了评估,它为桥头跳车对行车安全的影响评估提供了一种新方法,具有较好的应用价值与使用效果.     

铁路车站计算机联锁软件的安全性评估策略

安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。     

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

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

矿工自我效能感与安全绩效的关系--自主型安全动机和工作投入的链式中介作用

为了提高矿工的安全绩效,明确自我效能感对安全绩效的作用机制。通过问卷调查和文献梳理,构建了自我效能感、安全绩效、自主型安全动机和工作投入四者关系的假设模型。使用SPSS软件分析样本数据的相关性,AMOS软件检验自主型安全动机和工作投入的中介作用。结果表明：自我效能感、自主型安全动机、工作投入和安全绩效两两之间呈显著正相关关系;自我效能感对安全绩效起显著正向影响;自主型安全动机和工作投入均在自我效能感对安全绩效作用中起独立中介作用;自我效能感可以通过自主型安全动机和工作投入的链式中介作用影响安全绩效。     

变更管制方式安全评估模型及软件设计

为确保因管制方式变更造成系统及运行环境变化带来的风险保持在可控范围,提出基于粗糙集模糊神经网络的安全评估模型。利用粗糙集在属性约简与规则提取方面的优势实现关键风险源提取,降低模糊神经网络数据输入维度、精简网络拓扑结构、缩短网络训练与学习时间;借助模糊神经网络在具有较强容差性和抗噪音能力前提下进行分类的能力,实现系统安全等级评定。为便于模型应用与推广,借助Visual Basic（VB）与MATLAB这2种语言将评估模型编译为可视化操作软件,该软件具有从指标体系中识别关键风险源、系统安全等级评估、评估信息汇总这3项功能。实验结果表明,该软件可从24个风险评估指标中提取出对系统安全影响最为关键的4项风险指标,系统安全等级评定为3级。该评估软件具有易于安装维护、操作简便、理论化程度高等优点,是对空管运行单位定量安全评估的一次创新尝试。     

基于风险等效的软件可靠性评估准则研究

在软件可靠性研究领域 ,既要考虑软件失效出现的频度 ,也要考虑失效导致的严重性后果 .文章提出了软件风险等效概念 ,它能在相同风险概念的前提下 ,将软件失效后果的严重性转移到失效出现的频度上 .并用Nelson可靠性统计模型为例讨论在风险等效前提下的软件可靠性概念和软件可靠性评估准则     

库水位对尾矿坝体稳定性影响的研究

考虑了影响尾矿坝安全稳定性的众多因素,利用SLOPE软件建立了尾矿坝安全稳定性简化模型,计算出尾矿坝的稳定性系数,得到了坝尾矿坝库水位与尾矿坝体稳定性之间的关系。计算的坝体安全稳定性系数与实际的安全稳定性系数符合较好,误差均小于0.2%,说明该模型预测坝体的稳定性是非常有效的。利用该计算结果可以方便快捷地预测坝体的安全稳定性,为坝体失稳提前采取有效的安全措施提供了有利参考,避免坝体失稳造成的重大灾害。     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

正式群体安全氛围对建筑工人从众性不安全行为的影响

建立假设理论模型,探究群体安全规范、群体压力、安全意识对建筑工人从众性不安全行为的作用机理.根据调查数据,使用AMOS软件拟合分析模型.结果表明:群体安全规范与群体压力具有显著的双向影响关系,影响路径系数高达0.83;群体安全规范对从众性不安全行为有显著的正向影响,且安全意识是重要的中介变量;群体压力会正向影响从众性不安全行为.     

一种基于WEB方式的企业电子银行系统的安全设计方案

简述企业电子银行系统的特点,结构和工作方式,分析企业电子银行系统存在的安全隐患,并针对这些安全隐患,从系统网络设计,网络配置,应用软件的安全设计及内部管理机制等方面提出一种基于WEB方式的企业电子银行系统的安全设计方案。     

建筑工人偏执心理因子对不安全行为的影响

偏执心理因子对建筑工人不安全行为的影响较为显著,纠正偏执心理极为重要.通过文献梳理,以不良安全氛围和不端正的安全动机作为中介变量,提出建筑工人偏执心理因子与不安全行为结构关系的假设模型.对建筑工人展开问卷调研,采用SPSS软件对数据进行信度和效度分析,进而使用AMOS软件对假设模型进行验证.研究结果表明:偏执心理因子会直接影响建筑工人不端正的安全动机;不良安全氛围和不端正的安全动机在偏执心理因子与不安全行为的结构关系中起着显著的中介作用;加强班组级和项目级建筑工人之间的沟通及经验交流有利于安全氛围的形成;不端正的安全动机对不安全行为有显著的正向影响.