有限元数据管理系统的构想与实现

本文介绍了用FoxBASEPLUS语言编写有限元数据管理系统的构想与程序实现的方法,该数据管理系统即能对数据实现全屏幕编辑,又能自动地对有关数据进行提示和逻辑检查。     

液动冲击器测试系统的研究

分析和比较了测试破岩冲击器冲击能量的各种方法，根据冲击力法的测试原理和特点，选用冲击力法测试破岩冲击器的性能参数，并以ＹＤ系列测力传感器为检测元件，建立了一套比较完善的自动检测系统。实验证明，用这套系统测出的结果比较准确地反映了冲击器的性能特点，对于研究和改进冲击器的结构具有指导意义，同时为研究冲击破岩机理提供了可靠的实验数据。     

ZYES专家咨询系统的不精确推理模型

ＺＹＥＳ是为株州冶炼厂铅烧结生产而设计的专家系统，该系统于１９９３年初完成，并投入运行。在该系统中，使用了一种新的不精确推理模型。本文介绍了该模型对证据不确定性和知识不确定性的描述方法，以及命题不确定值的更新算法等。     

约束凸性与连续诱导策略的存在性

本文研究随从目标函数非凸时的诱导问题.提出函数约束凸性的概念,得到了函数在某点具有约束凸性的充要条件和具有约束凸性的函数取最小值的充分条件,并利用约束凸性的概念得出了随从目标函数非凸时连续诱导策略存在性的充要条件.     

Leipholz杆的后屈曲分析

导出了Leipholz杆在大变形条件下的平衡微分方程,并给出了与此相应的拟变分原理。利用给出的拟变分原理分析了两端铰支的Leipholz杆的后屈曲性态,得到了屈曲后的栽荷一位移表达式。     

一类三阶非线性控制系统的概周期解

本文研究了一类三阶非线性控制系统（１）的一致概周期解的存在性，得到了简洁的充分条件，并对保证有一致概周期解存在的参数范围及其与系统系数间的关系作出了估计。     

固井规划系统目的分析及套管柱优化设计模型

根据系统工程的理论对固井工程规划系统结构进行了分析，建立了固井规划系统的目的分析程序．该程序是将固井规划过程定义为一个完整的系统，它具有一般系统的整体性、相关性、目的性和对环境的适应性等属性．该系统按其功能可分解成５个子系统，对每个子系统可以建立计算模型。文中以套管柱优化设计为例讨论了子系统的建模过程．     

一类向量形式的积分—偏微分方程组的正则广义解

本文从具有双向流动的城乡人口系统的数学模型出发,讨论了一类向量形式的积分偏微分方程组,证明了该方程组的正则广义解的存在性。本文结果可为人口的预测提供数学方法。     

前馈加反馈补偿的分散鲁棒跟踪系统研究

本文用分散的前馈加反馈补偿器对线性时不变多变量系统进行了研究,给出了获得内稳定鲁棒跟踪系统的充要条件;分析了系统的灵敏性和稳定边际;提出了考虑瞬态响应、灵敏性和稳定边际的设计分散鲁棒跟踪系统的方法。     

互联灰色动态系统稳定性的充分条件

本文探讨了互联灰色动态系统的稳定性问题,得出了一些确保互联灰色动态系统稳定的充分条件,并给出了应用实例。