【摘 要】
：
三防系统软件是坦克装甲车辆防护系统中的安全关键软件,对其安全性分析是十分必要的.定义了k(0,1)—时间Petri网(K(0,1)-TPN),该网是对时间Petri网的一种扩展,对于输入不同、
【机 构】
：
北京计算机与电子应用技术研究所,中国兵器工业信息中心,
论文部分内容阅读
三防系统软件是坦克装甲车辆防护系统中的安全关键软件,对其安全性分析是十分必要的.定义了k(0,1)—时间Petri网(K(0,1)-TPN),该网是对时间Petri网的一种扩展,对于输入不同、运行过程相同及其控制机构相同或不同的系统分析建模具有普遍的应用价值.应用k(0,1)—时间Petri网及其动态的运行规则,并采用合成技术建立起了三防系统的模型.通过对运行时序、状态转移等的分析,得出了若干个三防软件系统存在的危险状态,并对软件及其系统的修改提出了建议.
Three anti-system software is the safety-critical software in tank armored vehicle protection system, and its security analysis is very necessary. The k (0,1) -time Petri net (K (0,1) -TPN) The network is an extension of the time Petri net, which has universal application value for system analysis and modeling with the same inputs and different operating processes and the same or different control mechanisms. Applying the k (0,1) -time Petri net and its dynamics , And uses the synthesis technology to establish the model of the three defense system.Through the analysis of the operation sequence and state transition, we can get the dangerous state of several three defense software system, and modify the software and its system give suggestions.
其他文献
目前,我国的景观设计学科已进入前所未有的发展时期,景观设计变得越来越丰富多彩,风格也越来越多样,而植物配置与造景,作为景观设计不可或缺的重要环节,它们的价值必须经受得
【摘 要】 随着国家经济的发展，企业的数量和规模逐渐增加，企业的业务逐渐扩大，企业存货管理也就应运而生。企业的存货管理对于企业的发展有着十分重要的作用，企业存货管理规范有序可以为企业增加一定的经济效益。但是当前企业存货管理现状并不容乐观。本文主要是对当前企业存货管理现状进行分析，并提出企业存货管理的优化对策。 【关键词】 企业存货管理 现状 优化对策 企业的存货管理主要是对企业的存货信息进行相
【摘 要】 随着社会主义市场经济的发展与改革开放进程的不断推进，我国企业进入一个黄金发展的时期。但在企业发展的过程中，会伴随有一定数量不良资产的产生，给企业的发展带来了很大的困难。因此，本文将从不良资产的角度出发，对企业不良资产出现的原因与优化处理措施进行有效性研究。 【关键词】 企业 不良资产 会计管理 处理措施 研究 随着社会的发展与时代的进步，人们对企业不良资产的关注度变得越来越高。不良
【摘 要】 随着我国经济的高速发展以及社会文明的不断进步，我国在会计领域取得了显著的发展成就。其中我国的财政体制得到了进一步的改进，会计核算、预算编制以及预算执行工作不再实行的单独管理，而是通过一体化管理全面实现了预算与财政部门的会计信息共享，不但使财务管理的精细化、高效化以及科学化水平大大提升，同时还降低了预算部门的工作量，提高了其执行能力，使工作效率大大提升。 【关键词】 事业会计 基建会
【摘 要】 企业会计管理工作是企业内部管理工作的重要内容，加强企业会计管理，提高企业会计管理效率，能够为企业发展提供良好的内部环境，确保企业财务管理工作的有效开展，降低企业经营过程中的资金消耗问题，提高会计人员的工作质量和工作效率，对于企业发展来说具有非常积极的作用。文本就提高企业会计管理效率创新路径展开分析和论述，指出了企业会计管理创新的作用和意义，并提出了合理的优化策略，希望对于我国企业会计管
【摘 要】 农村养老保险基金是国家近年来推行的一项重要的农村社会福利政策，对我国广大农村的经济社会发展和农民生活保障有着十分重要的意义和作用。虽然经过二十年的发展，农村养老保险已经取得了一定的成绩，但仍然存在很多的问题和不足。本文就如强化我国新型农村养老保险基金财务管理进行有益的研究和探索，以期更好的促进和推动我国农村养老事业的不断进步和发展。 【关键词】 新型农村养老保险基金 财务管理 现
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
建筑工程具有很多特点,比如唯一性、动态性和复杂性等特点,本文正是基于这些特点对影响施工成本控制的因素做了一定的分析.提出了就如何加强建筑工程成本管理和控制的一些解
结合自身多年的工作经验,利用几个具体的实际例子,详细阐述电气技术在智能建筑中的应用情况.