软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

一种基于模糊遗传算法的多传感器多目标跟踪数据关联算法

基于模糊遗传算法发展了一种新的数据关联算法。数据关联的静态部分靠一个模糊遗传算法来得出量测组合序列和S-D分配的m个最优解。在数据关联的动态部分，将得到的S-D分配的m个最优解在一个基于多种群模糊遗传算法的动态2D分配算法中依靠一个卡尔曼滤波估计器估计出移动目标各个时刻的状态。这一基于分配的数据关联算法的仿真试验内容为被动式传感器的航迹形成和维持的问题。仿真试验的结果表明该算法在多传感器多目标跟踪中应用的可行性。另外，对算法发展和实时性问题进行了简单讨论。     

基于模糊神经网络的导弹最优寻的末制导律

提出了一种适用于一类末制导段采用推力矢量控制的新型导弹的模糊神经网络最优寻的末制导律.在制导律设计时不仅要求导弹能量最省,脱靶量最小,同时考虑了推力矢量控制的非线性特点,并且为改善该神经网络系统的学习效果,在学习算法中还引入模糊学习规则.数字仿真表明所提出的模糊神经网络制导律对于机动目标具有较好的攻击能力.     

基于六模糊控制器的自适应遗传算法

遗传算法的性能主要取决于算法对满意解的搜索和优化的能力。本提出的自适应遗传算法可以自动均衡搜索和优化关系。该算法采用六个模糊控制器对符号编码遗传算法的遗传操作实施动态参数控制。对旅行商(TSP)问题的求解结果表明该算法在解决类似于TSP的组合优化问题时具有比标准遗传算法更好的性能。     

The Space Environment Monitors of Shenzhou Manned Spacecrafts

For the purpose of ensuring normal operations of Shenzhou (SZ) series of manned spacecrafts and cosmonauts' safety, Space Environment Monitors (SEM)are mounted on board SZ-2, 3, 4, 5. SEMs aim to detect the high energy particles, the low energy particles, charging potential, atmospheric desity and composition. Detection of SEMs enable us to understand better the space environment in the manned spacecraft's orbit, and to provide a good space environment services for the spacecraft and cosmonauts. In addition, by using the data from SEMs, we have achieved some scientific accomplishments, such as the energy spectra of precipitating electrons, the abnormal variety of atmospheric density and composition during geomagnetic disturbances, the electron angle distribution in the low orbit and so on.     

关于剩磁对卫星姿态确定与控制影响的研究

讨论了稳态剩磁对地磁姿态确定与控制系统的性能的影响。对某些卫星来说,星上的直流电设备单元会产生一个支配性的稳定磁场。文中提出一个姿态确定滤波器对剩磁场的影响进行了估计,然后从剩磁矩指向、大小及伸杆长度3方面分析了剩磁干扰力矩对姿态控制精度的影响。通过计算机仿真发现:该滤波器能有效消除剩磁场对姿态确定的影响;不同指向的剩磁矩令三轴控制精度出现较大的起伏,而不断增大的剩磁量则使控制偏差呈正比例增大,伸杆长度的影响却很微小。     

基于吱呀轮优化的多卫星数传调度问题求解方法

研究多卫星数传调度技术对提高对地观测系统的综合应用效益具有重要意义.通过分析卫星数传调度问题,建立一种考虑时间窗调整的约束优化模型.利用吱呀轮优化(Squeaky-WheeL Optimization,SWO)的大邻域导向式搜索特点,提出了一种基于SWO的多卫星数传调度算法.该算法可以在短时间内获得优化解.实验结果表明,该算法在时间性、优化度等方面取得满意的结果.     

微缝共振器的非线性吸声机理

为模拟高声压级时微缝处涡声相互作用现象并计算微缝声阻抗,发展了一种离散涡模型.联合微缝离散涡模型和一维声传播模型,计算了微缝共振器的声阻抗和吸声系数.数值结果表明,微缝声学性质主要取决于涡脱落和脱落涡层的演化;共振器的吸声系数随着入射声压级的增加而增大;入射声波频率对共振器吸声系数有显著影响.研究结果和先前直接数值模拟...     

鸭式导弹舵面后缘后掠角对滚转影响数值研究

鸭式布局导弹的滚转特性是抑制其性能提升的重要约束.采用数值模拟方法对鸭式导弹滚转特性进行研究,分析舵面后缘后掠角对其影响.以三维可压缩雷诺平均N-S方程为主控方程来模拟流场特性,湍流模型采用SST的κ-ω二方程,基于气动特性和流场特性分析研究了固定尾翼鸭式气动布局导弹的横滚特性.仿真结果表明,鸭式布局导弹的舵面后缘后掠...     

高时间分辨力瞬态热反射显微热成像装置

瞬态热反射显微热成像能够测量电子器件表面温度分布,兼具高时间分辨力和高空间分辨力,在GaN HEMT等大功率器件热测试中应用日益广泛。研发了瞬态热反射显微热成像装置,利用窄脉冲照明,捕捉特定短时间内被测器件表面的图像,实现瞬态热反射热成像,时间分辨力达到1 μs。以微带电阻作为被测器件开展了瞬态测温实验,激励脉宽10 μs,测试得到了不同时刻微带电阻上温度分布,可以观察到升温和降温过程的细节,温度上升和下降时间在（2~3） μs,有效验证了装置的时间分辨力性能。