状态机模型相关论文
VOIP(Voice over IP)从诞生以来,发展迅速,赢得了市场的青睐, SIP(Session Initiation Protocol,会话初始化协议)协议的应用,促进......
随着计算机应用的普及和软件产业的飞速发展，人们对于提高软件质量的要求也越来越迫切。软件测试作为保证软件质量的重要的手段之一......
目前,UML已经成为软件建模的标准语言,UML状态图描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态......
随着计算机技术的不断发展,计算机软硬件系统已经深入渗透到实际生活中的各个领域,若这些系统一旦出错,将给人类带来不可承受的损......
器械护士是外科手术中必备的人员之一,承担着术中向医生传递手术器械的重任,同时也是术中最易受伤和感染的医护人员。随着机器人技......
为了提高油位传感器的精确性,避免传统传感器的不足,根据传统的电阻油位传感器提出了在结构上采用PTC探针式电阻来获取油位,实时检......
作为一种现场总线,HART协议及相关设备被广泛地应用在工业过程控制系统中。HART协议自身也在不断发展,特别是第6版规范的提出,推动......
针对液压制动主缸的装配检测中生产效率低的问题.本文以LabVIEW为平台,采用了状态机模型,开发了液压制动主缸的装配检测线.该流水......
为实现对水库闸门的远程监控,提升闸门监控的准确性与可靠性,以集成射频(RF)功能的片上系统芯片(SOC)CC2430为硬件核心,结合CYH301......
介绍了由可编程逻辑器件集成的数字预滤器(prefilter)的设计原理,该预滤器用于滤除某些输入信道的尖峰或毛刺干扰,提供了其IP软核(......
介绍智能差压变送器嵌入PROFIBUS—DP总线接口的从站开发。给出了变送器的基本结构、从站接口的总体设计，采用PROFIBUS—DP从站状态......
电动助力转向(Electric Power Steering,简称EPS)系统是汽车转向系统中应用最广且技术较成熟的转向系统。转向系统控制着汽车的行......
为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全......
由于各种移动智能设备特征各异、操作方式多样、使用环境复杂、用户类型众多等诸多因素,使得移动应用的易用性评估问题非常突出。......
近年来在安全关键应用领域中(如:航空、交通、核电站等)嵌入式系统及软件的规模增大以及系统复杂度的迅速增加带来了嵌入式系统及......
为解决利用雷达回波实现静止目标和运动目标的准确识别这一驾驶辅助系统的关键技术问题,本文中基于地面目标运动状态转移机理提出......
世界经济全球化趋势的迅猛发展,对企业灵活的市场应变能力和柔性的管理体制提出了更高的要求。为了适应这一变化,虚拟组织应运而生......
介绍多功能油田站场智能监控仪的研制过程.硬件设计基于MCS80C251单片机和EPM7128器件,操作系统采用μC/OS-Ⅱ实时多任务嵌入式操......
本文对经典BLP模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案.该方案中主......
计算机联锁系统是保证列车在车站内安全运行的重要手段,联锁逻辑运算的安全性和可靠性影响着整个车站设备的实时状态,对行车安全有......
随着互联网的发展,协议软件在网络通信中发挥着越来越重要的作用。与此同时,针对协议软件的攻击越来越多,一般为利用协议软件漏洞......
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构......
LabVIEW状态机是虚拟仪器中的一种重要的程序架构模型，它可以预先添加指定的状态，状态里可以并行地执行多个任务。其中，状态之间的跳......
基于模型的系统工程设计方法,就是在模型的基础上,采用科学的指导方法,帮助和引导系统设计人员始终围绕着需求,逐步深入了解、明确......
由于嵌入式系统模型设计周期越来越短，功能越来越复杂，其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究......
