查询词典 calculus of classes

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数学模型进行精确计算的服务组合优化与划分方法。

The calculus can be used to cleanly define what a computable function is.

Lambda演算可以用来清晰的定义什么是一个可计算的函数。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

Tullock has written many books, none of which were as famous as The Calculus of Concent.

到 1991年为止他的论文和论著被三十几个学科引证达3991次。

Tullock has written many books, none of which were as *mous as The Calculus of Concent.

到 1991年为止他的论文和论著被三十几个学科引证达3991次。

Employing the finite difference calculus, the cavitation bubble pulsating performance with the change of liquid viscosity, gas content, surface tension and condensability is obtained.

在系统地研究固壁面附近空泡溃灭过程的基础上，提出并研究了射流阈值、空泡在第一次和第二次脉动过程衰减蚀除机理以及空泡溃灭周期延长因子等问题。

Employing the finite difference calculus, the cavitation bubble pulsating performance with the change of liquid viscosity, gas content, surface tension and condensability is obtained. In the experiment research, the detailed processes of capitation bubble oscillation property and bubble collapse are gained by the fiber-optical detection sensor. Furthermore, th...

本文研究结果既可避免激光等离子体冲击波和空化带来的危害，也为合理利用激光等离子体冲击波和空化现象提供理论和实验依据，可供激光加工、激光医疗、水下激光加工和相关流体力学的研究参考。

An adequate version of CCS is developed, and weak bisimulation of this calculus is proved to be a congruence relation.

提出了一个CCS的变形系统，证明了系统的弱互模拟是同余关系。

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，？圆锥和极限

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

This is the inheritance of the tribe of the children of Issachar according to their families, the cities and their villages.

19：23 这些城并属城的村庄就是以萨迦支派按着宗族所得的地业。

I've have enough of your garbage.

我听了你的废话。