查询词典 combinatorial geometry

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

Finally, the paper applies colony algorithm with immune ability of side consistency restraining in combinatorial problem of water distribution system.

最后，我们将基于边浓度抑制的免疫蚁群算法应用于典型的给水管网的组合优化问题，通过该实例进一步证明，基于免疫机制的蚁群算法比其它传统算法具有更好的解决给水管网优化问题的能力。

The combinatorial and delimitative algorithm of engineering structure design with different discrete set and its software system is introduced in this paper.

引 言 离散变量优化设计是指在优化设计过程中，设计变量的取值不是在某一范围内连续变化而是只能取某些符合一定条件的离散值。

The combinatorial and delimitative algorithm can be used to solve the problem. A software called "Power Discrete" to implement this algorithm is developed by using Microsoft Visual6.0. It is a useful tool for linear programming problem with discrete variables and for discrete optimum design of structures, and in addition, the software also includes other algorithms such as genetic algorithm.

在国际上， 20世纪 60年代末期和 70年代初期，研究人员已开始对工程离散变量优化设计问题进行研究，但由于当时对于连续变量的非线性规划问题的研究还不够深入，所以在 70年代和80年代，研究的重点集中于连续变量的非线性规划问题。

discrete variable ; linear transform ; delimitative and combinatorial algorithm

经过 20多年的努力，连续变量非线性规划问题的研究取得了重大的进展，因此，近几年来

Vertical combinatorial Feather shedder : It's Suitable for large to middle size chicken and duck slaughtering house,It can be used with slaughtering and scalding line to depilate poultry.

立式脱羽机：该机是大型和中型家禽屠宰生产线的主要配套设备，可用于宰杀、浸烫后鸡、鸭的脱毛。时产1000～4000只，脱毛率：鸡99.9%，鸭98%。

This thesis develops efficient combinatorial algorithms for some deterministic optimization problems of batch scheduling and networks.

本文研究批调度和网络中的若干确定性优化问题，给出了有效的组合算法。

To printing and dyeing enterprises, the production scheduling problem is combinatorial optimization problem with discrete variables.

对于花布印染企业来说，生产调度问题是离散变量的组合优化问题，属于典型的车间调度。

In order to solve set-based combinatorial problems, a new model of discrete particle swarm optimization is proposed.

针对变长集合组合优化问题，提出了一种离散粒子群优化模型。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。