形式化

Writer finds a lot of factors, which cause the final failure, especial mistakable understanding to business process reengineering、formalization reengineering、mistakable time choice and the deficiency of related measures in practice.

在对流程再造实施的文献研究中，笔者发现，意识观念的错误理解、"跟风"似的形式化再造工程、再造时机与环节选择的错误以及相关配套措施的不完善使得企业流程再造的路走的磕磕绊绊，大多以失败而告终。

It is also formalized in such theories as Katz-Fodor theory and Montague Grammar.

而本文则把句义与结构意义和词汇意义之间的关系进行了形式化的表达。

A fine-grained genetic algorithm based algorithm which is for the parameters optimization problem of agent model is proposed. The fine-grained genetic algorithm is used to solve the parameters optimization problem of agent model. As to the parameters optimization problem of the agents colony model, the first step is to define the concept of "the parameters mode of the combat agents colony" to describe the parameters of the combat agent colony model. Then the genetic algorithm is used to solve the optimization problem with the parameters mode of the combat agent colony model as the genetic individual. Besides the algorithm, the algorithm dispatch tactic is also considered. And the two level sequence dispatch tactic and the two level nesting dispatch tactic are put forward for those complex parameters optimization problem. At last, the model parameters optimization under antagonism codition is studied. The means to solve this problem is to translate it into a kind of antagonism problem, then use the competitive co-evolutionary genetic algorithms to solve it.

其中：提出了一种基于细粒度模型的作战智能体模型参数优化求解算法，用细粒度模型遗传算法求解作战智能体模型参数优化问题；提出了"作战智能体群体参数模式"的概念，对作战智能体群体模型参数进行形式化描述，再以作战智能体群体参数模式为遗传个体，应用遗传算法求解作战智能体群体模型参数的优化问题；研究了上述优化问题求解算法的调度策略，提出了分层模型参数优化算法的双层顺序调度策略和双层嵌套调度策略，解决复杂的模型参数优化问题；将对抗条件下作战模型参数的优化问题转化为一种对抗性问题，应用竞争性共同进化遗传算法，进行求解。

Formalize the base conception and property of Function Net, and describe the fundamental structure of it.

针对传统技术的局限性，提出了工作流环境，工作流运行的全局限制和相关限制的概念和定义，形式化描述了全局限制和相关限制图，并借助时间分割概念，以功能网为工具进行分析和推导，提出工作流执行的正确性保证准则，并证明了准则的正确性。

This paper studies a supply chain model in which a single supplier sells a single product to a single retailer facing the newsvendor problem. Both the supplier and the retailer can exert costly efforts to increase demand.

为了研究分布决策对供需链性能的影响，对单销售商、单制造商、单一产品、一次采购、需求为随机变量且供应商制造商均可以通过促销努力扩大需求的报童模型进行了讨论，提出了一种形式化的合同策略，多种简单合同形式均可以纳入其中。

In order to accomplish this, a security proof method is developed which takes advantages of a new noninterference model and provides a way to prove the security of multilevel security models from the point of view of information flow.

利用基于系统动作的不干扰模型，从信息流的角度给出一种对多级安全模型的形式化分析方法，为多级安全模型的安全性验证提供了一种新的途径。

Natural meaning and nonnatural meaning; utterer's meaning, sentence-meaning and word-meaning ;utterer's meaning and intention .

他借助逻辑分析这种形式化的工具，系统地研究了多种类别的意义：自然意义与非自然意义；词汇意义、句子意义与说话人的意义；说话人的意义与意图。

With the help of the mathematical logic, he distinguished the differences among the types of meaning , i.e. natural meaning and nonnatural meaning; utterer"s meaning, sentence-meaning and word-meaning ;utterer"s meaning and intention .

他借助逻辑分析这种形式化的工具，系统地研究了多种类别的意义：自然意义与非自然意义；词汇意义、句子意义与说话人的意义；说话人的意义与意图。

Nowthere are still several problems in teaching management due to some historical andpractical reasons, such as management department neglects the research and theexploration of the teaching management; the teaching management model ismonotonous; the teaching management is lack of innovation, the teaching evaluationtrends to formalization, and so on.

由于某些历史和现实的原因使得目前教学管理中仍存在许多问题，如对教学管理的认识不足，不重视教学管理的研究和探索，教学管理模式单一，教学管理缺乏创新，以及教学效果评价分析形式化等。

It is based upon splitting the inputs and outputs of the software under test into a number of partitions, where the behavior.

等价类划分是一个更加形式化的设计测试用例的方法。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。