Performance evaluation for MAP state estimate fusion

This paper presents a quantitative performance evaluation method for the maximum a posteriori (MAP) state estimate fusion algorithm. Under ideal conditions where data association is assumed to be perfect, it has been shown that the MAP or best linear unbiased estimate (BLUE) fusion formula provides the best linear minimum mean squared estimate (LMMSE) given local estimates under the linear Gaussian assumption for a static system. However, for a dynamic system where fusion is recursively performed by the fusion center on local estimates generated from local measurements, it is not obvious how the MAP algorithm will perform. In the past, several performance evaluation methods have been proposed for various fusion algorithms, including simple convex combination, cross-covariance combination, information matrix, and MAP fusion. However, not much has been done to quantify the steady state behavior of these fusion methods for a dynamic system. The goal of this work is to present analytical fusion performance results for MAP state estimate fusion without extensive Monte Carlo simulations, using an approach developed for steady state performance evaluation for track fusion. Two different communication strategies are considered: fusion with and without feedback to the sensors. Analytic curves for the steady state performance of the fusion algorithm for various communication patterns are presented under different operating conditions.     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

减压活门性能试验台系统方案设计

主要介绍了减压活门性能试验台的实现机理、采用的方案。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

微重力科学与应用研究（上）

空间微重力环境的独特物理现象对航天器各系统均产生无法回避的影响，在型号研制中正确计入微重力效应是航天事业发展中的一个重要研究领域。在现阶段，航天器发动机再启动相关的微重力研究以及载人航天防火安全相关的微重力研究应当引起人们的高度重视。随航天事业的发展，微重力效应问题日益会严重起来（结构动力学、耦合动力学、多相流温控、低重星球场着陆撞击……），进行深入广泛的微重力效应研究对保证航天器飞行任务完成有着不应忽视的作用     

数控车削加工仿真系统结构研究

根据实际加工情况提出了一种虚拟NC车削加工的仿真系统的设计及实现原理。在Visual C++平台上利用OpenGL技术建立虚拟加工机床数字化模型,用C++语言实现物理仿真相关的各个数学模型的建立,进行虚拟环境下数控车削加工的几何仿真及物理仿真,实现产品的虚拟车削制造。     

INITIALIZATION METHODS FOR GROUP TRACKING

ＩＮＩＴＩＡＬＩＺＡＴＩＯＮＭＥＴＨＯＤＳＦＯＲＧＲＯＵＰＴＲＡＣＫＩＮＧＹａｎｇＣｈｅｕｇｙａｎｇ；ＱｕＪｉａｎｍｉｎｇ；ＭａｏＳｈｉｙｉ（ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎａｕｔｉｃｓａｎｄＡｓｔｒｏｎａｕｔｉｃｓ，Ｂｅｉｊｎｇ，Ｃ...     

航天产品工艺定型阶段工艺文件的编制与审查

从编制《工艺定型标准化要求》、审定有关工艺定型文件和编写《工艺定型标准化审查报告》等方面浅述航天产品工艺定型阶段应做好的标准化文件的编制与审查,并对其工作内容作了介绍。     

数学教学中培养创造能力的探索

本文结合多年教学实践，对激发学生的创造意识，培养发散思维，运用创造技法等方面进行了探索。