有限状态机模型相关论文
文章介绍了一个具备测试系统的可重构性和测试套优化性的DHCP一致性测试系统.DHCP一致性测试系统的设计采用分层设计、底层封装以......
第三代无线通信系统的基本特征之一是高速数据通信，而媒体接入控制协议(MAC)正是实现分组业务的一个重要组成协议。MAC的任务是实现......
随着社会的发展,计算机与通信的基础作用也有很大的发展。另外,在软件应用不断深入、不断扩大中,其复杂度也日益提高。因此,对网络......
数字系统的组成可分成数据通道部分和控制器部分，相应的自动综合便分成数据通道综合和控制器综合。控制器综合优化方法的研究涉及到......
学位
本论文遵循MPEG-4和DVB-S国际标准，从设计者的角度出发，对DVB-S HDTV机顶盒的关键模块进行了全面的分析。所有的软件都是基于uclinux......
开发和应用复杂应用软件系统(Complex Application System,CAS)对提升政府、企业、事业单位等机构的管理水平、综合竞争力具有举足......
由于目前协议的设计越来越复杂以及网络安全问题日益严重，协议测试技术已经成为协议实现过程中的一个必需且十分重要的手段。对WLAN......
任何一个企业都不断的寻求通过信息系统来提升企业的管理效率，传统的信息化已不能很好的支持企业的多流程处理。因此在管道完整......
模型检验是近年来在各种硬件和软件设计中得到广泛应用的一种形式化验证方法.本文首先介绍了描述系统行为的Kripke结构和描述系统......
跨时钟域(Clock Domain Crossing，CDC)设计和验证是SOC系统芯片设计的关键问题，本文讨论了异步FIFO的模型检验方法，利用模型检验......
现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可......
测试基于SOA构件的软件系统与测试传统的软件有许多不同之处。本文针对以往的用于测试的有限状态机模型进行了分析和研究,给出了一......
对现场设备中的功能块进行测试，是现场总线互操作测试中的一项重要内容.为保证所开发测试案例的完备性，本文基于形式化建模工具，给出......
为因应人机交互过程的复杂性这一制约数字样机交互可视分析的瓶颈问题，提出数字样机交互可视分析一般框架，并对数字样机交互可视......
根据仿生尺蠖运动机理研制了一种用于人体腔道微创诊查的微小机器人系统,该机器人系统由前支撑单元、后支撑单元和具有3个气室的橡......
在工作流管理联盟给出的工作流参考模型中,工作流引擎是参考模型的核心,是任务调度器和资源分配器.文中将FSM（有限状态机）的理念应用......
提出了基于SOA的声讯服务系统通用程序架构,适用于在各行业中建立中小规模的声讯服务系统。从形式化定义的角度出发,给出了基于TTS......
<正>在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的......
自动化集装箱码头解决方案项目（以下简称“总包项目”）是软硬件结合的系统集成项目.按照传统的项目实施方法,这类项目需要先后经历2......
本文基于形式化建模的思想，分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型，描述AODV协议的路由行为及算法思想，分析......
针对市场上指纹锁存在着价格高、功耗高等问题,设计了一种低成本、低功耗的智能指纹锁系统。STC12LE5A60S2作为核心处理器,对各模......
基于对某种ＧＳＭ移动程控交换机归属位置寄存器ＨＬＲ ＭＡＰ－Ｕｓｅｒ操作实体的工作原理，对ＨＬＲ ＭＡＰ－Ｕｓｅｒ操作实体中各业务处理流程进行详细分析，考虑到各种业务／处理的并......
综合是在库的支持下,将行为级描述的电路转化到门级网表。它主要包括高层次综合、逻辑级优化和门级优化三个阶段。综合是由电路的......
