推理上的

Aiming at more expressive description logic, the semantics and reasoning mechanism of terminological cycles are studied.

针对更大的描述逻辑系统研究了循环术语集的语义及推理机制，即在描述逻辑εL 的基础上添加数量约束构造算子，提出了描述逻辑εLN，给出了εLN 的语义(包括不动点语义和描述语义)。

Based on the works of Baader and Brandt, the hybrid reasoning of terminological cycles in description logic εL is further studied.

分析了描述逻辑循环术语集的研究现状和存在的问题，在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题。

Schmidt's combining of diverse optical elements (a special mirror, a diaphragm at a particular location, and a "correction plate") into a simple catadioptric system, based on reasoning from first principles, was epoch making.

施密特的结合，不同的光学元件（特别是一面镜子，一膜片在某一地点，和&校正板&）到一个简单的折制度的基础上，推理，从第一的原则，是划时代的决策。

On the basis of the available related research literature in the overseas and domestic, the paper apllied the method of deduction and reasoning, criterional and experiential research, quality and qualitative analysis, historical summary and realistic comparison research, to study the intrinsic relation between the science and technology innovation and the economic growth by the numbers.

本文在对国内、外的相关研究文献进行梳理的基础上，采用演绎推理、实证研究与规范研究相结合、定性与定量分析相结合和纵向概括与横向比较相结合的研究方法，对科技创新与区域经济增长的内在关系进行了比较系统的研究。

It is the speculativeness of the scientific hypothesis that brings about more uncertainty to the scientific knowledge obtained through hypothesis,reasoning and argumentation.

显然，在结论与支持结论的假说之间要求演绎的逻辑关系，即它们之间必须符合正确推理的原则，但科学假设毕竟有猜测和信念的成分，那么，由它演绎出的结论在什么意义上是真的、确定的呢？

Along the thread, the author analyzes new legal characters of Economic Law in legal substance、legal reasoning、legal profession and legal institution, which are distinguished from traditionalistic law such as Civil Law、Administrative Law, etc.

以现代法律发展的反形式主义趋势为主线，在反思民法、行政法等传统法律模式的基础上，从法律内容、法律推理、法律职业、法律机构几方面展现了经济法不同于传统法律模式的新的法律特质。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

Teacher, Shen mentioned formula replicability reasoning using mathematical methods, often with red, yellow and blue chalk in turn show the hands of this teacher, Shen, colored chalk, such as beating of the notes, images, vivid, so that we are both relaxed and learn together happy; Shen teacher also used chalk powder into the suspension liquid foam, and emulsion, the solution can be compared; to chalk on the throw, drop to indicate what is the role of inertial motion and gravity; is to compare chalk down chalk placed on the desktop Pressure Size ......

沈老师讲到公式的举一反三，在用数学方法进行推理时，往往用红、黄、蓝粉笔依次展示，沈老师手中这彩色粉笔如跳动的音符，形象、生动，使我们学起来感到既轻松又愉快；沈老师还用粉笔灰泡成悬浊液，与乳浊液、溶液进行比较；将粉笔上抛、下落来说明什么是惯性运动和重力作用；正倒放置粉笔来比较粉笔对桌面压强的大小……总之，每一节每一课，沈老师的粉笔都有妙用。

Combined with the KBE-Based design of Turbo Expansion Engine, the acquisition, classi- fication, deduction and application about the knowledge was introduced on the theory of general knowledge database.

结合基于KBE的透平膨胀机设计，以广义知识库概念为理论基础，阐述了设计中知识的获取、分类到推理、应用等一系列过程的工作，分析了建立的深层和浅层知识系统，在传统知识工程的基础上，提出了将广义知识库与大型CAD软件知识熔接工具相结合的设计框架。

The thesis fucuses on the content of The Theory of Russells Description.And it illustrates that logical analyse method in his theory has made a great progress to the modern linguistic philosophy. The method makes philosophical inference more clear.And makes philosophical research have more results.

本文首先具体研究罗素摹状词理论本身的内容，其次在此基础上说明罗素摹状词理论所提供的逻辑分析方法对现代语言哲学的发展产生的巨大作用，即：使得哲学推理更加清晰，哲学研究更富有成效。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。