Lagrange中值定量的另一证明

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

流线型挤出模曲面构造

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

StoIt 45°上行波方程偏移的一种新算法

将Fourier方法与有限差分法相结合,并借助投影算子,建立了既简单、又适合变速度模型的Stolt 45°上行波方程偏移的一种新算法,同时讨论了其稳定性.     

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

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

SQL多表外连接查询

介绍了外连接查询的意义、外连接查询的实现步骤和方法，着重指出：SQL对一父多子的多个表进行外连接查询时，要特别注意FROM子句中连接对象和连接条件的先后位置。当子表中符合连接条件的记录有多条时，不要在SQL—SELECT语句中用SUMO函数和GROUP BY子句实现分组汇总，应汇总后再连接。否则，会导致汇总数据的错误，并且执行时间也大大增加。需对结果中值为NUIL的字段进行数学运算时。要对其进行替换处理。     

非线性随机规划问题最优值与最优解的可测性

利用对偶理论与可测集值映射理论等,本文首次证明了一般非线性随机规划问题最优值和最优解的可测性,从而为研究它们的概率分布、矩等分布问题以及一般随机规划问题的实际求解奠定了理论基础.     

合作对策的σ值和τ值与协商解的一致性

通过对合作对策构造公理化协商模型和参考点协商模型，证明了合作对策的σ值和τ值与所构造的协商模型的Ｒａｉｆｆａ协商解及参考点Ｒａｉｆｆａ协商解的一致性。从而使合作对策理论与公理化协商方法在一定范围内得到了统一。