查询词典 completeness theorem

Human happiness lies in the completeness and perfection of human soul, which is manifested through the self-contentment of human beings.

人的幸福在于心灵的圆满，圆满的心灵的状态表现为人的自我满足。

G■teaux differentiability of seminorm and completeness of seminorm space;2. It gives a new seminorm to solve the problem in motivating transient signals robust H∞control to persistent signals.

通过引入新的范数解决了瞬时信号鲁棒H∞控制理论向持续信号鲁棒H∞控制推广过程中A 半范定义的信号空间是非线性空间问题。

Completeness of the set of real numbers is its basic character, and it is stable theory background of calculus.

摘要实数集的完备性是实数集的1个基本特征，它是微积分学的坚实的理论基础。

While for the sinusoidal approximation method, a detail derivation of the amplitude of each sinusoidal function is re-derived for completeness.

为完整性，文中亦详细推导正弦函数近似法中各个频率之振幅。

And its soundness and completeness are proved.

并证明了其可靠性和完备性。

According to given formal semantic, it has been proven the soundness and completeness of this system, and paradoxes of strict implication does not be occurred in this system.

根据给出的形式语义，证明了该系统的可靠性和完全性，并且证明了严格蕴涵悖论在该系统中不会出现。

The structure of an elevator group control system determines completeness of elevator traffic information.

电梯群控系统的结构决定着电梯交通信息的完善性。

Now HLS has absorbed much research attention in IC-CAD field. In HLS, algorithms represented by algorithm description language are transformed into hardware structure description consisted of resisters and transfers. In the transforming process, synthesis of datapath is a core. The other works is based on it. And in the synthesis of datapath, operation scheduling, functional unit allocation and binding all are NP-Completeness problems. The structure of their solution space is not known well. If we must find a global optimum solution, we can only use exhaustion. This way needs too much computation for VLSI synthesis, and is impractical in Industry. So usually heuristic algorithms are used to search suboptimum solution.

因此HLS成为国际IC-CAD学界的一个热门，它把算法描述语言表达的算法转换为用寄存器、传输器描述的硬件结构，其中以数据通路的综合为主体，其余工作皆以此为基础；而在数据通路综合中，操作调度、功能单元分配、连线等均属NP问题，目前该问题的解空间尚未充分了解，如要求得最优解，只有采取穷举搜索法，对于大规模集成电路而言运算量太大，工业中无法承受，故通常都采用启发算法求次优解。

Firstly this paper probes for the conception and the basic theory about brand assets by pointing out that brand is a kind of assets and is subordinate to category of assets, so brand assets assessment certainly applies for general theory in assessing assets and is restricted by basic assessment theory, the correct assessment of brand asset will inevitably be also helpful for development and the completeness of the entire assessment profession;Meanwhile, brand assets is a special intangible assets after all, therefore its assessment differs from that of common assets.

文章首先探讨了品牌资产的相关概念及基本理论，指出品牌是一种资产，隶属于资产的范畴，品牌资产评估也必然适用于一般的资产评估理论，受基本评估理论的制约，而品牌资产的正确评估也必然有利于整个资产评估行业的健全与发展；同时，品牌资产毕竟是一种特殊的无形资产，它不同于商标，也不同于商誉，有着自己独到的特点，所以其评估与一般的资产评估又有所区别，要正确评估它的价值必须正确辨析这一组概念。

Interactive primitives used in PBM_MMI Primitive is a kind of presentation method of knowledge. The advantages of primitive are succinctness and semantic completeness.

PBM_MMI中原语的使用原语是知识的一种表示方法，其好处在于表达方式的简洁性及语义的完整性。

As a dominant party,CPC government should play a guardian,supervisee and guarantee role to overcome all the difficulties in the development of charitable cause and bring it into full play in the establishment of harmonious society on policies and regulations basis.

在中国共产党的文献中第一次把发展慈善事业提到&最广泛最充分地调动一切积极因素，不断提高构建社会主义和谐社会的能力&的高度来认识。近年来，社会学界对慈善事业的理论专著发表较多，有鉴于此，笔者不揣浅陋，谈谈自己的认识和见解。

Flow through the land, the land of the scale of operation allows the effectiveness of the land may be raised.

通过土地的流转，土地的规模经营可以让土地的效益得到提升。