基于自适应卡尔曼滤波的机动目标跟踪算法

在机动目标跟踪过程中,由于目标运动的不确定性,雷达系统接收的数据存在噪声,使预置目标运动模型通常很难得到较高的跟踪精度。为此,以自适应卡尔曼滤波为基础,将直角坐标系和球坐标系相结合,提出了一种混合坐标系下的自适应卡尔曼滤波算法。算法避免了两个坐标系变换引起的噪声统计规律变化问题,并针对目标发生大机动运动的情况,自适应的调整动态模型中机动目标运动参数。蒙特卡洛仿真结果表明,改进算法的收敛速度和对状态的估计精度均得到优化,并对机动目标具有较好的跟踪性能。     

比例导引下的机动目标自适应滤波算法研究

针对反舰导弹的快速跟踪问题,在反舰导弹做比例导引运动的基础上,将比例导引规律引入状态方程,建立线性时变模型,实现对系统状态的自适应滤波,运用语言进行仿真计算,分析并得到了在不同的初始航向角、比例导引系数、导弹的初始位置和速度下的导引弹道滤波曲线和弹目相遇时间.仿真结果表明,导弹的运动数学模型是实用而有效的,较准确地反映目标的机动变化;在此基础上的机动目标跟踪模型在原理上是正确的,由此构建的滤波器能够较快地收敛,其跟踪精度较高.     

基于卡尔曼自适应滤波算法的机动目标仿真研究

卡尔曼滤波理论在目标跟踪中得到成功的应用,但是在目标各种运动状态下仅利用卡尔曼滤波很难具有良好的跟踪性能。介绍了几种自适应卡尔曼滤波算法,对基于"当前"统计模型的卡尔曼自适应滤波算法在目标跟踪领域进行仿真,验证了卡尔曼自适应滤波算法的可靠性。     

基于逻辑程序的安全协议验证

安全协议本质上是分布式并发程序,可以自然地描述为多个子进程的并发合成系统．将安全协议对应的并发合成系统抽象为逻辑程序进行消解,能够对安全协议无穷多个会话的交叠运行进行验证．该文提出了安全协议逻辑程序中逻辑规则的一个分类方法,基于该分类方法提出了安全协议逻辑程序不动点的迭代计算方法．逻辑规则的分类优化了安全协议逻辑程序不动点的迭代计算和安全性质验证过程中的计算．由于安全协议逻辑程序不动点迭代计算过程不一定终止,文中提出了每进行k≥1步安全协议逻辑程序不动点迭代计算验证一次安全性质的验证策略．     

基于神经网络的非线性船舶航向自适应逆控制

考虑船舶航向控制模型中存在的非线性,本研究在模型参数未知的情况下,基于神经网络非线性滤波器,构建了非线性船舶航向的在线自适应逆控制系统.通过对"The R.O.V Zeefakkel"散装船的仿真研究,证明了该自适应算法的有效性,系统在显著改善动态响应性能的同时,具有良好的鲁棒性和扰动消除能力.     

基于次协调逻辑的空战决策支持系统研究

为了解决传统逻辑推理在引入两个相互矛盾的事实时,推理将停止,继而提供不出有价值的结论的问题,给出了基于次协调逻辑理论的一种推理方法.在此基础上构造了次协调逻辑辅助推理空战决策支持系统,在传统逻辑推理因矛盾停止时,启动次协调推理,使得空战决策支持能够在矛盾中求协调,避免了系统陷入平庸状态.在某型空战模拟器上使用取得了初步成效,从仿真结果看具有次协调逻辑辅助推理的空战决策支持系统对复杂的空战环境具有良好的适应性.     

基于逻辑程序的调机路径规划研究

调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法。在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律。实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响。     

基于Transputer的逻辑程序解释器的设计与实现

本文论述一个在Ｔｒａｎｓｐｕｔｅｒ环境上设计并实现的一阶谓词逻辑程序解释器ＩＦＬＰ，着重讨论了其核心词法分析部分与合一回溯算法部分的实现机制，并给出相庆的运行实例。ＩＦＬＰ具有程序动态跟踪功能，能够随时指示问题求解过程中的逻辑推理步骤和解题轨迹，有助于用户了解程序的动态行为和调试复杂的逻辑程序。     

一种基于模糊逻辑的被动测量自适应抽样算法

结合被动抽样测量系统的特殊性,分析了模糊逻牟译控制理论应用于被动测量系统统抽样算法上的可行性,仿真结果表明,基于模糊逻辑控制理论的自适应抽样算法能够动态地调整被动测量系统地抽样间隔,使网络测量准确度和计算机资源费用达到优化。     

基于隔离逻辑的并行程序可靠性验证方法

并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大,使得验证的内容和目标之间的关系不明确。为解决该问题,提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图,描述变量相关的语句及执行关系,将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式,使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式,基于并发隔离逻辑的公理系统对语句执行序列进行验证,并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法是有效的。     

Logic Program Synthesis as Problem Reduction Using Combining Forms

This paper presents an approach to inductive synthesis of logic programs from examples using problem decomposition and problem reduction principles. This is in contrast to the prevailing logic program induction paradigm, which relies on generalization of programs from examples. The problem reduction is accomplished as a constrained top-down search process, which eventually is to reach trivial problems.Our induction scheme applies a distinguished logic programming language in which programs are combined from elementary predicates by means of combinators conceived of as problem reduction operators including list recursion forms. The operator form admits inductive synthesis as a top-down piecewise composition of semantically meaningful program elements according to the compositional semantics principle and with appeals neither to special generalization mechanisms nor to alternative forms of resolution and unification, or predicate invention.The search space is reduced by subjecting the induction process to various constraints concerning syntactical form, modes, data types, and computational resources. This is illustrated in the paper with well-modedness constraints with the aim of synthesising well-moded, procedurally acceptable programs.Preliminary experiments with the proposed induction method lead us to tentatively conclude that the presented approach forms a viable alternative to the prevailing inductive logic programming methods applying generalization from examples.     

方差自适应机动目标跟踪算法研究

针对机动目标弱机动时不能自适应调整,从而对弱机动目标跟踪精度不高的缺点,提出了一种改进的方差自适应机动目标跟踪算法。新算法将机动目标的运动状态分为弱机动状态和强机动状态,并通过新息平方的统计量和当前加速度估值进行机动自适应检测,能够根据目标当前的机动特性自适应调整过程噪声协方差矩阵,使运动模型与机动目标的当前运动状态相匹配,在保持对强机动目标跟踪性能的同时,实现了对弱机动目标更为精确的跟踪。仿真结果表明,改进算法对弱机动目标的跟踪性能明显优于当前统计模型。     

智能题库的模糊设计与分析

本文对影响试卷内容难度的要素进行了系统的分析,采用模糊方法对试题内容难度进行统计评价,以模糊变换理论对多相相关要素加以综合考虑,引入隶属度不表述它们对试卷难度的影响程度,并以此确定影响试卷难度的主要要素,这种方法提高了现有标准化试题库的智能性、灵活性和可靠性,进而增强了综们的适用性。     

VANET中基于模糊逻辑的RSU自适应数据更新方案

在基于路边基站(RSU)的车载自组网(VANET)路由协议中,RSU以固定周期更新数据导致交通控制中心(TCC)的部分数据容易失效,造成数据包丢失,严重影响路由协议性能。为此,提出一种基于模糊逻辑的RSU自适应数据更新周期计算方案。RSU根据自身服务范围内车辆节点的运动状况,利用注册表中数据量和数据更新速率参数,设计模糊逻辑控制系统,自适应计算数据更新周期,从而提高TCC中数据的有效性。实验结果表明,与BUS-VANET路由协议相比,基于该方案的VANET路由协议能够提升通信链路的稳定性和可靠性,并降低数据更新包数量和传输时延。     

基于仿真的主战坦克作战效能评估方法

主战坦克研制工作中 ,需要建立主战坦克的性能参数与作战效能的关系。针对这种情况 ,提出了一种在坦克与坦克作战对抗仿真结果的基础上评估主战坦克作战效能的方法 ,首先建立主战坦克作战效能指标体系、主战坦克作战模型和作战仿真平台 ,然后在作战仿真平台上进行作战仿真 ,最后对仿真结果进行统计 ,并选取作战效能的主要因素 ,建立作战效能综合评估表达式。改变主战坦克的性能参数值 ,在仿真结果的基础上得到相应的作战效能 ,从而建立了主战坦克作战效能与它的性能参数的联系 ,可用于综合评价不同坦克 ,优化设计方案。实验结果表明 ,这种评价方法是合理的     

基于模糊逻辑的高速网络自适应拥塞控制研究

基于模糊逻辑 ,利用自适应拥塞控制机制来预测高速网络 (如Internet中 )的拥塞问题 .把路由器的缓冲系统看作一个非线性离散动态系统 ,利用基于模糊逻辑的控制器来预测源端发送速率的确切值以防止拥塞的发生 .通过对参数向量的调节来估计无法预测的和具有统计波动性的网络通信量 ,并利用Lyapunov分析方法来验证闭环系统的稳定性 .最后 ,以一个仿真例子说明了所提出方法的有效性 .     

Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions

In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change.This approach leads to the implementation of aprototype system, having a multi-agent architecture,whose kernel is a set of rational agents,programmed in the logic programminglanguage DyLOG. In the prototype that weimplemented the reasoning capabilities of theagents are exploited both to dynamically buildstudy plans and to verify the correctness ofuser-given study plans with respect to thecompetence that the user wants to acquire.     

虚拟警务战术临战训练场景模型构建研究

本文基于虚拟现实技术建立警务战术的训练系统,以情境认知、表象训练和沉浸理论为支撑,实现警务训练三维可视、实时反馈、身临其境的警务训练情境.通过构建多层级松耦合模块化架构,从结构功能、应用框架进行设计规划,对法律法规意识、警用基本动作、公共突发事件出警进行全方位模拟,并给定相应的评价指标,从而满足警务战术的"基本训练、判...     

数据的逻辑综合分析及决策算法

文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。