二判定问题

The researchers have introduced BDD and SAT engine for manipulating Boolean function to alleviate the explosion problem.

学术界先后提出采用二叉判定图和可满足性问题作为布尔操作的引擎来缓解爆炸问题。

Describing the problem of two dimension fuzzy decision existed in the engineering, the concepts of core set and support set are proposed. Using feasible set to constitute corelation between two sets, determinant theorem is presented to judge if the decision can be realized according to the feasible degree.

描述了工程中存在的二维模糊决策问题，提出了决策的核心集和支撑集的概念，用可行集建立了两个集合间的关联，提出以决策的可行度作为决策能否实现的判定定理。

To discriminate the existence of indeterminate form s double limit to binary function is a relatively difficult question.

判定二元函数f的未定式二重极限的存在性是一个比较困难的问题。

Ablish two decision theorems of relative compactness for unbounded function groups in an infinite interval.

sect；2.3我们建立了判定无穷区间上抽象无界连续函数组和抽象无界可微函数组相对紧性的充分必要条件，并对无穷区间上抽象二阶微分方程两点边值问题无界解的存在性做了研究。

Establish integrated invertibility theory over it: By R〓R〓 transformation method, we solve the problem of deciding weakly invertibility and finding weak inverse, By founding the bijections between all quadratic form automata and input memory linear finite automata, we find a algorithm to produce all weak inverse quadratic form finite automata.

本文着眼于这些最基本问题，将有限域上的二次型和置换多项式理论引入有限自动机可逆性的研究，构造了一类由二次型构成的非线性有限自动机（3.6定义），称之为二次型有限自动机，我们在其上面建立了与线性有限自动机可逆性理论相对应的完整的可逆性理论：采用线性R〓R〓变换方法，解决了此类有限自动机的弱可逆性判定、求弱逆问题（3.10、3.12定理）、通过建立全体二次型有限自动机与全体输入存储线性有限自动机之间的保持弱逆性的一一对应，给出了产生全部可逆二次型有限自动机的方法。

In this article, a algorithm CCN is put forward to study the crossing number. It is a very important development in graph planarity issue after planarity-determinant algorithm and embedding algorithm.

本文首次给出了较好的计算图的交叉数算法CCN，这是继图平面性判定算法，二连通图的平面嵌入算法之后在图的平面性问题上的一个最重要的进展。

Firstly,surd or sonant judgment with each voice frame is done,then the multi-scale wavelet analysis is done only on the sonant frames to get pitches.In order to get accurate pitches,the intervals of local modulus maxima of dyadic wavelet coefficients are corrected according to amplitude information and appearance probability information.

针对这一问题，提出一种基于小波变换的基音周期提取改进算法，将TEO算子与二进小波变换结合起来，首先进行清浊判定，然后只对浊音帧采取多尺度小波分析提取周期，提出用幅度信息和出现概率信息校正二进小波模极大值间距，从而得到准确的周期。

Objective:To study the main dietary structure problems in the obesity children in order to provide some scientific basis for the further study of pathogenesis of obesity. Methods:A total of 126 childen aged 6 to 12 years sampled randomly from our hospitle were enrolled. Obesity was identified based on the body mass index. A cross sectional study with the questionnaire was carried out.The influencing factors for obesity were investigated by non 2 logistic regression analysis.

目的：了解肥胖儿童膳食结构中存在的主要问题，进步研究肥胖的发病机制和防治提供科学依据方法：随机抽取来我院2007年5月至2008年10月就诊的6～12周岁儿童126名，按照体重指法判定出单纯性肥胖，将肥胖和正常儿童设为肥胖组和对照组，采用问卷法进行现况调查，调查结果采用二分类非条件logistic回归分析进行分析。

In the terms of the value of cultural heritage, based on the preservation theory of the current national cultural heritage, the value of Xi'an Forest of Steles cultural heritage is r...

论文主要结论有以下四点：一、碑林的历史就是中国文化遗产保护的历史；二、碑林保护的基础是对其遗产价值的系统判定与分析；三、当前碑林保护的关键问题就是碑林在原址的存留问题；四、实现碑林原址可持续发展的方法是要确定碑林未来的发展用地。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。