解含有混合导数的抛物型方程的两种显式格式

本文考虑含有混合导数的二维抛物型方程第一边值问题，提出解上述问题的两种绝对稳定的显式差分格式。它不必解线性方程组，因而，其计算量少于H．H．和M．K．Jain所提出的A．D．I方法。     

Jacobi、Gauss-Seidel和SOR迭代收敛性的新判别准则

本文给出Jacobi迭代、Gauss－Seidel迭代和SOR迭代收敛的若干充分条件，拓广了迭代收敛的判别范围，举了数值例子。     

二阶奇异攝动常微分方程的指数拟合Galerkin解法

本文通过构造特殊的试探空间，来解常微分方程：其中ａ（ｘ）≥ａ＞０，１》ε＞０．并给出误差估计．     

三次(Ⅰ'')型插值样条算子的范数

本文考虑Ｍ．Ｍａｒｓｄｅｎ在［１］中提出的三次（Ⅰ’）型插值样条算子的范数．在分划等距的情况 下，我们给出此范数的精确表达式，同时指出它随分划加密的性态；在分划非等距的情况下，我 们给出此范数的一个估计式．     

抛物型方程的Galerkin有限元方法

本文考察抛物型方程第一边值问题，采用半离散的Ｇａｌｅｒｋｉｎ有限元方法，导致一个常微分方 程组。对它，利用向量形式的θ－方法和λ－指数拟合法求解．文中作了误差估计并给出算例．     

矩形域上离散解二维Poisson方程的推广Fourier分析法

本文考虑在矩形域上解二维Ｐｏｉｓｓｏｎ方程边值问题的推广Ｆｏｕｒｉｅｒ分析法，边值问题的边界条件为一对边周期条件，另两边为Ｄｉｒｉｃｈｌｅｔ条件，或一边Ｄｉｒｉｃｈｌｅｔ条件、一边Ｎｅｕｍａｎｎ条件．这两个边值问题分别用五点差分格式和九点差分格式逼近，而在解离散的线性方程组时采用推广的Ｆｏｕｒｉｅｒ分析法．理论分析和数值试验表明：（ｉ）九点差分格式比五点差分格式精确，而计算量增加不多；（ｉｉ）推广的Ｆｏｕｒｉｅｒ分析法比通常的Ｆｏｕｒｌｅｒ分析法［１］优越，无论在计算时间或存贮量均较节省。     

具有两个内部点支撑矩形薄板的屈曲

本文对具有两个内部点支撑的简支矩形薄板，在单向均匀压缩下的屈曲问题，提供一个解析解法．同时给出对于边比ａ／ｂ的各种值和点支撑的各种位置所算出的临界压力数值因子ｋ的数值结果，以及板屈曲时两个点支撑反力的关系．     

VLSI标准单元阵列布局问题的一个高效遗传算法

研究可有效处理几万至百万个单元规模VLSI标准单元阵列布局问题的遗传算法,使之能在合理的时间内获得高质量的布局结果.为了提高布局质量,针对布局的二维特性设计了新型线网交叉算子和局部搜索技术,并提出了三阶段算法框架以协调算法的全局搜索和局部搜索.为了降低算法的时间和空间复杂度,使算法可处理大规模问题,采用了交叉算子局部化和小规模种群的思想,同时使用了多种保持种群多样性的策略以提高小规模种群的进化性能.对Peko suite3、4标准测试电路的实验结果表明,基于这些策略的遗传算法是有效的.     

解四阶抛物型方程的绝对稳定高精度差分格式

对四阶抛物理方程Ｕ１＋Ｕｘｘｘ＝０构造一族含双参数的三层差分格式，当参数ａ＝１／２，β＝０时得到双层格式，这些格式对任意非负参数均色对稳定的，共截断误差为Ｏ（Δｔ＾２＋Δｘ＾６），且可用追赶法求解。     

工控机二模容错系统结构设计

从计算机体系结构观点，提出一个ＳＴＤ总线工控机二模容错计算机系统。介绍该系统的设计原则、硬件结构和容错管理软件结构。