查询词典 calculus bovis

That was a practical, if coldhearted, calculus in a city like New Orleans.

如果心够硬的话，在新奥尔良这样的城市这是一个实际的计算问题。

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...

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。