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

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

氯化铝工业生产中几个工艺技术问题的探讨

本文详细论述了利用废铝生产氯化铝过程中,设备及各控制因此对产品质量和颗粒度的影响,(?)了适宜的控制条件和设计要求,为生产不同用户需求的合格产品提供了可靠的依据。     

SQL多表外连接查询

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

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

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

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

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

纺织品抗紫外性能的测试标准的不同点及影响测试结果的因素

探讨了现行的五种抗紫外线性能测试的标准的之间的差异，织物调湿大气的湿度对UPF值的影响，以及检测中应注意的会对测量数值产生影响的一些细节。     

关于Hayman问题的两个推广

推广了两类微分多项式的值分布，它们可以看作Hayman问题推广的相应结果的补充。