C—半群和对抽象Cauchy问题的应用

本文研究了Ｃ－半群的无穷小生成元定义中强弱极限的等价性及生成元的有关性质，讨论了Ｃ－半群在齐次与非齐次Ｃａｕｃｈｙ问题中的应用。     

一类求解Hamilton-Jacobi方程的交错网格差分格式

Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程在控制论和微分对策中有广泛的应用，由于其表达形式与双曲守恒律方程极为相近，这有利于借助于求解双曲守恒律方程的差分格式来构造求解Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程的差分格式。文中将Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程变化为双曲守恒律方程，利用求解双曲守恒律方程的交错网格的Ｇａｕｓｓ型差分格式，构造了一类求解Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程的交错网格的Ｇａｕｓｓ型差分     

关于微分方程的有理式解的存性问题

许多非线性微分方程一般都是不可积的，例如Ｒｉｃｃａｔｉ方程。本文主要利用在文［４］中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算子矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出求有理式解的具体方法。本文的结果对研究Ｒｉｃｃａｔｉ方程的特解以及可积性等问题具有重要意义，并推广了文［３］中收集的相应结果，且以此为特例     

一种快速求解Orr—Sommerfeld方程中性稳定性曲线的方法

提出一种快速准确求解Ｏｒｒ－Ｓｏｍｍｅｒｆｅｌｄ（Ｏ－Ｓ）方程的中性曲线和临界雷诺数ＲｅＣｒ的方法。在求解过程中，先分析α０，ｃｒ０的范围，利用网格自适应自动搜索α０，ｃｒ０，采用三次样条函数计算并迭代到一定精度从而获得雷诺数Ｒｅ与波数α，ｃｒ的不足。算例表明，本方法计算速度快，结果准确，花较少的机时就能计算出与谱方法精度相当的临界ＲｅＣｒ。     

A REAL-VALUED GENETIC ALGORITHM FOR OPTIMIZATION PROBLEM WITH CONTINUOUS VARIABLES

提出一种用于连续变量函数优化的遗传算法。它由一种简单、适应面广的动态刻度适应值和选择算子、杂交与变异算子，以及这些算子相应的自适应概率组成。该算法经两个常用函数检验，并在图象识别的神经网络权值训练中得到应用。实验结果表明，该算法是一种快速有效的全局优化算法。     

非对称广义特征值问题的拟-Eberlein算法及其并行化

非对称广义特征值问题的并行计算，目前在国内外研究得很少， Ｇ． Ｗ ． Ｓｔｅｗ ａｒｔ 和 Ｐ． Ｊ． Ｅｂｅｒｌｅｉｎ 曾分别研究非 Ｈｅｒｍ ｉｔｅ 矩阵标准特征值的并行拟 Ｊａｃｏｂｉ算法，１９８９ 年 Ｊ． Ｐ． Ｃｈａｒｌｉｅｒ 和 Ｐ． Ｖａｎ Ｄｏｏｒｅｎ 在 Ｇ． Ｗ ． Ｓｔｅｗ ａｒｔ 的工作基础上提出了求解非对称广义特征值问题的拟 Ｊａｃｏｂｉ算法（简称 Ｃ Ｖ 算法）与并行拟 Ｊａｃｏｂｉ算法。文中以 Ｊ． Ｐ． Ｃｈａｒｌｉｅｒ 等人的工作为基础，提出求解大型非对称广义特征值问题的拟 Ｅｂｅｒｌｅｉｎ 算法与并行拟 Ｅｂｅｒｌｅｉｎ 算法， Ｃｈａｌｌｅｎｇｅ Ｌ 并行系统上的数值试验表明，不仅并行效率很高，且敛速远优于 Ｃ Ｖ 算法     

“正核条件”与KOPOBKИH条件的等价性

众所周知,线性正泛函数(或线性正算子)序列的收敛问题可归纳为验证定理的条件。本文给出一个同样能适用于收敛性的“正核条件”,在较一般的意义下证明上述二者的等价性,对实变函数的一些问题给出应用,並对函数证明了定理。     

通用CAPP系统结构及其实现方法

在阐述通用ＣＡＰＰ（Ｃｏｍｐｕｔｅｒ－ａｉｄｅｄ ｐｒｏｃｅｓｓ ｐｌａｎｎｉｎｇ）系统应满足的条件和需要解决的问题的基础上，针对目前ＣＡＰＰ系统存在的不可移植、开发成本高等缺陷，对工艺信息属性进行了分析，采用软件框架与处理方法分离，对系统进行初始化、流程苑点的可重构等策略，提出通用ＣＡＰＰ系统的功能与结构。给出了资源适配器的构造方法和规则学习、更新、扩充的实现方法，经在ＡｕｔｏＰｒｏｃｅｓｓ系统     

求解装箱问题的遗传算法

本文提出了两种求解装箱问题（ＢｉｎＰａｃｋｉｎｇ）的遗传算法。一种是简单遗传算法,它采用等长度字符代码编码方法,使用常规的遗传操作算子。另一种是混合遗传算法,它综合运用解装箱问题的ＦＦＤ（ＦｉｒｓｔＦｉｔＤｅ－ｃｒｅａｓｉｎｇ）近似算法和简单遗传算法。试算结果表明,由这两种遗传算法所得到的装箱方案较一些近似算法所得到的装箱方案都要好。     

关于微分方程的有理式解的存在性问题

许多非线性微分方程一般都是不可积的。例如Ｒｉｃｃａｔｉ方程。本文主要利用在文「４」中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出了求有理式解的具体方法。     

基于B样条的气动反设计遗传算法研究

在气动反设计中引进了基于自然选择和生物遗传机制的遗传算法，针对遗传算法的搜索原理和气动外形特点，提出了与之相适应的Ｂ样条基因表达，构造了均匀变异与非均匀变异相结合的自适应变异算子，提出了用于优化设计的适应函数，发展了一种小种群演化方法。文中并以全位势方程求解程序为例，进行了翼型重构反设计，验证了本方法的可行性，然后在此基础上进行了基于阻力极小的优化设计，取得了令人满意的结果。     

一类非线性双曲型方程的Galerkin方法

主要讨论了平面有界凸多角形区域上的一类非线性双曲型方程utt- .( a( x,u) u) =f ( x,u)u( x,0 ) =u0 ( x)ut( x,0 ) =φ( x)u( x,t) =0　　( x,t)∈Ω× [0 ,T]x∈Ωx∈Ω( x,t)∈ Ω× [0 ,T]的 Galerkin有限元方法 ,首先给出了所讨论问题的 Galerkin有限元方法的离散格式 ,其次对所讨论问题的解与其离散问题的解之间的误差进行了分析研究 ,最后利用椭圆投影算子的性质 ,得到了 L2 模和能量模方面的一些误差估计。     

多目标柔性作业车间调度的集成算子遗传算法

柔性作业车间调度（FJSP）中，在将任务按顺序分配到各机床前，首先要为任务选择加工机床。为求解多目标FJSP，本文在分析该问题特点的基础上，提出了一种面向甘特图的串编码（GORS）及相应的的遗传算法算子的基本操作，提出了集成算子遗传算法，并给出了其具体实现。文献算例的实验及与国际最近研究成果比较表明。该算法减小了目标参数值即生产周期、最大机床负载和总的机床负载。     

双重互易边界元法在求解N—S方程中的应用

提出了用双互易边界元法求解Ｎ－Ｓ方程的新思路。用Ｐｅａｃｅｍａｎ－Ｒａｃｈｆｏｒｄ算子分理解将时间相依的Ｎ－Ｓ方程分解为线性和非线性子问题，线性问题用共轭梯度法解除压强－速度的耦合；非线性问题进行局部线化。对所得的Ｐａｓｓｉｏｎ方程及相关类型方程采用双重互易的边界元法求解，消除了传统Ｎ－Ｓ方程边界元解法的区域积分问题。     

有限变形塑性的指数算法

基于不同的应力测量方式，将得到不同形式的有限变形塑性的算法列式。本文基于柯西应力来表示屈服准则，给出了以柯西应力表示的有限变形塑性的指数算法列式。利用对数应变，在主轴下建立了返回映射算法，得到了一种非对称的算法切线模量。它保持了在无穷小理论中返回映射的算法结构。算例表明，对于静水压力相关的塑性材料，应力测量形式的选择对数值结果有较大的影响，柯西应力列式得到了合理的结果。     

Stokes问题的集中质量非协调有限元法

针对其平面有界凸区域上的一类非定常不可压Stokes方程，提出了一种新的有限元方法，借助于所谓的速度一压力混合型公式，讨论了非定常不可压Stokes方程的质量集中非协调有限元逼近格式(全离散情形)。首先，给出了非定常不可压Stokes方程的质量集中非协调Galerkin有限元逼近的全离散格式，其次，对所讨论问题的解与其所给出的离散问题的解之间的误差进行了分析研究；最后，利用Stokes投影算子的性质和离散的LBB条件，得到了非定常不可压Stokes方程关于速度L2模和能量模及压力L2模方面的最优阶误差估计。     

拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。     

基于带波动算子非线性Schrdinger方程数值分析的守恒差分算法(英文)

对一类带波动算子的非线性Schro。dinger方程进行了数值分析,提出了一个含参数的二阶守恒差分格式,根据参数选取的差异,该格式既可隐式计算也可显式计算。对初值条件进行了中心差分离散,使其具有二阶精度,从而与守恒格式的精度一致。利用矩阵理论证明了差分解的存在惟一性,并利用一个重要的不等式在先验估计的基础上,运用能量估计的方法证明了该格式按无穷范数以二阶精度收敛到真实解。数值实验表明该格式具有较高的计算效率。