关于Davidson—Lanczos方法的收敛率

本文对文[1]提出的求解大型对称矩阵A的极端(几个最大或最小)特征值及相应特征向量的Davidson—Lanczos方法,用Rayleigh—Ritz逼近理论,研究了该方法的收敛率。证明了由该方法产生的规范正交向量{v_i}_i~m=1是Krylov子空间K_m≡Span(v_1,Av_1,…,A~(m-1)v_1)的一组基。设A的k个最大特征值为又,λ_1>λ_2>…>λ_k,相应的近似特征值为λ_i~(m)(i=1,…,k),得到 这里γ_i(γ_i>1),W_i和W_i~(m)是常数。     

姿态四元数相关问题

介绍了四元数计算中的相关问题,包括四元数与方向余弦阵之间的转换、四元数运动方程、求解四元数运动方程时积分步长的选取和高动态应用中非互易误差的补偿,此外还介绍了对偶四元数的发展。     

一种星载巴特勒矩阵微放电特性的分析与验证

作为星载雷达发射微波功率合成的关键部件,巴特勒矩阵的微放电性能直接决定了雷达载荷的功率容量。因此,有必要对其微放电特性进行分析与验证。针对该需求,提出了一种用于大功率动态合成网络的星载巴特勒矩阵,并对其在真空条件下的微放电特性进行了分析与验证。第一,提出了一款用于星载雷达的大功率巴特勒矩阵,对其功率合成性能进行了分析。第二,为了对巴特勒矩阵微放电性能进行详细研究,对提出的巴特勒矩阵进行了微放电功率阈值仿真和自由电子分布分析。第三,为了验证分析结果的正确性,对该巴特勒矩阵进行了峰值功率14kW的真空微放电试验,验证了其在大功率真空环境下的微波传输功率容量。提出的巴特勒矩阵性能优良,为未来的星载雷达大功率微波部件提供了理论方法和关键技术支持。     

高精度中远程导航系统发展述评

介绍和分析了以多普勒速度传感器(DVS)加航姿基准系统(AHRS)为基准的高精度中远程导航系统(DNS)的基本工作原理、所具有的成本低、精度高等优点,及其在国外各种飞行器上的广泛应用。并展望了以多普勒导航传感器加AHRS和其他设备组合为基准构成的组合导航系统的发展前景。     

基于风险矩阵法与Borda序值法的航空公司运行风险评价讨论

风险管理是安全管理体系（SMS）的核心。航空公司运行过程中针对各类风险的有效管理,是保障航班安全、平稳运行的重要措施。风险管理过程中,风险评价是十分重要的环节,本文通过引入Borda序值法对某航空公司运行风险进行分析、讨论,总结了涉及各类运行风险的Borda序值结果,为实际工作的风险管控提供参考。结果表明,该方法的应用,可以有效的对航空公司运行各类风险进行排序,将有限的安全管理资源应用在风险较高的风险管控中。     

基于一致性预处理技术的作业车间调度算法研究

为降低CSP调度算法的计算复杂度和减少搜索过程中回溯发生概率,采用一致性预处理技术来预先修剪和过滤搜索空间。仿真实验证明:两种方法的综合运用可以显著提高CSP调度算法的搜索效率,从而为CSP调度算法求解大规模作业车间调度问题提供可能。     

工业摄影测量网形一致性对测量重复性精度影响研究

为提高空间望远镜桁架形变测量精度,对影响工业摄影测量精度的主要因素之一——测量网形进行研究,发现工业摄影测量网形的质量直接影响形变测量精度,在保证测量网形稳健性优的前提下,保持高的测量网形一致性可以大幅度提高形变测量精度。为验证该结论,以测量重复性精度为评价指标,在实验室条件下对测量网形一致性进行测试研究,结果表明高的测量网形一致性比随机网形提高至少2倍以上的测量重复性精度,可为提高空间望远镜形变测量精度提供技术支持。     

空间科学任务协同设计过程优化

为了对概念设计阶段空间科学任务协同设计过程进行合理规划, 减少设计反馈, 降低系统耦合度, 提出了设计结构矩阵(DSM)过程建模和遗传算法(GA) 过程优化算法. 该方法采用DSM对空间科学任务设计活动序列进行建模, 通过DSM描述设计活动间的信息依赖关系, DSM上三角之和代表该设计活动序列设计反馈次数; 将 DSM对应的设计活动序列视为染色体, 采用GA进行序列优化, 最小化设计反馈次数. 通过过程优化算法获取最佳设计活动序列, 优化设计过程, 降低系统耦合度. 空间科学任务实例分析结果表明, 该方法能够有效应用于空间科学任务协同设计的过程建模和过程优化, 指导设计过程的制定.     

一类矩阵方程的迭代解法

利用Kronecker积、矩阵拉直运算以及线性方程组的迭代解法,给出了解矩阵方程A1X1B1 A2X2B2 … AnXnBn=D的一种新的迭代方法,并给出了它的几种特殊形式.     

基于用户自定义变更的本体进化

提出一种基于用户自定义变更的本体进化方法。首先给出了该方法的形式化描述,建立了本体一致性模型和原子变更及冲突消解方法,然后对用户自定义变更模型进行语义描述,将用户自定义变更转换成原子变更,并对其进行了优化。最后给出了用户自定义变更及优化的实例。结果表明:本方法可以很好地满足本体进化过程中用户的复杂需求,并实现了本体变更的形式化描述,解决了各种变更中的冲突问题。