Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

三峡钢丝绳卷扬全平衡式垂直升船机机电耦合系统动力学仿真

建立三峡钢丝绳卷扬全平衡式垂直式升船机的双闭环调速电力拖动控制系统的模型和升船机各子结构的动力学模型，并通过刚性子结构法形成了整体动力学模型，运用MATLAB中的SIMULINK模块，将电力拖动控制系统与整体动力学模型耦合，采用Wilson-θ法求解瞬态响,对误载水深为＋20cm，承船厢低点位置上向上启动运动的正常工况进行了仿真分析。     

工程测量中的坐标变换

针对城市工程测量中经常遇到不同坐标系之间的成果转换问题 ,提出了一种非常简单实用的方法 ,该方法的基本原理是将一个坐标系中的坐标成果换算成实际的距离与方位 ,然后利用这实际的距离与方位计算在另一坐标系中的成果。论文最后给出了一实例说明这种转换的可靠性     

Euler积分与Euler级数的推广

利用数学分析中的一些方法与技巧 ,将Euler积分与Euler级数进行了推广 ,其中包含许多典型而重要的积分与级数 ,且得到了大量新的积分公式与级数公式 ,并使之融为一个有机的整体。     

一类弹性梁方程三个正解的存在性

利用Williams-Leggett定理，得到了两端固定的弹性梁方程y′′′′（x）－f（y）（x）＝0，y（0）＝y（1）＝y′（0）＝y′（1）＝0三个正确的存在性结果。     

三维动画技术在原子轨道图形表示MCAI中的应用

采用3DSMAX三维动画技术构造原子轨道的角度函数图，通过动画演示，形象，直观地表达了原子轨道的形状特点，极值的方向和节面的位置。     

大惯性转台准确定位的自调整控制方法

对于大惯性转台的控制 ,提出了自调整控制算法 ,利用历史信息实现转台减速点的智能调整 ,给出了减速点计算公式 ,解决了大惯性转台快速运行与准确定位的矛盾 .利用Matlab对系统进行了建模仿真研究 ,得到了满意效果 ,证明了自调整算法的有效性 .     

低温二维电子气体的比热容

运用闭路格林函数方法，得到了二维电子气体热力学势的表达式，同时还得到了新的交换项，这个交换项可以化为已知的由虚时方法得到的表达式，但在低温下它没有奇异性，这表明，虽然闭路格林函数方法和虚时方法在总体上是等价的，但在一些技术细节上前者优于后者，此外，从导出的热力学势出发计算了二维电子气体在低温下的比热容。     

高校财务监督体系的变革与完善

为适应知识经济时代的要求，高校财务监督体系必须进行变革和完善。本文就这一课题，分别从当前所面临的新形势，高校财务监督体系变革和完善的举措以及应该注意的一些问题做了阐述。     

浅谈高校后勤社会化的财务核算

随着高校后勤改革的不断深入，高校后勤将逐渐从学校脱离，成为相对独立的经济实体，而原有高校的财务管理核算体制已不适应后勤改革的需要。