查询词典 generalized
- 与 generalized 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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.
仿真结果表明该广义复球形解码算法的复杂度明显低于采用穷尽搜索策略的复杂度。
-
A fast generalized complex sphere decoder is proposed for under-determined MIMO systems with fewer receive antennas than transmit antennas in this paper.
它能处理多输入多输出系统中发送天线多于接收天线的情形,并能同时检测具有格型结构和不具有格型结构的二维空间星座信号。
-
The result obtained by J.V.Neumann about the coherent states of unit lattice on complex plane constructing a set of complete states is generalized.
推广了J.V.Neumann关于用复平面上单位方格点的相干态构成完备态集合的结果(他们的结果相当于A=1的情形)。
-
Based on Generalized Principal Component Analysis for driving force of landscape change , economic development factor,the increasing of population and subscriber number and the enlargement of per capita living space are the main reason.
通过对景观变化驱动力的全局主成分分析,认为经济发展因素、人口和户数的增加以及人均居住面积的扩大是导致农村居住等景观增加、村内空闲地减少的主要原因。
- 推荐网络例句
-
Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.
Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。
-
I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.
我来只是现在,'歼灭战perfuming自己与胡努特,那麼,他来到和SAT 。
-
The shamrock is the symbol of Ireland and of St.
三叶草是爱尔兰和圣特里克节的标志同时它的寓意是带来幸运。3片心形叶子围绕着一根断茎,深绿色。