查询词典 propositional function

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

Hence, hedonists who value propositional pleasure rather than sensational pleasure can deny that more pleasure is achieved by hooking oneself up to such an experience machine (Feldman 1997, 79-105; see also Tannsjo 1998 and Feldman 2004 for more on hedonism).

因此，享乐主义者谁值命题乐趣，而不是耸人听闻的快乐也不能否认，更多的乐趣是接轨，自己做到这样的机器所取得的经验（费尔德曼1997，79-105，又见就享乐主义更多滕舍1998年和费尔德曼2004年）。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

An I -theory places substantive constraints on propositional attitude ascriptions. Beliefs, for instance, are ascribable only to creatures possessing a language, only to creatures capable of describing their own beliefs in a language translatable into our own.

一个I理论对命题态度的归给进行了&实质约束&，例如：信念，我们只能归给拥有语言的生物，只能归给能够（在那种可译为我们自己语言的语言中）描述它们自己的信念。

They are not only sound and complete 3-valued logical systems, but also complete in the content of the propositional connectives.

MP〓和MF〓分别由20条和26条推理规则组成，是命题联结词含量完全且可靠和完备的三值逻辑系统。

Propositional rhetoric is to found a new semantic pertinence so as to reduce this syntagmatic deviance.

命题修辞就是建立一种新的语义切题从而将这一横组合变异简化，而这一切题又从纵聚合的词汇变异得到保障。

While the standard Airy function, used frequently in the uniform asymptotic formulas for classical orthogonal polynomials, behaves like the exponential function on one side and the trigonometric functions on the other side of an extreme zero,the q-Airy polynomial behaves like the q-Airy function on one side and the q-Theta function on the other side.

在经典正交多项式的一致渐近公式中我们通常要用到Airy函数，这个Airy函数在一个极端零点的一边表现为指数函数，另一边又表现为三角函数。同样地，q-Airy多项式在一边表现为q-Airy函数，另一边又表现为q-Theta函数。

This paper compares periodic set with almost periodic set, and properties of periodic function with that of almost periodic function through analysing the definitions of periodic function and almost perodic function, and then draws some important conclusions.

利用周期函数与概周期函数的定义，把周期函数的周期集与概周期函数的概周期集进行了比较，把周期函数与概周期函数的性质进行了比较，并得出一些重要结论。

A main feature in developing the theory is that the scope is expanding: from almost periodic function, asymptotically almost periodic function, weakly almost periodic function to pseudo almost periodic function which was introduced by Professor Zhang in 1992. Every extension consumedly enlarges the theory and their applications.

从概周期函数、渐进概周期函数、弱概周期函数，一直到张传义教授在上世纪九十年代初提出的伪概周期函数，每一次函数范围的扩展都大大地丰富了概周期函数的理论和其应用前景。

Methods 42 children with CP (26 males, 16 females, average age 49.5±21.5 months, 11 children with spastic quadriplegia, 22 with spastic diplegia, 5 with spastic hemiplegia, 2 with athetosis and 2 with dystonia) were assessed with Gross Motor Function Classification System and Gross Motor Function Measure for the assessment and classification of gross motor function. Pediatric Evaluation of Disability Inventory PEDD was used to assess the ADL. The ADL of children with different levels of GMFCS and the correlat ion between gross mot or function and ADL were analyzed. Results The more severe of GMFCS, the less standard score of PEDI.

方法对 42例脑瘫患儿（男性26例、女性16例，年龄49.5±21.5个月；痉挛型四肢瘫11例、痉挛型双瘫22例、痉挛型偏瘫5例、徐动型2例、肌张力障碍型2例）采用脑瘫粗大运动功能分级系统和粗大运动功能测试量表进行粗大运动功能分级和评估；采用能力低下儿童评定量表进行日常生活能力评定，分析不同GMFCS等级脑瘫患儿的日常生活能力表现，以及粗大运动功能与日常生活能力之间的相关性。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。