查询词典 calculus of classes

These descriptions are brief, but based on them it is indeterminable and has disadvantage in system design and direct implementation. On the other hand, these works mostly focus on describing variants behaviors of Ambient calculus in one level, which makes it complicated to understand clearly how these variants behaviors work and how they work together. As a result, based on the unit ambient of Ambient calculus, a three-level semantics description framework is given for Ambient calculus.

这种描述方式尽管简洁，一方面却具有不确定性，不利于实际的网络计算系统的设计和直接实现；另一方面，这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义，使得Ambient演算中各种计算行为纠缠在一起，复杂而难以理解。

This software carried out the calculation of the integral calculus of Bernhard Riema with draw the function sketch of the Bernhard Riema integral calculus function and together the function that two calculation and integral calculus zone diagrams of the heavy integral calculuses of a function draw.

本软件将实现黎曼积分的计算与绘制黎曼积分函数的函数图形、齐次函数的二重积分的计算与积分区间图的绘制的功能。

Results: The grinding rate of calculus after one lithotrity was 83.5%, of 9 cases calculus run in kidney, other 8 cases were subject to surgery due to renal duct severe twist under calculus.

结果：123例输尿管结石患者一次手术取尽率为86.2%（106例），有9例结石完整进入肾内，8例因结石之下输尿管严重扭曲改其他术式。

holmium laser lithotrity is an optimal way in patient with ureteral calculus that diameter in 2 cm, more inflammatory granulation tissue around calculus and no manifest obstruct under calculus.

对于直径＜2cm、结石处炎症肉芽组织多、结石下段无明显梗阻的输尿管结石，输尿管镜下钬激光碎石治疗仍是最好的选择。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

Fractal dimension structure of the Cosmos are explored, and the mathematical foundation, which include the expressions of fractal dimension differential and calculus, regular space integral solutions of fractal dimension differential equations, the fractal calculus definitions of fractal measure as well as the measure computational equation of self-similar fractal, of fractal dimension calculus and fractal measure are given.

摘 要：探讨了宇宙分维构造的形式，给出了分维微积分及分形测度的数学基础，包括分维导数及分维微积分的表述形式、分维微分方程的规整空间积分解、分形测度的分维微积分定义及自相似分形的测度计算方程。

First, this paper introduces a process calculus, the pi-calculus, into the intelligent agent domain, and agent mental attitudes, agents and agent-based systems with dynamic characteristics, agent interactions, and agent cooperations are studied formally in the polyadic pi-calculus.

首先，本文将进程演算引入智能主体研究领域，利用多价pi演算对主体的心智状态、基于主体的系统、多主体交互及协作进行了形式化。

Blood loss volume were 110mL to 480mL. 24 patients had residual calculus when recheck KUB, 7 accepted ESWL, 4 PCN, and 13 automatic removing urinary calculus. IVU showed that renal visualization was well, hydrops obviously decreased, none calculus re-cured or renal pelvis stegnosis.

术后3月复查腹部平片示有24例有结石残留，7例经体外振波碎石，4例经肾造痪管经皮肾镜下碎石，13例泥沙样小结石自动排石。12月复查静脉肾孟造影示肾显影良好，积水明显减少，未见结石复发和肾孟狭窄。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

All superclasses of closed unbounded classes are stationary and stationary classes are unbounded, but there are stationary classes which are not closed and there are stationary classes which have no closed unbounded subclass ( such as the class of all limit ordinals with countable cofinality ).

所有闭合无界类的超类是固定的并且固定类是无界的，但是有着不闭合的固定类并且有着没有闭合无界子类的固定类(比如带有可数共尾性的所有极限序数的类)。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。