查询词典 logic calculus

In modern physics research, the calculus of variations has a broad application of law. As a solid mechanics, structural mechanics and computational mechanics of the theoretical foundation, it has important value in theory and practice on the mechanics; Variation method ruled out the perturbation of the restrictions can be widely used in many state-level and the state function in the calculation in the optical; Calculus of variations can be calculated with the parameters, we can guarantee the reliability of the results, can effectively reduce the workload of calculation, It can be said that the applications of calculus of variations are very broad.

在现代的物理学研究中，变分法有着广泛的应用：在力学上，变分法作为固体力学、结构力学及计算力学的理论基础，在理论上和实践上都有重要的价值；在光学上，变分法排除了微扰法的限制，可以广泛应用于诸多定态能级和态函数的计算中；在量子力学的应用中，具有可算出系统的参数，既可以保证计算结果的可靠性，又能有效地减少计算的工作量等的优点，可以说变分法的应用领域十分广阔。

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、提出了跨平台、跨网络的动态环境演算。

Among which is the mindset, perceptions and moralities of those who accept mini- military tasks for economic gains.

其中最重要的是心态，观念和道德的人谁接受小型军事任务的经济收益。

In time course imaging, activity peaked 2 days after coronary ligation.

在时程成像检测，活性峰值在冠脉结扎后2天。