1) decision marking system
标识判定系统
3) identification system
标识系统
1.
The colour design for urban public facilities and identification system;
城市公共设施及标识系统色彩规划初探
2.
The Application of KKS Identification System in Tai an Pumped Storage Power Station;
KKS标识系统在泰安抽水蓄能电站的应用
3.
Based on components,classifications of the scenic spots identification system,this paper discusses the error areas existing in the identification system.
从旅游景区标识系统的组成要素及分类出发,分析了旅游景区标识系统的作用,指出了设置旅游标识系统存在的误区,提出了旅游景区标识系统的设计原则,以期为我国旅游景区标识系统的建设与完善提供科学依据。
4) marking system
标识系统
1.
Optimization for a subway disaster-reduction marking system based on the framework of emergency preplan;
应急预案框架下地铁防灾标识系统优化
2.
The barrier-free designing research of marking system for the senior citizen housing;
老年人住宅室内标识系统无障碍设计研究
5) mark system
标识系统
1.
Method The inpatients basic information were input into the wrist-brand mark system and printed on a brand which can be wore on the patients wrist.
方法病人入院时,将其基本信息传输到腕带标识系统,打印出标识带扣系在病人手腕处。
6) sign system
标识系统
1.
On the sign system design of the commercial street;
以柳巷商业街为例谈商业街标识系统设计
2.
Harmonious and efficient urban sign system is needed for the development of city in the future .
未来城市发展呼唤和谐的城市标识系统。
补充资料：本质不可判定理论
本质不可判定理论
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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条