查询词典 predicate function

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

After research we can find that: firstly, a great number of predicate-word phrases can act as the adnex of the verb-complement structure; secondly, almost all the verbal phrases and adjectival phrases can act as complement, and other phrases like adverbs, noun, quantifier phrases, some prepositional phrases and subject-predicate phrases, even compound sentence can act as complement too;thirdiy, there are six kinds of verb-complement structures in the novel;fourthly, the verb-complement structures can act as subject, predicate, object, attribute, adverbial modifier, complement in a sentence and other phrases component, even can be a sentence by itself; fifthly, the semantic connection between complement and other components in the sentence is very abundance and complex;sixthly, some special verb-complement structures in the Dream of the Red Chamber show the characteristic of transitional language.This thesis is divided into five parts:Part 1: Preface.

通过研究我们可以发现：首先，大多数的谓词性词语在《红楼梦》中都可以充当述补结构的述语；其次，几乎所有的动词性词语和形容词性词语都可以充当补语，少数副词和名词性词语也可以做补语，数量短语、介宾短语、主谓结构和复句也可以做补语；第三，述补结构的类型按中间的助词标记可以分为没有助词的，有&得/的&的，有&个&的，有&着&的，有&将&的和有&到&的六种；第四，述补结构可以充当主语、谓语、宾语、定语、状语、补语以及各种成分内部的组成成分，还可以单独成句，其语法功能非常丰富；第五，补语的语义指向是多方面的，语义内容非常复杂；第六，几种特殊的述补结构说明了《红楼梦》的述补结构带有过渡时期的特点。

Through the study, an implicational universal is discovered, i.e. if a language has object before predicate verb, then it has temporal adverbial for predicate before predicate verb.

然后我们对谓语时间词状语与谓语动词的语序类型进行了类型学考察，从考察中我们发现了一条与之相关的蕴含共性，即：如果一种语言的宾语在谓语动词之前出现的话，那么充当谓语状语的时间词也在谓语动词之前出现。

We may now distinguish a "two-place predicate"(which governs two arguments, e.g., subject and object), a "one-place predicate"(which governs one argument, i.e., subject) and a "no-place predicate" that has simply no argument.

因此，语义学家就用&述谓&这一范畴并把它分解成变元和谓语，前者是&逻辑参加者&，后者是&关系因素&，负责把变元联系起来。

Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.

弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。

Though comparing Canny operator and center B spline dyadic wavelet, the following conclusion is proven in this dissertation: a Center B spline function has tight support and Canny operator hasn't. b Center B spline function asymptotic convergence to Gaussian function and the derivative of Center B spline function asymptotic convergence to Canny operator. c The derivative of fourth order center spline B function is more suitable as a optimal edge detector than Canny operator. d Center B spline function can balance the smoothing and approximation of original data, and the fourth center B spline function is the only optimal solution of two order smoothing problem. e The error between the valve of time-frequency uncertainty of the fourth center B spline function and the lower bound of time-frequency uncertainty does not exceed 0.143% of the lower bound. f The derivative of center spline B function can construct a stability dyadic wavelet and can give a fast algorithm for multiscale edge detection, but Canny operator can do neither.

作者给出了Canny算子与中心B样条二进小波严格的比较证明，得出如下结论：a中心B样条函数具有紧支集，Canny算子不具有紧支集。b中心B样条函数的极限收敛于高斯函数，中心B样条函数的导数收敛于Canny算子。c四阶中心B样条函数的导数比Canny算子更接近最佳边缘检测滤波器。d中心B样条函数比高斯函数更能兼顾对原函数平滑和逼近的折中要求，并且四阶中心B样条函数是二阶逼近问题的唯一最优解。e四阶中心B样条函数的时频测不准关系值与时频测不准关系下界的逼近误差不超过0.143％。f中心B样条函数的导数可以构成稳定的二进小波，存在快速的多尺度算法；而Canny算子不构成稳定的二进小波，无法给出快速的多尺度算法。

The problem of multi-objective usually meet many conflict each other and can not use the objective of the same standard unit, then to employ membership function of fuzzy theory,at first each objective function to change fuzzy set and express with membership function, membership function include the maximum constraint, minimum constraint, the decrease function of monotonic property, to become optimal of the multi-objective function, but still to scanty of weighting value with regard to adjustment of objective function, thus this thesis proposes the method of combine orthogonal arrays and particle swarm optimization to solve the problem of multi-objective optimal power flow, each objective function separately add weighting value, to setting each weighting value of objective function in order to the result of anticipating.

多目标最佳化的问题通常会面临到许多互相冲突且不能用同ㄧ标准单位的目标，於是利用模糊理论中的归属函数，首先将各目标函数转换成模糊集合并以归属函数表示，归属函数包含了最大限制值、最小限制值、单调的递减函数所组成，将各目标函数利用归属函数表示，形成单一目标函数的最佳化，但是仍缺乏权重值对於目标函数的调整，於是本篇论文提出ㄧ种权重值设定与粒子群优演算法的方法去解决多目标最佳电力潮流的问题，将各目标函上分别加上权重值设定各目标函数的权重值，得到预期的效果。

Along with the time development, the computer technology more and more thorough various trades and occupations, have provided thorougher and a convenient service for the general users In order to realize raises department's working efficiency, uses the resources fully, reduces the nonessential manpower, physical resource and financial resource goals and so on disbursement, presented various information management system The paper will design university student's dormitory information management system's Web and realizes using the solution The university student's dormitory information management system is one safe and the highly effective proprietory system, designs specially for the information engineering institute This system has used many technologies, for instance JSP, JDBC, Web service and so on The proprietory system use's database is SQL the Server 2000 databases The university student's dormitory information management system's major function includes: May realize to the student's dormitory information inquiry function, including fast inquiry function and classified inquiry function; To the student's dormitory information's input function, the revision function, deletes the function and the statistical function Realizes the dormitory Control section through the system above function regarding the student's dormitory information current management, namely facilitates the dormitory administrative personnels to keep abreast of the student lodging situation and the billeting situation comprehensively promptly; Has provided some simple data inquiry for the user and outputs each kind of information and so on

随着时代的发展，计算机技术越来越深入各行各业，为广大的用户提供了更为周到和便捷的服务。为了实现提高部门的工作效率，充分利用资源，减少不必要的人力，物力和财力的支出等目的，出现了各种各样的信息管理系统。论文将设计一个高校学生公寓信息管理系统的Web应用解决方案并予以实现。高校学生公寓信息管理系统是一个安全和高效的专用系统，专为信息工程学院设计。这个系统使用了很多技术，比如JSP，JDBC ，Web服务等。专用系统使用的数据库是SQL Server 2000 数据库。高校学生公寓信息管理系统的主要功能包括：可以实现对学生公寓信息的查询功能，包括快速查询功能和分类查询功能；对学生公寓信息的录入功能，修改功能，删除功能和统计功能。通过系统上述功能实现公寓管理部门对于学生公寓信息的日常管理，即方便公寓管理人员及时全面地掌握学生住宿情况及公寓分配情况；为用户提供了一些简单的数据查询并输出各种信息等。

A sentence in which the main element of the predicate id an adjective is known as a sentence with an adjectival predicate.

谓语主要成分是形容词的句子就是形容词谓语句。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。