状态转换图相关论文
在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测......
控制器综合从较高的抽象层次开始,使用硬件描述语言,采用综合优化工具进行,因此验证综合过程的正确性至关重要。本文采用图同构的方法......
We consider a subclass of quantum Turing machines (QTM), named stationary rotational quantum Turing machine (SR-QTM), wh......
数字电子技术中,设计一个时序电路的关键是根据状态转换图求出其状态方程和触发器的激励方程.异步计数器电路中,各触发器的时钟端......
向量网是一种新型网络体系架构,它以向量地址和向量交换为基础。与IP网提供的无连接、尽最大努力交付的服务方式不同,向量网通过建......
如今Web服务广泛分布于互联网中,它们通过彼此之间的交互实现对问题的协作求解。然而,在交互过程中,一些非预期、“不正常”的信息......
在环境监测、交通网络、数据中心等很多领域中,对异常事件及时、及早的检测和跟踪,是一件非常重要而有意义的事。尤其是在很多领域中......
设计模式是软件设计中典型问题的经典解决方式,但是其具体实现方式丰富多样。从源程序中识别出设计模式的实例,并提取出其语法和语义......
互联网迅猛发展,Web应用变的越来越复杂,人们的生活和工作对Web应用的依赖越来越紧密。然而,随着这种发展,Web安全问题日益突出。......
本文从状态转换图中检验计数器“中断”现象,来讨论设计自校计数器自校正电路所遵循的原则,并得出行之有效的设计方法。
This pap......
三、异步计数的设计设N是输入计数脉冲,这里重点讨论CP_1≠N时,如何利用Q_l~(n+1)卡诺图来检查和修改异步计数器的自启动情况。
......
本文介绍一种分析异步计数器的方法。文中引入了异步计数器时钟变量的概念,给出其计算方法,导出了异步计数器对统一外时钟的状态方程......
本文对计算机网络性能分析的方法进行了较系统的研究,分析了三种网络性能分析的方法:计算机仿真方法、网络模拟方法和网络理论计算......
本文对TETRA协议进行分析,从各方面描述系统中呼叫信令流程,从空中接口协议栈分层处理的角度描述呼叫控制过程,给出呼叫建立过程中......
一、前言根据“四化”建设的需要和生产的发展以及计算机在生产、科研领域中越来越广泛地应用,最近我国引进的计算机日益增多。因......
本文介绍了如何利用操作系统分时和多重中断的概念与技术,在TMC—80工业控制微机上成功的设计和实现了在付油控制与管理应用中的单......
步进梯形指令是一种很有用的指令,很适合于初学者编程,而对于熟练者,也可用它来提高设计效率。1.简介STL指令在F_1系列PLC中,步进......
该文提出了一种用于联机手写汉字识别的汉字拐点识别算法,通过比较拐点前的笔段的平均方向与笔划上各象素点处的局部方向走势来判断......
该文分析了两种基本的多体控制结构,提出实现多机器人合作的策略,基于竞争方式的子任务指定和通过窨资源的合理分配实现动态合作,根据......
提出一种设计同步时序逻辑电路的新方法 .根据触发器 ( FF)基本特性 ,可从电路的状态转换图上直接求得触发器置位、复位函数 ,进而......
本文指出一种把非自启动计数器变换成自启动计数器的设计方法.它在非自启动计数器的某一级插入反馈网络,再根据加入反馈网络后的状......
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchi......
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统......
针对当前病死畜禽处理的问题,设计、开发了一种基于生物发酵处理方法的无害化处理机控制系统。首先,系统地介绍了小型家禽无害化处......
本文对时序逻辑电路描述逻辑功能的逻辑表达式、状态转换表、状态转换图、时序图等各种方法的本质及相互转换的方法进行了分析.特......
基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提......
传统Web爬虫无法解决爬行Ajax应用所面临的JavaScript执行、状态识别与切换、重复状态检测等问题。为此,首先定义Ajax应用的状态转......
数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对......
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构......
介绍了一种设计同步时序逻辑电路的方法。该方法之关键在于直接从时序电路的状态转换图获得了J-K,D和T触发器的激励方程式。采用该方法设......
近年来,计算机系统的安全问题日益突出,相应的安全防范技术也成为了人们研究的热点.入侵检测技术作为一种重要的安全技术,从80年代......
网格系统采用委托授权有效地解决了分布状态下的授权问题,但其动态变化将打破委托授权模式下不同安全域间访问权限的全局一致性。为......
针对项目式教学缺少规范及难以实施的问题,提出“七步式项目教学法”.以具体嵌入式系统开发项目为例,详细描述了该方法的实施过程.......
给出了方程、真值表与状态转换图在逻辑推理中的应用。...
心电图、脑电图是一类关于时间轴变化的单值连续函数曲线,本文针对这类曲线给出了一种高效、简洁的压缩描述方法,其压缩效率一般在游......
针对仪器状态转换图对测试软件运行时间产生的影响,以NI6221数据采集卡为例,讨论了仪器状态转换图的获取方法,分析了仪器状态转换图对......
摘要:主要介绍了有穷自动机的基础知识,研究了有穷自动机的等价性,并在确定型有穷自动机的状态集上引入等价关系,给出了自动机的最......
计数器在数学系统中的应用是非常广泛的,为此,熟悉和掌握其分析方法,自然也就显得十分必要。采用次态卡诺图来分析计数器,乃是一种......
随着信息化的发展,工业控制系统面临严重的安全威胁,提出一种基于PU学习的工业控制系统异常检测方法。该方法通过状态表示将状态变......
本文提出了一种新的实验模式一软硬件结合的实时自动判错系统,用于对学生实验中每一步的接线、操作进行监视,对错误即时显示判断结......
自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理,指出了从确定有限自动机到正规表达式重构规......
入侵检测系统(IDS)作为一种重要的计算机系统安全监测手段,已经成为维护网络安全的主要技术之一.本文提出的改进模型是在一个现有......
提出一种针对用D触发器构成同步时序逻辑电路的设计新方法,该方法可以直接从时序电路的状态转换图(STD)上获得D触发器的驱动方程,从而......
提出一种设计同步时序逻辑电路的新方法。根据触发器(FF)基本特性,可从电路的状态转换图上直接求得触发器置位、复位函数,进而确定触发......