查询词典 modal proposition

This paper focuses on the Multi-Modal Human-Computer Interaction technique, discusses some main topics in this field, including the modal description, system framework, integrate algorithm and so on; also, we have developed a practical MM-HCI system MM-TSBH(Multi-Modal TSBH), which will be introduced later, and, this paper also refers to some problems may be encounterd during developing and the resolvents of these problems.

通过对多通道系统语义的通用描述模型的研究，面向开发人员提供可重用多通道整合模板的支持，这本身就是应用软件系统所追求的目标之一，在多通道技术中实现这个思想有着更大的意义，本文给出了一个具体的实现方法。

With the fluid-solid coupling of train oil tank clue to train speed increase, the fluid-solid coupling modal analysis of G70B oil tank is calculated by NSYS. The finite element model of fluid-solid coupling system is set up. The fluid-solid coupling modal analysis of G70B oil tank is done for light oil tank train under different kinds of loads and its natural frequency and modal shapes are obtained.

针对列车油罐因列车提速导致液固耦合作用突出的问题，运用ANSYS软件对轻型油罐车G70B型罐体的液固辐合模态响应进行实例分析和计算；建立车载油罐的液固辐合系统有限元模型；对轻型油罐车G70B型罐体进行在不同贮液比时的液固福合模态分析，得出固有频率和模态振型图。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

The analysis includes three aspects:(1) The difficulty and reason of ultimate analysis's atomic hypothesis;(2) The difficulty and reason of analytic proposition's picture theory;(3) The difficulty between the proposition of Tractatus Logico-philosophicus itself and the anti-metaphysics proposition.

主要从三个方面来分析：(1)分析终极的原子性假设的困难及原因；(2)分析命题意义的图像论的困难及原因：(3)《逻辑哲学论》本身的命题与拒斥形而上学命题之间的困难。

There are three aspects:(1) logical analysis is the base and factors of building logical atomism;(2)proposition system of expressing scientific knowledge——atomic proposition, molecularproposition, and generalized proposition;(3) picture theory of prepositional meaning is the core of logical atomism.

主要有三个方面：(1)逻辑分析是逻辑原子主义建立的基础和条件；(2)表达科学知识的命题系统——原子命题、分子命题和概括命题；(3)命题意义的图像论是逻辑原子主义的核心内容。

Logical atomism suggests that proposition or sentence is the picture of actual being or existence, and atomic proposition is the picture of atomic fact, and molecular proposition is the picture of complicated fact, while language is the big picture of the world.

逻辑原子主义认为，命题是实在或事态的图像：原子命题是原子事实的、分子命题是复杂事实的、语言则是世界的总图像。

A proposition on which another proposition depends; the antecedent of a conditional proposition .

前提为另外一命题所依赖的命题；先决条件

Logic A proposition on which another proposition depends; the antecedent of a conditional proposition.

前提：为另外一命题所依赖的命题；先决条件

In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition.

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。

In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition .

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从"真假决说"角度来定义复合命题：复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？