排序方式: 共有41条查询结果,搜索用时 843 毫秒
1.
2.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10... 相似文献
3.
不确定参数结构特征值问题的概率统计方法和区间分析方法的比较 总被引:3,自引:0,他引:3
基于区间数学理论、灵敏度分析理论、Kronecker代数理论,应用Taylor级数展开、概率摄动技术,提出了具有不确定参数结构的特征值问题的区间分析方法。结合工程实例与传统的概率分析方法进行比较,给出了两种方法的数值解法及各自解法的Kronecker代数形式。数值算例的结果显示了区间分析方法在具有不确定参数结构特征值问题分析中的价值和有效性。 相似文献
4.
基于干扰观测器的高超声速飞行器预测控制器设计简 总被引:1,自引:0,他引:1
针对具有强耦合特性与模型不确定性特点的高超声飞行器控制问题,提出一种新型的姿态预测控制器设计方法。引入参考模型,建立了飞行器姿态预测控制模型。基于此,利用预测理论设计了飞行器的预测控制器,同时设计了干扰观测器实时观测外界未知干扰来进行补偿控制,从而实现滚动优化的目的;基于干扰观测值与真值的误差,利用Lyapunov稳定性理论,确定了控制精度与预测步长大小的关系;最后,在参数标称与拉偏的情形下进行了高超声速飞行器姿态控制系统仿真,仿真结果表明,干扰观测器能快速跟踪干扰,并且所设计的预测步长可以满足飞行器高精度的控制要求。 相似文献
5.
针对具有强耦合特性与模型不确定性特点的高超声飞行器控制问题,提出一种新型的姿态预测控制器设计方法。引入参考模型,建立了飞行器姿态预测控制模型。基于此,利用预测理论设计了飞行器的预测控制器,同时设计了干扰观测器实时观测外界未知干扰来进行补偿控制,从而实现滚动优化的目的;基于干扰观测值与真值的误差,利用Lyapunov稳定性理论,确定了控制精度与预测步长大小的关系;最后,在参数标称与拉偏的情形下进行了高超声速飞行器姿态控制系统仿真,仿真结果表明,干扰观测器能快速跟踪干扰,并且所设计的预测步长可以满足飞行器高精度的控制要求。 相似文献
6.
连续波雷达目标回波信号参数估计的克拉美-罗界 总被引:1,自引:0,他引:1
现代雷达、导航和通信系统几乎无一例外地采用了先进的信号处理技术 [1~ 3 ] 。目前 ,最大似然估计 (ML E)方法是获得雷达目标回波信号参数估计的常用方法。它给出信号参数的无偏渐近有效估计。克拉美 -罗 (CR)界是由样本数据的联合概率密度函数导出的无偏估计量的性能界 ,它可以作为所有参数估计方法的比较标准。任何雷达关于信号参数的测量精度都不可能优于 CR界。文中给出了雷达目标回波信号参数的 CR界的详细而严格的推导过程 ,得出的 CR界公式非常简洁 ,易于计算。实验结果证明了该理论公式正确 相似文献
7.
利用多颗卫星的时差频差对辐射源进行位置和速度的测量,其本质意义上是一个含有噪声项的高度非线性方程组求解问题,针对地面目标而言,可以采用基于WGS-84地球模型作为目标位置和速度约束,更进一步的增加了定位系统的复杂性。提出了一种基于半定规划(SDP)的定位解算法,将非线性方程求解问题通过适当的松弛,转化为半定优化(SDO)的问题,借助于业界较为成熟的CVX等优化软件进行定位求解,并研究了该模型条件下的克拉美罗下界(CRLB)。仿真结果表明,该算法能够较好地逼近克拉美罗下界。 相似文献
8.
Due to the deficiencies in the conventional multiple-receiver localization systems based on direction of arrival(DOA) such as system complexity of interferometer or array and amplitude/phase unbalance between multiple receiving channels and constraint on antenna configuration,a new radiated source localization method using the changing rate of phase difference(CRPD)measured by a long baseline interferometer(LBI) only is studied. To solve the strictly nonlinear problem, a two-stage closed-form solution is proposed. In the first stage, the DOA and its changing rate are estimated from the CRPD of each observer by the pseudolinear least square(PLS) method,and then in the second stage, the source position and velocity are found by another PLS minimization. The bias of the algorithm caused by the correlation between the measurement matrix and the noise in the second stage is analyzed. To reduce this bias, an instrumental variable(IV) method is derived. A weighted IV estimator is given in order to reduce the estimation variance. The proposed method does not need any initial guess and the computation is small. The Cramer–Rao lower bound(CRLB) and mean square error(MSE) are also analyzed. Simulation results show that the proposed method can be close to the CRLB with moderate Gaussian measurement noise. 相似文献
9.
This paper proposes a novel algorithm for Two-Dimensional (2D) central Direction-of-Arrival (DOA) estimation of incoherently distributed sources. In particular, an orthogonal array structure consisting of two Non-uniform Linear Arrays (NLAs) is considered. Based on first-order Taylor series approximation, the Generalized Array Manifold (GAM) model can first be established to separate the central DOAs from the original array manifold. Then, the Hadamard rotational invariance relationships inside the GAMs of two NLAs are identified. With the aid of such relationships, the central elevation and azimuth DOAs can be estimated through a search-free polynomial rooting method. Additionally, a simple parameter pairing of the estimated 2D angular parameters is also accomplished via the Hadamard rotational invariance relationship inside the GAM of the whole array. A secondary but important result is a derivation of closed-form expressions of the Cramer-Rao lower bound. The simulation results show that the proposed algorithm can achieve a remarkably higher precision at less complexity increment compared with the existing low-complexity methods, which benefits from the larger array aperture of the NLAs. Moreover, it requires no priori information about the angular distributed function. 相似文献
10.
《中国航空学报》2023,36(6):318-331
Passive localization by a single moving observer using Time of Arrival (TOA) only with an unknown Signal Repetition Interval (SRI) is investigated in this paper. Observability analysis is performed first. The observability condition for uniquely determining the emitter position and SRI is derived. The conditional Cramer-Rao Lower Bound (CRLB) is also analyzed. It is found that the ambiguity of the SRI integer of the first TOA does not affect the theoretical estimation precision of the emitter position and SRI. A Reference-Fixed Differential TOA (RFDTOA)-based Iterative Maximum Likelihood Estimator (IMLE) is proposed, which only needs O(M) computational operations. Theoretical analysis and simulation results show that the Mean Square Error (MSE) of the proposed algorithm could attain the CRLB with moderate Gaussian measurement noise. 相似文献