具有随机偏差的最优多段卡尔曼估值器

提出了具有随机偏差的最优多段卡尔曼估值器。针对状态模型与观测模型同时具有偏差且偏差模型噪声与状态模型噪声相关的情况 ,给出了具有随机偏差的状态方程的增广状态 ,并通过U V变换对卡尔曼估值器的协方差矩阵解耦得到了最优多段卡尔曼估值器。结果表明 ,多段卡尔曼估值器不仅是最优的 ,而且降低了计算的复杂度     

语言符号任意性和象似性的辨证关系

文章运用自组织理论和原型理论对语言符号任意性和象似性的关系进行分析,指出语言符号的任意性和象似性的关系是辨证的,两者看似相对,实则相辅,它们存在于一个整体之中。对语言符号任意性和象似性辨证关系的认识,在英语教学中有着重要的实用价值。     

一种新型过滤机的应用

介绍一种新型动态过滤器,可以在封闭条件下完成常规的固液分离功能,还可以将分离得到的固体通过加热熔化,使固体物料以液体的形态排出过滤器;并将这种新型动态过滤器应用到香兰素生产过程中。     

一类信号所确定的预测误差滤波器的零点分布

对R.Kumaresan提出的由M个指数衰减(或不衰减)的正弦信号的和组成的信号进行了推广,讨论了由这类推广了的信号所确定的预测误差滤波器多项式的零点分布。信号零点完全由信号所确定。不论信号零点如何分布,只要预测误差滤波器多项式的系数满足某些条件,则其额外零点在单位圆的外部呈均匀状分布。     

TKSS—C型信号与系统实验箱的低通滤波器分析

对TKSS-C型信号与系统实验箱的低通滤波器实验模块进行了s平面几何分析，并利用MATLAB7．01中的Power Systems Blockset对其进行了仿真．     

时态范畴化的认知语言学研究——以现代法语时态为例

本文在认知语言学的视野内、在原型范畴理论的参照下,详细考察了法语时态范畴化的一些基本特征,指出其所具有的原型性、延续性和边界模糊性,以期对法语时态的教学提供帮助。最后笔者也提出了对原型范畴理论所存在的问题的一些思考。     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

水源热泵若干问题探讨

水源热泵系统在设计中与传统集中空调系统在一些问题上具有不同的处理方法,介绍了其中水源热泵系统在新风处理、蓄热技术的应用等方面的特殊方法.     

基于航速修正处理的单舰被动定位算法

提出一种基于航速修正处理的单舰被动定位算法，在修正增益推广卡尔曼滤波器的基础上，该算法把运动目标舰艇的航道约束当作输出为0的增加的观测数据加入到测量方程，约束的强度由约束条件的噪声方差确定。提出一种规避因子，用来约束目标状态方程中的航速，基本思想是根据当前估计的目标位置和航速，估计了一个针航行到陆地岛礁或即将航行到陆地岛礁时，用规避因子矩阵来修正航速的方向和大小，避免了出现目标航行到陆地岛礁的情况。计算机模拟结果表明，航速修正处理后不会出现穿越陆地岛礁的运动舰艇航透，同时还能提高对海上运动舰艇辐射源的被动定位精度。