完备性
- completeness
-
区间值直觉Fuzzy度量空间及其完备性
Interval - valued intuitionistic fuzzy metric space and its completeness
-
关于Fuzzy度量空间的完备性
On the completeness of a fuzzy measure space
-
关于Fuzzy弱收敛的完备性定理
On a complete theorem of fuzzy weak convergence
-
Fuzzy度量空间的完备性与紧性
Completeness and Compactness for Fuzzy Metric Spaces
-
缺项多项式在Cα空间中的完备性
Completeness of Lacunary polynomial in c_ α space
-
有界函数空间B(I)中的点态收敛不具备完备性。
Pointwise convergence has no completeness in bounded function space B ( I ) .
-
适用于程序规范说明的Institution范畴的完备性研究
A Study on the Completeness of Institution Category for Programming Specification
-
有界模型校验(BoundedModelChecking)由于验证的不完备性而经常受到验证人员的指责。
Bounded model checking is criticized because of its incompleteness in hardware verification .
-
分区填充均匀介质直波导中本征模集的完备性与并矢Green函数
Completeness of set of eigenmodes and dyadic Green ′ s functions of waveguide filled with locally uniform dielectrics
-
给出XML多值依赖的定义,提出XML多值依赖推理规则,并证明了其有效性和完备性。
The definition of XML multivalued dependency and a sound and complete set of inference rules of that are given .
-
有限角度CT图像重建属于不完全数据重建范畴,由于不满足数据完备性条件,因此不能精确重建。
It belongs to incomplete-data reconstruction , since the data sufficient condition is not satisfied and exact reconstruction is technically impossible .
-
输入调解法和单元调解法在Horn集上的完备性
Completeness of input paramodulation and unit paramodulation on horn set
-
给出了使用模型的生成算法和扩展UML模型完备性验证算法。
The generation algorithm of usage model and the verification algorithm for extended UML model are presented .
-
类星体样本的不完备性补偿因子和V/V(max)分析
Factors for Incompleteness of QSO 's Sample and V / V_ ( max ) Analysis
-
并采用BAN逻辑理论证明改进协议的完备性、有效性;
And use BNA logic theories to prove the completeness and validity of the improved protocol .
-
一个函数式数据模型FM的完备性
The completeness of a functional data model FM
-
Banach空间中的(E')拓扑与(E')完备性
( e ' ) topology and ( e ' ) completeness in Banach space
-
一类新的分批排序问题的NP完备性证明
The NP-completeness of a new batch scheduling problem
-
研究基于GIS的最优路径搜索算法,对GIS关系表的结构提出了信息完备性的要求。
It studies based on GIS optimum routeses search for algorithm propose information the requests of completeness to GIS relation the structures of form .
-
本文得到了E与其每一个因子空间Ei之间关于连续性、完备性、收敛性和稠密性等性质的关系。
In this paper , we obtain some relations between E and each factor spaces E_i concerning continuity , convergence , completeness and density .
-
第二部分主要讨论了局部凸分离空间的局部Cauchy列、局部完备性和局部Drop性质。
Second , we have discussed the locally cauchy sequence 、 locally complete and locally drop property in lcs .
-
复指数多项式在Hardy空间中的完备性
Completeness of complex exponential polynomials in Hardy Spaces
-
应用信息论评估SPECT投影数据完备性
Information theory for assessing SPECT data integrity
-
给出区间值直觉Fuzzy数的定义,并引入区间值直觉Fuzzy数间的区间值直觉Fuzzy距离,建立区间值直觉Fuzzy度量空间并讨论其完备性。
Interval-valued intuitionistic fuzzy numbers and interval-valued intuitionistic fuzzy distance between interval-valued intuitionistic fuzzy numbers are defined . The interval-valued intuitionistic fuzzy metric space is established and its completeness is discussed .
-
其次结合实例对传统的具有N自由度的特征灵敏度公式就其实用性和理论完备性进行了分析。
Then , the conventional sensitivity formulas of natural frequencies for N - freedom system have been discussed on their practical applications and no - perfection in theory .
-
Banach压缩映象原理与空间完备性
Banach Contraction Principle and Completeness
-
利用椭圆曲线来改进Optimal盲签名方案,并对其完备性、不可伪造性、安全性、盲性进行了分析。
It is pointed out that the optimal type blind digital signature scheme is improved by the elliptic curve with detailed analysis on its completeness , un-forgeability , security and blindness .
-
求解SAT问题的经典算法是求解可满足性问题的经典算法是完备性算法和局部搜索算法(localsearch)。
Solves the SAT problem the classical algorithm is the solution may the satisfying question classical algorithm be the complete algorithm and the local search algorithm ( Local Search ) .
-
论Timoshenko总势能的不完备性
On the imperfection of timoshenko 's general potential energy equation
-
具有广域搜索能力的遗传算法(GA)也因“完备性”与“健全性”的不充分不能有效地对应上述问题。
While GA , which has wide scope searching capacity , also could not resolve those problems because of its insufficiency of completeness and soundness .