-
题名军用教练机主最低设备清单编制方法研究
- 1
-
-
作者
黄轶华
刘世华
邹蕊
李江生
-
机构
航空工业洪都
-
出处
《教练机》
2024年第1期5-9,共5页
-
文摘
本文通过分析军用教练机、军用战斗机以及民航飞机的区别,研究国内外主最低设备清单(MMEL)编写规范及应用情况。探索军用教练机主最低设备清单项目确定原则、逻辑决断程序关系及限制条件,制定了一种适用于军用教练机的MMEL编制方法,可为提高军用教练机的利用率和训练效能提供参考。
-
关键词
利用率
训练效能
逻辑决断程序
限制条件
主最低设备清单
-
Keywords
Utilization coefficient
Training effectiveness
logical decision procedure
Restrictive condition
Master Minimum Equipment List(MMEL)
-
分类号
E926.3
[军事—军事装备学]
-
-
题名命题逻辑定理自动证明的直证式消解原理
被引量：1
- 2
-
-
作者
杨冠平
-
机构
武警郑州指挥学校
-
出处
《信息工程大学学报》
2004年第4期32-34,共3页
-
文摘
消解算法对命题逻辑定理自动证明是普遍能行的,但现行消解证明只能归属于反证法。本文提出直证式消解原理,从析取范式能否消解出最简恒真式来判定和证明定理。其消解规则是原消解规则的对偶定理,消解过程中每步得式也都是原消解过程相应得式的否定式。只须赋予新的逻辑涵义,消解的集合表达形式仍可使用。直证式消解算法也具有可靠性、完全性、能行性,然而剔除了反证步骤,更简明直接。
-
关键词
逻辑定理
自动证明
直证式
消解原理
能行算法
-
Keywords
logic theorem
automatic proving
direct-proof
principle of resolution
effective decision procedure
-
分类号
O141
[理学—数学]
-
-
题名基于RCM的流程型生产线设备维修决策方法研究
被引量：2
- 3
-
-
作者
董信宏
王莉芳
-
机构
西安利君集团
西北工业大学
-
出处
《医药工程设计》
2006年第3期25-27,共3页
-
文摘
针对流程型生产要求和设备故障特点,基于以可靠性为中心的现代维修管理思想,提出流程型生产设备故障评价方法和维修工作类型的流线式逻辑决断过程,并在生产实践中获得成功应用。
-
关键词
RCM管理
流程型生产设备
逻辑决断过程
-
Keywords
RCM management Flow production equipment logic decision procedure
-
分类号
TH17
[机械工程—机械制造及自动化]
-
