利用TURBO PASCAL的GRAPH单元制作窗式菜单

本文通过对菜单制作技术的分析，提出了一种通用窗式菜单制作的算法、并给出相应的程序。     

分隔区域模型正周期解的存在性与唯一性

运用非线性泛函中的锥压缩不动点原理，证明了在一定条件下，一类描述分隔区域模型非线性积分方程正周期解的存在性与唯一性。     

过程控制中计算机图形信息压缩存贮和图形滚动方法

对工业生产过程控制和管理中的计算机图形显示,提出一种压缩存贮和滚动的新方法。新方法的实施,可使图形数据占用的存贮空间减少约80％,一般地不需使用外存,从而大大提高了显示速度,解决了普通微型机存贮空间和显示速度之间的矛盾,有效地提高了普通微机的功能/价格比。所提出的方法均经工程实践检验过,效果良好。     

分式半环及性质

首先在变换半环与其乘法集合的卡氏积上定义了一种等价关系，从而构造了一类新的交换半环。即分式半环。讨论了交换半环与其分式半环之间的关系，然后刻划分式半环的泛性质。最后，在两个可换可消半群的直积上定义相同的关系，证得该关系为群同余，得到相近的结果。     

半群方法在发汗控制问题中的应用

本文研究执防护发汗冷却控制中的自由边界解的存在性、唯一性，应用算子半群方法得出了解的存在性、唯一性，所用的方法对一般非线性、抛转型偏微分方程和高维情形也适用．     

卷积型积分微分方程解的渐近稳定性

研究了一类卷积型积分微分方程，利用李雅普诺夫方法，给出了判定n维系统中卷积型积分微分方程的零解一致渐近稳定性的定理以及其Volterra方程的零解渐近稳定性的定理，推广了已有的结果。     

活动网络在随机约束下的关键路线问题

本文研究了活动网络的随机约束规划模型及其确定性等阶线性模型, 求解在最小概率水平下的随机周期和关键路线。由此给出不同特征网络确定关键路线的准则, 并揭示PERT/CPM算法存在重大误差的原因。