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

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

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

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

nRF905的LED屏无线通信设计与实现

针对采用芯片nRF905的LED屏无线通信,分别给出了上位机和下位机的系统框图,分析了系统的功耗,比较了无线模块和串口通信的通信速率,验证了系统的可行性,设计了串口通信协议,为保证数据质量,设计了数据通信协议,针对串口数据的nRF905分包转发,设计了无线芯片通信协议,例举了状态机的五种状态,介绍了状态间的转换条件,巧妙地编程设计了通信数据的定时器检查,论述了基于状态机的嵌入式单片机软件编程。     

用有限状态机设计数控振荡器

用VHDL有限状态机设计了一种用于数字锁相环的数控振荡器,详细分析了解决相位调整和消除“毛刺”的方法,对设计实现过程中应注意的相关问题也作了具体讨论;测试和实际应用表明其性能稳定可靠。     

基于CPLD测温电路的设计和实现

介绍一种基于可编程逻辑器件控制的数字温度计,从硬件和软件两方面介绍了CPLD温度控制系统的设计,对硬件原理图和程序框图作了简洁的描述.数字温度计与传统的温度计相比,具有读数方便,测温范围广,测温准确,其输出温度采用数字显示,该设计控制器使用XC2C256-7VQ100CES的CPLD芯片,测温传感器使用NTC热敏电阻,用LCD以串口传送数据,实现温度显示.这种温度计在测温范围为35℃～42℃时的精度为0.1℃,实验证明其具有很好的可靠性和实用性.     

嵌入式IPv6协议的设计与实现

随着联网设备特别是嵌入式联网设备数量的增加,能提供几乎无穷尽IP地址的IPv6协议的优势越来越显著.所以,在嵌入式设备中实现IPv6协议栈具有很大的现实意义.结合嵌入式本身所固有的性质,给出了IPv6的设计原则和关键技术.实现时简化了IPv6模块中的ICMPv6和邻居发现的相关功能,在传输层只实现TCP模块,并简化了TCP运行状态机机制.最后将实现的协议通过移植到LPC2200开发板上,并通过简单C/S通信实验表明协议实现的可行性.整个软件代码量小、结构简单、易于移植和扩充.对嵌入式设备上移植IPv6协议栈提供了参考方案.     

状态机的稳定状态与稳定子集

主要研究了状态机的（可）稳定状态,稳定子集与可稳定状态子集关于状态机同态、覆盖及状态机的积的性质,并讨论了只有一个输入的状态机的（可）稳定状态,稳定子集与可稳定状态子集.     

运用于京沪高铁动车组中WTD技术的改进

车载无线传输网关(WTD)技术通过对车辆的实时信息进行采集,处理及发送,使得在地面接收端的信息处理系统能够有效地监控与管理动车组.京沪高铁通信环境的变化对现有WTD技术提出了更高要求.本文通过引入有限状态机技术,类P2P文件传输技术,使得改进后的WTD技术能够在这种新的高速铁路环境下发挥更大的作用.     

一种通用状态机引擎设计与应用

易复用的软件框架可降低软件维护成本并提高开发效率。基于层次状态机,设计并实现了一个面向对象的高扩展、易复用的状态机引擎。它采用基于事件驱动的状态驱动模型,提供资源管理、异常处理以及一个基于模版的代码生成器。文中首先介绍了状态机引擎的整体框架设计,然后描述并实现了引擎框架中采用的关键机制,最后将其应用到实际项目中。     

一种基于CPLD的12864LCD控制器设计

本文指出了应用单片机驱动液晶显示器的某些局限性,提出使用CPLD做为LCD控制芯片的方法。这种方法简单实用,可以提高LCD控制器控制速度,形成的控制电路便于提高电子系统集成度,特别适合用于设计以CPLD/FPGA为主要控制芯片的电路。本文介绍了液晶屏幕的控制方法,根据对液晶屏幕控制方法的分析设计了LCD控制状态机。应用VHDL语言举例说明了控制器的具体实现。描述文件在QuartusⅡ4.2环境下调试通过。控制电路在实际电路中调试通过。