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

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

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

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

π-塔群的若干性质

研究了一类介于π—可解群与π—幂零群之间的群——π—塔群的性质和结构，井由此得到了一系列判别有限群为π—塔群的充要条件．     

SQL多表外连接查询

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

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

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

基于三阶累积量奇异值分解的雷达目标识别

基于一维距离像三阶累积量矩阵的奇异值分解 ,由非零奇异值构成奇异值矢量作为正则子空间法的输入 ,提出一种雷达目标一维距离像识别方法 ,对目标进行分类识别。该方法一方面利用三阶累积量提高了抗噪性能 ,同时又使用非零奇异值矢量减少了存储量与运算量。仿真实验结果表明 :在低信噪比 ,该方法的识别率高于特征子空间法     

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

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

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

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