查询词典 integer linear optimization

The course is a comprehensive introduction to the theory, algorithms and applications of integer optimization and is organized in four parts: formulations and relaxations, algebra and geometry of integer optimization, algorithms for integer optimization, and extensions of integer optimization.

本课程对整数最优化的理论、算法和应用做了全面的介绍。课程分为四部分：公式和松弛、整数最优化的代数学和几何学、整数最优化的算法，以及整数最优化的拓展。

The traditional query tree optimization methods,parallel database optimization methods based on left linear trees and right linear trees,bushy trees,and operation of the forest,have their own pros and cons,they have been more in-depth and maturity of the study.The query optimization method based on multiple weighted tree has studied its model of parallel query plan,its complexity model of parallel query plan and query optimization algorithms.The semantic query method transforms an inquiry into one or several semantic equivalence inquiries then has to find and implement a strategy to achieve a better query.Agent-based parallel database query optimization using Multi-Agent technology to automatically search the integrity constraint conditions which are related to the determined query,there for,the efficiency between several relations' joins has been greatly improved.The parallel optimization algorithm,based on genetic algorithm which is suitable for multi-joins of cluster environment,has deeply studied the relations storage options,multi-joins query optimization and query processing and other key technologies based on cluster parallel database.

传统的查询树优化方法，即基于左线性树、右线性树、浓密树、操作森林的并行数据库查询优化方法，各有优劣，对其的研究比较深入、成熟；基于多重加权树的查询优化方法，研究了其并行查询计划模型、并行查询计划的复杂性模型和查询优化算法；语义查询优化方法将一个查询变换成一个或数个语义等价的查询，进而寻找并执行这些等价查询中具有较好实现策略的一个；基于Agent的并行数据库查询优化采用Multi-Agent技术自动查找与给定查询有关的完整性约束条件，使得多个关系间连接操作的效率得到很大的提高；基于遗传算法的并行优化算法，深入研究了基于机群并行数据库中关系存储的选择、多连接查询优化和查询处理等关键技术。

There exits several MDO algorithms. But they are in our opinion either nonefficient or complicated. So we devised an algorithm called Subspace Approximation Optimization . In the SAO algorithm, the whole system is decomposed into one system-level optimization and several disciplinary optimizations so that a large and complicated problem can be divided into several easy-solving sub-problems. The coupling relationships and the coordination among disciplines are presented by equality constraints and these equality constraints are assigned to relevant disciplines. The optimums of design variables in system level optimization are transferred to discipline level optimization. The optimums of design variables in discipline level correspond to the point that is the nearest to the optimums of design variables in system level. If the optimums of design variables in system level are out of feasible region of discipline 1eve1, linear constraints can be built in the system level optimization using the design variable optimums obtained by the discipline level optimization. The system level optimization would improve the design of the whole system with these linear constraints.

目前，国内外已经发展出了多种飞机多学科设计优化算法，本文的重点是针对协同优化算法的不足，提出了子空间近似优化算法(Subspace ApproximatingOptimization，SAO)，SAO算法中，整个系统的优化问题被分解成一个系统级优化和若干学科级优化，而各个学科之间的耦合与权衡关系则被当作等式约束，这些等式约束将被分配到各个学科级优化中去，系统级优化的任务是寻找整个系统的最优解，而学科级优化的目标函数是以系统级优化分配下来的设计点为圆心的超球半径的平方，因此，如果系统级优化分配下来的设计点在学科级优化可行域内，则学科级优化目标函数为0，反之，则学科级优化的最优点是系统级优化当前设计点距离可行域最近的点。

We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.

我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。

based on the analysis of the traditional gnss carrier phase measurement model and the rule of the integer ambiguity estimation,the quality of normal integer mapping is gained,then,the theory of rough integer mapping is proposed,the question of gnss integer ambiguity estimation is solved,the searching efficiency of integer ambiguity is improved,the problem of gnss carrier phase measurement in a certain extent is solved.

摘 要：在分析传统的基于gnss载波相位测量模型对整周模糊度解算的一般规律后，得出一般归整映射的性质，进而提出粗糙归整映射理论，用来解决整周模糊度浮点解归整问题，提高了整周模糊度的搜索效率，一定程度上解决了载波相位实时测量的技术难题。

Generally considered non-linear integer programming can be divided into linear and integer part, so often Integer linear programming as a special part.

一般认为非线性的整数规划可分成线性部分和整数部分，因此常常把整数规划作为线性规划的特殊部分。

The linear function applicable scope is broad, when the reservoir turnover water volume and the time, the student leaves the staircase mouth population and the time and the time and the motion communication speech spends the comparison and so on the relational question has the important application;The study linear function, may deepen in the life the linear question understanding and the understanding, is helpful in solves some simple function problem; The linear function some problem solving method has the universality in mathematics, the linear function related theory may use for to solve some other mathematics problem, For instance the dual linear equation group, a Yuan inequality, a Yuan quadratic equation most value question and some complex mathematics question, the light is studies the linear function the theory is insufficient, the key is can utilize actual the linear function goes is our final goal.

一次函数的适用范围广，在蓄水池的进出水量与时间、学生出楼梯口人数与时间与时间和移动通讯的话费比较等的关系问题时均有重要的应用；学习一次函数，可以加深生活中线性问题的认识与理解，有助于解决一些简单的函数问题；一次函数的一些解题方法在数学中具有普遍性，一次函数的有关理论可以用来解决一些其它的数学问题，比如二元一次方程组、一元一次不等式、一元二次方程的最值问题及一些复杂的数学问题，光是学习一次函数的理论是不够的，关键是能把一次函数运用到实际中去才是我们最终的目的。

Modeling and stability analysis problem of linear switched system are emphasized in this part and main results include:(1) Through investigation in the projection of 〓 on x, where x denotes continuous state vector, a series of sufficient conditions for stability, asymptotic stability and unstability of linear switched system's equilibrium in the sense of Lyapunov are achieved. And also, a sufficient and necessary condition for state bounded stability of linear switched system is received.(2) For a class of periodical linear switched system whose switching sets are a group of ordinal lines starting from the original point, it's proved that state bounded stability can be defined by the running characteristic in a single period (3) Based on linear switched system, the concept of linear switched system network is put forward. Linear switched system network is a complex network interconnected by many linear switched systems.

这部分着重研究线性切换系统的建模与稳定性分析问题，主要成果包括：（1）通过考察〓在x上的投影，得到线性切换系统的平衡点在Lyapunov意义下稳定、渐近稳定及不稳定的一系列充分条件，并得到了线性切换系统状态有界稳定的一个充要条件；（2）证明了对于一类切换集为从原点出发的一组射线的周期线性切换系统，其状态有界稳定可根据一个周期内的系统运行特性来判定；（3）在线性切换系统的基础上提出了线性切换系统网络的概念，线性切换系统网络是由多个线性切换系统交互作用而形成的复杂网络。

The division with surplus, the comprehensive division and Eisenstein Test applications on polynomial that can not be divided are mainly discussed; the sufficient condition of that polynomial with coefficient being integer has no integer root, that cubic polynomial with coefficient being integer is irreducible in rational domain and that polynomial with coefficient being integer has not two completely same roots are summed up.

主要论述了带余除法、综合除法及不可约多项式艾森斯坦判别法的应用；总结出了整系数多项式的无整数根的充分性，三次整系数多项式在有理数域上不可约的充分性，整系数多项式无重根的充分性。

A fine-grained genetic algorithm based algorithm which is for the parameters optimization problem of agent model is proposed. The fine-grained genetic algorithm is used to solve the parameters optimization problem of agent model. As to the parameters optimization problem of the agents colony model, the first step is to define the concept of "the parameters mode of the combat agents colony" to describe the parameters of the combat agent colony model. Then the genetic algorithm is used to solve the optimization problem with the parameters mode of the combat agent colony model as the genetic individual. Besides the algorithm, the algorithm dispatch tactic is also considered. And the two level sequence dispatch tactic and the two level nesting dispatch tactic are put forward for those complex parameters optimization problem. At last, the model parameters optimization under antagonism codition is studied. The means to solve this problem is to translate it into a kind of antagonism problem, then use the competitive co-evolutionary genetic algorithms to solve it.

其中：提出了一种基于细粒度模型的作战智能体模型参数优化求解算法，用细粒度模型遗传算法求解作战智能体模型参数优化问题；提出了"作战智能体群体参数模式"的概念，对作战智能体群体模型参数进行形式化描述，再以作战智能体群体参数模式为遗传个体，应用遗传算法求解作战智能体群体模型参数的优化问题；研究了上述优化问题求解算法的调度策略，提出了分层模型参数优化算法的双层顺序调度策略和双层嵌套调度策略，解决复杂的模型参数优化问题；将对抗条件下作战模型参数的优化问题转化为一种对抗性问题，应用竞争性共同进化遗传算法，进行求解。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。