约束的

How to deal with the restrictions of deep excavation is a very difficult problem. This paper analyzes the restrictions of pile-support structure detailedly, uses a castigatory function to deal with the restrictions, and adds the castigation to the function. Now the problem has changed to solve a minimal problem, and GA can be used to the optimal design successfully.

束条件的处理是遗传算法应用到深基坑支护结构优化的难题和重点，本文详细分析了桩撑支护结构的约束条件，采用了罚函数法对约束条件进行处理并反映到适应度函数上，使其变为无约束的极小值问题，从而使遗传算法得以顺利实施。

Based on the ICMmethod,the discrete topological optimization problem about spot-weld's existence or not is transformed into the continuous optimization problem on[0,1].The optimization model is founded with maximizing the structural stiffness as objective and structural strength as constraints.The problem of multi-objectives and multi-constraints is transformed into the problem of single-objective and single-constraint with the K-S function.The displacement and stress are transformed into the explicit function of design variables with the Response Surface Methodology.The optimization model is solved with Sequential Quadratic Program.

基于ICM（Independent Continuous Mapping，即独立、连续、映射）方法，将焊点有无的离散拓扑优化问题转化为[0，1]区间上的连续优化问题；建立了以结构刚度最大为目标、结构强度为约束的连续拓扑优化模型；采用K-S函数将多目标和多约束问题转化为单目标和单约束问题；运用响应面方法将位移和应力转化为设计变量的显式函数，采用序列二次规划方法求解优化模型。

A novel method for design of controller enforcing the constraints is presented. First the constraints involving the marking and Parikh vectors are transformed into the constraints involving Parikh vector only using Petri net state equality, and then the controller is constructed based on the viewpoint that a place can be seen as a linear inequality constraint on the Parikh vector.

该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束，然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器。

Because problem which has complementary constraints does not satisfyconstraints qualification, which is the assumption for nonlinear problem solvers, weuseεslackness technique to deal with this problem.

因为具有互补约束的优化问题一般不满足传统优化算法所要求的约束规范假设，所以本章采用了ε松弛的方法处理互补约束。

Polymorphic type system with constraints in Garment is studied in this paper including type checking algorithm. It is proved that the satisfiability of constraints in the algorithm is decidable.

本文在Garment中引入了约束多态类型，研究了Garment中带约束的多态类型系统，给出了类型检查算法，证明了此算法中约束的可满足性是可判定的。

In the study based on prior image constraint, the approach using minimum information discrimination to achieve the restored image constrained by prior image is proposed, and two approaches are given, which called minimum-mean-square-error validation and fiducially strategy to count regularization parameter adaptively for new constraint item.

在基于先验图像约束的方法中，提出利用最小鉴别信息构造先验图像对图像复原结果的约束，给出了基于最小均方误差验证和置信策略自适应计算新约束项正则化参数的两种方法。

Quasi-convex relaxation algorithm, which aims to solve ordinary constraint global optimization problems, is produced by a combination of branch-and-bound method with quasi-convex lower bound and quasi-concave upper bound functions developed from quasi convex-concave extension. This algorithm extends the interval algorithm with box constraint to general constraint global optimization problem.

利用拟凸-凹扩张中构造出的函数的拟凸下界函数和拟凹上界函数，与分枝定界方法相结合，建立了求一般约束全局优化问题的拟凸松弛算法，这一算法是将盒子约束的区间算法推广到一般约束优化问题中。

The rotor and its bearing, linked with small clearance restrict, makes up of the whole rotating system of unit power in ball pen production machine; its breakage and failure, first appear in the form of the failure of small clearance restrict, is caused directly by the unit vibration. Therefore, how to ensure good dynamic characteristics of rotating system is the thing worthy of note.

在多工位制笔机械的小动力头旋转系统中，转子与其支承之间是依赖小间隙约束而构成完整系统的，机组失效也总是最先表现在这类小间隙约束的破坏与失效上，而机组振动则是导致小间隙约束破坏的直接原因。

This algorithm is bases on that the number of period constraints of a circuit is great larger than that of non-negativity constraints on pracitical circuits. At first, we classify the pathes, and then compute the bounding of the retiming value.

接着根据实际电路中周期约束远远大于权重约束的情况，提出一种减少周期约束的算法，算法首先将路径分类，由不同路径来确定重定时值的取值区间。

So resolving this kind of problem efficiently has great research value in theory, and especially resolving those problems, such as resource allocation, job shop scheduling, timetabling, and routing, still has very important realism significance and commerce significance.

本文主要研究内容为基于约束的现代调度，即运用约束程序设计方法来求解现代调度问题，从而拓展了约束程序设计在求解组合优化问题方面的应用领域。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。