算法论

So a faster algorithm based on refutation analysis and incremental SAT is proposed.

为此，提出一种基于悖论分析和增量式SAT的快速反例压缩算法。

The shortest path approximation algorithm builds a weighted graph from the given set of scattered points using the distribution of these data points. By computing the shortest path in the weighted graph, the problem of curve reconstruction from scattered data points is transformed into that of curve reconstruction from a set of ordered data points.

最短路逼近算法首次将图论中最短路径理论引入到曲线重建中，根据散乱数据点的分布构造带权连通图，通过求解带权连通图的最短路径，将散乱数据点集的曲线重建问题转化为有序数据点集的曲线重建问题。

In this thesis, we render Immune Algorithm to solve the maintenance scheduling problem.

在本论文中，我们提出免疫演算法，来求解机组的维修排程问题。

SecondI~ the thesis presents a new idea on improving algorithm.

本论文还提出了进一步改进算法的思路：对基于属性论招生模型的标准分数点的确定提出了构造考试科目的难度隶属函数来考虑。

SUMMARY With many branches of learning, such as set theory and topology theory in mathematics, data structure and programming language in computer, and finite element method in numerical analysis of electromagnatic field, a new domain of FEM is studied in this thesis creatively.

本文综合使用数学中的集合论和图论、计算机科学中的数据结构和算法语言、以及物理学电磁场分支中电磁场数值分析的有限元理论等多门学科的知识，对有限元法的一个新领域进行了具有开创性的探讨。

SAP matrix graph theory algorithm for getting the basic idea is to map the shortest path problem.

详细说明：图论算法求SAP矩阵的基本思想是图的最短路的问题。

On this topic and plans in the single-source shortest path problem, algorithm But I wrote, but now retrospect to think that a number of minor errors.

这个题目和图论中的单源最短路径问题，算法我倒是写出来了，不过现在回想起来觉得出了一些小错误。

The problem of shortest route was studied, the chart solving method and arithmetic was provided. The function of transport route selecting between enterprises was achieved by programming.

研究了最短路径问题，提出了图论解决方法和算法，编程实现了企业间运输路线的选择功能。

To begin with, we propose an algorithm about motion planning in the state space.

首先在这篇论文中，我们提出一个关於在状态空间的运动规划演算法。

In this thesis, we develop two new and original hybrid correspondence algorithm using α-β-γ filter and stochastic approximation respectively.

作者在本论文中，提出了两种新的分别基于α-β-γ滤波和随机近似技术的混和特征点对应算法。

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.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。