Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
The modern atmosphere supports many forms of complex life that would not have been able to exist in Earth's first atmosphere because the oxygen level was too low.
现代大气层支持着许多复杂的生命形式，而这些生命在地球最初的大气层中是不可能存在的，因为当时的氧气含量太低。
Production costs in Iraq are low, particularly compared to the more complex offshore developments.
伊拉克的生产成本很低，特别是与更为复杂的海上开发相比。
Since this low level integration is complex, it is likely that this solution is more costly and time consuming to implement than an equivalent level 5 solution.
由于这个低层集成很复杂，所以很有可能该解决方案实现起来要比一个对等的级别5 解决方案更为昂贵和耗时。
The low entropy state (or high degree of order) was essential for making complex matter possible.
低熵状态(即高度有序状态)是形成复杂物质的前提条件。
Because the API is low level, socket programming isn't suitable for dealing with complex data types.
由于API的级别很低，因此套接字编程不适于处理复杂的数据类型。
Complex Quote: the consumer passes in a stock symbol; the provider returns the current price and the current day's high, low, and volume for the indicated stock.
复杂报价：使用者传入股票代码；提供程序返回指定股票的当前价格，当前的最高价格、最低价格以及交易量。
Taxes are low, with a topincome-tax rate of 17% and a corporation tax of 35%, but they arehideously complex.
这儿的税收倒是不高，最高所得税率为17%，公司税为35%，但它的复杂程度令人发指。
For negligible and low demand, your server executes this complex rendering process seemingly instantly.
在要求很低或可忽略的情况下，服务器看上去能立即执行这个复杂的解释过程。
A complex quote containing the current price, high and low price for the day, and volume for the day.
包含当前价格、当日最高价和最低价以及当天交易量的复杂报价。
Vegetarian food rich in complex carbohydrates and fiber and low in fat, is the best diet for people struggling with obesity, type 2 diabetes, and heart disease.
素食的食物富含复杂的碳水化合物和纤维素，且低脂肪，是受肥胖，2型糖尿病和心脏病困扰的人群的最佳食物。
Another finding hints at the idea that diet is more complex than we think by showing that low-calorie foods might backfire during weight loss.
另一项研究结果暗示，节食比我们想的复杂，因为减肥过程中食用低热量食品可能会适得其反。
It will be able to replicate complex natural space environments and simulate low-Earth and geosynchronous orbits.
该系统将可以复制复杂的自然太空环境，并且模拟低地球同步轨道的环境。
But because they were unable to precisely model the complex nanostructures found in the shell, the solar cell had a low conversion rate.
但是因为他们不能在外壳上准确地模拟复杂的纳米结构，因此太阳能的捕获率很低。
EDA has been painted as a specialized activity involving low-latency busses and the like to support complex near real-time events.
EDA则被当作一种特殊的活动，它包括低延时总线，提供复杂的、近似实时事件处理能力。
Ms. Baba added that the conversion to low-phosphate content had been complex, with three or four ingredients needed to match what the phosphates accomplished alone.
巴巴女士补充道，向低磷的转变可能十分复杂，因为三四种成分需要与磷酸盐配合才能生效。
If levels are low, she may prescribe an iron or B-complex supplement.
如果水平太低，她可以要求医生开些补充铁和B族维生素复合物的处方。
Concepts like psychoanalyst Alfred Adler's inferiority complex - and later low self-esteem - provided a missing link.
想心理分析学家阿尔弗雷德·阿德勒的自卑情结的概念——后来是低自尊心——提供了缺失的一环。
Other than creationists, most people have no trouble appreciating the difference between "orderly" (low entropy) and "complex.
除了神创论者，大多数人都能够明白“有序（低熵）”和“复杂”的区别。
The discrete triangle grid may describe the complex geologic structure, but its ray tracing efficiency is quite low due to its including of many triangles.
离散的三角网格可以描述复杂的地质构造，但是由于包含大量三角形，使得射线追踪效率比较低。
As the parametric representation of primitives is low dimensional, the integration of primitives and state-based recognition algorithms helps realize some more complex recognition models.
由于基元特征参数的维数低，因此，它与基于状态的各种识别方法相结合有利于实现更复杂识别方法。
There are some problems to await to settle in the traditional produce craftwork of vanillin for instance high cost, low yield, the complex craftwork and serious waste pollution etc.
传统的香兰素生产工艺普遍存在着成本高、收率低、工艺复杂及三废污染严重等有待解决的问题。
Try Chinese food, high in such complex carbohydrates as rice and vegetables — and generally low in fat.
尝试一下中餐也可以，像米饭和蔬菜那样富含复合碳水化合物的食物，通常脂肪都很少。
Nokia ringing tone now played, if active ringing tone is set in MMC and it is removed, or phone memory is too low to play complex audio file.
当在MMC卡的音乐设置为铃声，而MMC卡移走，或者内存太低而无法播放复杂音乐时，自动转为播放诺基亚默认铃声。
They are characterized by ruggedness, light weight, high sensitivity, low acoustic impedance, easy conformability to complex surface, low cost and large bandwidth.
它具有耐磨、量轻、灵敏度高、声学阻抗低、容易固定在复杂的表面、价格便宜，频带宽等特点。
"In deference though not subordination to its architectural older brother, the adjacent HCI chemistry complex, the new arrival lies low and hugs the ground," it added.
“鉴于这座HCI化学综合楼并不真正附属于原建筑，所以作为新的建筑，它的高度设置得比较低，拥抱着地面。”工作室补充道。
Oxidation roasting was a pretreatment technique for low-grade and complex siderite, the parameters of oxidation roasting were important to roasting efficiency.
氧化焙烧是解决低品位复杂难选菱铁矿的有效前处理工艺，氧化焙烧参数对焙烧效果影响很大。
Oxidation roasting was a pretreatment technique for low-grade and complex siderite, the parameters of oxidation roasting were important to roasting efficiency.
氧化焙烧是解决低品位复杂难选菱铁矿的有效前处理工艺，氧化焙烧参数对焙烧效果影响很大。
应用推荐