GPS定时校频应用技术的基础研究

针对利用GPS进行定时校频技术开展了一系列的应用基础研究,包括GPS定时校频的方法及其不确定度、定时校频数据的处理等。在给出实验结果的同时,对影响GPS定时精度的各种因素(包括SA影响)进行了讨论;同时对提高GPS定时精度的途径作了初步探讨。     

多位数频标测量系统

介绍一种非整数(多位数)频标频率测量系统的工作原理、误差分析及主要技术指标。频率测量范围从1～80MHz,系统的不确定度α<5×10~(-11)/s。该系统还可以同时进行多台频标的自动测试(配上计算机和多路射频开关)。     

支持MEMS的CAD/CAE系统结构研究

CAD/CAE技术在MEMS(Micro Electro Mechanical Systems)研究过程中具有非常重要的作用.本文首先介绍了用于MEMS的CAD/CAE技术特点,然后研究了MEMS CAD/CAE系统结构,给出了软件支持工具结构框图,指明了解决其中关键技术的途径.CAD/CAE技术的应用,将提高微型机电系统的设计质量,缩短研制周期,使之及早走向工业化.     

一个基于故障树模型的诊断系统

提出一种基于故障树模型的诊断方法，并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型，提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在ＣＯＭ－ＰＡＱ４８６微机上，Ｗｉｎｄｏｗｓ环境下，用ｂｏｒｌａｎｄＣ＋＋实现了该诊断系统，并通过对一个电路系统实验台的诊断验证了方法的有效性。     

人工释能法求解线性代数方程组

本文建立求解线性代数方程组的人工释能法迭代格式,并给出该迭代格式收敛的充分必要条件和最佳释能时机,同时给出实现人工释能法的数值计算方法及其数值稳定性条件。     

研究用现场数据估计系统可靠性参数置信区间

研究用元部件现场信息估计系统可靠性参数,如系统可靠度、可靠寿命等区间估计问题。文中提出了一种新的估计方法——替换百分点法,并运用Monte Carlo数字仿真对估计的置信度和精度进行了分析,研究结果表明此方法具有工程应用价值。     

利用双目标优化寻求颤振抑制控制律

本文对一个三角机翼/外挂系统的颤振主动抑制进行了系统的研究。在理论上,对如何应用现代控制理论设计优化控制律进行了探讨;对非定常气动力拟合的Pade矩阵近似作了改进;提出了用理想极点和二次型性能指标进行双目标优化来确定加权矩阵的思想;在实现上,用状态观测器和单秩法极点配置两种方法设计了输出反馈控制律。风洞实验结果表明:用本文的方法所综合的控制律是合适有效的,成功地使机翼/外挂系统的颤振速度提高了15.7％,与理论计算结果吻合良好。     

复杂测量系统中时间的系统误差测量方法

长距离的复杂测量系统中,由于传输通道不同,引入的传输延迟时间变化不同,导致原有时间关系的误差引入。介绍了几种可行的系统误差测量方法,以消除系统误差对信号间时间关系的影响,同时达到检验测试系统安排是否存在问题的目的。     

遥控机器人在空间抓物实验的仿真研究

本文是对空间机器人由地面站遥控操纵在空间抓物实验方案的仿真研究,它是在图形计算机工作站上用C语言编程实现的。视景化仿真描绘了自由飞行物与机器人之间的相对运动,考虑了空间站与地面站信息传输延迟的影响,用扩展的卡尔曼滤波实现了机器人对自由飞行物的自动跟踪,人在地面站观测预报的机器人和目标物的立体图象,可以经操纵球控制机械手运动。仿真结果表明,该方案对进一步研究有很好的参考价值。     

Online scheduling of distributed Earth observation satellite system under rigid communication constraints

This paper focused on online scheduling of distributed Earth observation satellite system in a dynamic environment. The objective was to maximize the total profit of the overall system by efficiently coordinating the different satellites with stochastic arrival of urgent tasks, subject to rigid communication and observation time window constraints. We formulated this problem as a single-task, single-robot, time-extended assignment problem with intra-schedule dependency using the multi-robot task assignment taxonomy and formulated the sub-problem after releasing urgent tasks in a mixed-integer linear programming model. We first described the online scheduling algorithm for a single satellite, then we proposed the modified consensus-based bundle algorithm (m-CBBA) and modified asynchronous consensus-based bundle algorithm (m-ACBBA) with synchronous and asynchronous communication, respectively. Compared with initial versions of CBBA and ACBBA, the modified versions added the communication loop prediction phases to efficiently utilize scarce communication opportunities and reduce the communication requirements. Additionally, we introduce two contract net protocol (CNP)-based algorithms for comparison, respectively SingleItem-CNP-based (SI-CNP) algorithm and Batch-CNP-based (BA-CNP) algorithm. Computational experiments indicated that both the total profit and percentage of scheduled urgent tasks achieved by the m-ACBBA and m-CBBA algorithms were much higher than those achieved by both SI-CNP and BA-CNP. Additionally, the number of communications needed by either m-ACBBA or m-CBBA algorithm was lower than that by SI-CNP. When the communication cost in the system is high, the m-CBBA algorithm is preferred because it balances the profit and the required number of communications. When the communication cost is low, the m-ACBBA algorithm is preferred because it achieves high total profit and high percentage of scheduled urgent tasks.