查询词典 covered

Two of the Dragons were lying, bathing in their blood and covered with their own entrails.

两只巨龙在自己的血泊和内脏堆中躺下了。

I'm pleased that corruption, long entrenched , long covered, is now being exposed.

我很高兴，看到长期顽固存在的隐蔽腐败行为现在被暴露出来了。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Long stretches of its thousands of miles have been covered by sand over the eons.

漫长的年代让它上千英里的距离被沙覆盖了。

Approximately 32,000 new fleet vehicle purchases were covered under EPACT in 2001, 43 and because purchases by alternative fuel providers are aggregated with government purchases, the 75-percent requirement was applied uniformly.

大约32，000个新车队的车辆采购都适用于在2001年能源政策法案，因为43和替代燃料供应商的采购与政府采购的75汇总了百分之要求统一适用。

The number of vehicle purchases covered under EPACT is assumed to grow at about the same rate as that projected for the light-duty vehicle stock, and every qualified fleet is assumed to use biodiesel purchases to offset one-half of the AFV requirement.

根据能源政策法所购买车辆数量增长假定大约在同一率的预测为轻型汽车的股票，每个合格的车队被假定为使用生物燃料的采购，以抵消之一的装甲战车要求的一半。

They found the superior structures particularly primitive, with a voluminous epiglottis covered by the pendular velum.

他们发现高级结构，特别是原始人的，与大量的会厌软骨是被摆动的软颚所覆盖。

C. Application of pressure at the perineal apex with a towel-covered hand helps to prevent extension of the episiotomy.

c。 在会阴尖部覆盖毛巾用手加压，有助于防止会阴切口延长。

Its cell structure is an equilateral triangle, and it is composed of 3 Uni-Cover Regions and 1 Cross-Covered Region.

小区结构为正三角形，分为3个单一覆盖区和1个交叉覆盖区。

Her equipage consisted of her immense travelling coach in which she had come to voronezh , and a covered trap and a waggon

她的车辆包括她乘坐到沃罗涅得来的那辆大型公爵马车，一辆四轮马车和一辆货车。

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数据流的质量检测。