查询词典 as a consequence of

Disjunctive default logic : the consequence of a default is a set of formulae instead of a single formula.

析取缺省逻辑：缺省的结论是公式的集合而不是单一的公式。

The establishment of this repertoire from 'scratch' exceeded the capabilities of the composers JD Heinichen and Jan Dismas Zelenka and in consequence it became necessary for works by 'outside' composers to be incorporated into the repertoire.

这一剧目的'从头开始建立'超越了联合声明海尼兴作曲家能力和2008年1月Dismas泽伦卡及由此成为必要的工程'外部'作曲家纳入曲目中。

Mary had shown herself disobliging to him, and was now to reap the consequence

玛丽一直中他过不去，现在落了个自食其果。

Such consequence is the dissension that the mankind lives.

这样的后果是人类生活的分裂。

IRIC arrogantly refused SVW's suggestion and SVW cost a whole day to coordinate between GE Beijing and Mr. IRIC, with SVW's persistent dissuasion IRIC finally agreed to have a measuring again and the readings showed that the deviation of the alignment data reached 2 mm, far beyond the specified standard 0.05 mm. If the wrong hadn't been corrected there would be serious consequence during the commissioning and damages to the bearings and seals would be inevitable.

但是IRIC坚决不同意，态度傲慢，我们花费了一天的时间同GE北京和IRIC进行之间协调，并积极说服，最终才同意再次测量一次，监测结果是对中数据偏差达到2mm，大大超出标准数据5丝，如果不纠正试车将会发生重大问题，轴承和密封都可能损坏。

The primary objective of this study is to analyze the buckling mode of inclined lipped purlins and predict distortional buckling strengths, as compared to the consequence calculated by ANSYS.

本文以此作为出发点，对卷边檩条的弹性屈曲进行了理论分析，并应用ANSYS有限元法计算总结了斜卷边檩条翼缘屈曲系数的合理取值方法。

In consequence of Dobbin s victory , his character rose prodigiously in the estimation of all his school fellows .

自从都宾打了胜仗以后，同学们异乎寻常地尊敬他的人格。

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

Subtree-structure in wavelet domain is a consequence of dependence between neighbouring pixels.

通过对小波变换和分形变换的"基函数"构造差别的分析，提出了二者在适应信源特征方面具有互补性的观点。

To discuss the cause of peril,「The Theory of Accidental Causation」－ interaction between worker and machine, consequence and frequency, non safety cause, cost of peril and preventive action taken by management, then,「Domino Theory」－causations of peril can be divided into 5 dominos.

灾害原因探讨，其中「事故因果论」--人机间的互动、后果严重程度与发生频率间的关系、不安全行为原因、事故的成本以及管理者在事故预防上所应扮演的角色，再就「骨牌理论」--事故发生的因果关系可归纳成一连串五个主要因子，视之为五张骨牌domino）。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48