基于有限状态自动机的绿通车辆驾驶室避让控制

在高速公路绿通车道检测过程中,为了避免射线对驾驶员身体造成伤害,需要对车辆的驾驶室进行避让。本文提出了一种基于有限状态自动机的绿通车辆驾驶室避让控制方法。首先在对车辆通过绿通车道时的状态进行分析的基础上,建立了车辆驾驶室避让的自动状态机模型;然后根据该模型编制了相应的控制程序,对该状态机模型进行了仿真验证和考核;最后对绿通车辆大量的实测数据进行分析。结果表明:基于有限状态自动机的驾驶室避让控制方法能够准确有效地实现驾驶室避让控制,有效地剔除非车辆通行所导致的误动作。     

基于有限状态自动机多模型集成的列车运行过程仿真研究

研究了基于有限状态自动机的多模型集成仿真方法,应用有限状态自动机描述离散事件,构造了抽象概念层的仿真模型并给出其完备性和唯一性的性质．在时间演化模型层集成多个相应的时域模型,提高了模型的表现力．将该方法应用到列车运行过程仿真中,提出了相应的多模型集成仿真模型,仿真结构表明了该方法的有效性．     

有限自动机最小化算法的实现

实现DFAM=(Q,Σ,δ,q0,F)最小化算法的关键问题是如何编程求取商集Q/Rk(即状态的k阶区分).引入等价关系Sk与商集Q/Sk(状态的严格k阶区分),证明了Rk=Rk-1∩Sk,因此Q/Rk是Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体.为了求取Q/Sk,引入Q的子集Hk,提出了利用集合的交、差运算可由Hk求取Q/Sk,从而仅利用集合运算便可求取Q/Rk的算法.基于上述理论分析,给出了DFA最小化算法的一个容易实现的构造性描述及示例.     

有限自动机在BBS信息监测系统中的运用

形式语言与自动机理论是为了将自然语言转换成为计算机能够识别、处理的语言而建立的理论体系,利用有限自动机可以对文本信息进行智能化监测,对文本的词法分析可以得到系统监测所需要的信息。该文对有限自动机在BBS信息监测系统中的运用进行了详细阐述;描述了系统的具体实现以及软件界面;对信息监测的三种方式终端监测、运行监测、备份监测的优劣进行了分析,并提出了具体实施的办法。     

基于有限自动机的软件测试方法

基于有限自动机的增量一致性测试方法只对实现系统的修改部分进行测试,而被测试部分与规格说明书的修改部分相对应。在系统实现过程中,规格说明书经常改动,而新方法不测试给定系统的重用部分,所以可以大大节省时间,提高测试效率。特别是当整个规格说明书的修改部分低于20%时,效果更明显。     

一种基于时态逻辑的有限状态系统验证方法

ＬＰＴＬ与自动机之间有着紧密的联系,结合ＬＰＴＬ语义和语法,提出一种从ＬＰＴＬ公式导出Ｂｕｃｈｉ自动机的方法。导出的Ｂｕｃｈｉ自动机所接受的语言准确地表达了ＬＰＴＬ公式所描述的特性。从而把由ＬＰＴＬ公式描述的系统设计规范的验证问题转换成检验Ｂｕｃｈｉ自动机的包含问题。     

机器人足球中角色决策的有限状态自动机模型

足球机器人的研究在近几年得到了迅速发展,使得这个多学科交叉的项目受到越来越多的关注,作为一个新的研究领域,有很多内容值得去研究.本文的研究对象是中型组足球机器人,着重对机器人的核心系统一决策系统作了系统地分析和研究.提出了用状态自动机模型来实现Robocup中机器人各个角色的决策过程,目前这种模型在比赛中已经得到了应用.     

一种基于有限自动机的量子密码

在经典密码体制中有限自动机密码的基础上,提出了一个基于测不准原理的量子密码技术新方案,使得量子密钥传递过程的理想传输效率达到100%。在保证安全性的同时提高了传输速率,并且无须在公开信道上申明任何测量结果。     

基于有限自动机的RFID入侵检测

利用RFID中间件的特点, 加入入侵检测异常检测模块, 通过对入侵者的攻击数据流与RFID系统内部的数据流进行对比后提取特征向量, 并通过对入侵数据流对应子模块的归纳建立有限自动机, 对有限自动机的归并来提高系统入侵检测的效率. 此外, 参照归并后的有限自动机对攻击进行分类, 通过对攻击本质的分析与提取来检测一部分入侵检测自动机里没有相应的攻击. 最后, 对固定攻击比例的访问事件样本乱序进行试验, 试验结果表示系统在3轮测试中均得到稳定的检测率.     

基于有限自动机的多路视频监控系统设计

运用有限自动机理论，针对多路视频信息处理量大的问题，提出了一种新的对数字图像信息加工处理方法。该方法在系统自动监控报警时，可以提高系统的处理能力，特别是在有多处理机的主机系统中，能够大大提高系统的性能。     

A necessary condition on invertibility of finite automata

This paper gives a necessary condition for a kind of weakly invertible, invertible, weak inverse or inverse finite automata by linear RaRb transformation sequence. For such finite automata the existence of terminating RaRb transformation sequence is also established.     

P2P网络中基于非确定有限自动机的XML数据流过滤

将自动机方法对XML数据的过滤延伸到P2P网络中,依据在本地XML系统YFilter中构造非确定有限自动机(NFA)的思想,采用Chord环建立起分布式的NFA对于peer节点中的XML数据的查询过滤系统,并基于递归法执行查询过滤,在不同的peer节点上得到满足查询条件的数据集合。通过实验验证了当查询的数量和网络大小发生变化时分布式NFA的方法的执行性能。结果表明:本文方法可在不同的过滤场景中处理百万数量级的XPath查询,具有良好的网络流量和过滤延迟。     

Artificial emotional model based on finite state machine

According to the basic emotional theory, the artificial emotional model based on the finite state machine（FSM） was presented. In finite state machine model of emotion, the emotional space included the basic emotional space and the multiple emotional spaces. The emotion-switching diagram was defined and transition fimction was developed using Markov chain and linear interpolation algorithm. The simulation model was built using Stateflow toolbox and Simulink toolbox based on the Matlab platform. And the model included three subsystems： the input one, the emotion one and the behavior one. In the emotional subsystem, the responses of different personalities to the external stimuli were described by defining personal space. This model takes states from an emotional space and updates its state depending on its current state and a state of its input （also a state-emotion）. The simulation model realizes the process of switching the emotion from the neutral state to other basic emotions. The simulation result is proved to correspond to emotion-switching law of human beings.     

基于扩张观测器的航天器无速度旋量信息姿轨一体化控制

针对在轨飞行期间无法精确获得速度信息(角速度与质心速度)的情况,设计了基于扩张状态观测器的航天器姿轨一体化控制器.首先给出了基于对偶四元数的航天器姿轨一体运动学与动力学模型;然后针对速度旋量信息缺失的情形并考虑模型参数误差与外界扰动设计了扩张状态观测器,并利用Lyapunov稳定性定理分析观测误差的有限时间收敛性;最后...     

基于局部信息的Agent元胞自动机设计

复杂性研究不仅是工程、科学各学科，也是管理学科的一个重要研究领域。由于管理科学本身的复杂程度其每个单元都构成一个具有自主能力的Agent；而且必须考虑到实际的Agent是基于局部信息的（完全信息条件可以看作局部信息的一种特殊情况），因此有必要开展对建立基于局部信息的Agent元胞自动机设计方法的广泛研究。本文从冶金物理化学中Gibbs自由能方法开始，在用于金属凝固过程模拟方法的基础上，推导出在管理科学中适用的评价函数方法，及其应用方法。     

基于信息测度的图像过渡区提取与分割

图像过渡区提取的传统算法基于梯度算子,为克服梯度算法对噪声敏感的缺点,通过对图像过渡区特征的深入分析,提出基于信息测度的过渡区直接提取方法,依据过渡区的直方图确定一个最佳分割阈值。根据过渡区像素灰度变化频繁的特点,构造提取图像过渡区的特征参数———局部熵信息测度。实验结果表明,算法抗噪性能好,稳健性强,摆脱了传统算法对剪切点Llow和Lhigh的依赖,优于传统的过渡区间接提取算法和基于局部复杂度的过渡区直接提取方法。     

基于信息融合技术的汽车状态估计算法

以信息融合技术为基础,根据状态估计理论,对汽车的纵向速度、横摆角速度和质心侧偏角进行了估计。仿真计算与场地实验结果对比表明,应用该方法可以有效地解决汽车纵向速度、横摆角过度和质心侧偏角的测量问题。     

Real-time traffic information extraction based on compressed video with interframe motion vector

Extraction of traffic information from image or video sequence is a hot research topic in intelligent transportation system and computer vision. A real-time traffic information extraction method based on compressed video with interframe motion vectors for speed, density and flow detection, has been proposed for extraction of traffic information under fixed camera setting and well-defined environment. The motion vectors are first separated from the compressed video streams, and then filtered to eliminate incorrect and noisy vectors using the well-defined environmental knowledge. By applying the projective transform and using the filtered motion vectors, speed can be calculated from motion vector statistics, density can be estimated using the motion vector occupancy, and flow can be detected using the combination of speed and density. The embodiment of a prototype system for sky camera traffic monitoring using the MPEG video has been implemented, and experimental results proved the effectiveness of the me