由稳定化合物熔化焓提取二元系活度

本文从二元系中稳定化合物与液相平衡关系入手，导出了由稳定化合物的熔化焓计算二元第活度的新公式，通过对In-Sb二元系的活度计算验证了本方法的可行性，并用这一新方法预报了半导体Ga-As二元系的活度。     

YX——100型机械手液压系统

本文对YX—100型机械手液压系统进行了设计,并指出了该系统的主要特点,为圆柱坐标式专用机械手液压系统的设计提供了可靠的方法。     

负反馈放大器的噪声分析

提出了采用方框图法分析负反馈放大电路的噪声,得出了负反馈不影响基本放大电路噪声性能的结论,简化了分析的步骤和复杂的计算。举例给出了方框图法分析的具体步骤。讨论了负载电阻噪声对负反馈放大电路噪声性能的影响。     

混合试探作用量对三维格点规范场的研究

应用混合元格变量一链变量作用作为改进平均场理论的试探作用量，用变分法计算了３维时空中Ｚ（２），Ｕ（１）和ＳＵ（２）纯格点规范场的平均元格内能Ｅｐ，对于Ｚ（２）格点规范场得出具有范德瓦尔斯型曲线的一级相变的相图。对于３维Ｕ（１）和ＳＵ（２）规范场，所得Ｅｐ～β曲线是光滑的，显示理论禁闭性。计算结果与ＭＣ计算结果符合较好。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

Fe—C基三元合金相图计算

本工作设计了Fe-C基三元合金热力学计算软件，它可计算Fe-C与Cr,Mn,Si,Cu,Mo,W,Ni,V,Ti,Nb组成的三元系在不同温度下的等温载面图，并可提供有关的热力学数据。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

"二元液系相图"实验中经验操作的数学表达

以杠杆规则为主要依据,对具有最低恒沸点的“二元液系相图”实验中的经验操作进行了详细的数学推导．推导结论与实验结果间的一致性,为实验中的经验操作提供了理论依据．     

UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。     

基于VC++的GIS应用系统开发

从矢量图形系统、数据库管理系统以及矢量图形系统与数据库管理系统的连接等方面探讨了基于VC 的GIS应用系统的开发。