双侧区间松弛法的进一步研究

给出一种解非线性方程组的区间松弛法，其条件比有关文献的条件弱，但得出了同样的结论。此外，还给出了解存在的两个充分条件以及收敛速度比较定理，并给出一种选取较“大”的非负、非奇异左下逆矩阵Ｐ以使收敛速度加快的方法。     

系统化的机械产品计算机辅助设计（SCAD）方法的研究

通过将系统化的工程设计方法与ＣＡＤ技术相结合，提出系统化的计算机辅助设计（ＳＣＡＤ）方法。并研究了ＳＣＡＤ所包含的四个阶段－计算机辅助产品规划（ＣＡＰＲＰ）、计算机辅助概念设计（ＣＡＣＤ）、计算机辅助具体化设计（ＣＡＥＤ）和计算机辅助详细设计（ＣＡＤＤ）的一些具体实施方案，形成了ＳＣＡＤ技术的基本理论框架。     

一个关于企业管理信息系统的安全策略和安全技术

介绍一个基于ＵＮＩＸ／ＯＲＡＣＬＥ的企业管理信息系统所采用的安全策略、安全控制与技术及其在系统中的实现方法。其安全控制是通过分层分级为实现的，特别是面向最终用户的应用层，应用软件有其自身的安全控制机制。特别强调安全教育与管理是系统的一个重要方面。     

无穷维最优控制系统的N阶近似

讨论一类用无穷维系统方程描述的最优控制问题，把它看作为Ｈｉｌｂｅｒｔ空间上求算子方程的最小均方解的问题．在无穷维算子近似理论的基础上，用无穷矩阵奇异值分解方法得到无穷维最优控制问题解的形式，并研究这个解的有限维近似形式，建立一个有限的Ｎ阶最优控制系统，使得它的控制律与无穷维系统的控制之间误差最小     

三峡船闸区水文地质特征及高边坡排水优化

在船闸高边坡施工中，对已开挖的排水洞进行详细的水文地质调查，测试，结合已有研究成果，论证了大坝施工前船闸区水文地质特征，并预测水库运行后可能的变化，依此提出高边坡排水系统优化建议。     

滞后线性时变连续大系统的滞后相关稳定性

应用向量Ｌｙａｐｕｎｏｖ函数法结合比较原理，研究了滞后线性时变连续（大）系统的稳定性，得到了充分判据，且这些判据中包含有滞后信息、因此称为滞后相关稳定性判据。在实际系统中，尤其是当滞后较小时，它们通常能给出较优的结果。     

高阶发展方程的两类显式格式的稳定性分析

对高阶发展方程Эｕ／Эｔ＝ａЭ＾２ｋ＋１ｕ／Эｘ＾２ｋ＋１给出了两类带参数ａ的三层显式差分格式，其截断误差均为Ｏ（ι＋ｈ）。稳定性分析指出：当ｋ为偶数时，它们无条件不稳定；当ｋ为奇数时，稳定条件为│Ｒ│≤ｆ（ｋ，ａ）是ａ（０≤ａ≤１０）的上升函数，但为ｋ的下降函数。例如，当ｋ＝１时，ｆ（１，３）＝０．９８７１２３，ｆ（１，１０）＝２．１５０６９０；当ｋ＝３时，ｆ（３，３）＝０．１０９１５３，ｆ（３     

FMS系统中的实时故障监测与系统评价

该文对FMS系统中的实时故障监测与系统评价进行研究。在考察静态故障树组成结构和运行环境及FMS的运行特征的基础之上、提出了FMS的一般实时故障树模型及其面向对象的知识表示与推理方法。该方法综合运用故障树授术、面向对象的节点描述及存贮和正．反向推理策略，达到了迅速、准确检测故障的要求。文末给出该系统的组成结构和实现方法，通过实际系统的试验运行，证明了该方法的有效性。     

高阶schrodinger方程的恒稳显式与半显式差分格式

利用加耗散项的方法，构造了高阶ｓｃｈｒｏｄｉｎｇｅｒ方程的无条件稳定的显式与半显式差分格式。     

BQ－FMS单元控制器实时动画仿真

ＢＱ－ＦＭＳ柔性制造系统单元控制器负责管理柔性线各装置的总体配合，实现生产过程的自动化。而其中运控核心软件必须提供所有的控制管理与监视功能。ＢＱ－ＦＭＳ实时动画从属于运控系统，但又具有相对独立性。它的设计新颖，面对特殊的软、硬件环境，开发了辅助作图工具、布局软件，方便人机交互构作ＦＭＳ布局图，讨论了系统主菜单、运控核心、实时动画仿真各大模块之间的联系及信息传送。动态图形调度、切换准确及时，实现了运控核心软件主控程序的准确模拟调试及柔性系统运行状态的同步跟踪