查询词典 generalized

By using generalized-weak commutativity mapping, the existence of common fixed point for this class of contractive type mappings is studied in complete metric space, a common fixed point theorem for contractive type mappings is obtained, which largely improve and extend the corresponding results in some references.

通过使用映象的广义弱交换条件，在完备度量空间中研究了更为广泛的一类压缩型映象的公共不动点的存在性，给出了一个新的公共不动点定理，从而在很大程度上改进和推广了现有文献中的一些结果。

In the third chapter, we use the tool of Carleson measure, charactering the bounded and compact of weighted composition operator on Bergman space on strongly pseudoconvex domains, these results generalized the results of G.

在第三章，利用Carleson测度这一工具，刻划了有界强拟凸域上Bergman空间上加权复合算子的有界性及紧性。

There are mainly four innovations made in this thesis: By introducing the notion"collectively compact operator sequence"into the study of composition operators, we give a sufficient and necessary condition on generalized Nevanlinna counting functions of the inducing maps for {C〓} to be collectively compact, extend some previous results and enrich the content of the study of composition operators.

本文主要在以下几个方面有所创新：第一，把逼近论中的算子序列总体紧性的概念引入到复合算子理论的研究中来，并通过值分布理论中的广义Nevanlinna计数函数给出了Hardy空间与加权Bergman空间之间的复合算子序列的总体紧性的刻画，从而推广了Shapiro的结果，丰富了复合算子理论的内容。

In Chapter 2, the comparison theorem of ordinary differential equations is generalized to neutral functional differential equations.

第二章 将常微分方程的比较原理推广到中立型泛函微分方程。

For the generalized boundary value problem a complete set of boundary integral equations and relevant numerical scheme are established.

利用 Hankel 变换导出了弹性地基上薄板弯曲问题的基本解，此基本解对三种常用地基模型具有统一的表达形式，针对近年提出的广义边值问题，建立了统一的边界积分方程和边界元求解格式。

For the generalized boundary value problem a complete set of baundary integral equations and the relevant numerical scheme are established.

在此基础上，建立了适用于弹性地基板广义边值问题的边界积分方程组，最后文中给出了若干数值算例。

We proved that there exists a dense G (subscript δ) subset of the complete metric space consisting of the vector optimization problems satisfying some conditions ,and each problem in the dense G (subscript δ) subset has stable solution set, which generalized the corresponding results in the literature.

证明了满足一定条件的向量优化问题构成的完备度量空间中，存在一个稠密G集，在此稠密集中每个问题的解集都是稳定的，推广了文献中的相应结果。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

The simulation results show that the complexity of the generalized complex sphere algorithm is significantly lower than that of the exhaustive search scheme.

仿真结果表明该广义复球形解码算法的复杂度明显低于采用穷尽搜索策略的复杂度。

This matter overthrew all basises I learned from Sunday school .

这件事把我从周日学校学到的所有道理都颠覆了。

It's one of the cruel ironies of aging: if you want to remember your favorite restaurants, the less you should eat at them.

这是一个老化的残酷讽刺：如果你想记住你最喜欢的餐馆，你应该更少吃到它们。