说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 延迟判定
1)  delay decision
延迟判定
2)  delay-independent stability criteria
延迟独立稳定性判据
1.
In terms of solvability of a matrix Lie algebra,new simple delay-independent stability criteria are presented.
从矩阵李代数可解性角度,推导出新的简单的延迟独立稳定性判据。
3)  Delayed fixation
延迟固定
4)  delay-bound
限定延迟
5)  deterministic latency
确定延迟
6)  delay assumption
延迟假定
1.
To the actualities that domestic study of self-timed circuit design principles is just in the primary stage,a in-depth study of handshake protocol and delay assumption have been done.
针对目前国内对自计时电路设计原理方面的研究才刚刚起步的现状,采用抽象和具体相结合的对比研究方法,对握手协议和延迟假定进行了深入研究,并对研究结果进行了直观的说明。
补充资料:本质不可判定理论


本质不可判定理论
essentially-undetidabfe theory

  本质不可判定理论【曰”由叨y一田吐幼面b晚口峨叮;c拟e-eTne。。0.,a3少翔班胭坦T即,阳] 一个算法不可判定的逻辑理论,它的所有相容扩张也是不可判定的(见不可判定性(也d戊山腼ty)).一个初等理论间改压泊扭口山印巧)为本质不可判定理论,当且仅当它的每一个模型都有一个不可判定的初等理论.每个完全不可判定理论都是本质不可判定理论,如形式算术(面面拙度,扔m创).没有一个具有穷模型的理论可为本质不可判定理论. 一个适当的有穷可公理化的初等理论S的本质不可判定性,通常用于证明一个给定理论T的不可判定性(见「l],[2l).在这种证明中,S在T的任何模型M中被解释.解释的定义域和S命名的元素的值,均用T的语言中相应公式在模型M中的值加以定义.如果该解释为S的模型,则T是不可判定的;而且,这个理论是拳债不可剖宇的(址淤山妞询旧山戈初以比),即它的与T同样署名的所有子理论都是不可判定的.这个方法用来证明初等谓词逻辑、初等群论、初等域论等的不可判定性.有穷公理化的形式算术常用作本质不可判定理论S.艾达尔上同调〔启.k以‘阅劝粉;,T舰‘。从e二oroMo刀卜r皿] 在艾达尔拓扑帕欧topolo咖中的层的上同调.艾达尔上同调是按标准的方式用导出函子来定义的.设X是概形,戈:是X上的艾达尔拓扑,则戈,上的Abel群层范畴是有足够多内射对象的Ab日范畴.整体截面函子r是左正合的,其导出函子了}~H“(X,劝(这里了是X。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条