查询词典 statement calculus

Through the description on the firewall access and -calculus, it is indicated that the Robust Ambients holds its intrinsic stronger expression ability.

同时通过对防火墙跨越和多元异步-演算的描述，表明鲁棒环境演算在改进、优化动态环境演算安全性的同时保留了原有演算较强的表达能力。

Mobility has been showed when process access boundary in ambients calculus.

通过进程穿过边界来体现移动计算中的移动性。

Calculus is all about continuums — rates of change, areas under curves, volumes of solids.

微积分都是关于连续统的--变化的比率，曲线的面积，立体的体积。

Calculus is all about continuums — rates of change, areas under curves, volum

微积分都是关于连续统的--变化的比率，曲线的面积，立体的体积。

Calculus is all about continuums ratesof change, areas under curves, volumes of solids.

微积分都是关于连续统的--变化的比率，曲线的面积，立体的体积。

In validity theory, application-specific validity constraints are axiomatized as validity fluents, the heuristic alternative responses are axiomatized as decisive complex actions, and they are composed into validity-ensured autonomous service units, which can be comprised into, and executed autonomously by, situation calculus implementation systems.

在有效计算理论中，采用有效性流函数刻画应用需求中的有效性约束常识，采用确定性复合动作刻画直接服务、补遗策略、替代策略、拒绝策略等启发式策略，并它们结合构成保证有效性的服务计算单元，纳入情景演算形式系统，利用情景演算的形式推理实现自治执行。

Chapter one involves a survey of the fundamental knowledge and achievement obtained by foregoers on the subjects for the purpose of the later parts in this dissertation, including the introduction of the history and development of mathematics mechanization, brief review of the history and status in quo of the fractional calculus and soliton theory.

第一章介绍了论文的基础知识以及前人工作的成果：包括介绍数学机械化的思想与应用的情况；回顾分数微积分的历史和所应用的领域；简单介绍孤立子研究的历史、发展与成果。

through making use of the reciprocal statistical fluctuation and the confirmed experimental data of the mass and charge of bose hadrons,to improve the research of the mass effect of the high order integral calculus connection of hadrons multiple number distribution.

本文通过利用bose强子的倒易统计起伏和质量与电荷证认数据来改进构造多重数分布的高阶积分关联的质量效应的研究，不仅质量效应被明显地揭示出来，而且说明高阶关联的实验数据，积分关联参数、奇斜度、峭度和统计矩是质量效应的理论基础，同时半群对称性的兰道不等式也得到了实验的支持。

Methods Hyodeoxycholic acid and bilirubin in Calculus Bovis were separately identified by TLC, and the cholic acid content was determined by TLCS with the scan wavelength of λ=380 nm,λ=650 nm.

①用薄层色谱法分别鉴别猪去氧胆酸和胆红素；②用薄层扫描法测定胆酸含量，扫描波长：λ=380nm，λ=650nm。结果薄层色谱法可以区分体外培育牛黄和人工牛黄。

Results TLC can be used for the identification in-vitro cultured Calculus Bovis and artificial Calulus Bovis, the samples containing cultured Calulus Bovis showed the specific spots of bilirubin but no hyodeoxycholic acid spot while the samples containing artifical Calulus Bovis showed the hyodeoxycholic acid spot but no bilirubin spot.

含人工牛黄的样品有猪去氧胆酸斑点，含体外培育牛黄的样品未检出有与猪去氧胆酸对照品相对应的斑点；含人工牛黄的样品不显胆红素斑点，含体外培育牛黄的样品显示与胆红素对照品相对应的斑点。

Tom: You are right, he worked hard all the time.

你是对的。他一直都是努力工作。

Take shortcomings,failures,and mockings of others as commonplace and a drive to complete oneself,hold your own opinion over the evalution and disscution divested from others,afterwards sink into the state of eliminate mistakes if any or encourge oneself being not being influenced by the sayinngs of others or having no ideas to do.

把缺点、失败及别人的耻笑等看成是一种常事，当成完善自己的动力，对别人的评价和议论自己心中有主见，做到&有则改之，无则加勉&，不为人言所左右或无所适从。