推理

Using the extended Hoare calculus we can derive true Hoare formulas which contain while statements free of loop invariants.

使用这个抽象机器，可以在其上进行许多带位操作指令的程序，特别是系统级代码的Hoare逻辑风格推理。

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形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

In essence, the ultimate facts as minor premise and the civil legal norm as major premise have the homogeny.

从立法溯源上讲，作为三段论的小前提，要件事实与作为大前提的法律规范具有同质性，由此也才保证了演绎推理的顺利进行。

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

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

Based on the practical application of the telephone consultation about the information of the university en-rollment ,this paper focuses on the analysis of the uncertain inference in the human-computer dialogue system from the theoretical point of view.

文章以高校招生信息电话咨询作为实际应用对象，对人机对话系统中的不确定性推理进行了理论分析。

Secondly, this thesis discusses the method of applying Bayesian Network inferring mechanism to educational hypermedia system.

研究了教育超媒体领域内运用贝叶斯网络进行推理的方法。

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.

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

There is no correct illation to prove your point.

你的论文缺少能证明你的论点的正确推理。

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。