说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 时序描述逻辑
1)  Temporal descriptive logic
时序描述逻辑
2)  Spatio-temporal description logic
时空描述逻辑
3)  description logic
描述逻辑
1.
Workflow conflict detection algorithm based on description logic;
基于描述逻辑的工作流冲突检测算法
2.
Fuzzy description logic based on vague sets;
一种基于vague集的模糊描述逻辑(英文)
3.
Extended fuzzy description logic;
一种扩展的模糊描述逻辑
4)  description logics
描述逻辑
1.
Component retrieval and matching algorithm based on description logics;
一种基于描述逻辑的构件检索匹配算法
2.
The discussion about the relation between the simple conceptual graphs and extensional description logics ALC+;
简单概念图与扩展描述逻辑ALC+的关系探讨
3.
Research of the Conceptual Modeling based on Description Logics;
基于描述逻辑的概念建模研究
5)  logic description
逻辑描述
6)  Logical Description
逻辑描述
1.
Decision Tree algorithm based on logical description and realization using Prolog;
基于逻辑描述的决策树算法及其Prolog实现
补充资料:时序逻辑


时序逻辑
sequential logic

sh}火日luoJ-时序逻辑(sequential logie)输出不但和当前输人的逻辑值有关,而且和在此以前曾经输人过的逻辑值有关的逻辑系统。具有这种逻辑关系的电路,称为时序逻辑电路,简称时序电路。它至少包含一个存储元件。计算机中的寄存器、程序计数器等电路都是时序电路。 时序电路的框图见图1。有组合电路(见组合逻 12份2 22xlxZ翔辑)和存储电路两部分。存储电路是能存储信息的器件,可以是触发器,也可以是有时延的反馈,其作用是保存与过去输人有关的信息。 图中,x:,x:,…,┌─────┐ │组合电路二├──┐└─────┤)价 │┌─────┤ ││存储电路 ├──┘└─────┘ 图1时序电路框图二。是时序电路的外部输人;Z:,Z:,…,2二是它的外部输出;Yl,Y:,…,又是存储电路的输人,yl,yZ,…,多是存储电路的输出,也反馈给组合电路的输人。有如下两个时序函数表达式 Z一关(x:,x:,…,x,;yl,yZ,…,yr)(i一1,Z,…,m) Y=g(xl,£:,…,二,;夕:,夕:,…,夕。)(i一1,2,…,r) Z、称为输出函数,Y*称为控制函数或激励函数。 时序电路中有一个极为重要的概念是状态,并可分为内部状态和外部状态。内部状态由y,(i一1,2,…,r)给出,外部状态由Z,(乞一1,2,…,m)给出。若单指状态,指的是内部状态。 分类时序电路分为同步时序电路和异步时序电路两大类。异步时序电路又进一步分为脉冲异步时序电路和电平异步时序电路。 (1)同步时序电路。在输人中有一个专门的定时信号(称为时钟),对状态变量进行瞬时取样来控制电路的动作。它的存储电路用触发器。图2(a)是一个同步时序电路,其中CP是定时信号。同步时序电路的输人可以是脉冲也可以是电平,对研究电路的行为来说,这两者没有差别。描述同步时序电路的逻辑工具是状态表和状态图,见图2(b)和图2(C)。状态表把时序电路的输人、输出、现态(目前状态)、次态(下一状态)用表格形式反映出来,说明输人和输出之间的逻辑关系,并表明状态之间的转移规律。状态图通常由状态表推出,更直观易读。状态图中小圆圈及其内的字母或数字表示状态,如q:状态,有向箭头表示状态转换方向,并在有向线上标注x/Z,表示在二输人情况下输出为Z,如1/o表示输入为“1”,输出为“o,,。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条