基于元胞自动机的民机应急撤离仿真系统设计

介绍了一种基于元胞自动机求解民机应急撤离问题的方法,提出了民机应急撤离仿真系统设计的总体思路.在此基础上,按照人一机一环境系统工程的思想设计了层次化的体系结构和相应的功能模块,分析了系统设计过程中涉及的关键技术及其实现方法.最后开发了面向对象的民机应急撤离仿真系统,并通过典型的客舱布置方案进行了计算验证,结果表明设计的...     

高超声速飞行器滑模控制参数整定方法设计

本文针对高超声速飞行器滑模控制人工试凑的参数整定方法较为繁琐、效率低的问题,改进了连续动作学习自动机（Continuous action reinforcement learning automata, CARLA）算法并将其应用于滑模控制参数整定问题中,改进后的算法通过对回报函数的设计有效克服了常规CARLA算法收敛速度慢、易受干扰、求解效率低的问题。该算法引入控制性能指标评价函数,在迭代中学习阶跃响应的经验数据,实现了控制参数自整定。仿真表明,对于阶跃响应问题,本文提出的算法能够在100次迭代中整定出一组高品质的控制参数,完成对给定指令的快速准确跟踪,与遗传算法、模拟退火算法相比,在求解速度上具有显著优势。由于该方法不依赖于模型,除了滑模控制器参数整定外对其他控制方法的控制参数整定问题也有一定适用性,具有推广应用价值。     

一种新的元胞自动机航迹规划算法

基于元胞自动机理论提出一种新的航迹规划的算法,该算法克服了传统元胞自动机航迹规划算法只能针对存在安全飞行区域情况下规划航迹的局限性,新方法能够在全空域受到地空威胁的条件下,选择威胁较小区域规划出航迹。     

构造正则表达式的简化DFA算法

介绍了构造等价于给定正则表达式的简化确定有限自动机(DFA)的算法.方法是首先构造与正则表达式等价的非确定有限自动机(NFA), 这里省略了构造带ε动作的有限自动机的操作, 然后用状态树构造与该NFA等价的简化DFA.这个算法在计算机上已实现, 并且对输入的任意正则表达式, 都可以输出等价于正则表达式的简化DFA.该算法可以用于某些离散信息处理系统的设计与分析.      

面向可重构制造系统的设备建模

可重构制造系统的建模是分析和控制可重构制造系统的关键技术，而可重构制造系统中的设备建模是可重构制造系统建模的基础。本文提出面向可重构制造系统的设备的赋时面向对象Petri网模型，并通过实例研究证实了其正确性。面向可重构制造系统的设备的赋时面向对象Petri网模型能够表示可重构制造系统重构前后设备的作业安排的变化情况．因此它是可重构制造系统中设备的正确的形式化表示。     

基于有向元胞自动机的空中导航和冲突解脱算法

针对在ADS-B空域监视系统下,利用有向元胞自动机模型模拟空域,研究了飞机自主导航和飞行冲突解脱的问题。在考虑了飞机的飞行性能、最小安全间隔及飞行速度等限制条件下,建立了空域的网格模型。利用ADS-B技术,建立了有向元胞自动机运动规则,确定了有向元胞自动机的最佳运动方向,构建了飞机空中导航和空域冲突解决的算法。通过对避开空中限制区和3架飞机空中冲突解脱的仿真,给出了空中的导航路径。仿真结果表明,该算法是可行的。     

基于有限状态机的Type A卡防冲突技术

在分析了Type A非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程.最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确.     

民用旅客机撤离过程动态引导方法研究

紧急情况下民用旅客机乘客的撤离疏散过程存在无法充分利用所有可用出口的问题,为了减少旅客机紧急情况下乘员的总撤离时间,基于元胞自动机理论,考虑出口可用性动态变化对撤离过程的影响,提出一种旅客机应急撤离过程动态估算方法,制定五类共计20条撤离规则,建立旅客机应急撤离引导模型。以某149座旅客机为例,使用引导模型进行仿真分析,并与未经引导的撤离过程进行对比。结果表明:引导模型可充分利用所有可用出口,可使总撤离时间减少6%以上,最优性能统计值减少30%以上。     

一种自信学习自动机

提出一种二次不动—惩罚变结构随机自动机模型（Q(IP)）。较之于其线性形式（L(IP)），新模型的学习带有一定的自信（当然，有时也可能是自负）。特别，跟传统自动机不同的是，新算法的极限行为同时兼具吸收壁和遍历性。     

基于UPPAAL软件的实时系统设计研究

UPPAAL是丹麦Aalborg和瑞士Uppsala大学联合开发,具有世界先进水平的实时系统模拟,校核的软件,基于对实时系统严密逻辑,真实时间的抽象,而构建时间状态机动态模型网络,模拟,校核系统,检测潜在失败,保证设计可靠性,雷达传感器内存接口实时系统是航天雷达系统重要组成部分。本文UPPAAL软件对此系统精确的动态数学模型,模拟,校核系统,覆盖各设计阶段,保证实时系统设计可靠性。