逻辑的

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

In this study, we reported the detailed gating scheme, a gating module and the status of end-station of infrared microspectroscopy. Utilizing both noise eliminating system and technique of synchrotron-radiation-based FT-IR, we successfully acquired subsequently spectra and spectral images.

在本文中将详细说明此逻辑闸模组机制与红外显微光谱实验站之现况，经由此逻辑闸模组控制和同步辐射傅立叶转换红外显微技术，不但可提供量测样品於中红外光区的分子振动吸收光谱，更可利用样品中不同成分物种之特徵吸收，以建立红外光谱影像。

And so forth we will examine it separately to major use statistics method of Logistic Regression and Polytomous Logistic Regression.

在探讨其相关因素(性别、年级、学业成绩、父母婚姻状况、父母教育程度、与父母的关系、吸菸、饮酒、非法药物行为)时，主要使用之统计方式为逻辑斯回归及多分类逻辑斯回归。

Frege and Russell introduced generality in association with logical productor logical sum.

弗雷格和罗素是联系逻辑积或逻辑和而引入概括的。

Based on two kinds of control strategies of VSR under unbalanced grid condition,the introduction of a new VSR control strategy featuring undamped -oscillation that simplifies the controller structure and effectively improves VSR"s performance under unbalanced grid condition.· A systematic description of the state switching in trilogic PWM signal generation of three-phase CSR by using the conversion between bilogic and trilogic switching functions.· Referenced to the CSR"s trilogic PWM signal generation, an approach to achieve low-stress natural commutation of switching devices by reshuffling the vector composition sequence, resulting reduced switching loss.

在研究了两类电网不平衡时的VSR控制策略基础上，提出了一种新型的基于无阻尼振荡控制器的VSR不平衡控制策略，在简化控制结构的同时，有效地改善了电网不平衡时的VSR控制性能；·通过二、三值逻辑开关函数间的转换，系统地描述了三相CSR三值逻辑PWM信号发生中的状态切换；·结合三相CSR三值逻辑PWM信号发生规律，提出了通过调整矢量合成顺序而使功率管获得自然换相的低电压应力SVPWM控制，从而有效地降低了功率管的开关损耗。

Referenced to the CSR's trilogic PWM signal generation, an approach to achieve lowstress natural commutation of switching devices by reshuffling the vector composition sequence, resulting reduced switching loss. With the background of and well instanced by the Xinjiang Autonomous Region's Key SciTech Project"Solar Photovoltaic grid-connected inverter", the dissertation work implemented the new approach of a grid-connected PV inverter that was of single-phase VSR topology and with MPPT .

在研究了两类电网不平衡时的VSR控制策略基础上，提出了一种新型的基于无阻尼振荡控制器的VSR不平衡控制策略，在简化控制结构的同时，有效地改善了电网不平衡时的VSR控制性能；通过二、三值逻辑开关函数间的转换，系统地描述了三相CSR三值逻辑PWM信号发生中的状态切换；结合三相CSR三值逻辑PWM信号发生规律，提出了通过调整矢量合成顺序而使功率管获得自然换相的低电压应力SVPWM控制，从而有效地降低了功率管的开关损耗。

The two logical processors the same as traditional processors have separate IA-32 architecture, they can enter the suspend state interrupt, or direct the implementation of a special thread, and each logical processors have APIC (Advanced Programmable Interrupt Controller, Advanced Programmable Interrupt Controller).

这两个逻辑处理器像传统处理器一样，都有独立的IA-32架构，它们可以分别进入暂停、中断状态，或直接执行特殊线程，并且每个逻辑处理器都拥有APIC(Advanced Programmable Interrupt Controller，高级可编程中断控制器)。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

And the author of this paper gives some suggestions how Chinese logicians reply to the new trend of contemporary logic.

本文最后就中国逻辑学界如何应对当代逻辑发展的新趋势提出了一些建议。

As an application server mode based on the Web, the system introduces three-hierarchy structure corresponding to its three-class processing logic directly, that is, adding a middleware or application server between client computer and server.

其计算基于Web应用服务器模式，采用与三层处理逻辑对应的三级体系结构，即在客户机和服务器两层模式间增加一个中间层，即应用服务器，以与三层处理逻辑直接对应。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。