求解程序

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

In this paper we introduce a finite element program design method for solving 3 D thoracic electrical field distribution,based on Borland C++ for DOS and using isoparametric element of arbitrary hexahedron.In the process of solving final finite element equation,this paper uses the method of blocking and 'getting big number' to deal with total coefficient matrix and boundary conditions.

本文介绍了一种采用等参数8节点任意六面体单元来求解人体胸腔三维恒定电场分布的有限元程序设计方法，程序的编制基于BorlandC＋＋ForDOS的编程环境，在对最终形成的有限元代数方程的求解过程中采用了分块处理总系数矩阵及"取大数"处理边界条件的方法。

In order to test spectral element method and Newmark time integral, the codes of program and the feasibility of spectral element method for aeroacoustics, One question which has analytical solution and two typical questions of computational aerocaustics are simulated numerically by the program.

为了验证谱元方程和Newmark时间积分方法的正确性、自己所编程序代码的有效性以及谱元方法求解气动声学问题的可行性，本文使用程序分别求解了具有解析解的波动方程和计算气动声学问题中的两个典型问题。

The deformation compatible equation based on the catenary cable element is derived in chapter 2, and corresponding program is made to solve the accurate distribution of the prestress for cable dome. During the solving, two-nodes bar elements and catenary elements are adopted for the struts and cables of structure respectively. As the cable dome is a kinematically indeterminate system, its solving process is also derived in detail and the equations, which are based on large distortion, are adopted to solve the problem.

第二章推导了基于悬链线解析解的索单元变形协调方程式，并编制了相应计算程序对索穹顶结构精确的预应力分布进行求解，结构分析时压杆采用两节点直线杆单元，索采用悬链线索单元；考虑到索穹顶结构属于动不定结构体系，文中还对动不定体系的求解过程进行了详细的推导，同时采用建立在大变形基础上的变形协调方程来求解结构体系的有限机构位移。

In this thesis, a simplified two-dimensional implementation of Arch Dam in linear elastics is described.

本文针对拱坝的二维线弹性问题进行求解，计算结果由MATLAB编写的无单元伽辽金法程序运行得出，程序还可以精确求解二维悬臂梁问题。

Simultaneously, the exports of ionization rate and nonionzed concentration are set up as a powerful tool for studying thoroughly the freeze-out effect. dN〓/dp and dN〓/dn are neglected in the linearized equation system of the iteration methods of Newton and Gummel, due to having lower 15 orders or more than dN〓/dn and dN〓/dp, thus the computing effort is cut down with no effect on precision. A new cut-off technique is adopted to accelerate the convergence speed, about twice reduced for Newton iteration method and six times or so for Gummel iteration method. The approximate formulae of Fermi-Dirac statistics are also put forward with simpler form and higher precision. 3. A term dependent on time is added to the electron and hole current succession equations respectively. It is only this model that conservation of charge in transient analysis and alternating small-signal analysis at low temperature can be kept by. 4. The performance of SE-PISCES is explained by the simulation example of PISCES-2B, diode.

研究了低温半导体器件模拟的数值方法：对载流子浓度进行了新的归一化；编制了不考虑掺杂所引进的内建电场时的电离率计算程序；由于低温杂质电离率随偏压状态而变化，为此编制了每次求解迭代时的电离浓度计算程序，并将其插入到求解迭代程序中；同时，设置了杂质电离率和未电离杂质浓度的出口点，为更深入地研究冻析效应提供了有力工具；在Newton迭代法和Gummel迭代法的线性化方程组中忽略了dN〓/dp、dN〓/dn，是因为它们比dN〓/dn、dN〓/dp低15个数量级以上，这样减小了计算量又不影响模拟精度；对Newton迭代法和Gummel迭代法采取了新的截断技术，提高了收敛速度，Newton法迭代法和两次左右，Gummel法减少六次左右；给出了表达式更简单而精度更高的Fermi-Dirac积分近似计算公式。

Computer programs have been developed for self-adaptive analysis, and representative numerical examples for various problems were analyzed.

本文编制了上述问题的自适应求解程序，并对各种问题中代表性的算例进行了分析。

The scale and strength of passage vortex is also simulated in the flow filed incascade with straight and positively curved blade by using total 3D N-S solver.The results indicate that the passage vortex which is the main part of thesecondary flow can be limited in small-scale steady shape by using curved blade.

借助于全三维N-S方程的求解程序，对直叶片和弯叶片两种流场中的通道涡的尺度和强度进行了数值模拟，模拟结果表明，采用弯叶片可使对二次流起主要作用的通道涡限定在尺度较小的稳定形式上。

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.

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

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。