联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

线性谐振子的计算机代数计算

采用计算机代数方法，通过Mathematica软件计算线性谐振子的波函数，几率密度和几率最大值的位置。计算方法简单、通用，易于推广。     

解释学习在机器人过程控制中的应用

机器人过程控制是智能机器人系统的一个特别重要而又十分复杂的研究课题。本文将解释学习应用于机器人过程控制，为之开发了一种新的方法。仿真结果表明，该方法可行、有效。同时，还尝试了将Ｐｒｏｌｏｇ语言作为机器人过程控制的运行机制的形式化表达工具的可能性。     

感应加热钢包炉电磁与结构优化

感应加热钢包炉是国外新发展的一种二次精炼及加热设备，具有高效、低能耗、无污染的特点，本文在感应加热钢包炉电磁与结构分析工作的基础上，用电磁场数值模拟方法对感应加热钢包炉的电磁设计和包壳结构进行优化。     

Dirichlet公式的简化证明及应用

本文给出了Ｄｉｒｉｃｈｌｅｔ公式的一个简化证明，极易掌握。利用这一公式导出了一个含双参数的级数及其和的表达式。适当选取参数，得出了几个新的收敛级数。     

立井强化冻结施工理论分析

本文以谢桥主井为例,从冻结壁强度、变形、工作面底鼓和超前位移及冻胀压力等几方面.分析了深厚表土立井强化冻结施工对防止冻结管断裂和外层井壁破坏的机理.给出了强化冻结施工适用条件.并提出了按井帮温度进行强化冻结设计的方法.     

最优吸收截面的存在性

对被真空包围的无穷平行平板，运用勒贝格控制收敛定理和Ｃａｕｃｈｙ－Ｓｃｈｗａｒｔｙ不等式，给出稳态中子迁移系统最优吸收截面的存在性。     

对两种估计单属性关系大小方法的可信度讨论

估计两个单属性关系在连接属性上取相同值的个数的方法有两种:静态估计法和动态估计法.本文利用不精确性推理模型对这两种方法的可信度定量地进行讨论,并用具体例子进行说明.     

中国食酪螨属一新种记述：蜱螨亚纲：粉螨科

记述了从江西省南昌市酿造厂、制酒厂的豆饼和高粱等内采得食酪螨属(Tyrophagus)一新种,即赣江食酪螨Tyrophagus ganjiangensis sp.nov.     

铜基合金中马氏体穿晶行为的研究

在形状记忆合金中,存在马氏体穿晶生长现象,它是热弹马氏体相变在小角晶界的行为。