时序逻辑相关论文
恶意软件会对虚拟环境产生威胁,破坏网络正常运行,为了健全网络安全防护机制,提出恶意软件攻击行为的时序逻辑建模分析。分析了多种软......
软硬件系统的正确性和可靠性十分重要,一个微小的漏洞在某些系统中可能造成重大的财产和安全损失。除了软件测试方法外,形式化验证......
对同一生态损害的事实,现行立法和政策规定的民事诉讼与行政执法措施存在着制度冲突,应当具体地分析受损的环境要素类型,找到具体的冲......
计算机联锁是具有代表性的铁路信号安全苛求系统,负责列车的进路控制和车站作业安全防护。当前计算机联锁系统运行维护的智能化水......
经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随......
网络的爆炸式发展对各行业的发展带来了巨大影响,与此同时各类网络安全问题也随之出现。对于网络安全防护的要求已经上升到了前所......
该文应用了标准时序逻辑来描述密码协议,模拟了入侵者行为,刻画了系统需求正确性。这种途径利用了时序逻辑比FSM、Petri网等模型更易于刻画协......
为了解决现有缓冲区溢出检测方法的不足,本文提出了一种基于细粒度逻辑隔离结构的缓冲区溢出检测方法。首先,利用图灵机分析了产生......
为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法。在位并行随机模拟......
以研究和制造在系统可编程(ISP)器件而著称的美国Latice半导体公司最近推出将通用可编程逻辑和专用存储模块或寄存器/计数器模块......
一、介绍FPGA厂商为广大逻辑电路设计者提供了可自己编程器件,设计者可以通过硬件描述语言或电路图输入等方法实现电路设计,设计......
一、计数器是数字电路(或设备)中最常用的一种时序逻辑部件,它的主要功能是对数字脉冲信号进行计数,以及对某些系统进行顺序控制。计数......
本文讨论了基于线性规划的多相同步时序电路的时钟周期最小化方法,提出了给定时钟周期下的时钟参数优化计算方法.
This paper discu......
本文提出了自启动脉冲异步时序电路的一般设计方法,并举例说明了应用。
This paper presents a general design method of self-s......
Altera公司的柔性逻辑单元矩阵(FLEX)结合了可擦除可编程逻辑器件(EPLD)和现场可编程门阵列(FPGA)的优点,具有快速的可预测互连延......
针对“可编程阵列逻辑”(GAL)编程过程中出现的错误,进行了分析,给出了一套编程规则.利用这套规则可充分开发芯片的功能,有效地指导用户对GAL编......
万能实验系统由主机NICE-H万能实验器硬件和系统软件组成。硬件可做常规电路实验,包括电阻、电容、晶体管、时序电路、运放、74系......
MOS时序逻辑电路由于存在时序反馈环,使功耗分析变得相当复杂。文章提出了一种采用电路化简加速功耗估计的方法。对ISCAS’89和ISCA......
你可以在数学仪器中采用多通道发生器和状态及定时分析仪找出问题要害。
You can use multi-channel generators and state and t......
从 SoC 到 PSoC系统集成(System on Chip,SoC)是基于整个系统的概念,将系统功能、模型算法、软件、芯片结构、各层电路,直至器件......
文章对现有的,用于逻辑设计的状态区间法,做了进一步发展和改进,使之适用于复杂的气动行程程序控制系统,文章重新定义了对偶状态区......
数字电路的产生为制造工艺带来广阔的发展空间,目前来看,我国的数字电路还在发展中阶段,仍然存在不少问题与漏洞等不稳定因素,提高......
逻辑器件电路市场主要由 PLD(可编逻辑器件电路)、门阵列和标准逻辑器件电路三部分组成。据Dataquest市场分析报告,1997年全球逻......
对等计算网络系统中的每个节点地位对等,可以同时成为服务的使用者和提供者,为在Internet这样开放的网络环境中进行大规模的资源共享......
在工业自动化、测量和网络通信领域,随着人们对标准化、开放性以及技术面向未来特性认识的不断提高,CompactPCI技术和PXI技术不断......
让计算机软件具有智能性,代替人类处理复杂多变的坚巨任务是人们孜孜以求的目标.在人工智能研究领域中,人们为了达到此目标,克服一......
学位
随着仿真技术的发展,仿真系统日益向着大规模、开放、分布的复杂仿真系统方向发展。仿真系统的事件管理方法随着仿真技术的发展不断......
物体搬运在实际应用中十分常见,但在空间尺寸受限或者有危险的环境下进行物体搬运非常困难,因此,如何在环境受限的情况下利用多智......
随着软件系统愈来愈复杂,软件设计的核心已从"算法+数据结构"转向对系统总体结构的设计和规范,亦即软件体系结构这一层次上的设计.......
编译器是软件开发的基础支撑性工具,它的正确性直接影响到应用软件的可靠性,保证其质量的有效手段之一是软件测试。优化是编译过程中......
随着数字系统设计日益复杂化,对于系统设计和实现正确性的要求越来越高。如何在整个系统设计代码空间中定位到满足给定性质的模块,从......
在涉及航空航天、交通指挥、军事、核工业等一些关键领域,系统一次计算的正确性,不单单取决于其计算逻辑的正确性,同时也与运行结果的......
实时系统作为一种在现实中广泛使用的反应型系统,因其大多使用于安全攸关的领域,所以必须保证它的安全可靠。为了它到这个目的,必须使......
当前,基于构件的软件开发方法已经受到越来越多的重视。大多数构件经过了严格的质量认证,单独运行时功能十分明确,但当来自于不同开发......
软件的规范说明阶段(specification phase)对于软件整体开发过程来说是一个非常重要的阶段,它可以被认为是需求分析的一部分。用自......
本文对基于时序逻辑的柔性工作流进行了初步的研究。在分析基于时序逻辑的工作流模型和柔性工作流特性的基础上,详细描述了基于时序......
由于因特网和嵌入式系统在汽车、飞机以及其它安全系统的成功应用,未来将会更加依赖于计算机设备的功能。由于技术的快速发展,发展验......
关联规则挖掘是数据挖掘中最活跃的研究方法之一。最早是由Agrawal等人提出的(1993年)。最初提出的动机是针对购物篮分析(Basket Anal......