时序逻辑电路的矩阵分析法

从Mealy的数学模型出发,探讨了利用矩阵和向量的有关运算法则分析时序逻辑电路的方法,解决了现有时序逻辑电路分析方法中,在次态和输出表达式的问题含有未知的原状态变量,从数学方法看,不利于CAD处理的实现的问题。     

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

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

时序逻辑网络设计的一种简便算法

本文导出了触发器的激励方程,从而给出了同步时序逻辑网络设计的一种简便算法.该算法容易编程,便于上机操作,适用于多变量网络设计.     

脉冲型时序逻辑网络设计(Ⅰ)

本文讨论了脉冲型时序逻辑网络中各触发器控制方程的求法,并给出了脉冲型时序逻辑网络设计的一种新方法。这种方法适用于计算机辅助设计。     

脉冲型时序逻辑网络设计（Ⅲ）

为文献［１］的继续，利用多值逻辑方法讨论二值脉冲型时序逻辑网络的设计，并以实例说明这种方法的设计过程。该方法适用于计算机辅助设计。此外，首次提出了初态自启动的概念及初态自启动网络设计问题。     

脉冲型时序逻辑网络设计(Ⅱ)

本文在文献[1]的基础上,利用逻辑函数的最小项展开法和矩阵运算,导出了脉冲型时序逻辑网络设计的一种解析方法,并且以实例说明了这种方法的设计过程。这种方法适用于计算机辅助设计。     

电网络矩阵分析法的场论

本文用非图论的场论方法,推导电网络矩阵分析中七种方法的全部基本矩阵方程及其主要关系,从而给出电网络矩阵分析法的场论.     

有源约束网络的导纳矩阵分析

给出了含有4种类型受控源、运算放大器及跨导运算放大器(OTA)的n端约束网络节点导纳矩阵(或不定导纳矩阵)的构成规则;利用这些规则,可以通过对无约束网络的不定导纳矩阵进行初等的行、列变换得到约束网络的导纳矩阵。     

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

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

面向时序逻辑的门级信息流分析方法

利用门级信息流追踪逻辑基础理论,研究了门级信息流时序逻辑扩展问题,在确定系统时钟作为基础可信源情况下,给出了扩展4种典型触发器的实现方案.针对IWLS测试向量集使用Synopsys综合编译器,生成90 nm标准库文件,对门级信息流跟踪逻辑的面积、时间延迟和功耗等参数进行了评估.与未经优化的原始GLIFT编码相比,在引入时序逻辑之后,电路的平均面积消耗降低了50％以上,时间延迟减少13％左右,获得的面积和时间延迟信息反映了在逻辑门级层次上实现细粒度信息流控制的复杂性；而仿真获得的功耗对比结果表明追踪逻辑的功耗达到原始逻辑的5～20倍左右,功耗问题需要进一步研究和优化.     

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

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

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．     

同步时序逻辑CAD的一种算法

本文利用集合的概念,组成同步时序电路逻辑综合的一种算法。该算法可使同步时序电路最简化,且简单易行,程序实现方便,计算量较小。编制的BASIC语言程序,已在DJS-130机上实现。     

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

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

开关电容网络的“导纳”矩阵分析法

本文给出了开关电容网络的“导纳”矩阵分析法。其特点是凭视察法由SC网络写出“导纳”矩阵,通过“导纳”矩阵的运算,求出SC网络的电压传递函数。     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

时序Rough逻辑及其在数据分析中的应用

提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义．描述了这种逻辑的语法和语义．论述了时序Rough逻辑中的语义模型是一个无限状态序列,其中每一状态都描述了当前时刻和场景点上信息系统的信息．从当前状态到下一状态的变换是遵循时序Rough逻辑演算的,它必须保持知识不变,也就是属性和讨论的对象不变,而属性关于对象的特征值,即属性值随着时间和场景变化而可以变化．因此。在信息系统上作决策、数据约简和信息粒化等都将产生影响,由此可见时序Rough逻辑将是动态地处理信息系统的理论工具,也将是合理地解决和处理不一致信息表的较好方法．     

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

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

时序逻辑网络计算机辅助分析的一种方法

本文给出时序逻辑网络分析的一个计算机算法,利用该算法所编程序占用内存少,操作速度快,适用于多变量网络的逻辑分折.