1)  Expert opinion
专家判定
2)  expert
专家
1.
A few thoughts of the establishment of equipment s monitoring expert support database;
建立装备监测专家支援数据库的几点思考
2.
Expert Evaluation Method of Enterprise Human Resource Risks;
企业人力资源风险专家评价方法
3.
Study on the Mode and Mechanism of Engaging Experts in the Technology Extension to Farmers Household;
农业科技入户专家工作模式与机制研究
3)  Experts
专家
1.
On the Roles Playing of Experts during the Mental Health Education in Universities;
论高校心理健康工作中专家的角色扮演
2.
A decisive choice of prospering the philosophical and social sciences——A report on the establishment of experts in Hebei Province;
繁荣发展哲学社会科学的路径抉择——河北省哲学社会科学专家队伍建设研究报告
3.
The index weights of the experts are system cally analyzed according to the method of multi-decision and fuzzy judgment.
运用群决策与模糊评判的原理和方法,系统分析了专家权重的确定,给出了一种基于模糊层次分析法的指标权重确定方法,并结合模糊多准则决策方法提出了一种基于专家的对评价对象进行综合评价的方法。
4)  Specialist
专家
1.
he level of a specialist group is very important in produce classification.
在工农业产品评定级别中,专家组的水平是至关重要的。
2.
With analyzing the character of HENAN provincial elelctric network, the fault styles and protectective relays of the network , this paper described a specialist system used in the steady supervisory and fault diagnosis of the elcectric power system.
该论文通过对河南电网的特性、电网故障类型、电网保护配置的分析,建立了一个辅助调度员进行稳态监测及电力系统故障诊断的专家系统。
5)  professional
专家
1.
On the Establishment of the Professional Liability System in Chinese Civil Code;
论国内民法典中专家民事责任制度的构建思路
2.
An economic analysis on Contractual liability of professionals;
专家契约责任的经济分析
6)  expert system
专家系统
1.
Development of resistance welding expert system for automotive armor plate;
汽车用钢板电阻焊焊接专家系统开发
2.
Study of Expert System in Intelligent Diagnosis of Injection Molding Limitations Based on RS Theory;
基于粗糙集的注塑成型缺陷智能诊断的专家系统研究
3.
Application of fuzzy reasoning in the expert system of textile;
模糊推理在纺织专家系统中的应用
参考词条
补充资料:本质不可判定理论


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