1)decidability可判定性
1.A Definition Framework of Spatial Logic and Decidability;空间逻辑的一个定义框架及其可判定性
2.Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
2)criteria for mobility可动性判定
1.It mainly consists of the criteria for mobility of mechanisms and the method of how to distinguish transient assemblies.基于矩阵的奇异值分解法,提出了杆系结构在考虑荷载作用下的可动性判定方法,包括含机构的杆系结构可动性判定和瞬变结构的判定。
3)undecidability['?ndisaid?'biliti]不可判定性
4)viewing volume可见性判定
1.The technique of the judging of viewing volume and reasonable hidden surface removal are adopted,and the processing of cull and draw of models are faster.采用了可见性判定和合理的消隐技术,加快了模型数据截取和绘制的速度。
5)reachability judge可达性判定
英文短句/例句
1.Improved Reachability Tree and Reachability Decision of Petri Nets;Petri网的改良可达树及可达性判定
2.Algorithm Design of Full Rank Petri Net Reachability Judge and Its Implementation满秩Petri网可达性判定算法的设计与实现
3.A Method for Reachability Decision of Live Single Branch Petri-Nets and an Algorithm for Construction of Improved Coverability Tree;活的单支Petri网的可达性判定方法及改进的可覆盖性树的构造算法
4.Satisfiability and Expressiveness of Propositional Projection Temporal Logic;命题投影时序逻辑的判定性和表达性
5.Are Workmanship Standards defined for placement and soldering, and are they accessible and used to determine board acceptability?有无定义齣置件及焊接的工艺标准,它们是否可以达到并用于判定板子的可允收性?
6.About decision theory of function′s uniformly continuous关于可导函数一致连续性的判定定理
7.Reliability Certification of Global Nonnegativity of Univariate Polynomials单变元多项式全局非负性的可信判定
8.Schedulability test algorithm for periodic tasks with partial order constraint偏序的周期任务间可调度性判定算法
9.Concepts and evaluation of simulation model reusability仿真模型可重用性的概念与判定研究
10.A Reliability Affirmance on The Criterion for Judging Paternity亲权鉴定判定标准可靠性的进一步确认
11.Contrast between Positive Law and Case Law and the Possibility of the Establishment of Complementary System of Criminal Judicial Practice制定法与判例法的比较及确立刑事判例补充制度的可行性
12.A conclusive statement or decision that may be taken as a guide or precedent.判例可作为指导或先例的结论性陈述或决定
13.The Judgement of Economic Sustainablility with Seam;基于社会生态核算矩阵的经济可持续性的判定
14.On the Possibility of Translation--A Criticism of Quine s Thesis of the Indeterminacy of Radical Translation;翻译何以可能——蒯因的翻译不确定性论题批判
15.Feasibility on the upward mining of the left-over coal above goaf with pillar supporting method刀柱采空区上方遗弃煤层上行开采可行性判定
16.Determination of termination for a rule set based on conditional formula基于条件公式的主动规则集可终止性判定
17.Application of Matrix Rank in Judging the Ergodicity of Homogeneous Markov Chains矩阵秩在判定齐次马尔可夫链遍历性中的应用
18.[Objective ] To affirm the reliability of the criterion for judging paternity set by our laboratory.[目的]进一步确认我室确定的亲子鉴定判定标准的可靠性。
相关短句/例句
criteria for mobility可动性判定
1.It mainly consists of the criteria for mobility of mechanisms and the method of how to distinguish transient assemblies.基于矩阵的奇异值分解法,提出了杆系结构在考虑荷载作用下的可动性判定方法,包括含机构的杆系结构可动性判定和瞬变结构的判定。
3)undecidability['?ndisaid?'biliti]不可判定性
4)viewing volume可见性判定
1.The technique of the judging of viewing volume and reasonable hidden surface removal are adopted,and the processing of cull and draw of models are faster.采用了可见性判定和合理的消隐技术,加快了模型数据截取和绘制的速度。
5)reachability judge可达性判定
6)undecidability theorem不可判定性定理
延伸阅读
不可判定性不可判定性IndecidalHlity 不可判定性【1”‘cida城勿;一epa3pe“HMocT‘1【补注】一个算法(日即riUllll)的不存在性，或者在一个形式系统(forn以1 systeTn)中证明或否证一个命题的不可能性.下面分别予以讨论.解决某一给定问题的算法的不存在性常常称为该问题的不可解性(un-solvabiljty).有时“不可判定性”和“不可解性”看作是同义词.(见不可解性(unsolvability).) 在一切数学领域中都可得到判定性结果，它们可能以算法的直观概念为依据.由构造一个算法证明一个问题是可判定的，该算法在接收该问题一个例子的数据后产生对于这个例子的回答.一个经典例子是求两个自然数的最大公因子的Euelid算法. 算法的概念必须形式化才能证明某个问题是不可判定的.一个问题的不可判定性是指算法原则上不可能存在，—不仅仅是至今还不知道这样的算法. 在这些形式化中最普通的是1物由犯机(T以角glna-chjne).然而，应该强调，所有提出的形式化发现都是等价的，此外，不可判定问题的存在性是不依赖所用的形式化.下面将简要阐述这一点. 这样，必须说明算法这个直观概念的任何形式化如何导致算法不可判定问题.考虑任何一个这样的形式化.对任何算法A和A的任何输人字x，存在两种可能性:或者A对于x停止(llah)，即当A作用于x时得出一个停止的计算;或者A对于x不停止.在后一种情况下，就说A对于x循环(loop).停机问题(回t叱problelll)是对于任何对(A，x)，判定A对于义是停止还是循环. 停机问题的一个特例是可自应用性问题(seif一app-licability problem)，定义如下.每个算法A是由它的Godel字(Gi记el word)g(A)所完全决定的.例如，抓A)可定义为A中所有指令按顺序的集合.一个算法A称为可自应用的(se】f一applicable)，只有当A对于夕(A)停止.自应用问题是判定任一算法是否可自应用的.自应用问题是停机问题的子问题;因此，如果前者是不可判定的，则后者也是不可判定的. 假设存在一个自应用问题的算法A。.这样，对所有形为g(A)的输人，A。都停机，且根据A是否可自应用产生回答yes或no.现在修改A。
