但是清单7中的代码不简洁，用了更多代码来表达和清单6中三行代码等价的泛化算法。
But the code in Listing 7 is really ugly; it takes many more lines of code to express the generic algorithm equivalent of the three lines in Listing 6.
这种算法模型具有通用性，它表示的程序可以等价地变换为某种程序设计语言的程序文本，如FORTRAN或PASCAL程序。
A program expressed in the model has generality which can be equivalently transformed into a program, e. g., FORTRAN or PASCAL.
本文提出的基于等价类法的形式背景同构判定算法，有效地提高了同构判定的效率。
This paper suggests an isomorphism detecting algorithm based on equivalent class, which improves the efficiency of context isomorphism detection.
根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性。
With these algorithms and the equivalence theory, the several rules to logically optimize the accessing trees were presented and the correctness for the logical optimization was proved.
采用基于规则绑定数目的评判标准则可有效区分等价规则的优劣，正确地指导算法的搜索方向。
The evaluation criteria based on the number of bindings of rules can distinguish the quality of equivalence rules, and correctly guide the search direction of algorithm.
提出一种基于状态转换图的时序电路等价验证算法。
A sequential equivalence checking algorithm based on state transfer graph is presented.
确定了模型的输出函数，并推导了模型的学习算法，仿真结果表明永磁同步电机的模糊混沌神经网络模型与原系统是等价的。
It established the model's output mathematic function and learning algorithm. Computer simulations showed the equivalence of fuzzy chaos neural network model and the original chaotic system.
微分等价递归算法计算简单，在体系可靠度计算中有着广泛的应用。
Differential equivalent recursion algorithm is widely used in the reliability calculation of structural system because of its simplicity.
因此，需要使用规则集比较算法，判断这些规则集是否等价，以达到检测出错误配置的目的。
Therefore rule sets comparing algorithms were employed to decide whether multiple rule sets were equal or not.
通过对模型的等价转换，设计了拉格朗日松弛启发式算法来求解模型。
Lagrange relaxation heuristic algorithm is designed to solve the model by equivalent transformation.
然后介绍了如何使用模糊聚类算法和等价的前馈神经网络从样本数据中辨识离散的TS模型。
Then we introduce how to identify the TS model from sample data using fuzzy clustering algorithm and equivalent feedforward neural network.
提出了改进的微分等价递归算法。
An improved differential equivalent recursion algorithm is given in this article.
针对非线性的电液伺服系统，提出一种利用基于输入等价干扰的通用模型控制算法(ICMC)来设计控制器新策略。
A new scheme of using common model control based on input equivalent disturbance (ICMC) to design controller was presented for nonlinear electro-hydraulic servo control systems.
实验结果表明，该算法与DBSCAN是等价的，能更有效地解决批量数据更新时的增量聚类问题。
Experimental results show this algorithm is equal to DBSCAN, and can solve the increment clustering problem when the batch data is updated effectively.
接着对分布约简的可辨识矩阵中等价类的区分关系进行改进，提出一种新的近似约简算法。
Secondly, it introduces an improved algorithm which revises the discernibility relation of similarity sets on the basis of the Discernibility Matrix of distribution reduction.
该问题等价于非对称的TSP问题，进而可以用相应的启发式算法求解。
The problem is equivalent to non-symmetric TSP problem, which can be solved using some heuristic algorithm.
利用这种等价性，构造了一些新的扰动近似点算法，并证明了由此算法所产生的迭代序列的收敛性。
Using this equivalence, we construct some new perturbed proximal point algorithms and prove the convergence of iterative sequences generated by the algorithms.
本文首先介绍了增量聚类算法的分类以及研究现状，提出了增量聚类算法等价性概念；
This paper firstly introduces the classification of incremental clustering algorithms and the research state, defines the concept of algorithm equivalence.
本文从分类质量和等价类这两个层次上各提出了一个属性约简算法。
This article proposes two attribute reduction algorithms from the classification quality level and equivalent level.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
基于空间点集的连通性构造的等价关系，提出一种针对大规模数据集的快速分组算法。
Based on the equivalent relationship constructed from the connectivity, a fast grouping algorithm is presented for mass data set.
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究，详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法，并以实例给出了其间并行转化的过程。
This paper through to research the equivalence and conversion of NFA and DFA in parallel environment, labor the method of NFA convert to DFA, and give a example of the process of parallel conversion.
但是传统的微分等价递归算法精度低，并且利用数值差分来求解等价失效模式，计算量大。
But its computational accuracy is low, and the computational quantity is large when numerical difference is used to solve the equivalent failure mode.
证明了模型解的等价性和唯一性，给出了求解模型的MSA算法。
The equivalence and uniqueness of the solution of model are demonstrated. Then, MSA algorithm is cooperated with the model.
针对非线性互补问题，提出了与其等价的非光滑方程的一个下降算法，并在一定条件下证明了该算法的全局收敛性。
This paper presents a new descend algorithm for nonlinear complementarity problems. The global convergence of the algorithm is proved under milder conditions.
《苏利亚历》中视差算法的模型与理论算法虽然完全等价，但是按照《苏利亚历》中视差算法所得结果与理论结果之间有一定的误差。
Although the model of the parallax algorithm in the Surya Siddhanta is equivalent to the theoretic algorithm, there is an error between the results in the Surya Siddhanta and the theoretic results.
证明了关于查询等价和有限步数引理，讨论了不同条件下信息检索算法的复杂度，并在试验中验证了信息动态路由算法的可行性和高效率。
The lemma of query equivalent and lemma of limited steps was proved and the complexity of information query algorithm in different conditions was discussed.
证明了关于查询等价和有限步数引理，讨论了不同条件下信息检索算法的复杂度，并在试验中验证了信息动态路由算法的可行性和高效率。
The lemma of query equivalent and lemma of limited steps was proved and the complexity of information query algorithm in different conditions was discussed.
应用推荐