Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

以发射质量最小为优化目标的反TBM拦截器优化研究

以反ＴＢＭ拦截器发射质量最小为优化目标,系统地研究了反ＴＢＭ拦截器总体优化技术,建立了反ＴＢＭ拦截器数学模型和优化算法,并得出重要结论。     

树形挠性多体系统的 Kane 动力学方程 ——一种面向计算机的建模方法

本文针对具有树形结构的空间挠性多体系统,建立了Kane 动力学模型。挠性多体系统由任意数目的挠性体或刚体组成,假定铰链点之间具有三自由度相对转动和平动,选取相对平动速度和转动角速度,以及模态坐标的导数为系统的广义速度,建立了系统的最小维数运动方程,所得结果便于计算机自动生成和进行数值仿真。     

师生心理场探析

教育、教学的双边活动构成了师生心理场。本文从心理学与社会学的角度对师生心理场的运行机制作了简单的介绍,进而从"教"与"学"的双向活动中对师生心理场的诸多因素进行分析和评价,并就"教"与"学"活动在理论与实践的结合上做了一定的探索。     

拦截俯冲目标的数学模型探讨

假设俯冲目标运动轨迹依次为水平直线运动、匀速圆周运动．俯冲直线运动的三个阶段．在这个假设的基础上,推导出拦截俯冲目标攻击我舰（艇）和友舰的数学模型．较准确的快速计算出目标曲线运动参数．俯冲直线运动参数和弹丸发射诸元．     

求吊声一次搜潜概率的新方法

本文用不同于既往的研究方法,从对目标运动要素散布的分析入手,较合理地假设了目标的运动,进而用数学分析方法推得吊放声纳一次搜潜概率的解析模型。这一模型的突出特点是计算简便、实用性强,各参数的含义一目了然。     

面向文本数据库管理系统的授权模型

构造新的授权模型以满足面向对象、语义、文本数据模型等对授权的需求是当前数据库技术的重要研究课题之一。本文提出了一个基于复杂对象数据模型的、以权主群及权体簇作为授权单位的多级授权模型,即MAM模型,并讨论了面向文本数据库授权系统的基本功能及基本操作。     

基于迭代卡尔曼粒子滤波的目标跟踪算法研究

粒子滤波在基于图像序列的目标跟踪中获得了广泛应用．针对其计算量较大的问题,提出一种迭代卡尔曼粒子滤波算法,将非线性跟踪问题分解为线性子结构的全局状态空间模型和非线性子结构的局部状态空间模型,利用粒子滤波在卡尔曼滤波估计值的局部范围内搜索目标,逼近真实目标状态．将实验结果与粒子滤波进行比较,结果表明,迭代卡尔曼粒子滤波减少了粒子数,降低了计算量,能够对高机动目标进行实时稳定的跟踪．     

动态液-液旋流分离器油滴运动轨迹模拟

针对动态液-液旋流分离器油、水两相过程,从流体力学基本方程出发,采用雷诺应力模型、QUICK差分格式和SIMPLE算法模拟分析动态液-液旋流分离器内的流场;并以此为基础,采用离散相模型和多相流模型,模拟油、水两相分离过程和油滴运动轨迹.模拟结果表明:油滴粒径决定其在旋流分离器中的运动轨迹、速度及分离特性,大粒径油滴更易于向中心聚集形成油芯,油芯的形状与油滴的大小直接相关;动态液-液旋流分离器的主要分离过程在转筒内完成,油相分离效率随着油滴粒径的增大而提高.     

有限声速的纯方位算法

针对纯方位条件下对等速直航目标观测的算法问题,将目标运动要素及平均声速作为待估计参数,给出了计算非线性最小二乘法目标函数梯度与Hessian矩阵的解析公式,基于这些公式,可以构造估计目标运动要素的一些算法及编程实现。部分数值实验表明,信赖域算法、Levenberg-Marquardt算法与Matlab用于解非线性最小二乘问题的函数lsqnonlin的计算精度基本一致。