【摘 要】
：
提出了装备基本任务单元可用度建模方法,建立了基于使能延迟机制的Petri网理论模型。基于ExSpect（executable specification tool）仿真语言的托肯时间戳延迟机制,通过模型转换
【机 构】
：
军械工程学院装备指挥与管理系维修工程实验中心
论文部分内容阅读
提出了装备基本任务单元可用度建模方法,建立了基于使能延迟机制的Petri网理论模型。基于ExSpect（executable specification tool）仿真语言的托肯时间戳延迟机制,通过模型转换建立了基本任务单元可用度分析仿真模型。应用模型研究了作战任务要求和维修力量配置对基本任务单元可用度的影响,分析了基本任务单元与单装可用度分析的差异,揭示了导致不同层次可用度综合差异的内在机理。结果表明,模型形象、直观,物理意义明确,具有通用性和可拓展性,是装备基本任务单元可用度分析的有力工具。
其他文献
由于水电站来水条件和运行方式的复杂性和不确定性,年度发电计划一直是电网和发电公司面临的重点和难点。文中以三峡水电站为例,针对编制发电计划过程中容易忽略的一些问题进
核心素养作为一种能力,其形成需要一个周期,而这种能力的提升需要循序渐进,不可片面的追求其形成速度,但就学生发展的整体性而言,这种能力一旦形成,对学生的终身发展具有重要
目的:探讨高血压病伴糖尿病患者血管内膜及肾功能受损的情况.方法:用放射免疫分析(RIA)测定75例高血压患者(其中39例伴糖尿病),血浆内皮素(ET)、6-酮-前列腺素F1α与尿白蛋白
研究了一种适用于椭圆轨道航天器自主接近任务的滑模制导方法。针对自主接近模型中存在目标轨道不可知信息量问题,根据多输入系统滑模控制思想,设计了系统误差收敛时间有限的
Geographic Information Systems(GIS) can be successfully introduced as a tool to manage water system infrastructures.This technology was taken into consideration
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
小学体育中田径教学属于体育教学中的核心教学内容,田径教学可以提高学生自身素质还可以加强学生的毅力,因此田径教学的重要性可想而知。就目前教学现状来看,因为教学模式的
伴随着人类社会的进步,人们对于珠宝首饰的期望也发生了很多变化,越来越多的人开始关注首饰带来的情感意义。本文从分析传统首饰中的情感化因素出发,通过对大环境的分析来说
雷达信号脉内调制参数估计是电子对抗领域的一个重要问题。推导了P4编码脉冲信号模糊函数（ambiguity function,AF）的表达式,得出AF幅度图像上距离主脊线最近的脊线在时延轴和多
针对航天器姿控系统长期运行期间因执行部件老化或故障引起性能下降的情形,设计了一种基于滑模迭代学习率姿态自主容错抗扰控制方案。采用虚拟控制输入设计了滑模控制器,以确