语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

计算流体动力学在液体火箭发动机中的应用

对计算流体动力学（ＣＦＤ）在液体火箭发动机中的应用情况进行了全面的回顾与分析,提出了今后的发展趋势与方向。     

一种通用有效的神经网络映射算法

首先分析了神经网络映射的本质,神经网络拓扑结构和神经计算过程,在充分考虑负载均衡与通讯开销的基础上,引入了时间步的思想,提出了一种通用有效的神经网络映射算法,最后给出的对多种拓扑结构的神经网络的测试结果证明了该算法的通用性和有效性。     

数字位置差动瞄准线独立控制系统原理分析与试验研究

基于数字伺服技术介绍了自行高炮数字位置差动瞄准线独立控制系统结构原理,给出了传递函数分析及试验研究结果。指出该系统具有动态精度高、通用性强等特点。     

“自主式”角速率火控系统弹道气象修正问题研究

弹道气象修正是火控系统不可缺少的关键环节,对“自主式”角速率火控系统来说更是个技术难题。文中提出的弹道气象修正数学模型,解决了“自主式”角速率火控系统中的弹道气象修正问题。不仅考虑了其原理的正确性,而且分析了其实现的可行性。本模型与文献￣［１］的解相遇原理公式组成一整套通用、完备的“自主式”解算数学模型。     

TIG熔修改善船体钢焊接接头使用性能原因分析

本文通过４５ｋｇ级船体用钢焊接接头趾部熔修前后显微组织、残余应力、应力集中及表面状态等变化的研究,分析探讨了ＴＩＧ熔修改善接头使用性能的原因所在。这对于制定合理的熔修工艺,保证熔修质量,提高熔修效果具有重要的参考价值。     

三维数据场的可视化

三维数据场是普遍存在的。本文给出一个三维标量场和矢量场的可视化方法：对计算或实测产生的离散数据重构三维连续场的分布,构造数据场的整体发光模型,并根据发光模型计算视屏投影区域上各象素点的光强值,采用直接体绘制（ｄｉｒｅｃｔｖｏｌｕｍｅｒｅｎｄｅｒｉｎｇ）及视觉增强处理绘制出场的可视化图象,通过特征面处理绘制出场的局部分布图象。图象层次及细节丰富,反映了场的分布信息。系统具有较强的交互功能,静态、动态显示功能及友好的用户界面。     

锥壳稳定方程的一般解

在本文中,用应力函数和中面法向位移表示的锥壳稳定方程被变化成为一对无奇异性的简化方程,然后得出了方程的幂级数形式的一般解。计算结果与已有的实验结果符合良好。计算分析了８种边界情况下边界条件对静水外压临界载荷的影响及解的收敛性。     

轻型鱼雷及飞机投放装置

本文主要概述了轻型鱼雷的性能、飞机空投鱼雷使用条件及飞机投放鱼雷装置,同时也对主要直升机性能作了概括。这对于使用轻型鱼雷进行空投反潜具有重要参考价值。     

直接瞄准射击提前量实测法的理论跟踪误差

本文分析了直接瞄准射击中用实测法确定提前量产生理论跟踪误差的原因,推导了一个计算此项误差的近似公式,利用此公式讨论了理论跟踪误差的变化规律及影响因素,并讨论了减小此项误差的措施.本文也提出了精确计算理论跟踪误差的方法,并实际计算了装有火控系统对运动目标射击时的理论跟踪误差,从而讨论了装有火控系统的坦克是否需要修正此项误差.