面向对象的系统活动描述方法

通过实例介绍了系统活动作为一个对象／类的概念，给出了对系统活动进行分析和建模的一般步骤，提出了系统活动描述的形式化方法。     

单航片数字转绘在土地详查系统中的应用及其精度评定

土地详查系统是将来建立国土信息系统的一个子系统,建立该系统的关键之一是实现调绘航片的数字转绘,本文通过分析单航片数字转绘的精度,从理论上阐明了以数字转绘代替仪器纠正实现土地详查内业自动化的可靠性。     

一类由Hamilton对生成的Hamilton算子

设θ１与θ２组成一个Ｈａｍｉｌｔｏｎ对，且设θ２可逆。记Φ＝θ１θ１－１。本文证明了：Φｉθ２是一类Ｈａｍｉｌｔｏｎ算子，其中ｃｉ（ｉ＝０，１，２，３）是任意常数。     

一类新的Meyer—Konig—Zeller型算子对有界变差函数的点态逼近度

本文应用概率论方法研究文（１）引入的一类新的Ｍｅｙｅｒ－Ｋｏｎｉｇ－Ｚｅｌｌｅｒ型算子Ｍｎ（ｆ，ｘ）逼近区间（０，１）上有界变差函数的点态估计。     

IBM中的费米——波色变换的微观理论

本文基于壳模型和集体运动激发模式，导出原子核系统的玻色变换算符，并将描述集体运动的哈密顿量变换成玻色子函数，计算表明，ＩＢＭ理论中哈密顿量只是变换后哈密顿量的一种近似，并且每项系数均可计算出。     

铝电解过程控制信号的滤波与噪声解析模型的研究

将快速傅里叶变换技术和数字滤波器设计技术应用于铝电解过程控制信号的滤波与噪声解析模型中,在160kA中间点式下料预焙槽上的试验结果表明了模型的有效性。     

油田水CaCO_3结垢反应的计算与应用

以热力学计算为基础，广泛采用油田水的数据．计算了ＣａＣＯ３的预测条件，并根据油田生产实际，建立了使用防垢剂时的预测模型．根据理论模型编制成计算机程序，并与文献结果和油田观测结果进行了对比，提出了临界浓度和临界稳定常数的计算和应用方法．为防垢剂的选择提供了理论依据，大量计算表明，预测结果与文献和现场观测结果相符．