时间自动机论文

结合关注事件的时间自动机语言包含模型检测
论文摘要时间自动机是实时系统形式化建模和验证的主要手段,能够对系统各个组件能否正确交互及通信进行验证.系统模型和待验证属性都用时间自动机表示,时间自动机语言包含模型检测方法能够...
无人作战飞机自主空战战术动作的分层识别方法
论文摘要为了对无人作战飞机自主空战战术动作进一步探索,提出了一种基于模糊逻辑推理和时间匹配原则的分层战术动作识别方案。该方案以基本动作序列来衔接基本动作识别层和组合动作识别层。...
基于STPA的机载平视显示系统安全性分析
论文摘要平视显示（Head-upDisplay,HUD）系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性...