约束变量

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

In reliability-based optimization problems of a ship's longitudinal structural design, there are lots of discrete variables and continuous variables. This kind of mixed-discrete non-linear optimization problem containing discrete and continuous variables has long been payed attention to, which is more difficult to solve when a number of reliability constraints are taken into account.

在船舶纵向结构的可靠性优化设计中，含有许多离散型设计变量和连续型设计变量，这种含有两种不同性质设计变量的大型结构物的混和优化问题，一直是人们瞩目的难题，尤其是考虑了多个可靠性约束条件之后，求解这种非线性优化问题就更为困难。

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函数将多目标和多约束问题转化为单目标和单约束问题；运用响应面方法将位移和应力转化为设计变量的显式函数，采用序列二次规划方法求解优化模型。

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

Considering the fact that the self constraints of the design variables can be formulated as the linear functions in the present process optimization, the nonlinear part of the constraints is dealt by introducing the concept of active constraint set. The linear part is dealt by the gradient projection method specially.

同时考虑到现在的优化求解问题中，设计变量自身的约束可以合理地表示成线性函数的形式，因此对于优化问题的非线性约束部分，通过引入活动约束集的概念进行处理；而对于线性边界约束，则采用梯度投影法作专门处理。

The author constructed a linear schemes type Region-Project-Join-Normal-Form based on lossless join decomposition, and gave the form of RPJNF through the presentation of equivalence between semantic variable independence and syntax variable independence under finite precision domain. Some other new constraint data dependencies including partitioned multi-region existence dependency and single region existence dependency were also presented. A result of variables set under linear transformation was discussed.

文中给出并证明了多区域存在依赖满足的几条推理规则；提出并证明了线性序约束关系进行模式无损连接分解的充要条件是变量集满足变量独立和多区域存在依赖；设计了一种基于模式无损连接分解的区域投影连接范式；通过证明有限精度域上语义变量独立和语法变量独立的等价性，给出有限精度域上RPJ范式的表达形式。

Within the optimization of systematic level of cooperated optimization, the slack variable is introduced to let the restraint of consistency equality be transformed to the restraint of non-equality. The value adoption of slack variable will affect the convergence speed in the optimization of systematic level.

在协同优化的系统级优化中，引入松弛变量，将一致性等式约束转化为不等式约束，松弛变量的取值影响系统级优化的收敛速度。

The special geometric restrictions like parallelism andperpendicularity implicated in vanishing elements are deeply studied. In single-view case,the theory is presented to interpret relationship between two planar lines by applying 3Dinvariants of vanishing points. In two-view case, the method on extraction vanishing pointof an arbitrary spatial line is described, and moreover, the theory is presented to interpretrelationship between two elements in 3D space, such as two lines, two planes, line andplane, and so on.

4详细论述了消失元素(消失点、消失直线、消失平面等)所体现的垂直、平行等特殊几何约束关系；对单视图，提出了一种利用消失点列的3D不变量解释平面直线关系的方法；对双视图，提出了利用自共轭三角形和对极几何约束，提取任意直线的消失点的算法，并在此基础了提出了一种利用消失元素的3D不变量解释直线间、直线与平面间、平面间等多种空间几何关系的方法。

Through adding new state variable and using supplement functions,the problem with restriction conditions was converted into nonrestriction problem.

通过增加新的状态变量和用补偿函数法，将本课题的有约束条件问题化为无约束条件问题，并提出了最优步长参数的动态搜索法来修改传统的梯度法，从而较完善地解决了多变量最优周期控制的计算问题。

Through adding new state variable and using supplement functions,the problem with restriction conditions was converted into nonrestriction problem.In addition,the dynamic searching method of optimal step coefficient was developed to modify the conventional gradient method,consequently the calculation problem of the multivariable optimal periodic control was able to be resolved better.

通过增加新的状态变量和用补偿函数法，将本课题的有约束条件问题化为无约束条件问题，并提出了最优步长参数的动态搜索法来修改传统的梯度法，从而较完善地解决了多变量最优周期控制的计算问题。

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.

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