• 基于有限状态机的操作系统需求层形式化验证

    基于有限状态机的操作系统需求层形式化验证

    论文摘要操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情...
  • 基于有限状态机的交会对接飞行任务规划方法

    基于有限状态机的交会对接飞行任务规划方法

    论文摘要为实现多约束条件下载人航天器交会对接(RVD)飞行任务的快速、准确规划,提出了一种基于有限状态机(FSM)的飞行任务规划方法。通过飞行过程与有限状态机的映射关系建立图形...
  • 智能车辆驾驶行为决策方法研究

    智能车辆驾驶行为决策方法研究

    论文摘要智能驾驶行为决策系统的构建对智能驾驶的可靠性具有重要影响。本文对国内外学者所提出的智能驾驶行为决策系统构建方法进行了分析总结,归纳总结不同方法的不足,并针对各方法的不足...
  • 基于图论和FSM的UML模型与代码一致性检测

    基于图论和FSM的UML模型与代码一致性检测

    论文摘要提出了一种基于图论和有限状态机(FSM)的统一建模语言(UML)模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检...
  • 基于磁传感器的道路车流量检测方法研究

    基于磁传感器的道路车流量检测方法研究

    论文摘要地磁车辆检测系统是利用检测地磁变化来获取相关的交通信息,针对现有地磁车辆检测设备存在基线漂移、交通车流量正确检测率不稳定以及环境干扰导致的设备误检等实际问题,提出基于有...