查询词典 reasoning

This project works on some theoretical and technical problems in software safety and security. The project takes type theory as main theory and uses type systems and Hoare logic-style reasoning as main means.

本项目以类型论作为主要理论基础，用类型系统和Hoare逻辑风格的推理作为主要手段，研究软件安全中的一些理论和技术问题。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

Finally, a sufficient condition which can decide whether there exists a homomorphism between a qualitative reasoning system and R is presented.

定性推理具有"定量分析"不可比拟的某些优势，可望在建立深层次的故障诊断模型、模拟和预测某些物理系统的行为等方面得到广泛的应用。

This system works out the knowledge representation and the reasoning mechanism based on hypermedia. It will be universally and practically available.

本系统解决了基于超媒体的知识表示和推理机制问题，具有普遍的实用意义。

My reasoning a hypothesis, dog usually hyperopia.

我推理出一个假设，狗通常是远视眼。

An illative conclusion; inferential reasoning.

推论性的结论；推论性的推理。

Here is an illustration of the reasoning.

这是原因的图解。

It needed great powers of reasoning and improvisation.

这需要极大的推理和临时拼凑的能力。

When some reasoning is needed, it should be simple and always in the light of faith.

当一些推理是必要的，它应是简单的并一直在考虑的信仰。

The majority of research either inanely discuss the necessity and the significance of the reform and the innovation of society development mechanism, or restricts to expatiation of concrete experience, lacks deep-level theoretical analysis to the intrinsic contradictory deduction of social development mechanism, lacks thorough pondering and reasoning of the formation and evolution, scientifically constructing and optimizing of the contemporary china society development mechanism.

大部分研究要么只是空洞谈论社会发展机制改革和创新的必要性和意义、要么局限于一般就事论事的经验阐述，对社会发展机制内在的矛盾缺乏深层的理论分析，对当代中国社会发展机制的生成演进、科学建构与优化问题，缺乏深入的思考。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。