查询词典 statement calculus

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

METHODS: The location of 65 consecutive patients with Wharton's duct calculus was analyzed by bimanual examination of the floor of month and bite film of the mandible. Of 65 patients, 57 had the stone removed via intraoral duct incision or sialoendoscopy, 8 by submandibular gland excision. After operation, the shape and size of the calculus were observed and measured.

对连续就诊的65例下颌下腺导管结石患者通过口底双合诊和下颌横断片判断结石的位置，手术取石，其中57例经口内直接切开导管取石或内镜辅助下取石，8例行下颌下腺切除术后取石，观察、测量术后所取结石的形状和大小。

In this chapter, the author concludes that the Lambek calculus is the further development of the Classical Categorial Grammar founded by Ajduciewicz and Bar-Hillel on the basis of a brief account of categorial history, and centers on the Gentzen-style Lambek calculus widely used in practice.

在这一章中，作者在简要介绍范畴语法发展史的基础上论述了兰贝克算子是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展，并且重点论述了在实践中应用广泛的根岑风格的兰贝克句法算子。

Taylor Formula is a very important content of mathematics analysis ,it can focally embody the soul of " approximation" of calculus. And is extensively applied in most aspects of calculus.

泰勒公式是数学分析中非常重要的内容，集中体现了微积分&逼近法&的精髓，在微积分的各个方面都有重要的应用。

While some of the ideas of calculus were developed earlier in Greece , China , India , Iraq, Persia , and Japan , the modern use of calculus began in Europe , during the 17th century, when Isaac Newton and Gottfried Wilhelm Leibniz built on the work of earlier mathematicians to introduce its basic principles.

虽然一些想法结石制定了早些时候在希腊，中国，印度，伊拉克，波斯，日本，现代利用的演算开始在欧洲，在17世纪时，艾萨克牛顿和莱布尼茨建立哥特弗里德威廉的工作早期数学家介绍其基本原则。

objective to study the ct diagnosis of ureteral calculus at the distal end of ureter.methods 82 cases of ureteral caculus were examined by ct scanning.all cases were proved by clinical therapeutic results.results ureteral calculuses were showed as high density image in ct scanning.the ct values of the ureteral calculuses less than 7.5mm in diameter were beyond 83hu.the detection rate by ct was 96.3%.in all the 82 cases,ureteral with calculuses were found dilated and 69 cases with nephrohydrosis.in 13 cases with no nephrohydrosis,caculuses less than 3.8 mm in diameter were found.conclusion ct is the most valuable way to diagnose ureteral calculus at the lower end of ureter.appropriate methods of ct scanning are essential.

目的 回顾性分析输尿管膀胱入口处结石的ct诊断结果，评价其ct检查的临床应用价值。方法分析82例输尿管膀胱入口处结石的ct检查结果，所有病例均经尿道排石证实。结果输尿管膀胱入口处结石具有特征性的ct表现，即圆形或枣核状钙化高密度影，结石直径＜7.5mm，ct值≥83hu，ct确诊率96.3%。82例均发现病侧输尿管增粗，69例发现病侧肾盂少量积水，肾盂未见积水的输尿管膀胱入口处结石13例，其结石直径＜3.8mm。结论 ct检查输尿管膀胱入口处结石具有准确、无创、直观等优点，是诊断输尿管膀胱入口处结石不可替代的检查方法。

RESULTS:① The demonstrating rate of intrahepatic bile duct calculus was 87.5% and that of other parts was 100%.② The rate of orientative diagnosis of choledocholithiasis was 94.7%, that of intrahepatic bile buct calculus was 75.0％ and that of other parts was

结果：①定位诊断：对肝内胆管结石梗阻部位显示率为87.5%，对其他梗阻部位显示率为100%；②定性诊断：术前诊断胆总管结石正确率为94.7%，肝内胆管结石正确率为75.0%，其他胆道梗阻正确率为90.9%～100%。

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%。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。