查询词典 in due course

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

Sterculia lychnophora applies only to violations of the throat due to wind-heat cult poison the sound dumb, as a result of vocal nodules, vocal polyps, vocal cord dysraphism, hoarse due to excessive alcohol and tobacco, with Sterculia lychnophora is invalid, especially the elderly and the sudden aphonia Spleen person should be used with caution.

胖大海只适用于咽喉由于风热邪毒声音哑作为一种声带小结，声带息肉，声带闭合不全，因此违反嘶哑由于过度酒精和烟草，胖大海是无效的，尤其是老人和脾脏的人突然失声，应谨慎使用。答：适当食用，可以缓解咽喉疾病的一种疾病，但身体似乎每天喝不是很好！

For example, glass, ceramics class, such as commodities or crafts products, losses due to fragmentation, when the insured or in the life insurance on the basis W.P.A. broken security risk; hemp goods, after damp heat, caused by mildew , brought about by loss of spontaneous combustion, or in life insurance on the basis W.P.A. security risk damp heat; asbestos, cement board, marble and other building materials product category, resulting in major losses due to fragmentation, it should be in the life insurance security based on the risk of breakage.

例如，玻璃制品、陶瓷类的日用品或工艺品等产品，会因破碎造成损失，投保时可在平安险或水渍险的基础上加保破碎险；麻类商品，受潮后会发热、引起霉变、自燃等带来损失，应在平安险或水渍险的基础上加保受热受潮险；石棉瓦、水泥板、大理石等建筑材料类商品，主要损失因破碎导致，应该在平安险的基础上加保破碎险。

Due date assignment and sequencing problem is one of the scheduling fields about due window.

交货期窗口下的交货期确定和排序问题是调度领域研究的一个方面。

Eye care : chronic damage of cornea due to radiation from TV and computer , corneal damage and asthenopia due to contact lens .

眼睛保健：电视、计算机辐射引起的角膜慢性损伤、隐形眼镜引起的角膜损伤、视疲劳。

The results indicate that the effect of alloying elements V and Cr on mechanical properties at room-temperature, creep behavior and microstructures are similar. With increasing contents of V and Cr, their mechanical properties produce little change, the creep resistant property decreases and microstructure grows, which is mainly due to their characteristics of β-stability element and smaller atomic radius compared with Ti. On the contrary, the effects of V and Cr on the thermal stability are quite different. With increasing V content or decreasing Cr content the thermal stability for the alloy becomes better, which may be due to the different solution characteristics of V and Cr element in titanium alloy that V belongs to isomorphous β-stability element and Cr belongs to eutectoid β-stability element.

结果表明：合金元素V和Cr对Ti40合金室温力学性能、蠕变行为和组织的影响具有相似性，即随V和Cr含量的降低，合金室温综合力学性能变化不明显、抗蠕变能力减弱、组织粗化：这与V和Cr同属于β稳定元素、且原子半径都小于Ti原子有关；而V和Cr对于热稳定性能的影响则完全相反，V含量的增加或Cr含量的降低含金热稳定性能优化，其主要原因可能与V属于同品型β稳定元素而Cr属于共析型β稳定元素有关。

This may be due to significant inflammation due to extensive lesion sets in the left atrium.

导致这样的结果可能是由于炎症，大面积损伤嵌入到了左心房。

If you close your checking account and there is an advance balance due, the Bank will automatically deduct the balance due from your closing checking account balance.

如果您关闭您的支票帐户，并且您的预支款项偿还当时已到期，本银行将从您即将关闭的支票帐户余额中自动扣除应付款项。

To support the negotiation on order due-date between manufacturers and their customers,we propose the concept and model of due-date bargainer.

摘 要 为支持制造企业与客户对订单交货期的谈判，提出交货期协商器的概念和数学模型。

We also analyze the mechanism of the initial zinc blende structure and wurtzite structure phase transition in II-VI and III-V compound materials. The results indicate that the transition of zinc blende structure to rocksalt structure due to "chair" structure transform, the transition of wurtzite structure to rocksalt structure due to "chair" and "boat" structure transform.

对II-VI族和III-V族初始相为闪锌矿或纤锌矿的压致结构相变机制进行的分析表明，闪锌矿结构到岩盐矿的相变是因为"椅式"结构的变化，纤锌矿结构到岩盐矿的相变是因为"椅式"和"船形"两种结构的变化。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。