结合度量空间和时间的逻辑

与时态和空间有关的推理问题是人工智能研究中重要的组成部分，近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识，提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2，表示和推理随时间变化的距离关系，看成是时态逻辑和度量逻辑的迪卡尔乘积，给出了语义和语法，研究了它们的表达能力，用于时空约束满足问题、时空知识库以及移动对象数据库(MOD)等。     

甘肃新安煤矿人工成孔灌注桩施工方案探讨

对人工挖孔桩的施工工艺进行系统的介绍,以及在施工过程中要控制及注意的质量问题进行分析。     

弹体高速入水弯曲弹道实验研究

通过模型高速入水实验,利用高速摄像机拍摄了弹体入水过程和空泡形态演变过程,得到了4种头部外形模型的弹道曲线,并分析了头型、入水角、入水速度对水下弹道的影响。研究结果表明：椭圆斜截头弹体由于其特殊的头部更容易产生偏向水面的弯曲弹道,而其他3种弹体在一定速度内弹道比较稳定,基本趋于直线,虽然在有些工况下弹道发生了偏转,这是由于弹体加工过程中结构误差等造成的弹道不稳定性;入水角对弹道影响比较显著,小的入水角条件下弹体迅速向水面偏转,而入水角增大到一定程度时弹道向缸体底部偏转。所得结论可为高速入水武器的研究提供参考。