软件安全性分析的Petri网方法(续2)

来源 :质量与可靠性 | 被引量 : 0次 | 上传用户:superlife123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 三、软件安全性分析 1.问题的提出 当前计算机正在被广泛应用于各个领域。当计算机被作为一个子系统而嵌入一个复杂的物理系统之中时,由于计算机的运行错误(包括软件运行的错误)就可能导致人员的伤亡、财产的损失或环境的破坏等灾难性后果。特别是当计算机软件在武器系统中的地位不断提高,作用不断增强,应用不断
其他文献
针对载人飞艇的技术和使用特点,从市场份额、飞艇座级、使用寿命和通航占比等方面分析了国内外载人飞艇行业发展基本情况,总结了载人飞艇在应急救援体系建设、反恐安保、交通
介绍了某型号延寿研究及制定贮存国军标时使用方与研制方两次讨论的不同意见,指出了分歧,并从导弹贮存期定义和指标要求的联系上作了进一步探讨。
本文以相邻不合格品之间的连续合格品数作为控制对象,建立了几何EWMA控制图;以平均不合格品数(简记为ANNC)作为几何EWMA控制图的评价标准,给出了受控ANNC依次为50,80,100,150
【正】 仔细分析学校德育工作,不难看出,这项工作本身存在着“一重一轻”问题,使学校德育与智育相比实际上处于次要地位。 纠正重日常性教育,轻系统性规划的偏向。实践告诉我
社会信息传播已对大学生思想教育带来深刻影响,这是学校教育工作者面对的现实问题和必须认真研究的课题。从理论性和实践性对当代大学生这个社会群落所面临和接触的社会信息传
大学生性教育是一项系统工程,属于人生教育的一部分。目前,我国大学生的性教育虽然得到了很大发展并日益受到社会的关注,但性教育的状况仍然令人担忧。未接受过有组织的性教育的
大学生思想政治教育过程,从传播学角度看是一种传播过程。运用传播学原理和方法从加强传播者的传播能力,增强传播信息的可接受性,拓展传播信息的途径,适应受众的传播接受心理等方
随着高速公路的发展逐渐成熟,传统的以提供休息、加油为主的服务区已不能满足现代出行人的需要了,人们希望服务区在提供基本物质需求的基础上能提供更加丰富的精神产品,从而
在高等教育管理日益复杂的背景下,现代人力资源管理的各种方法被引入到高校当中,绩效评估就是其中之一,美国大学较早地将它引入到教师评价中,以促进教师的专业发展和学校的战略发