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

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

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

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

一个广义时滞人口增长模型解的渐近性

考虑一个广义时滞人口增长模型，获得了它的每个正解当ｔ→∞时趋于其正平衡点的充分条件。     

一类泛函微分方程的初值问题

证明了一类泛函微分方程（可超前和滞后）初值问题解的存在性定理，并运用这一结果研究了高阶微分方程边值问题解的存在性．     

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

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

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

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

火炮系统相似性分析原理

相似学，相似系统化是近年发展起来的边缘学科，相似元，系统相似度等概念的引使火炮系统全在数的物理模拟成为可能。该文阐述了系统与火包的关系，讨论了不同类型及口径火炮系统间相似要素的识别，提出了火炮系统相似性分析一般原理，建立了相应的数学模型，给出了相似元，系统相似度的计算公式，进行了系统动态特性分析。     

脉冲广义非线性测度型微分系统的边值问题（英文）

本文讨论了脉冲广义非线性测度型微分系统边值问题解的结构。借助广义系统和测度型微分系统的基本理论，给出了所讨论系统边值问题的适定条件以及解的Ｇｒｅｅｎ函数矩阵表示。并在有脉冲的影响下，讨论了Ｇｒｅｅｎ函数矩阵的性质。     

关于微分方程组dU／dt=H·U的李代数解

求解线性微分方程组6UN，llH（z）．U（t），U（0）ll1的方法，已经由JamesWei和EdwardNorman给出(1)，他们的方法建立在李代数理论的基础之上。本文讨论解的结构。对于上述方程组，其中U是有限维空间中依赖于时间的线性算子，而H（＝6t（Ht、（z）＋．．．．．．、，！（r），！＋（z），如果Ht，Hz，…，，！。生成可解的李代数L，则它的解U（U＝explgt（r）HJexpk2（…”exp“（z）1可以表示为一个矩阵，其所有的元素都是g（illl，2，…，m）的初等函数，并且只出现指数函数与乘幂。最后用两个例子说明具体的解法。     

某些高阶线性微分方程解的增长性质

本文讨论了某些高阶线性微分方程解的增长性质，分别推广和补充了Ｇｕｎｄｅｒｓｅｎ关于二阶方程的结果及萧修治关于ｎ阶方程的结果。