查询词典 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.

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

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了