逻辑

According to the model, the author forecast the performance level of science and technology expenditure during the future certain years .

本文在前人研究的基础上结合逻辑模型的思想设计了区域科技支出绩效评价指标体系；收集了2000 年－ 2004 年西安的科技支出绩效统计数据；应用灰色系统理论的分析方法模拟出科技支出绩效模型，根据模型预测了未来若干年西安的科技支出绩效水平；通过灰色关联度与聚类分析，获得了决定区域科技支出绩效的因素；针对这些因素提出了改进区域科技支出绩效的建议。

Design and implementation of multimedia authoring language.

唐稚松等。时序逻辑程序设计与软件工程。

According to multimedia data model based on temporal logic and XYZ system, the authors designed and implemented a new multimedia authoring language MAL. This language supports the specification of abstraction, concurrency and the procedure of stepwise refinement design, it can be used to specify modeling information units, design and script a multimedia title in a unified framework.

根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型，设计并实现了一种新的多媒体编著语言MAL，该语言具有抽象描述、同步描述、逐步求精设计的描述等能力，将多媒体节目中媒体对象的建模和多媒体节目的设计过程在一个统一的框架内进行描述。

In this paper, a fundamental framework of automata and grammars theory based on quantum logic is preliminarily established.

初步建立了基于量子逻辑的自动机和文法理论的基本框架。

It provides a unifying theory of communicating automata and their logical properties.

它提供了自动机的通信和统一的逻辑特性的理论。

It's a logical extension of our plan to reinvent the automobile," he said."

这是我们的计划，以重塑汽车合乎逻辑的延伸，"他说。"

Consideration of the structural characteristics of autotransformer, the principles and characteristics of zero-sequence differential protection are analyzed by taking PST1200 as an example, debugging method of zero-sequence differential protection is summed up briefly, the method can well verify the logical function correctness of zero-sequence differential protection, and it has been verified in practical application.

结合自耦变压器的结构特点，以南自PST1200变压器保护装置为例分析了零序差动的原理构成及特点，简要总结了零差保护的调试方法，能够较快且准确的校验零差保护逻辑功能的正确性，并已在实际工作中得到了很好的验证

He continues to make judgments with his Extreverted Feeling auxiliary function, but he also begins to make judgments based on logic and reason, which he works through in his own mind, rather than discussing it with others.

他继续用他的外向情感辅助功能来做出判断，但是他也开始根据逻辑和推理来进行判断，这个判断过程是在他自己的头脑进行，而不是和别人一起来讨论。

Many of his works in logic and metaphysics had, however, been consigned to the flames, so that he left no school, and the end of the dominion of the Moors in Spain, which occurred shortly afterwards, turned the current of Averroism completely into Hebrew and Latin channels, through which it influenced the thought of Christian Europe down to the dawn of the modern era.

他的许多作品在逻辑和形而上学了，但是，被委托给日本的火焰，让他离开学校，和去年底的统治摩尔人在西班牙，西班牙发生不久后，把当前的averroism完全融入希伯来语和拉丁语渠道，通过它影响了思想的基督教欧洲，下至黎明的现代时代。

The network planning has been applied in our avigation manufacturing project widely, but there are some insufficiencies in application, such as, work breakdown structure depends on handwork, managers pay much attention to time but with little consideration for resource and logical relationship still rely on handwork as making plans, planning optimization is neglected.

我国航空制造项目的计划管理普遍采用网络计划技术，且有如下现状：工作分解多以手工方式为主；制定计划时重点考虑时间而对于资源的关注不多，且逻辑关系的处理依靠大量的人机交互；通常不应用计算机技术进行计划优化。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。