查询词典 calculus of approximations

Many materials can inhibit the genesis of calcium oxalate calculus obviously in vivo or in vtro,such as fish oil,banana stem extract,corn silk extract,acid mucopolysaccharide substancesand so on.

鱼油、芭蕉芯提取液、玉米须提取液、酸性黏多糖类物质等在体外及动物试验中对草酸钙结石的形成有明显的抑制作用，作为新的防石药物很有前途。

Research progress of formation factors of bile pigment calculus.

胆色素结石形成的因素研究进展。

Because dental calculus is more likely to cause the accumulation of dental plaque, causing gingivitis, gingival bleeding, periodontal disease.

因为牙结石更容易造成牙菌班的堆积，造成牙龈炎、牙龈出血，牙周病。

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.

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。