状态转换图相关论文
在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测......
本文针对复杂实时控制系统的设计与实现，以智能机械手控制系统为实例，给出一种基于实时控制系统RCS(Realtime Control System，简称RCS......
向量网是一种新型网络体系架构,它以向量地址和向量交换为基础。与IP网提供的无连接、尽最大努力交付的服务方式不同,向量网通过建......
如今Web服务广泛分布于互联网中,它们通过彼此之间的交互实现对问题的协作求解。然而,在交互过程中,一些非预期、“不正常”的信息......
互联网迅猛发展,Web应用变的越来越复杂,人们的生活和工作对Web应用的依赖越来越紧密。然而,随着这种发展,Web安全问题日益突出。......
利用集成二、十进制计数器采用反馈置数法设计任意进制计数器,已有设计方法的特点是采用一次置数.提出了采用多次置数法设计任意进......
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchi......
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统......
针对当前病死畜禽处理的问题,设计、开发了一种基于生物发酵处理方法的无害化处理机控制系统。首先,系统地介绍了小型家禽无害化处......
本文对时序逻辑电路描述逻辑功能的逻辑表达式、状态转换表、状态转换图、时序图等各种方法的本质及相互转换的方法进行了分析.特......
基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提......
传统Web爬虫无法解决爬行Ajax应用所面临的JavaScript执行、状态识别与切换、重复状态检测等问题。为此,首先定义Ajax应用的状态转......
数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性，介绍了模拟验证和形式验证两种验证方法，并对......
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构......
近年来,计算机系统的安全问题日益突出,相应的安全防范技术也成为了人们研究的热点.入侵检测技术作为一种重要的安全技术,从80年代......
网格系统采用委托授权有效地解决了分布状态下的授权问题，但其动态变化将打破委托授权模式下不同安全域间访问权限的全局一致性。为......
针对项目式教学缺少规范及难以实施的问题,提出“七步式项目教学法”.以具体嵌入式系统开发项目为例,详细描述了该方法的实施过程.......
给出了方程、真值表与状态转换图在逻辑推理中的应用。...
针对仪器状态转换图对测试软件运行时间产生的影响，以NI6221数据采集卡为例，讨论了仪器状态转换图的获取方法，分析了仪器状态转换图对......
摘要:主要介绍了有穷自动机的基础知识,研究了有穷自动机的等价性,并在确定型有穷自动机的状态集上引入等价关系,给出了自动机的最......
随着信息化的发展,工业控制系统面临严重的安全威胁,提出一种基于PU学习的工业控制系统异常检测方法。该方法通过状态表示将状态变......
本文提出了一种新的实验模式一软硬件结合的实时自动判错系统,用于对学生实验中每一步的接线、操作进行监视,对错误即时显示判断结......
自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理，指出了从确定有限自动机到正规表达式重构规......
入侵检测系统(IDS)作为一种重要的计算机系统安全监测手段,已经成为维护网络安全的主要技术之一.本文提出的改进模型是在一个现有......
异步时序电路的测试一直是一个比较困难的问题.该文通过在前人研究的基础上,提出了一种实用、高效的自动测试生成方法.该方法通过......
介绍了SDH系统中的接口电路--数字分接复用器的VHDL设计及FPGA实现。该分接复用器电路用纯数字同步方式实现,可完成SDH系统接口电......
根据编译原理,设计并实现了一个用于C语言的错误处理预编译器。通过扫描程序代码,它可以找到特定格式的注释,并从中提取错误名称、......
给出Petri网的状态转换图模型，并作为分析工具，分析Petri网重复引发序列在状态转换图中的表现特点，给出标注路径（回路）与引发序列（重复引......
自动视频监控对于公共场所的安全控制等方面具有重要意义。本文实现了一个实用的行人监控系统,采用了基于改进Kalman滤波的背景更......
提出了一种设计同步时序逻辑电路的新方法。根据触发器（ＦＦ）基本特性，可从电路的状态转换图上直接求得触发器置位、复位函数，进而确定触发......
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复......
有向路径分析法是在预测分析法的基础上利用状态转换图思想设计的;由于去掉了预测分析法中的许多中间产生式匹配,因此该方法具有较......
测试信息标准化描述是实现不同ATS平台之间数据交换的关键。针对地面测控设备种类多样及自动测试系统测试任务复杂的情况,对ATML标......
合理地设计一个有限的测试用例集合是软件测试的关键,介绍了面向对象的软件测试用例设计的基本方法,并以堆栈类为例,详细讨论了基......
提出了一种基于实时控制系统 (RealtimeControlSystem ,RCS)模块的递阶分布控制系统(HierarchicalandDistributedControlSystem ,H......
若一个环行计数器不能自启动,选择某一个触发器的输入端作为修改点,在卡诺图中将原逻辑化简圈外的约束项修改为1,而该约束项必须与......
提出了一种分析时序逻辑电路功能的新方法:利用分项满足法和时钟方程来填写状态方程的卡诺图,并由卡诺图直接画出状态转换图......
本文笔者比较了基于状态转换表和基于状态转换图的功能验证方法,并总结出两种方法各自的特点和适合时序电路功能验证的方法,为验证......
提出了一种异步时序电路设计的新方法:时钟信号与次态卡诺图联立法.根据时钟信号填写次态卡诺图,当触发器满足时钟信号时其次态由......
提出了从状态转换图中直接求得触发器的置位和复位函数，从而确定触发器的驱动方程这样一种设计同步时序逻辑电路的新方法．设计原理简......
近几年来,随着计算机软件的发展,越来越多的开发人员意识到友好、高效的交互对于软件使用十分重要。好的交互设计可以大大提高用户......
状态转换图能恰当地反映通信协议的解析过程，通过构造与通信协议相应的状态转换图，可将输入的连续数据流解析为协议规定的数据帧。基......
本文针对传统设计方法中无法兼顾输入条件的组合与有序状态转移的问题，提出了基于状态转换图的用例设计方法，设计了以有限状态机和决......
为提升跨站脚本(cross site scripting,XSS)漏洞检测中对隐藏注入点的扫描覆盖率,有效判定是否存在XSS漏洞攻击,提出构建Web应用文......
利用集成二、十进制计数器采用反馈置数法设计任意进制计数器,已有设计方法的特点是采用一次置数。提出了采用多次置数法设计任意......
为了实现机载防撞系统(TCAS)主机与外围功能单元的高效连接,需要定义和设计相关的接口协议。根据美国航空无线电设备标准ARINC735A......
状态转换图是为了在动车组仿真系统中实现全自动模拟驾驶功能。本转换图以中国铁道科学研究院集团有限公司机车车辆研究所(简称:铁......
