利用自动机理论对收费站收费系统进行设计并实现

利用有穷自动机理论研究了高速公路收费站的收费系统。首先分析了现行的自动收费站系统中的不足之处,画出了相应的自动机状态转移图,然后依据有穷自动机是一种具有离散输入输出系统的数学模型,提出了新的收费站自动机设计——记账式收费自动机的模型及相应的自动机状态转移图,进而给出了详细的分析和应用软件,并画出了相应的系统模块图。由于新的系统避免了大量弊端与不足,管理控制能力有效提高;同时该系统不要求OBU的普及以及全球卫星定位系统的使用,故易于推广,从而大大提高了高速公路收费的安全性、准确性、适用性及有效性。     

实现七号共路信令系统第二功能级的一种方案

本文根据1984年修改后的七号共路信令系统(简称 CCSS No 7)技术规程红皮书,给出了其中第二功能级(以下简称第二级)的状态转移图,采用单板机附加硬件方案实现了第二级功能,并对协议进行了一些必要的理论分析。     

利用灰色系统理论实现对油田日产油量的分析与预测

利用灰色系统理论的GM(1,1)模型,对油田日产油量进行了分析与预测。算例表明,GM(1,1)预测方法精确性好,实用性强。     

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

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

基于有限状态自动机的黑白数字图像表示方法

提出了一种用有限状态自动机（FA）来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,任一正则语言也可以表示为一幅黑白数字图像,即正则语言与黑白数字图像可以相互转化。而由自动机理论原理知,正则语言可以用有限状态自动机等价描述,从而得到用有限状态自动机来描述黑白数字图像的方法。这样就建立了图像与自动机理论这两门学科之间的联系,也为用自动机进行图像压缩奠定了基础。     

基于有限自动机的“点点连格”机器博弈系统的建模与分析

目的为机器博弈系统建立利于学习和研究的理论化模型．方法基于“点点连格”机器博弈系统,利用Moore自动机,为二人机器博弈系统建立了有限自动机模型,并在Moore自动机中引入受控子自动机,用监控器自动机作为该受控子自动机的输入控制器,实现了α-β搜索过程．结果利用此模型完成了3×3“点点连格”机器博弈系统的博弈过程,机器博弈系统的棋盘表述、博弈规则、搜索及审局四要素在模型中得以完成．结论在“点点连格”的机器博弈系统建模时,笔者提出的机器博弈系统的模型是可行有效的．     

基于FCM的收费车型分类研究

利用模糊数学刻画分类边界模糊性的优势，通过建立以道路破坏和级差效益为主体的公平性评价指标体系；采用模糊C-均值聚类方法，对照交通部颁布的收费车型分类行业标准，对收费车型划分的公平合理性进行了探讨。研究表明，不论是综合道路破坏和级差效益为公平性评价指标，还是仅以道路破坏为公平性评价指标，现行分类都不能很好地体现公平合理性原则。     

Global Control Simulation of Electric Vehicle Based on Finite State Machine Theory

Finite state machine theory (FSM) is introduced and applied to global control of electric vehicle. Theoretical adaptation for application of FSM in control of electric vehicle is analyzed. Global control logic for parts of electric vehicle is analyzed and built based on FSM. Using Matlab/Simulink, BJD6100-HEV global control algorithm is modeled and prove validity by simulation.     

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

提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.     

基于嵌入式微处理器的"基表集抄器"的设计与实现

介绍了嵌入式系统的特点,提出了嵌入式系统开发的原则,特别是选择软件平台和硬件平台时需要考虑操作系统的硬件支持、开发工具的支持程度、应用的领域、用户的需求、成本、开发的难易程度等因素.阐述了基于嵌入式微处理器的“基表集抄器”的主要功能是实现各类基表（如电表、水表、气表等）数据的远程采集及通信管理的设备,工作方式采用主/从工作模式,设计了“基表集抄器”的硬件系统,并给出了硬件系统结构的逻辑图;描述了系统软件的设计思想以及系统启动和系统工作流程,同时简述了如何将数据通过以太网络上传至上位机的过程.     

基于ANSYS的三维近不可压缩问题的有限元分析

有限元方法是数值求解三维弹性问题的一类重要的离散化方法.在实际工程中,有相当多的材料(如橡胶、塑料等)呈现出近不可压缩(泊松比ν→0.5)的性质,利用常规有限元进行求解时会出现体积闭锁(Locking)现象,需要采用某些特殊的方法.本文基于ANSYS平台系统研究了六面体网格剖分下高阶单元法、减缩积分法及基于u/p格式的混合高阶元法对求解混合边界条件的三维近不可压缩问题的有效性和鲁棒性(robustness).数值结果表明:这三种协调有限元法均能有效地克服三维弹性材料的Locking现象,其中混合高阶元法最为精确,计算所得位移值均随网格尺寸变小而稳定地收敛于理论解.     

基于有限状态机原理的数控电火花机床工件找正方法

提出了一种基于有限状态机原理的数控电火花机床工件找正方法：利用控制系统测量工件的2个基准边,得到它们的直线方程,通过直线方程的交点确定工件基准点（x0,y0）及一直线与机床X轴方向夹角θ,利用坐标平移和旋转,实现工件的定位找正。该方法可使工件快速定位,提高重定位效率和精度,对实现数控电火花机床的快速、高精度加工具有指导意义。