查询词典 logic calculus

objective to discuss the nursing methods of acute postrenal renal calculus obstruction through ureteroscope.methods the preoperative and postorerative aborative nursing in 22 cases of patients with ureter calculus who were treated by emergency ureteroscope were analyzed retrospectively.results all patients became well and renal function was improved quickly after operation,after the timely treatment and nursing,none patients occured the serious complication.conclusion timely and right preoperative preparation,mental nursing and postoperative nursing were essential for the success of operation.

目的 讨论经尿道输尿管镜治疗急性肾后结石梗阻的护理方法。方法对22名患者进行急诊经尿道输尿管镜，治疗上尿路结石的术前、术后精心护理的回顾分析。结果所有患者顺利接受手术，术后患者全身状况、肾功能快速恢复，并发症得到及时治疗和护理，无一例发生严重并发症。结论及时准确的术前准备、心理护理、术后护理、是保证手术成功的重要保障。

Results Successful lithotripsy was achieved in 78 cases ,two cases failed because movement of calculus to pelvis renalis in one and no access to calculus site by ureteroscope due to ureterostenosis at inferior segment in the other .

结果 1例因结石上移至肾盂，1例因输尿管下段狭窄使输尿管镜无法到达结石部位手术失败，其余78例均碎石成功，术后当天肾绞痛缓解，碎石手术成功率和术后肾绞痛缓解率均为97.5%。

Results Successful lithotripsy was achieved in 78 cases ,two cases failed because movement of calculus to pelvis renalis in one and no access to calculus site by ureteroscope due to ureterostenosis at inferior segment in t

结果 1例因结石上移至肾盂，1例因输尿管下段狭窄使输尿管镜无法到达结石部位手术失败，其余78例均碎石成功，术后当天肾绞痛缓解，碎石手术成功率和术后肾绞痛缓解率均为97.5%。

In order to remove the grave interference in the mobile ambients calculus, the author presents a Robust Ambients calculus which can restrict the coactions.

动态环境演算在资源受限情况下会出现强干扰问题，为了解决这个问题，论文提出了一种可以限定反动作对象的抗干扰鲁棒环境演算。

A kind of interference, called direct access interference, is found in the calculus of Mobile Resources, which will cause more damage than the grave interference one finds in the calculus of Mobile Ambients,because in MR malicious environments or contexts can freely access the sensitive resources inside a process.

在移动资源演算中发现了一种干扰现象，称为直接访问干扰，该现象比移动灰箱演算中的墙干扰现象更具破坏力，因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源。

When the grave interference has been resolved in the mobile ambients calculus by the coactions, the insecurity factors in ambients calculus have been effectively removed through using the parameters of the coactions.

在依靠反动作解决动态环境演算中强干扰问题的同时，利用反动作的参数明确了该反动作的使用对象，有效地消除了动态环境演算中存在的不安全因素。

Calculus courses have often suffered from focusing too narrowly on symbol manipulation exercises; at worst, the truly useful, interesting, and important ideas of calculus can disappear in a welter of half-understood formal symbols.

微积分课程常常遭受重点过于狭窄的象征手法演习；在最坏的情况下，真正有用的，有趣，重要思想的结石可以消失在飞扬的半理解正式符号。

They test pre-calculus, and calculus, and most importantly, proof.

测试的内容包括微积分先修课程、微积分，还有最重要的论证。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

His main contribution is the first in mathematical logic, his departure from mathematical logic, the logic of established Atomism and a new realism, he became the founder of modern philosophy of one.

他的主要贡献首先是在数理逻辑方面，他由数理逻辑出发，建立起来的逻辑原子论和新实在论，使他成为现代分析哲学的创始人之一。

Looking to bounce back from defeat against Cesena last weekend, the Calabrian boss will be sticking to his tried and tested 4-3-3, with Lopez and Sedivic joined up front in Giampaolo's absence by either Nanni or Plasmati.

鉴于上周末对切塞纳的比赛中反败为胜，这支南方球队将会更坚持其一贯而有效的4-3-3阵型，洛佩斯和塞德维奇将取代受伤缺席的詹保罗，和纳尼或者帕斯马蒂中的一个搭档锋线。

Meanwhile, their exposure to the more freewheeling ways of the West broadened dramatically.

另外，西方较自由的生活方式对年轻人的影响增大。