带约束条件的DES的最优监控综合方法

基于ＤＥＳ的Ｄ－自动机模型，提出一种带约束条件的最优监控综合问题，然后分别讨论了逻辑监控与时序监控下该问题解的存在性与求解的方法．结果表明，时序监控优于逻辑监控方法．     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动系统的需求分析方法。为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性。     

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

计数器自启动反馈逻辑电路的圆图化简

在计数器中，当电路的状态没有被全部利用，就会有多余状态，即异常时序。为使计数器进入正常时序，利用正常时序和异常时序组成的反馈函数真值表，根据转换的要求，用逻辑函数的圆图法进行化简，本方法与卡诺图化简相比，具有包围圈少、直观、简明等优点。     

基于时序逻辑语言XYZ/E的实时系统应用研究

针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。     

一种基于TLA的解决N皇后问题的方法

行为时序逻辑语言(TLA+)是一种在模型检测范围内能够表达模型程序和逻辑规约的语言。N皇后问题是一个久远的问题,回溯法是解决该问题一种经典的方法。本文提出如何用行为时序逻辑语言TLA+去描述N皇后问题,然后使用Toolbox工具去检测n=5时该问题的全部解。     

DAC1210与8098单片机的接口与调试

从硬件上解决了 Ｄ／ Ａ 转换器 Ｄ Ａ Ｃ１２１０与全速运行的８０９８单片机接口时存在的时序不匹配问题,并给出了调试程序和调试方法     

人工智能中的时序逻辑研究

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论.     

用MSI实现任意逻辑函数的设计方法

本文介绍并提出几种使用 MSI 的逻辑设计方法.这些方法具有普遍性和适用性,应用这些方法不论是组合逻辑问题还是时序逻辑问题均可使用最少的 MSI 实现任意给定的逻辑函数.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

时序逻辑网络的矩阵分析

本文是前文所述数学方法在时序逻辑网络分析方面的应用.利用矩阵布尔代数运算与逻辑函数方程的最小项展开,本文给出了时序逻辑网络状态转移矩阵的计算方法以及状态方程和输出方程的矩阵解法.这些方法易于在计算机上实现.     

重用控制器综合技术实现RTL综合

讨论在RTL综合中重用高级综合中控制器综合技术的可行性,提出一种通过将RTL描述划分为时序逻辑与组合逻辑后,重用控制器综合中的组合逻辑综合和时序逻辑综合实现RTL综合的方法。此方法有效地利用了已有了成熟技术,为缩短RTL综合的开发时间提供了一种有效途径。     

基于PPTL的着色Petri网的模型检测方法

为了提高着色Petri网的描述及验证能力,提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机,将它与着色Petri网的可达图相积,通过检测检测乘积图的可接受语言是否为空,从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力,可以有效地提高着色Petri网系统的描述及验证能力。     

数字逻辑设计方法与应用

按照逻辑功能的不同特点，常把数字逻辑电路分为两大类：一类称为组合逻辑电路，一类称为时序逻辑电路。两类逻辑电路的功能描述方法、分析和设计方法不同。本文将对两类逻辑电路的分析与设计中的有关问题分类举例说明。一、组合逻辑电路设计组合逻辑电路的输出信号的稳态值仅决定于该时刻各个输入信号的取值，与电路前一时刻的逻辑状态无关。组合逻辑电路的逻辑功能表示方法常用逻辑函数表达式、真值表、卡诺图、逻辑图。组合逻辑电路的设计就是从给定的逻辑要求出发，求出完成逻辑要求的逻辑电路图，其设计过程通常分为四步，而最重要的一…     

时序逻辑网络设计的矩阵方法

本文在前文时序逻辑网络的矩阵分析的基础上,提出同步时序逻辑网络设计的矩阵方法。它适用于多变量网络的设计,并可编制程序,上机操作。至于异步时序逻辑网络的设计,作者将在以后的文章中给出。     

两种死锁分析的逻辑方法

从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后，把这些方法用于Ａｄａ程序的验证系统中。     

PLC控制的立体仓库教学模型

本设备主要以PLC编程练习及位置控制的上微机监控练习。通过传感器信号采集,PLC编程,实现对步进电机及直流电机进行较复杂的位置控制及时序逻辑控制等功能。     

引信系统爆炸逻辑网络起爆控制技术研究

着重研究用于可瞄式战斗部引爆系统和低能安全系统的爆炸逻辑网络的起爆时序控制技术。讨论了少输入-多输出和多输入-单输出的时序、能量和结构匹配技术,并提出了一种简便可靠的方法以解决爆炸逻辑网络的多点隔爆问题。     

序列模式挖掘在网格调度优化中的应用

提出了一种基于数据挖掘的网格调度优化方法,其思想是通过将网格监控信息转化为时序数据库,对其进行多维序列模式挖掘以获得用户行为模式,利用挖掘结果构造优化逻辑.并使用这些信息对网格调度过程进行优化.     

单向通信保密系统的时序逻辑验证

探讨了形式化验证加密协议的方法，用时序逻辑验证了单向保密协议的安全性缺陷。