形式化

When, our country elementary and middle schools moral education present situation be unoptimistic: Moral education goal idealization; In the moral education method instills into, light guidance; Moral education practice patternize, formalization: Moral education Adult form, Doctrine formand so on, these questions all are puzzling our country's elementary and middle schools moral education.

然而，我国中小学德育的现状时不容乐观的：德育目标理想化；德育方法中灌输，轻引导；德育实践模式化，形式化：德育成人化，教条化等，这些问题都困扰着我国的中小学德育。

PiFF—a formal framework for service composition is proposed and the method to integrating it into service computing platform-UESTC-PLATFORM is studied.

提出了PiFF服务组合形式化框架，并基于UESTC-PLATFORM服务计算平台，提出了将PiFF融合进实用平台的方法

To fulfill the requirements of reliability, extensibility and adaptability, this dissertation proposes a Holon-based control architecture for flexible manufacturing shop floor using a bottom-up design approach. The inner structure of component Holon, the relationships of data and functions among Holons, the model of message transfer and the basic specification of communication language are described in detail. Then, from the aspect of software architecture, a formal description and analysis of the proposed architecture is conducted by First-order Polyadic pi-Calculus.

针对可靠性、可扩展性和适应性等要求，提出了基于Holon的柔性制造车间控制体系结构，描述了组件Holon的结构模型、数据和功能关系、信息传递模型和通信语言基本规范，并从软件体系结构的观点出发，运用π演算对其进行了形式化描述和分析，为基于Holon的体系结构设计和分析奠定基础；3。

First, this paper introduces a process calculus, the pi-calculus, into the intelligent agent domain, and agent mental attitudes, agents and agent-based systems with dynamic characteristics, agent interactions, and agent cooperations are studied formally in the polyadic pi-calculus.

首先，本文将进程演算引入智能主体研究领域，利用多价pi演算对主体的心智状态、基于主体的系统、多主体交互及协作进行了形式化。

In this paper, we study Web transaction protocol's formal expression by polyadic π-Calculus, depict concretely WS-AT protocol's 2PC (2 phase committing) called 2PCP and then define its atomic transaction properties.

采用多元π演算研究了Web服务事务协议形式化表达，详尽描述了WS AT协议的两阶段提交协议2PCP，并定义了2PCP协议的原子性事务性质。

We reformulate the definition of simple protocol in the UC framework in accordance with the extension of the formal analysis framework.

扩展了UC框架对应与形式化框架下简单协议的定义，使其能够使用更多的密码学操作和协议原语，并且具有在协议行为层进行概率选择的能力。

After the death of the King and major peace in West China Faria (1648) the consolidation of Germany's political and religious broken generally accepted, and the Pyrenees (in 1659) to win the French formal treaty (1642) Roussillon Spanish territory in the shattered short-term After the Catalan Republic.

在国王死亡以后和主要，和平西华里亚(1648)巩固了德国的政治和宗教破碎普遍采纳，和比利牛斯(1659 的)条约形式化法国的夺取(1642) Roussillon 西班牙疆土在击碎短期的加泰隆共和国以后。

Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.

工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。

Research described in this thesis has resulted in a formalized description of the auto update problem, team automaton containing subelement model and the solution of auto update problem.

本文给出了自动更新问题的形式化描述，提出了带子元素群组自动机模型并利用这个模型解决了自动更新问题。

This paper defines two concepts, Component Automaton Containing Subelement and Team Automaton Containing Subelement, in a mathematically precise way at first, then gives a formalized description of the auto update problem utilizing the above concepts.

该文提出了带子元素群组自动机和带子元素组件自动机的概念，并利用这两个概念给出了同步问题的形式化描述，明确提出并解决了计算机支持的协同编著系统中的自动更新问题原型。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。