问题求解

Secondly, we discuss the boundary value problem of two dimensional biharmonic equation in a rectangular field and its variational problem,discretize it by using dual tensor product of and the direct product and lining up of matrices, we get some special matrices which are the presupposition in exploring the fast computation, then solve the system of linear equations.

其次本文讨论了矩形域上二维双调和方程边值问题及其相应的变分问题，利用二元张量积小波分析和矩阵的直积、拉直技巧将变分问题离散化，从而使求解偏微分方程问题变为求解线性方程组的问题。一维情况两组基的张量积下得到的系数矩阵分别为块状七对角阵和稀疏矩阵。这些特殊结构为以后快速算法的研究打下一个基础。

By transforming the nonlinear saturation constraint into the special linear constraint, the problem of solving the feedback controller with saturated actuator is converted to the design of controller with linear constraint. The stochastic stability is ensured by using the intersection of ellipsoid invariant set of different modes existing in the attraction domain of the closed loop system. In this case, solving controllers can be equivalent to a solvability problem of linear matrix inequalities.

通过将非线性饱和约束转化为特殊的线性约束，使具有饱和执行器的控制器求解问题转化为线性约束控制器的求解问题，利用位于闭环系统吸引域内的不同模态下椭圆不变集的交集来保证系统的随机稳定性，此时控制器的求解可等效为线性矩阵不等式的可解性问题。

Take the method of "subarea" and "conjunction" to segment the whole request model to three parts. Making use of boundary continuousness between medium and lining structure at stress and displacement, construct a wave function that can satisfy the stress boundary condition at horizontal surface by the scattering of SH-waves in circular part. And then, availing of the wave function, conjoin the circular part into the semi-circular hollow space at common boundary. The problem can be reduced to solve the question that can only meet the condition of "conjunction". Finally, the solution of the problem can be summarized to a series of algebraic equations and solved numerically by truncating the finite terms of the infinite algebraic equations.

采用"分区"与"契合"的方法，将整个求解区域分割成三部分，利用介质与衬砌结构在边界上的应力、位移的连续性，构造一个可以自动满足水平界面上应力边界条件的圆域对SH波散射的波函数；再利用这一波函数将圆域与半圆形凹陷半空间的"公共边界"进行"契合"，将问题简化成对一个只需满足'契合'边界条件的散射问题的求解；最终归结为对一组无穷代数方程组的求解问题，利用截断有限项的方法对其进行计算。

Without the need of traditional numerical optimization method, solution for particular numerical problem can be obtained by substituting numerical values of each coefficient into the symbolic solution.

有效子问题是指子问题的最优解中至少有一个是原问题的最优解，多余子问题是指子问题的最优解中没有一个解是原问题的最优解。 3）求解方面：在国内外首次提出了求解最优解的符号表达式的思想。

As well, ACA outperforms GA in performance on average. 2. Through the analysis and studying of Ant colony algorithm and Flow shop scheduling problem, a construction graph is introduced. Two ant colony algorithms are proposed and analyzed for solving the flow shop scheduling problem with the objective of minimizing the flowtime. The Initialization of parameters and updating of trail intensities and probability is described respectively and a newly local search technique is proposed. Last is the experiment and the comparison shows that the PACA performs better than the FACA in the case of relatively large-sized problems than in the case of relatively small-sized problems.

通过对基本蚁群算法的实现过程和流水调度问题进行研究，给出了求解流水调度问题的解构造图，提出了两种蚁群算法来求解以总流程时间最小为目标的流水调度问题-FACA 蚁群算法和PACA 蚁群算法，分别给出了FACA 蚁群算法和PACA 蚁群算法的参数初始化方式、相对应的信息素更新方法和概率分布规则，并提出了局部搜索模式，最后进行模拟试验，对这两种算法进行比较，试验结果表明：对于较大规模的问题，PACA 蚁群算法要优于FACA 蚁群算法，而对于较小规模的问题，FACA 蚁群算法优于PACA蚁群算法。

Some methods aiming at the two problems have been researched. First, the optimal number of ATE site can be calculated based on a cost model of DAT-ATE. Second, the problem of test schedule which is equitant with two-dimensional Bin-Packing problem is presented. Then a TCG denotation satisfied with T-admissible rule is more convenient for combinational optimization. With Simulated annealing algorithm, better test scheduling results can be achieved; but there is no great optimization space because the efficiency of scheduling is greater than 90%. Third, A novel test compression method——Multi-capture testing is proposed to compress the stimuli. And the ATPG results show that MC achieves high compression ratio which is greater than 90% in some large-scale circuits. MISR, widely used in LBIST, is employed to compress the responses. The aliasing analysis demonstrates that the fault coverage reduction is little due to the existence of aliasing. Fourth, an improved TIC (called S-TIC) aiming at structured test is proposed based on ARM's TIC. A MC scheduling algorithm is proposed to compute the SoC test time and combine MC vectors to SoC test vectors. The scheduling results shows that test time is greatly reduced when using the proper scheduling priority.

首先，给出了低成本ATE的成本模型，根据此模型得到最低测试成本时系统级测试调度的基本参数——测试Site数；其次，本文将DAT-Scan方式的SoC测试调度等价为两维BP问题，为有效地求解该问题，将该BP问题表示为TCG图并通过模拟退火算法解决其求解过于复杂的问题，调度的结果表明该方法在测试时间上有一定改善，并指出DAT-Scan测试调度效率已经大于90％，进一步优化的空间较小；第三，本文尝试通过测试压缩来解决激励所需的测试带宽，提出了Multi-capture结构并解决了MC测试过程中的&矢量&退化问题，MC测试的ATPG结果表明其测试压缩率很高（大电路接近90％）；第四，在激励获得很高压缩比的情况下，测试响应也需压缩，本文采用LBIST中常用的MISR作为MC测试的响应压缩电路，理论分析和实验结果都证明了MC测试的别名对故障覆盖率影响较小（小于2％），并对两类别名的成因做了具体分析；第五，在MC测试及其响应压缩的基础上，本文改进了ARM公司的测试控制器TIC使之适合于MC测试，为了解决MC测试矢量合成问题，本文抽取了MC测试模型，通过固定优先级的MC测试调度模拟将MC矢量合成为ATE矢量，并模拟出了总的MC测试时间。

With the sin-gle objective situation,the complexity for them is discussedat first.Then a directed and an indirected search method isdesigned for two respect BDMPs with O-1 variables byusing branch and bound technique.

对于单目标型的两层决策问题，文章在分析了求解这类问题的复杂性的基础上，利用分枝定界技术，对两类特殊的含0—1变量两层决策问题提出了间接式求解方法和直接式求解方法。

This paper also gives a numeral model of LCS problem by using string-coding function, and proves that the LCS problem can be treated as so_called Tomograph problem and be solved with algorithms and hardware suitable for Tomograph problem.

本文提出与LCS问题和一阶Unification问题对应的两种格代数系统，并用项图描述Unification问题，从而构造得到这两种格代数系统之间的同态，使得用求解LCS的算法和硬件求解一类Unification问题成为可能，给出基于LCS硬件的Unification求解器的原理方案。

As applications of the method, the linear wave making problems of Wigley hull and Series 60 hull are solved, with less collocation-points than that in traditional panel method, and the Kelvin wave-patterns calculated are in accord with the test data. Reasonable Kelvin wave-pattern and wave resistance of a high-speed round-bulge ship with transom stern are obtained by enforcing a condition, resembling Kutta-type condition, of smooth flow detachment at the transom stern. In addition to that, the linear solution of a catamaran is also presented.

本文运用该方法求解了Wigley船型与系列60船型的线性兴波问题，以较少的配置点计算出了与实验结果相近的Kelvin波系及合理的波形阻力；以在方尾部强加类似于库塔条件的光滑分离边界条件求解了高速圆舭型方尾船的线性兴波问题，得到了合理的三维波型及波形阻力；另外还求解了双体船的线性兴波问题。

Finally, we combine all the subprograms, along with graphical user interfaces, to complete the program. To obtain circle and center points, we use graphical methods in three-position problems and vector loop methods in four-position problems.

其中三个位置问题部分利用几何法求解，四个位置问题利用向量法求解，五个位置问题则利用四个位置问题之叠合以求解。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。