1)  schedulability test
可调度判定
2)  adjustable
可调
1.
The Design and Study of Self-cited & Adjustable Hydraulic Pulse Valve;
自激可调式液压脉冲阀的设计与研究
2.
The design of a new kind of parallel beamsplitting device with adjustable beam-displacement;
新型可调剪切差平行分束偏光器设计
3.
Multiple spindles heads for drilling machine whose drill spindles are adjustable and even are introduced.
介绍一种钻床用钻轴均布可调多轴头。
3)  tunable
可调
1.
Research on the tunable left-handed properties of split-ring resonator with ferrite substrate;
基于铁氧体基板的开口谐振环的可调微波左手特性研究
2.
The article presents a design method of tunable cavity band-pass filter.
介绍了一种可调腔体带通滤波器的设计方法,从集总网络参数原理出发,结合直接耦合腔体滤波器的参数确定方法,以及根据耦合孔的相关理论,计算得到所设计滤波器的尺寸参数。
4)  regulating direction and speed
可调控
5)  tunable
可调控的
6)  tunable band-gap
可调带隙
1.
We focus on the tunable band-gap and spontaneous emission of ceramic photonic crystals caused by the various electric/optical properties of functional ceramics.
基于功能陶瓷所具有丰富的光/电功能可以制备陶瓷基光子晶体,文中介绍了可调带隙光子晶体和光子晶体中自发辐射方面的一些研究成果。
参考词条
补充资料:本质不可判定理论


本质不可判定理论
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。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。