短时交通流预测FSMSVR模型

针对城市道路短时交通流的复杂非线性特点和以往的预测仅考虑典型交通条件（无交通事故等突发事件）的现状,结合交通流的特征,提出了一种有限状态机支持向量回归模型（finite state machine of support vector regression model,FSMSVR）的短时交通流预测机制. 通过线性回归算法和指数平滑算法划分交通流状态,根据各状态特点结合支持向量回归算法建立有限状态机工作机制,实现涵盖典型和非典型交通条件的短时交通流预测. 通过实验例证,对比了FSMSVR模型和传统SVR模型对城市道路6min交通流的预测,研究结果表明,该预测机制能够提高预测精确度,在非典型条件下有着较好的预测表现.     

UIO序列的启发式算法

UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝 ,新设计出的多路 OPEN/CLOSED表存储机制也加快了相关的判别和处理过程。这些措施改进了搜索过程 ,减少了搜索信息的产生 ,提高了搜索速度。该算法与以往的算法相比 ,在时间和空间两方面都得到了很大改进。     

有限状态机的多AGV路径优化策略

为解决多自动运输引导车(AGV)在实际物流中易发生冲突、堵塞的问题,提出一种基于有限状态机模型的实时路径规划方法.通过A*算法对自动导引运输车系统(AGVS)进行预路径规划,以工作路径长度作为适应度函数,对不同任务的AGV进行优先级分配;然后,引入有限状态机的模型,动态地对不同任务的AGV进行协同控制.若AGV之间存在路径冲突点,通过去交叉法,在优先级低的AGV中暂设冲突节点为障碍物状态.对优先级低的AGV重新进行路径规划,优先级高的AGV继续运行,实现AGVS的无冲突发生.仿真结果表明:该方法在保证工作路径是最优的同时,能有效地避免AGV在物流运输中的碰撞,实现系统调度过程中无冲突的发生,提高系统的效率.     

基于FPGA的全帧紫外CCD驱动时序设计

文章介绍了槟松紫外全帧背照式面阵CCD(S7171 0909)的结构和工作特点,分析了该芯片驱动时序要求;采用可编程逻辑器件EP2C8作为硬件平台,在Quartus Ⅱ 9.1软件环境下,用基于状态机的算法对时序电路进行了描述,设计产生了芯片正常工作所需的时序脉冲信号,并选用EL7202作为CCD驱动器对时钟脉冲进行功率放大.调用第三方软件进行仿真,并给出实际工作输出波形,结果表明,设计的时序电路满足CCD对各驱动信号的要求.     

VxWorks嵌入式系统下视频监控系统通信的研究

通过嵌入式实时操作系统(VxWorks),实现了视频监控系统的解决方案.研究了在VxWorks系统下实现设备和数据通信的关键技术和相应机制,并采用有限状态机(FSM)解决了串行数据通信的帧同步.文中重点分析了采用计数器信号量解决多进程同步通信,即生产者-消费者问题.本文的方案可以推广到串行设备以外的其它通信机制.     

Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

一种基于状态机的总线桥设计

随着半导体工艺技术的飞速发展,系统芯片SOC正逐渐成为集成电路设计中的主流发展趋势,基于IP重用的设计方法是提高SOC设计效率的有效途径。SOC设计通常采用层次化片上总线的体系结构,不同的IP集成在不同类型的总线上。为了实现SOC中集成在不同总线上的IP之间进行有效通信,可以采用设计总线桥的方法。文章提出了一种基于状态机的总线桥设计方法,设计结果通过了RTL功能验证。     

基于有限状态机的呼叫中心平台设计

文章介绍了一种面向社区服务的呼叫中心平台,其核心模块是基于有限状态机设计而成,加入动作码的设计,具有流程控制简明清晰、运行平台稳定可靠的特点。在此基础上,给出了有限状态机的定义以及其在呼叫中心平台中的具体实现,设计一个VoiceXML解析器,并对队列管理器的工作原理以及VoiceXML的相关技术进行了分析介绍。     

移动卫星通信信令系统的综合研究及优化设计

研究了ＩｎｍａｒｓａｔＭ、Ｍ４、Ｃ２、Ｃ３移动卫星通信系统及其信令结构,按照系统定义描述,归纳了系统的所有事件、状态、行为,并按照状态机模型实现信令处理流程,改变了常规的流程图算法设计,使得所设计系统具有更易扩充、修改维护和更具有强壮性．由于这四个系统所包含的模块、处理方法等具有很大的相似性,都可以按照状态机模型运行,因此提出将各种不同的系统综合成一个统一系统的设想,按照不同系统的相似模块进行合并统一,最后以实时多任务操作系统进行设计．实际测试表明,这种设计方法使软件结构规范统一,系统扩充修改方便,系统分析员和编程员可以分开,系统维护容易,因此大大减少了整个系统的软件设计费用,具有很大的灵活性和经济效益．     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化