现场直剪试验中地应力影响的分析

本文研究由于高地应力的存在引起现场直剪试验试体剪切面上初始应力的分布规律。     

含断续节理脆性岩体灌浆效果研究

本文针对含断续节理天然岩体灌浆前后不同节理接触度,运用断裂力学理论建立相应的岩体抗剪强度分析模型。并用有限单元法研究了节理面不同接触度条件下岩体沿节理面方向综合抗剪强度参数的变化,从而定量地给出了灌浆效果与岩体强度的相互关系。     

正规模态逻辑S4的表推演系统TS4

讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。     

反坦克导弹舵机舵片抗烧蚀性能研究

针对反坦克导弹舵机舵片在２３００℃高温、２马赫高速高能粒子冲刷的服役条件下出现的烧蚀问题，分析了舵片失效的原因，提出了用化学热处理手段提高其抗烧蚀性能的途径．经推力台点火实测、理化分析表明：采用化学热处理方法是提高反坦克导弹舵机舵片抗烧蚀性的有效手段之一．     

偶子排圈方法及应用

本文在文（１）的基础上给出了阵Ｘ中偶子的排圈方法，由此法构成的偶子圈Ｃ，在优化设计方面有一定的应用，仿Ｃ，对文（１）中的阵Ｘ，亦有类似结果。     

FMS运行状态检测监控技术的研究

以柔性制造实验系统为研究对象，研究了ＦＭＳ检测监控系统的硬件体系结构和软件集成框架，提出了ＦＭＳ检测监控中信息的选择及故障处理策略，建立了基于专家系统和动态图形技术的ＦＭＳ运行状态检测监控系统，实现了运行状态的动态显示和故障的诊断。