完备性
- 与 完备性 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
And its soundness and completeness are proved.
并证明了其可靠性和完备性。
-
The close method of the symplectic enginsolution is presented based on the completeness of the space of symplectic enginsolutions.
利用辛本征解空间的完备性,建立一套封闭的求解问题方法。
-
Third, in the aspect of influence of knowledge transaction cost factors and knowledge transfer mechanisms on knowledge transfer performances, knowledge transaction cost factors such as "trust","task uncertainty","information completeness","information asymmetry", and "knowledge tacitness" had direct and indirect influence on knowledge transfer performances.
在知识交易成本因子与知识移转机制其对知识移转绩效之影响方面,「信任」、「任务不确定性」、「资讯完备性」、「资讯不对称性」与「知识内隐性」等知识交易成本因子,则对知识移转绩效同时存在有直接与间接影响。
-
Prove the same completeness of the two topological vector space of linear topological equivalence.
证明两个线性拓扑等价的拓扑向量空间具有相同的完备性。
-
A basic set of transformation rules was given and it was proved to be complete and consistent,so that the theoretic and technologic foundation to translate operator language to procedure language was provided.
给出了基本变换规则集,证明了该变换规则集的完备性和一致性,为该类语言到过程语言的翻译提供了理论和技术基础。
-
Recently,the completeness of the system L * with respect to unit interval [0,1] has been proved by the authors.
系统 L*的完备性直到最近才由作者给出证明。
-
In order to check the consistency and the maturity of models, this text describes how to upbuild a criterion and applied model in detail complied with the criterion of UML1.1 through an instance,besides this text puts forward a method of dynamic simulant test based on UML model.
为检查模型之间的一致性和模型的完备性,该文根据UML1.1规范,通过一个实例详细描述了如何建立一个规范和实用的模型,并提出了一种基于UML模型的动态模拟测试方法。
-
The great strength of menus is their completeness and verbosity. Everything a user needs can be found somewhere on the program's menus.
菜单最大的优点在于其完备性和详细说明,用户所需的一切都可以在程序菜单中找到。
-
Then,it notices that all infi-nite matrix operators between the sequence spaces with the WGHP may form a topologicalalgebra.It also studies the weak sequentially completeness of this class of topological al-gebras and some other basic properties.
其次发现了具有WGHP序列空间上无穷矩阵算子所成之拓扑代数,并研究了这类无穷矩阵拓扑代数的弱序列完备性等一些基本性质。
-
On the basis of it, eight suggestions are put forward to evaluate the forestry ecological benefits:(1) it is an inevitable trend to carry out the comprehensive evaluation of the multifold forest ecological benefits;(2) upbuilding the theoretical frame of ecological benefits according to the situation of our country;(3) conducting the subarea case research based on the way of creativity accountment;(4) to set up the locating monitoring system of subarea forestry ecology profits to provide the reliable reference for the research;(5) studying the measuring estimate index more comprehensively to make it more self_contained and self_governed;(6) establishing the standards of the forest ecological benefit evaluation so that the evaluation could provide rational evidence for the establishment of the forestry compensation law and so on;(7) upbuilding economic accountment system of forest ecological benefits;(8) establishing economic compensation system of forest ecological benefits.
并且在此基础上提出了对今后森林生态效益评价研究的八点建议:(1)进行森林多种生态效益的综合评价是今后发展的必然趋势;(2)从国情出发建立我国森林生态效益评价理论框架;(3)在创新核算方法的基础上开展分区案例研究;(4)建立区域性森林生态效益定位监测系统,为研究提供真实可靠的数据资料;(5)更全面地研究生态效益计量评价指标,使之既具完备性又具独立性;(6)建立森林生态效益评价标准,使评价结果能为林业补偿等法律政策制定提供科学的依据;(7)建立森林生态效益经济核算制度;(8)建立森林生态效益的经济补偿制度。
- 推荐网络例句
-
This one mode pays close attention to network credence foundation of the businessman very much.
这一模式非常关注商人的网络信用基础。
-
Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.
扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。
-
There is no differences of cell proliferation vitality between labeled and unlabeled NSCs.
双标记神经干细胞的增殖、分化活力与未标记神经干细胞相比无改变。