查询词典 decision procedure

Theoretically,we simplify the proof of 〓-decidability,and practically,prompt the node-prune efficiency in Thistlewaite's decision procedure.

在理论上化简了〓的可判定性证明，在实现中提高了Thistlewaite判定过程的剪枝效率。

Chapter 2: Venture capital investment company investment decision procedure design.

第二章：风险投资公司投资决策程序设计。

This paper discusses the guideline and decision procedure of objective marketing decision system using qualitative and quantitative methods.

文章利用定性与定量相结合的方法，给出了目标市场营销决策系统的设计思想和决策过程。

In such a category Kleene places the "decision procedure or decision method or algorithm for the question".

在这样一个类别的Kleene地方的决策程序或决策方法或算法的问题。

The program design with the language of MATLAB on Bayes decision procedure is introduced in the paper.

利用MATLAB语言，可以完成贝叶斯决策的程序设计。贝叶斯决策有严谨的思路，是决策者经常使用的一种决策方法。贝叶斯决策在情况不明的状态下，能够做出得到最佳效果的决策

The essay develops the decision module to realize the separation of the process knowledge and decision procedure .

提出基于数据库的工艺决策模型，实现了工艺知识与工艺决策的相对分离。

This is on the PPM signal demodulation method, a hard decision and soft-decision procedure.

详细说明：这是关于PPM信号解调方法的研究，有硬判决和软判决程序。

The idea decision procedure, the procedure decision result, is not decided by ability, is decided in the thinking mode.

想法决定做法，做法决定结果，不取决于能力，取决于思维方式。

The innovation of the article lies in:(1)gives the evolution process of decision model a systematic pectination, illuminates the internal logic and regularity of all kinds of decision models, and points out the limitation of each kind of decision model in the information age.(2)on basis of analyzing the evolution of the relation between several main decision models, elucidates an enterprise decision model ITDMM creatively which adapts the information age on all the aspects of decision models such as the main body of decision, procedure, method, internal environment and so on.

本文的创新之处在于：（1）系统梳理了决策模式的演进过程，阐释了决策模式的内在逻辑性和规律性，并指出各种决策模式在信息化时代所具有的局限性；（2）在分析几种主要决策模式之间关系演变的基础上，创新性地阐发了信息化时代ITDMM企业决策模式——从决策的主体、决策的程序、决策的方法和决策的内部环境等各个方面适应信息化时代的企业决策模式。

As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications, namely deduction procedure, a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.

目前命题公式的判定方法大都是基于语义的，不能给出演绎过程，而演绎过程是许多推理性应用的重要依据。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。