为提高诊断时的并行推理能力，给出了诊断推理的形式化算法。
The formalized algorithm of diagnosis reasoning to enhance the parallel reasoning ability is given.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
计算学习理论为比较两算法的性能提供了形式化的框架，并能确定某概念类的计算复杂度和样本复杂度。
Computational learning theory provides formal framework for comparing the performance of two algorithms, and can determine the sample complexity and the computational complexity of some concept class.
研究成果实现了问题的形式化描述，并给出了一种有效的问题求解算法。
The studying results realize formalizing description of the problem, and give a valid solving algorithm for it.
本文给出表示方法的形式化描述和在此表示上的线性装配规划的生成算法。
This representation are formally described, and the generation algorithm of assembly plans of linear structure has been given in the paper.
文章给出了LBAC的形式化表示及其调度算法。
The formal representation and scheduling algorithm of LBAC are illustrated.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。
This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation, design process model and design algorithm.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
本文从现实世界中抽象出三类极大问题，给出了形式化的数学描述，并详细讨论了各自的算法和复杂度。
This paper abstracts three practical maximum problems from the real world and gives their formal mathematical descriptions. Their algorithms and complexity are fully discussed.
本文在介绍模态逻辑的基础上，提出了一种对知识和信念进行形式化研究的汉语信息过滤新算法。
The present paper introduces the modal logic, and presents a new Information filtering algorithm based the study of formalization of knowledge and belief.
现有时延驱动布线算法的工作主要分为三个方面：时延模型、目标形式化、解空间。
The work of present timing-driven routing algorithms mainly is partitioned into three aspects: the delay model, the objective formulation and the solution space.
文章给出了ASD的形式化定义，并在此基础上介绍了工作流系统的动态过程修改策略和工作流模型执行算法。
The formalized definition of the ASD is introduced. The method of the dynamic processes changes based on the ASD and the implementation algorithm of the ASD is also described in this pa…
介绍通道布线的思想，给出相应的形式化描述，提出一种神经网络求解算法。
The idea and formal description of channel routing are introduced, and a mean field annealing neural network approach is adopted in the problem.
文中提出了一个服务组合动态演化过程框架，在此框架下形式化地定义了一种新的实例可迁移性标准，并给出了相应的判定算法。
This paper presents a framework to support the dynamic evolution of Web service compositions under which a new formal migratability criterion is proposed.
同时，不仅形式化地定义了水印系统的常用算法，而且给出了该方案较为详细的实现步骤，最后进行了简单的性能分析。
We not only define formally the common algorithms in the watermark system, but also introduce the steps of the scheme in detail, and finally analyze the performance briefly.
同时，不仅形式化地定义了水印系统的常用算法，而且给出了该方案较为详细的实现步骤，最后进行了简单的性能分析。
We not only define formally the common algorithms in the watermark system, but also introduce the steps of the scheme in detail, and finally analyze the performance briefly.
应用推荐