PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

圆柱壳受不对称径向冲击时的塑性动力屈曲分析

本文发展了Lindberg、Duffey等人的思想,考虑不对称冲击下圆柱壳的塑性动力屈曲问题,旨在研究内凹变形与屈曲的关系。用能量法导出了不对称基本变形的微分方程,近似地将之与对称情形下屈曲扰动控制方程联合,构成一个初值问题,然后进行数值求解。考虑了壳厚变化,放弃了屈曲过程中速度保持不变的假定(对称情形中采用)。本文的研究结果很好地解释了高速冲击时倒塌模式上无屈曲波形,屈曲波形遍布加载范围内且并不明显减弱,局部冲击临界速度高于对称情况形下临界速度等许多实验与已有的分析结果,从而明确了屈曲在塑性动响应中的地位。     

基于非线性动力学的液体火箭发动机高频不稳定燃烧过程

采用非线性动力学方法对液体火箭发动机非线性高频燃烧不稳定工作过程进行了研究。气相控制方程组用欧拉坐标系下的Navier Stokes方程组描述,液相控制方程组在Lagrangian坐标系下进行描述,气、液两相作用通过方程组的源项互相耦合。用高压蒸发理论对火箭发动机喷雾过程进行了描述。采用计算燃烧学的方法对发动机燃烧室内的湍流两相燃烧过程的稳定燃烧状态和高频不稳定燃烧现象进行了数值模拟。通过分析和讨论,得出了火箭发动机高频不稳定燃烧过程的波动过程类似于奇异吸引子的结论。     

空中目标战术意图层次推理框架及实现

以提高对空态势感知能力为目的,着眼于构建以专家系统为特征的目标意图推理决策支持系统,首先根据目标意图的含义从意图、行动和状态三个层次进行了层次表示,并简要分析了实现意图推理的六种途径.根据空中目标的作战使用等领域知识将其意图从属性类型、战术类型、威胁类型和任务类型四个层次进行了分解.基于意图推理输入信息的分布性特征以及意图的层次分解建立了基于判定树的意图层次推理框架以及数据驱动的推理控制机制.该框架为建立空中目标战术意图的推理实现方法提供了重要的依据.     

不可能差分分析时间复杂度通用计算公式的改进

研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。     

螺旋桨定常/非定常水动力性能 CFD不确定度分析

为评估计算流体力学(CFD)方法预报螺旋桨定常及非定常水动力性能的可信度,分析了误差来源并提出改进措施,采用RANS方法并选用SST k-ω湍流模型选取三套网格和三种时间步长对DTMB 4119螺旋桨的定常及非定常水动力性能进行了数值计算,并对计算结果进行了验证与确认。不确定度分析结果表明:螺旋桨定常水动力性能在设计及低进速系数时得到确认,高进速系数时未得到确认;可采用加密网格的方式降低数值不确定度,从而将评估模型误差用于改进计算模型;非定常水动力性能修正后的数值不确定度小于1%,可在2%～3%的水平上得到确认,能够满足其计算精度要求。     

舰艇新型平衡变压器及其应用

针对舰船电力系统带单相负载运行引起的三相不平衡问题,首先设计了一种适用于舰艇电力系统的新型平衡变压器,给出了变压器的基本结构,并推导出其数学模型,分别建立了电磁关系和原副边电流关系,有限元仿真证明了所设计的平衡变压器能够实现两相对称系统到三相对称系统的转换,验证了理论推导的正确性;然后,提出了一种基于新型平衡变压器的舰船单相负载供电方式,开展了MATLAB仿真,结果表明:应用平衡变压器后电网电流不平衡度更低,负序特性更好;最后,研制了1 kW实验样机,并进行了性能测试,实验结果与理论分析、仿真结果是一致的。     

反电动势对无扰载荷航天器精确定向的影响

无扰载荷航天器中非接触式作动器反电动势会引起有效载荷模块与支持模块之间的耦合,影响有效载荷模块的精确定向性能。通过建立无扰载荷航天器的耦合动力学模型,分析非接触式作动器反电动势对有效载荷模块精确定向性能的影响。考虑六支杆立方构型无扰载荷接口,结合拉格朗日方程和牛顿欧拉方法建立有效载荷模块平台动力学模型。推导非接触式作动器的输出力模型,并引入有效载荷模块平台动力学模型,给出考虑非接触式作动器反电动势的耦合动力学模型。将支持模块上飞轮动静不平衡引起的谐振作为干扰力矩,建立了无扰载荷航天器在轨定向状态的Simulink仿真模型。仿真结果表明,反电动势系数越大,干扰力矩对有效载荷模块的影响越大,有效载荷模块精确定向精度越低。     

基于Hu矩的无人直升机着舰标志识别方法

针对无人直升机自主着舰中准确识别着舰标志的需要,提出了一种基于Hu矩的无人直升机着舰标志分块匹配识别方法。分析了无人直升机自主着舰中的着舰标志识别问题,给出了基于分块匹配的着舰标志识别处理流程;在此基础上,实现了对视觉图像在不同场景下的预处理;最后,在不同场景下对所提方法的有效性与可行性进行了实验验证,结果表明,应用该方法能够较好地实现对着舰标志的识别,具有一定的军事应用价值。