约束变量

Because assembly constraint solving is required frequently in assembly design, to improve solving efficiency and stability considerately are of great importance to real time requirement in engineering.

由于装配设计中，设计变量、零件模型的修改之后都需要重新求解装配约束以便得到新的实体装配模型，因此提高装配约束的求解效率和求解稳定性对于满足工程设计中的实时性要求具有重要意义。

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

PSO is a population-based optimization algorithm, which mimics the social behavior of animals in a flock. It makes use of individual and group memory to update each particle position allowing global and local search optimization. The objective function considered was the total weight of the structure subjected to stresses, displacements and forces constraints. The effects of the parameters were investigated as well and such combination of tuning parameters promote a better global search behavior avoiding premature convergence while rapidly converging to the optimal solution. Results showed the effectiveness of the proposed method by comparing with ANSYS Design Optimization Tool (zero-order method). The PSO with the tuning parameters makes it an ideal method for offshore wind turbines foundations optimization tasks.(2) A reliability analysis method for pile foundation bearing axial loads based PSOThe performance function of pile foundation's axially bearing capacity sometimes is nonlinear and complex, on the basis of geometric meaning of structural reliability index, an optimum model with PSO for structural reliability analysis under arbitrary random variables was established, The PSO algorithm is very efficient to solve global optimization problemsIts use in structural reliability field presents not only the advantage of its facility of implementation, but also the possibility to obtain the design point and the failure probability with a good accuracy. In addition, PSO is a zero order algorithm, for no derivative is necessary for its implementation.

本文的研究针对桩式海上风机基础结构的特点，在国内外有关研究成果的基础上对海上风机基础结构优化设计理论和可靠度方法一些相关问题进行了较为深入的研究，具体做了以下几个方面的工作：(1)基于粒子群优化的桩式海上风机基础确定性优化设计方法桩式海上风机基础的优化设计是一个复杂的、非线性约束的优化问题，针对传统的基于梯度信息的优化方法在处理非线性问题中易陷入局部最优解的问题，本文将一种耦合惩罚函数的PSO算法引入到海上风机基础结构概念设计中，PSO算法是从群体动物聚集觅食这一活动中受到启发而发展的，该算法利用个体和群体的信息共享不断改进自身的位置从而进行局部和全局最优搜索，本文中以桩和三脚架连接段直径及壁厚为设计变量，以基础总重量作为优化的目标函数，在给定的约束条件下建立了三脚架基础优化数学模型，另外本文还研究了PSO参数变化对结果的影响，协调的参数组合可以避免陷入早熟收敛而能够快速的获得全局的最优解，通过与ANSYS优化模块的计算结果比较验证了该方法的有效性，本方法为海上风机基础的确定性设计提供了一条有效的途径。

Taking the unknown coordinate in curved surface and curve as design variables, the equation of curved surface as constrained condition, and the distance between unknown coordinate as objective function, optimization is proposed to minimize the distance between curved surface and curve.

建立以曲面、曲线上未知，点坐标设计变量，以曲面和曲线方程为约束条件，以曲线和曲面距离为目标函数的约束优化方法来精确地确定曲面和曲线之间最短距离，同时确定获得最短距离对应的坐标点。

The model is set up in view of the optimum design of midship section of container ships with crankle strength and frequency constraints according to CCS rules and thin-walled beam theory .

结合CCS规范和薄壁杆件理论，建立了考虑弯扭强度和频率约束的集装箱船中剖面优化设计的模型，考虑到中剖面优化设计中的设计变量为连续和离散的混合变量，利用isight中集成的自适应模拟退火算法，建立了巴拿马型集装箱船中剖面优化设计系统，并对3100TEU集装箱船中剖面进行了优化设计，取得了合理的结果。

Probability distribution of anchoring data can be regarded as nonlinear programming with certain restriction. Programming with the restriction can be transferred to nonlinear programming without restriction by use of Lagrange Method and can be then easily resolved by step-acceleration method of one variable.

锚固强度参数的概率分布问题可以归结为带约束的非线性规划问题，利用条件极值的拉格朗日乘数法可以将带约束的规划问题转化为无约束的非线性规划问题，并可以采用运筹学中的单变量步长加速法非常方便地求解。

The effective heat-transfer temperature difference of every effect of multi-effect evaporation subsystem and the preheat temperature rise Δt_(p,j of every level of multi-level preheat subsystem of the design model were distributed by equal heating area, equal heat-transfer temperature difference, and free proration methods.

设计型模型对多效蒸发子系统各效有效传热温差Δt_i的分配和多级预热子系统各级预热温升Δt_的分配分别采用等面积法、等温差法、自由配比法等进行分配并采用矩阵法结合迭代法进行设计模拟计算，其中自由配比法巧妙地将具有复杂约束条件的决策变量Δt_i和Δt_转化为取值0～1的中间决策变量τ_i、τ_，为Δt_i和Δt_的自由搜索进而为优化设计提供了一个简便的方法；在常规设计模拟计算的基础上，建立了复杂多效蒸发系统优化设计模型，该模型以系统年总费用最小为优化目标，以生蒸汽温度T_0、冷凝器中二次蒸汽温度T_K、蒸发温差配比系数τ_i和预热温升配比系数τ_为决策变量，采用遗传算法结合矩阵法求解。

This paper presents a new method of sparse matrix decompose which is based on the concept of matched degree, this method can make the process much simple and can be used in the decomposition of the construct matrix with multiple-freedom variables and constraints.

本文提出了基于匹配度计算的约束分解方法，采用这种方法，可以使约束分解的过程变得很简单，并可用于多自由度和多约束度变量的结构矩阵的分解。

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

This paper introduces an affine invariant of trapezia, and the explicit constraint equation between the intrinsic matrix of a camera and the similarity invariants of a trapezium are established using the affine invariant.

引入了梯形的一个仿射不变量，并利用这个不变量，建立了梯形的相似不变量与摄像机内参数之间的约束关系。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。