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

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

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

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

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

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

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

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

余辉等离子体的实验研究

利用调制脉冲产生的余辉等离子体的参数测量表明:等离子体空间电位和电子温度的衰变是重要的,它在余辉等离子体的密度衰变过程研究中必须予以考虑.对容器中余辉等离子体密度径向分布的测量结果与理论预言是一致的.     

参量型空气折射率传感系统

本系统分别利用传感器测出空气的温度、气压和湿度三个参量,把测量值用一个通用于不同机型的接口电路连接到微机进行数据处理并计算出空气折射率值。文中叙述了传感器及其检测电路的设计原理,给出了检测和接口电路框图、计算公式和程序流程图。整个系统已通过联机调试和初步的对比试验。     

基于SPCE061A数字语音温度控制系统的设计

以凌阳SPCE061A单片机为控制核心,设计并制作了一款具有温度设定灵活、数字显示及语言播报功能的水温控制器,通过PID控制算法产生脉宽调制波,提高了控制精度。实践表明:该水温控制器达到了设计要求,有一定的实用开发价值。     

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

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

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

本文是对空间机器人由地面站遥控操纵在空间抓物实验方案的仿真研究,它是在图形计算机工作站上用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.