麦克斯韦速率分布规律CAI演示软件

本文介绍我院计算中心开发的ＣＡＩ软件之—──麦克斯韦速率分布规律ＣＡＩ演示软件．阐述了软件开发过程中的一些问题及解决方法。软件用户界面友好、直观、简便易学．

宽带隙材料作发射区的异质结光晶体管（HPT）的研究

本文在研究一种特珠结构的光晶体管──异质结光晶体管（ＨＰＴ）的工作原理基础上，分析用宽带隙材料作发射区，可减少注入损耗，提高增益的特性。

相互垂直简谐振动合成规律CAI演示软件

本文介绍我院计算中心开发的ＣＡＩ软件之一——相互垂直简谐振动合成规律ＣＡＩ演示软件。阐述了软件开发过程中的一些技术问题及解决方法。软件用户界面友好、直观、简便易学。

超文本的数据模型

本文采用ＶＤＭ技术描述了一种基本的超文本的数据模型，在该模型中，形式地定义了超文本中几种主要的抽象数据类型，如节点、链、网与结构等。超文本的数据模型是超文本标准化的基础，且超文本应用的表现与浏览语义应从超文本数据库的数据对象中分离出来。

圆形轨道稳定性条件的三种推导方法

本文采用微扰法、变分法和有效势法分析并推导出有心运动圆形轨道的稳定性条件，阐述了这三种方法的等价性。指出：一般情况下的有心运动轨道稳定性不仅决定于力律本身，还与轨道的几何参数有关。

基于 Petri 网络结构的死锁分析与检测

本文在死锁定义的基础上，讨论了死锁的性质，分析了结构死锁的物理意义，并且给出了死锁的检测算法与分析。

相对论重离子碰撞中粒子的鉴别

根据聚合级次定律提出一种相对论重离子碰撞中粒子鉴别的新方法。采用该法分析了Ｂｅｖａｌａｃ流光室１．２ＡＧｅＶＡｒ＋ＢａＩ２和２．１ＡＧｅＶＮｅ＋ＮａＦ４π实验事件中ｚ≤２的粒子及碎片的产生几率。发现了粒子鉴别前后两种实验事件快度分布的变化。

相对论核─核碰撞中粒子的横向动量模关联

本文对１．２ＡＧｅＶＡｒ＋ＢａＩ２和２．１ＡＧｅＶＮｅ＋ＮａＦ碰撞的Ｂｅｖａｌａｃ流光室４π实验事件末态粒子的横向运动特征进行了研究。发现末态粒子的横向运动不仅存在方位角关联，而且还存在横向动量模的关联。研究表明；在Ａｒ十ＢａＩ２碰撞实验中，粒子的横向动量模关联比Ｎｅ＋ＮａＦ碰撞实验强。并且，两种碰撞实验中的粒子方位角关联比其各自的横向动量模关联强。

动态死锁分析与检测

可达树是Ｐｅｔｒｉ网性能分析的重要工具之一。本文在可达树和网结构的基础上，提出了一种分析与检测动态死锁的新方法，并给出了相应的算法。

支持DBPM的数据库模型

近年来,人们普遍认识到,软件产品和其它产品一样,其生产率和质量的高低与生产产品过程有关,改进软件过程的质量,可最终获得高质量的软件产品。因此,从八十年代开始。

支持基于决定的过程模型的代码组织与管理

本文简述了基于决定的过程模型（ＤＢＰＭ），论述了在该模型中的代码组织与管理的思想、数据结构，并就代码视集管理及其实现进行了描述。

DBPM:基于决定的过程模型

以决定为基础，讨论软件开发与维护的过程模型（ＤＢＰＭ），并给出了过程模型ＤＢＰＭ的规范描述。

基于决定的软件需求工程模型的设计与实现

需求工程是软件工程生命周期的初始阶段，其最终结果是软件需求规约。本文对需求工程的有关内容进行了剖析，设计了一个基于决定的软件需求工程模型ＤＢＳＲＥＭ，并给出了该模型的实现框架。ＤＢＳＲＥＭ的运作需要知识环境、方法工具和实现技术的支持。

超文本库的面向对象模型

本文给出了超文本库面向对象模型的形式描述。在该模型中，形式地定义了超文本中三种主要的对象类，即节点、网与结构。并且讨论了实例操作。

Turbo C编译模式深入研究

本文详细分析了ＴｕｒｂｏＣ六种互不相同的编译模式，并探讨了混合模式编程的方法和途径。对利用ＴｕｒｂｏＣ开发程序具有较大的参考价值。

随机微分方程的数值解

本文利用Ｉｔｏ－Ｔａｙｌｏｒ展式讨论了一般的随机微分方程的数值求解的问题，并进一步讨论了求解一般随机微分方程时的几个数值计算的问题以及数值解的精度估计问题。

(n,(n-1)!)——拉丁阵的随机生成

本文介绍了全部ｎ阶置换的生成算法和由任一序号ｍ（０≤ｍ≤｜Ｓｎ｜－１）求出与（ｎ，（ｎ－１）！）—拉丁阵中序号相同的列的算法；并利用拉丁阵的组合性质和以上两个算法随机生成了一个（ｎ，（ｎ－１）！）—拉丁阵。