查询词典 normal algorithm

The basic theory of the algorithm for test pattern generation using satisfiability is explored, including represent method of SAT-ATPG, search algorithm and analyses of achievement techniques. We describe how to represent circuits and fault detection problem as Conjunctive Normal Form . We improve an effient search algorithm suited to ATPG based on basic satisfiability algorithm.

本文研究了组合逻辑电路测试向量自动生成的可满足性方法，主要进行了可满足性的测试生成原理、实现算法、性能提高和测试向量的最大压缩等方面的研究，改进了一种有效的测试生成搜索算法SAT-ATPG，提出了隐含多路敏化的故障效应单路定向传播方法SOPCA、控制输入跟踪算法CIT和测试衍生算法TD，取得了较显著的效果。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

15 And 20-22 weeks old SHR with implanted radiotelemetry devices were intratracheally administered with both normal saline and SRM 2975 (500 μg/animal, n=3) or (A-DEP 500 μg/animal, n=3) alternatively, so each rat could serve as its own control. ECG signals were recorded for 72 hours after each exposure, and heart rate and parameters of HRV including standard deviation of normal-to-normal intervals and root mean square of successive differences of adjacent normal-to-normal intervals were analyzed.

13-15周龄及20-22周龄之自发性高血压大鼠植入生理循环监测器后，於不同时间以气管灌注方式暴露生理食盐水、SRM 2975（500 μg/animal）或A-DEP（500 μg/animal），分析暴露后心跳及心跳变异性变化情形。

On the extensive background of the development of normal education system of the world, this thesis makes an objective and all-sided analysis of the present situation of normal education of our country and furthermore profoundly approaches the future of the development of the normal education of our country, and confirmatively claims that the normal education of our country will surely blaze a new trail and form our own features in the process of reformation in combination with the practical situation of our country and in accordance with the universal developmental principles of normal education of all countries.

本文以世界师范教育制度发展为广阔背景，全面客观地分析了我国师范教育的现状，并依循各国师范教育共同的发展规律，结合我国实际，深入探讨了我国师范教育发展的未来的走向，肯定地认为我国的师范教育必将在改革发展中走出新的路子，形成自己的特色。

Finally we also discuss the algorithm of syllable division, correcting algorithm, multithread algorithm and algorithm dealing with the rules of vowel and consonant harmony and the final vowel change in the Uyghur language.

此外，本论文叙述了分音节算法，替换算法，多线程处理算法"语音的和谐"处理算法和"语音的同化"处理算法等关键性的算法。

The experiment result of algorithm teaching indicates that, Through training reading algorithm ability, refining the algorithmic rule ability, algorithmic language ability, applied algorithm ability, then these abilities form the resultant of forces to improve algorithm ability as a whole.

算法教学实验结果表明：通过培养阅读算法能力、提炼"算理"能力、算法语言能力、应用算法能力，使之形成合力，能促使算法能力的整体提高。

The study has focused on: 1 The research background and the current state of the power measurement were analyzed systematically, and then wavelet-based power measurement algorithm was certified feasible for astable signals; 2 We developed a new method of RMS and power measurement based on Dmeyer wavelet. After that three other wavelet measurement approaches were compared with Dmeyer wavelet-based measurement approach. Then the impact on measurement errors of amplitude frequency property and energy leakage of wavelet filter banks were deeply researched, and some measures were proposed to reduce it; 3 We developed a new strategy of power measurement algorithm based on lifting wavelet, which had calculation advantage compared with the first wavelet, so that it was more suitable for the realization of hardware; 4 The running system of wavelet-based power measurement algorithm based on DSP was proposed, and then it was realized on ICETEK-VC5416-A EVM board; 5 Existing problems and the further research direction of wavelet-based power sub-band measurement algorithm was discussed.

本文对基于小波变换的功率测量算法展开深入的分析研究，主要内容有：1）系统地分析了功率分解测量的研究背景、国内外的研究现状，并从能量守恒的角度验证了小波功率分频带测量算法在非平稳信号条件下的可行性；2）首次提出了Dmeyer小波变换有效值与功率的测量方法，进而通过对该方法与3种已经提出的小波测量方法的对比分析，深入研究了小波滤波器组的幅频特性和能量泄漏特性对测量误差的影响，并针对电网谐波的特点提出了减小影响的相关措施；3）首次提出了二代小波功率测量算法，对比一代小波功率分频带测量算法，它大大减少了算法实现的运算量及内存的需求量，从而更适合于硬件的实时实现；4）提出了小波功率分频带测量算法的DSP实现方案，并在ICETEK-VC5416-A EVM板上进行了实现；5）探讨了小波功率分频带测量算法目前仍存在的问题，并提出了进一步的研究方向。

Based on X-filtered LMS algorithm and -filtered LMS algorithm adaptive inverse control, we use a new variable step size LMS algorithm. Adding little computation, variable step size LMS algorithm can result in fast convergence speed and low residual error simultaneously. The adaptive feedback control can counteract the beginning error of the system. The adaptive disturbance canceler can best erase noises and disturbances.

在原来的X-滤波LMS算法自适应逆控制和-滤波LMS算法自适应逆控制方法的基础上，引入了新的变步长LMS算法，在计算量增加不多的前提下，能同时获得较快的收敛速度和较小的稳态误差；引入自适应的反馈补偿控制克服了被控系统的直流零频漂移，使控制系统在初开始工作阶段快速收敛；还引入自适应扰动消除器，它能最大限度的消除扰动。

The concept of genetic algorithm, its configuration, operators and existing problems are introduced in this paper. A new algorithm for clustering analysis is presented based on genetic algorithm. There are two characteristics in our approaches. Firstly, the algorithm is the general-purposed and our clustering analyzer can cluster large data set with mixed numeric and categorical attributes.

4介绍遗传算法的概念、算法结构、运算算子及主要存在问题；提出了一种基于遗传算法的聚类新方法MGA，该方法有两个主要优点：一是通用性强，可以对包含数值属性和符号属性的大数据集进行聚类；二是提高了数据挖掘的效率与质量。

Meanwhile, the experiments show that the multi-level swarm intelligence refinement algorithm is better than the multi-level tabu search refinement algorithm, especially in view of the probability that the approximate global minimum partition of the coarser graph may be the local minimum partition of the finer graph. Furthermore, the experiments show that the multi-level ant colony optimization refinement algorithm achieves more performance improvement than the multi-level particle swarm optimization refinement algorithm, using the gain of vertex more effectively.

实验数据反映出，针对最小图上的全局最优剖分可能是初始图的局部最优剖分、粗化图上的全局最优剖分可能是细化图的局部最优剖分的情况，基于群智能的多水平迁移优化算法相比基于禁忌搜索的多水平迁移优化算具备更强的逃离局部最优的能力；基于蚁群的多水平迁移优化算法相比基于微粒群的多水平迁移优化算法，对收益值的启发信息更为有效地利用，取得最佳的性能改进。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。