外微分形式在多元系热力学中的应用

用外微分形式来表述物理定律和推导物理公式形式简洁、优美,而且外微分运算是自然和自动的,不受空间维数的限制。本文在扼要介绍外微分形式的定义以及相关定理的基础上,介绍它在推导多元系热力学的Maxwell关系中的应用。     

关于求解Stiff常微分方程具有参数的一类块方法

本文给出求解Stiff常数分方程含有参数的一类高阶块方法,并给出计算其绝对稳定域的算法.通过对参数的选取,改进了文中的方法的稳定性。对于K=3,4,5,6,我们构造出一类Stiff稳定的块方法,它们是具有很小的非稳定域.这些方法适合求解Stiff常微分方程组     

AGC－AFC综合系统解耦控制

分析了板材轧制控制过程，给出了板厚板形综合系统（ＡＧＣ－ＡＦＣ）反馈闭环控制的数学模型；对ＡＧＣ－ＡＦＣ系统进行了解耦；引进Ｓｍｉｔｈ预估器补偿系统延迟环节的影响；最后采用ＰＩＤ方法实现对ＡＧＣ—ＡＦＣ系统的控制。仿真实验结果显示了上述方法的有效性。     

数据库窗口应用程序设计

数据库应用系统具有大量的人机交互。因此，目前许多数据库系统提供的开发环境都是以用户界面窗口管理系统为基础的。在这种环境下，如何开发应用系统的问题已受到普遍的关注。以ＦＯＸＰＲＯ为例，提出了一套一般性的方法，用以在支持面向对象技术的用户界面窗口管理系统的数据库环境下，开发应用程序。     

二维离散系统稳定性的复系数列表检验法

提出了新的二维离散系统的稳定性检验定理。与现有的二维离散系统的代数检验法不同，本方法是直接对复变量系数列表，然后利用提出的检验定理进行稳定性检验，不需要在整个ｘ∈［－１，１］的实数域进行逐点检验，并且无有理多项式出现，因而检验过程大为简化，计算量大为减少，只须进行有限次运算，即可确定二维离散系统的稳定性。     

区间系统严格正实的顶点结果

首先给出了确定对象严格正实的新的充要条件，证明了新的结果完全等价于Ｃｈａｐｅｌｌａｔｅ的结果，在此基础上，推出了区间系统严格正实的顶点结果，使得区间系统严格正实问题转化为有限个对象严格正实问题，最后，给出了区间Ｌｕｅ′ｅ系统的鲁棒Ｐｏｐｏｖ准则的顶点结果。     

非线性系统的输入输出稳定性

首先定义了较为广泛的有界增益稳定性；然后证明了有界增益稳定算子全体作成线性赋范空间；接着进一步研究了这类映射的性质，并利用算子范数给出了反馈系统内稳定的充分条件．     

一个医疗专家系统的分析和设计

设计了一个用于头部医疗诊断的软件系统．在医疗诊断方面，它具有准确和高速的特点，能根据具体情况迅速得出结论，在某些方面比人类专家更可靠、更灵活．本系统的另一个特点是具有一般计算机操作能力的人员都能使用，即用户不需具有医学专业知识，从而大大增强了本系统的通用性．全部程序采用Ｃ语言编写．整个系统采用了屏幕界面技术、全屏幕编辑技术及高级文件记录Ｉ／Ｏ技术，为用户提供了一个较理想的人机接口界面．     

移动电话实时计费系统中主机系统的设计

阐述了主机系统的设计原则．对主机系统的ＣＰＵ数目、内存容量和磁盘存储阵列等主要参数进行了分析，给出了主机系统设计的一个实例。