面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

波音727飞机的ISAR成像处理结果

逆合成孔径雷达(ISAR)能够对运动目标进行高分辨率雷达成像。本文利用波音727飞机的外场真实数据研究了ISAR的信息处理,它包括运动补偿和成像。文中给出并比较了实现IS—AR运动补偿的几种方案,它们是距离对准的空域法和频域法,相位补偿的散射点基准法和多普勒中心跟踪法。我们对完成了运动补偿的等效转台数据进行了FFT—距离多普勒成像和超分辨成像。波音727飞机的外场数据处理结果证明了文中所述的ISAR运动补偿和成像方法是正确和有效的,同时也说明了超分辨成像的优越性。它不仅有利于雷达目标的识别和分类,而且能够降低ISAR的大带宽要求和克服大转角ISAR运动补偿的困难。     

任意平面曲线的圆弧逼近方法

提出了一种根据给定精度逼近平面任意曲线的方法。该方法可以逼近任意次有理Ｂ样条曲线以及非均匀有理Ｂ样条曲线，尤其克服了双圆弧逼近方法的局限性实现了对封闭曲线的圆弧逼近。该方法独立于坐标系，独立于曲线类型。实际应用结果表明，它是一个适用于ＣＡＤ／ＣＡＭ集成系统任意平面曲线的圆弧逼近通用算法。本文对边界条件确定、误差修正和拐点处理进行了一定的研究，得出了一些价值性高、实用性强的结论，为数控加工任意平面曲线提供了一条简捷、易行、可靠的途径。     

涡流环及其阻抗计算

本文将空心放置式线圈在平面异体中激发的涡流等效成一个环形涡流区域，计算该涡流环的尺寸，分析涡流环对检测线圈阻抗的影响以及计算涡流环的阻抗。     

在彩色图象中抽取颜色恒常性和高光

某种材料表面的颜色具有与形状无关的稳定特性,但图象中表面的颜色由于存在高光和影调而是变化的。建立颜色反射的物理模型是正确理解图象颜色的基础。叙述了根据Klinker~[1]等提出的二色反射模型,在颜色空间直方图中,利用K-L 变换作平面拟合,分离面反射颜色分量与体反射颜色分量,计算光源和物体色度坐标的方法。讨论了实际CCD 摄象机的局限性,给出了实验结果。文中的彩色图象是指单一颜色光照(非单一波长的光照)下的单色物体在彩色CCD 摄象机中成的象。     

相变热图试验技术研究与应用

相变热图试验技术是通过在飞行器表面喷涂具有一定相变温度的相变涂料来进行大面积热测绘的风洞试验技术，在FL-31高超声速风洞中，采用半球-圆柱体绝热模型进行试验的结果表明，相变热图试验技术的假设成立，测量可靠，特别是与之相配套的相变热图图谱分析软件系统的开发，使测热试验更加可视化和自动化。     

脉冲功率放大链相位噪声检定系统中的信号处理系统

详细介绍了在脉冲功率放大链相位噪声检定系统中的信号处理系统的设计方案、工作原理及功能。本系统是整个检定系统的重要组成部分，在整个系统中担负着将放大器链的噪声信号进行转换、采集、存储、传输、处理和显示等任务，它由硬件电路和系统软件两大部分组成。硬件电路主要由采集单元、存储单元、控制单元、时钟单元及计算机接口等几个模块组成，其功能是：将模拟信号转换为数字信号，暂存采集到的信号数据，并将数据送人计算机内存中。电路中设有自检功能，从而增加了调试的透明度，也提高了系统工作的可靠性。系统软件由控制软件和分析处理软件组成，前者负责控制硬件进行自检，以及谐调各部件间按一定的时序工作；后者负责将噪声数据进行各种数据处理（时域、频域分析），并根据检定系统的测试指标要求（噪底、起伏特性等）给出正确的测量结果。软件设计采用多层菜单式动态显示技术，图文并茂，显示醒目直观。整个检定系统经多次联试试验后，结果表明，本信号处理系统方案设计合理，工作稳定可靠，功能强，维护方便。将本系统的设计思想应用于雷达发射机稳定性测试系统中也取得了很好的效果。     

低杂噪比下的杂波建图研究

在低杂噪比下建立雷达杂波图，是实际碰到的工程难题之一。针对这个问题，利用计算机仿真等手段，对不同低杂嗓比下如何有效地建立杂波图进行了系统的研究，得出了很多有价值的定量结论。从而为微弱杂波的建国提供了大量的重要参考数据。     

电磁环境仿真中雷达天线的数学建模

根据现代战场条件下雷达工作模式复杂多变的特点 ,提出了电磁环境仿真中多种雷达天线方向图和雷达扫描的数学模型 ,并在此基础上完成了雷达电磁环境仿真软件。对相控阵雷达天线的数学模型也做了一定的研究     

液体火箭发动机基于定性键合图模型的故障诊断方法研究

结合基于模型知识的诊断推理方法和键合图理论在定性建模方面的优点，提出并研究了液体火箭发动机基于定性键合图模型的故障诊断方法。以某大型泵压式液体火箭发动机为研究对象，建立了其定性键合图模型，给出了基于此类定性模型的故障诊断机制，并利用仿真数据验证了诊断结果，对该方法及其结果进行了详细的分析。研究结果表明，该方法具有诊断快速有效和易实现的优点。