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

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

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

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

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

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

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

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

一种自信学习自动机

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

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

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

基于元胞自动机的车队散布模型参数变化规律的研究

车队散布模型是干线信号优化研究中的重要模型,但是散布模型的参数均由经验确定,模型的准确性很难得到保证。本文使用改进后的元胞自动机模型对路段进行微观交通流仿真,并利用仿真所得的统计数据分析车队散布参数,得到散布模型的参数与道路长度和车辆密度之间的定性定量关系,经VISSIM系统验证,结果吻合较好。根据该关系可以在干线信号协调优化过程中,对车队散布模型的参数进行实时校正,使优化结果更加准确。     

基于改进LF算法的雷达信号分选

在现代战争中随着新体制雷达的不断涌现,电磁环境变得越来越复杂,雷达脉冲相互交错,雷达信号的处理面临高密度信号环境。目前普遍采用的基于直方图统计的信号分选方法越来越不适应现代雷达信号环境。将蚁群聚类算法引入到雷达信号分选中,并对其进行了改进,提出了一种新的雷达信号分选方法。该方法不需要雷达信号的先验知识,适用于处理未知信...     

基于混合动态系统理论的事故过程建模方法

为了研究系统事故机理,建立有效的事故过程模型,分析了事故过程的特征,指出其呈现离散与连续动态行为交互的混合特性.针对现有事故过程建模方法在描述该混合特性时的不足,提出了基于混合动态系统理论的建模方法,建立了事故过程的混合自动机模型,在Simulink/Stateflow环境下进行仿真.实现了事故过程的连续机理与状态运转...     

模拟金属表面局部腐蚀的CA方法

模拟金属的局部腐蚀,采用元胞自动机方法(CA),提出模拟金属表面局部腐蚀的元胞自动机模型框架,将金属-溶剂体系离散成元胞网格,对金属腐蚀中涉及的转化、渗透、扩散等过程进行局部规则的定义。引入参数,λ和ε,建立腐蚀速率的参数化模型。在此基础上利用Matlab编程实现了对无防护层和有防护层金属表面局部腐蚀的复杂模拟。模拟结果表明:=1时,无防护层的金属表面发生普遍的均匀腐蚀,金属内部发生多种形式的局部腐蚀;而含防护层的金属表面腐蚀,在不同的参数λ和ε条件下,可得到不同的点腐蚀形貌。结果表明,CA方法可以实现对金属表面局部腐蚀的复杂模拟,而参数化模型的λ和ε则引起了腐蚀形貌的差异。