演算

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

Fuzzy logic ; proposition calculus ; accessible α+ tautology ;α contradiction ; upgrade algorithm ; partition

模糊逻辑；命题演算；可达α~+-重言式；α-矛盾式；升级算法；分划

This thesis studies the constructing and running processes of the virtual enterprise and proposes the virtual enterprise ontology oriented to the process modeling. It also represents the process model decomposed hierarchically described by logic situation calculus based on the virtual enterprise ontology and presents the corresponding organization model decomposed hierarchically for the virtual enterprise in the dynamic allying process.

本文主要通过对虚拟企业的结盟、构建和运作过程的深入研究，提出了面向过程建模的虚拟企业本体论，并在该本体论基础上，以逻辑情景演算形式化地描述了虚拟企业在结盟过程中逐步精化的过程模型，并建立了相应的虚拟企业分层递解组织模型。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

The objective of this research is focusing on the printing halftone image on papers to make an experiment on data hiding and recognition to combine the data hiding technology with digital halftoning algorithms to produce data hiding in halftone image and to process the data recognition after optical retrieving of images.

本研究针对纸张上印刷过网图像进行加密与比对辨识实验，将资料加密技术结合数位过网演算法制作网点加密图像，并对图像进行光学撷取后再进行资料辨识。

LabVIEW was used to develop the Man –Machine Interface. The advantage of this software is square designing reduce develop to calculate time.

分析软体将以 LabVIEWR 撰写人机介面，此软体的优点是方块化设计结构可以减少开发演算法的时间。

A: This algorithm has a few problems, but they are manageable.

整段中译：这个演算法有一些问题，但都是可以管理的。

This thesis will use the Markov chain to build a model of the TBEB algorithm,...

本论文将利用马可夫链建立起一个TBEB 演算法的模型，并。。。

This model includes a bid construction model. According to the buyer's demand, Supplier will find out a production plan based on the master production schedule and available-to-promise inventory that produces the lowest total production cost.

为上层买方决定分配给各个供应商的采购数量，并为下层供应商制定适当的投标决策，并结合遗传演算法做为最佳化搜寻工具，期望可以最小化买方的平均单位竞标价格或是交付延迟时间。

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.

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