逻辑上

Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

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

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

Important: In a MVC world we only want to put rendering logic in our View's code-behind class (and not any application or data logic). Notice above how the only logic we have is to assign the strongly typed ViewData collection of Category objects to the ListView control.

重要：在 MVC 中我们只希望在视图的后台代码中放置显示逻辑（不包括任何其他的业务逻辑），注意上面的大妈中我们唯一的一个逻辑操作时将强类型的目录列表 ViewData 赋值给 ListView 控件。

By the introducing the concept of embodied alterity as the original experience of religion, Thomas Csordas asserts that 'outside of horizon' will be the most essential resource of religious experience, that, according the views of French post-structurism, religious feeling pour out involuntarily.

本研究采用宗教现象学的取向，借重Thomas Csordas的引介，将异己性（他者性，alterity）作为圣世界的经验溯源，而以乔治巴塔耶的宗教理论为主要的发展核心，试图从实徵与理论两个层面包抄，发展癌末处境的圣世界之内涵，其中最具关键的问题在於(1)圣世界经验的发生应先排除语言的干预，使圣世界的发生完全在真切经验自然涌出：(2)圣世界经验的源头应为「域外」，那是非领域、非知，因此，研究问题遂在於「域外何以发生」；(3)圣世界的形成，本质上被假设为「异质跳接」，所以圣世界的复合逻辑应是由常人、医疗、宿缘以及无缘他者四者的逻辑平面交叠、挤压而形成多重皱摺，本研究试图通过病房田野，以实徵资料解明复合逻辑的内涵。

On the basis of I and Q meanings , this paper focally compares and contrasts default logic with deductive logic , and representatively analyses defaults such as prototypicality , etc .

在分析I和Q假定意义的基础上定点比较，对照了缺省逻辑与演绎逻辑的差异，并有代表性地分析了支持缺省逻辑推导的知识项如原型等。

The thesis explains how to design the PORR logical structures based on EASYBAS file system [6] , and gives the mapping relation between logical and storage structures.

在逻辑、物理存贮设计方面，详细介绍了在EASYBAS文件系统的基础上实现PORR逻辑结构的方法，给出了逻辑结构与物理存贮结构之间的映射关系。

It concludes that Quine's philosophy has notescaped the captivity of scientism,however,he tried to integrate pragmatism andlogical positivism.As a result,Quine made logical positivism turn from anarrow and rigid empiricism to a pragmatistic one.The pragmatistic positivismwas soon accepted by many philosophers and preluded to new pragmatism.

认为，尽管蒯因哲学在科学认识论问题上尚未完全脱离科学主义的囚禁，但他在语言哲学的理论框架下把实用主义与逻辑实证主义结合到一起，使逻辑实证主义从一种过于狭隘、过于僵硬的经验主义过渡到一种实用主义的、约定论的经验主义，这种实用主义化了的逻辑实证主义很快为人们接受并成为新实用主义兴起的序幕

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 paper presents analysis and design methods of sequential logical circuit to make reader under-stand principles of the basic trigger,master—slave trigger and the edge tripple based on knowing the combina-tional logical circuit design.

摘 要：介绍了时序逻辑电路的分析和设计方法，使读者在了解了组合逻辑电路设计的基础上，了解基本触发器、主从触发器和边沿触发器原理，能够分析、设计以触发器为核心元件，且与电路初态有关的时序逻辑电路。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。