组合逻辑

We can get complex individual terms produced by combination of simple individual terms and a functional expression.

个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。

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的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

IMSA expresses the fabricative logic of composite computation with XML document, deals with the

IMSA以XML显性表达复合计算的组合逻辑，屏蔽了各计算源间的异构性。

Error 23016: NONBLOCKING assignment is used in a combinational block.

非阻塞赋值不应用于组合逻辑，这是Verilog的要求。

The first, based on the realistic logic, depicts the intrinsic connection between things. It is enabled to possess tractility of time by enumerating, juxtaposing and combining the time and space.

现实的、逻辑的时空建构是以客观现实的逻辑为基础，画中描绘的事物有一种内在联系即内在的逻辑关系，是对现实的时间、空间进行罗列、并置、组合，使之具有延续性和延展性。

Combining the working environment of Electric locomotive and the characteristics of the in general Programmable Logic Controller, the system design will become the software for whole control logical function.

系统设计结合了电力机车的具体运行环境和通用PLC的特点，将整个组合逻辑固化成软件，来实现其基本控制功能。

In order to get out from the cockamamie work in road route design for designers, on the basis of studying the internal relations among local schemes, local scheme was decomposed to small unit logic schemes; the directed network was used to represent the topological connection; the united data structure of point-arc was used to express a network graph. Based on the shortest path theory, the combinatorial optimization algorithm that can search optimal logical schemes of some targets in the network graph intelligently and can form the whole scheme automatically was put forward.

为了使设计者从道路线路设计的繁重计算统计工作中解脱出来，在研究了局部方案间内在关联的基础上，提出了将局部方案分解为更小单位的逻辑方案，用有向网络图表示逻辑方案间的拓扑关系，采用节点－弧段联合数据结构来表示网络图；同时基于最短路径理论，提出了在网络图中智能化搜索综合指标最优的逻辑方案集，自动形成整体方案的组合优化算法。

Unlike previous methods which rely on look-up tables to implement the SubBytes, we use the combinational logic which is only based on arithmetic operations in the finite field GF (2^8) with 3 substages.

文章在研究有限域GF(2^8)与其复合域GF(2^4^2变换的基础上，采用组合逻辑替代RAM查表的方法实现SubBytes变换，并在其内部实现了三级流水线。

Compared with tranditional methods, it is not too optimistic or pessimistic, fit for the exact timing of high-speed circuit design. Anda retiming scheme based on the above method is also presented to optimize the timing behavior of sequential circuits.

同传统方法相比，本方法计算出的最小周期既能保证电路的正确计算，又不至于保守，而且能同时计算出组合逻辑部分的延迟；然后从时序电路的波形多项式出发，进一步给出了多周期敏化的最小时钟周期确定方法，适用于有苛刻定时要求的环境。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。