Lagrange中值定量的另一证明

本文我们给出Ｌａｇｒａｎｇｅ中值定理的一个新的证明。     

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

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

流线型挤出模曲面构造

根据塑料挤出的特点，在编程实现对型材截面轮廓凸凹性自动判断的基础上，采用射线法与比例间隔法相结合的方法，确定流道入口圆周上型值点的位置．以三次多项式作为流道模腔型曲线的数学模型，依据流线型要求给出的初始、边界条件，得出型曲线的数学方程．构建了挤出模流道的三维参数化曲面模型．有限元分析结果显示，该方法创建的流线型流道模型，其流动稳定性和平顺性都优于直线型流道．     

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

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

外力J(t)作用下一维谐振子的传播子计算

用路径积方法计算了外力J(t) =f0 t( f0 为常量 )作用下谐振子的传播子 ,并由此求得能量本征函数与本征值     

非齐次线性微分方程解的Borel方向分布

该文主要应用 Nevanlinna理论来研究系数为多项式的非齐次线性微分方程的整函数解 f(z)的 σ(f)级 Borel方向分布 ,并得到一些精确结果。其中σ(f )为 f (z)的增长级。     

两样本对称统计量的Berry-Esseen定理

在适当的矩条件下。证明了两样本对称统计量的Berry—ESseen定理．作为该定理的推论。还得到了广义U-统计量正态逼近的速度．