查询词典 predicate calculus

An important problem of calculus of variations used in constrained differential systems, i.e., the commutation relation of differential operator and variational oprerator, is investigated by means of Frobenius theorem of integrability.

利用Frobenius可积性定理，研究微分约束系统一个重要的变分法问题：微分运算与变分运算的对易关系。

The theory of functions of a complex variable is the extension of calculus to complex variables.

复变函数是微积分的内容从实变量到复变量的扩展。

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的变形系统，证明了系统的弱互模拟是同余关系。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。