Coverage evaluation is indispensable for verification via simulation . as the functional complexity of modern design is increasing at a breathtaking pace , it is requisite to take observability into account 可观测性覆盖准则是一种从行为角度对模拟激励进行评估的准则，是对传统覆盖准则的增强。
Theory of self - calibration of platform was enucleated . process of self - calibration of platform discussed in this thesis was given . observability of multi - position error calibration was studied , then calibrate the errors of the platform 阐明平台误差自标定原理,提出本文研究的平台系统自标定过程,并研究多位置翻滚试验下的可观测性分析,进行平台误差系数的标定。
In chapter 5 , the causes of the problem and the effects caused by it that measurements are gotten sequentially by several planes in location and tracking system using doa measurements with multi - planes are studied and the observability is discussed 第五章研究了测向交叉定位中多机观测不同步问题,进行了可观测性分析,引入了scaat方法处理多机不同步测向数据,并进行了仿真实验。
Study on observability and degree of observability of sins observability and degree of observability analysis of a dynamic system is an essential procedure to determine the efficiency of a kalman filter designed to estimate the state of that system 捷联惯导系统可观测性和可观测度分析方法的研究：在设计卡尔曼滤波器之前，通常先进行系统的可观测性分析，确定卡尔曼滤波器的滤波收敛性。
However , the testing cost is increased rapidly due to lack of controllability and observability , and thus general test access mechanism and high - performance automatic test equipments ( ates ) are needed to overcome the testing problems 但是由于高度整合的结果，使得各个线路缺乏足够的可控制性与可观测性，也造成了需要额外的测试存取机制以及高速的自动测试机台来完成测试，因此造成了测试成本的增加。
In chapter ii , by using the method of regular systems we investigate the stability and exact observability of the non - dissipative flexible beam systems with boundary feedback described by now we outline the contents of this chapter and state some of the results 在第二章中，我们将用正则系统法来研究下述非耗散边界反馈弹性梁振动系统的稳定性与精确可观测性：下面我们具体阐述一下第二章的主要内容以及主要结论。
Unfortunately , nowadays coverage metrics taking observability into account are not very satisfactory . on the one hand , for the observability assessment algorithms proposed up to now , the overhead of computing is large , so they could not be integrated into simulation tools easily 传统的覆盖准则只考虑代码的可控制性，忽略其可观测性，这些准则保证了代码会执行，但其执行错误并不一定可以反映到验证者所选定的观测点上。
During this procedure , the proposed algorithm always tries to cover all unobserved statements , and reduce unnecessary backtracking , so it is efficient . the methods proposed have been implemented as a prototype tool for vhdl designs , and the results on benchmarks show significant benefits 然而，目前可观测性覆盖评估技术有很大局限性：一方面已有的可观测性覆盖评估方法的计算复杂度高，时间开销大另一方面已有的针对可观测性覆盖评估准则的激励生成算法效率不高。
Backed up by the soplat theory based on particle kinematics , the second chapter of this paper presents with analysis and simulation of several single observer passive measurement models , which uses such relative movement parameters as bearings changing rates and centrifugal acceleration information on the basis of bearings measurements . in the third chapter , the observability of location respectively using bearings and its changing rates information and centrifugal acceleration information is analyzed , and its observable condition is got . the fourth chapter puts forward the modified covariance extended kalman filtering ( mvekf ) against the defect of traditional extended kalman filtering ( ekf ) , whose performance is simultaneously compared in the chapter with the performance of ususal tracking algorithm such as ekf , mgekf , iekf by computer simulation 在近年来提出的基于质点运动学原理的单站无源定位理论基础上，本文第二章提出了几种在角度测量的基础上增加角度变化率及相对运动的离心加速度等运动学参数的单站无源测量模型，并对它们进行了分析和仿真；第三章分别对利用角度及其变化率信息定位和利用离心加速度信息定位的可观测性进行分析并得到了相应的可观测条件；第四章针对传统扩展卡尔曼( ekf )方法的缺点，提出了一种修正协方差的扩展卡尔曼滤波( mvefk )方法，并将其和ekf 、 mgekf 、 iekf等常用的单站无源定位滤波方法进行了性能仿真比较；第五章通过引入雷达机动目标跟踪方法和模型，提出了利用角度及其变化率对机动辐射源跟踪的多级噪声自适应方法和imm方法；第六章主要对角度变化率和离心加速度参数的获取技术进行了研究，提出了几种高精度测量脉冲序列多普勒频率变化率的方法。
Time domain 1 ) the problem of the estimability of stochastic systems is discussed by analyzing information varying between states and state estimate errors . an information theoretic definition of estimability for general stochastic systems is given in the sense of minmax entropy estimation . it is concluded that a linear gaussian stochastic system is estimable if and only if the corresponding linear definite system is observable 时域： 1 )通过分析系统状态估计中先验和后验信息变化讨论了随机系统的可估计性问题，给出在最小最大熵估计意义下一般系统的可估计性定义，并揭示出线性高斯系统的可估计性与相应确定性系统的可观测性之间存在互为充分必要条件的关系。
