SDL-2000动态语义定义方法

讨论了SDL-2000的建议Z．100的附件F中用分布式实时抽象状态机(ASM：Abstract State Machine)形式地定义SDL(Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比，该方法能够更直接地定义SDL的动态语义，具有易于维护和可读性好等特点。     

基于UML实时状态图的定量分析

在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用.UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability, Performance and Time适用于对实时系统的刻画.在给定系统的实时状态图基础上,用相对应的随机Petri网模型进行定量分析,得到实时系统最终的分析结果,对系统开发有重要的指导意义.     

基于NS-2的802.11DCF协议仿真模型研究

DCF协议是IEEE802.11标准最基本的无线信道接入方法.在分析DCF协议关键技术和NS-2仿真工具中DCF协议状态机模型的基础上,以NS-2.29版本为例,提出了NS-2中的DCF模型与标准中所描述的DCF模型二者之间存在的差异.这些差异分为三类:在特定的仿真环境下对仿真结果影响较大,应该进行改进的错误地方;由于NS-2内在的原因,在建模时所进行的模型简化所导致差异;在特定的工作环境和工作性质下对802.11标准的理解的不同所导致建模差异.     

一种基于状态机的手机安全模型及应用

现代社会智能手机日益重要,承载个人隐私数据,但因缺乏安全机制,存在被盗时不会报警、被盗后数据易被泄露等诸多问题。利用手机中传感器技术,构建安全状态机模型,通过对传感器以及外部环境进行监控,在监控事件发生时进行状态转变并执行报警、现场采集等操作,确保了手机安全。据此开发设计了e守卫系统,实战成效良好。     

无人机集群自组织搜索仿真模型设计与实现

城市威胁背景下无人机集群自组织搜索移动目标问题,是无人机集群作战应用的一个重要发展方向。采用基于Agent的复杂系统建模仿真工具,构建了无人机集群搜索仿真模型框架,设计实现了无人机集群自组织搜索模型。在考虑无人机集群作战可能受到威胁的背景下,展示了无人机集群自组织搜索概念,探索了使用基于概率的有限状态机模型实现集群自主决策的解决方案,并通过案例进行了分析验证。该仿真模型为无人机集群作战应用研究提供了参考案例、模型支撑和实验平台。     

LED汉字显示系统中PC机与单片机串行通信的设计

描述了LED汉字显示系统中显示部分的PC机与单片机串行通信的软件设计,给出PC机利用VB 6.0设计显示字符串内码的串行通信程序以及单片机利用状态机函数与PC机进行串口传递信息的设计方法.     

SMV在开发数字电视硬盘机顶盒中的应用

数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证软件中各个线程的逻辑状态配置的正确和合理性.这种方法对软件开发中的有限状态分析有较大帮助.     

基于FPGA的图像数据缓存控制器设计

介绍了SDRAM存储器的工作原理及其特点,给出了以大规模可编程逻辑器件FPGA为核心、SDRAM为缓存的高速图像数据缓存控制器的设计.该控制器实现了对SDRAM接口以及读写FIFO的时序控制,并通过在SDRAM存储器内部切换帧的方法大大提高了图像数据的传输效率.     

基于6Dof坐标模型虚拟智能实体状态变迁初探

虚拟现实技术得到越来越广泛的研究和应用，参与者希望进行更加智能化的人机交互，这对研究者提出了更高的要求。提出了一种基于6自由度坐标模型的虚拟智能实体，利用有限状态机来实现状态变迁，以此来增加整个虚拟现实系统的人-机交互智能特性。