频率合成参数自动测试系统

主要介绍频率合成参数自动测试系统硬件组成及工作原理。通过较详细地介绍频率准确度的表征和频率稳定度的表征来说明测试程序中各参数的计算方法所依据的理论根据，并对主要仪器的诊断程序作了简要介绍。系统采用ＡＳＴ３８６／３３＋ＧＰＩＢ接口板作为系统控制器，ＧＰＩＢ接口板采用成都电子科技大学研制的作为个人计算机辅助测试（ＣＡＴ）工作站的接口板，测试程序采用ＥＳＢＡＳＩＣ语言，该语言是成都电子科技大学在ＧＷＢＡＳＩＣ的基础上，加进了ＧＰＩＢ控制和测试语句而研制的。该语言功能强，尤其对带有ＧＰＩＢ接口的仪器操作特别方便，并可在汉字操作系统下运行，各种曲线绘制程序采用图形语句功能较强的ＱＵＩＣＫＢＡＳＩＣ语言。     

符号执行和测试数据辅助生成的实验系统

本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。     

高速RS编码器的FPGA实现

ＲＳ码广泛应用于卫星通信,移动通信和数据存储等领域中,研究用现场可编程编辑阵列（ＦＰＧＡ）实现高速ＲＳ码编码器;对硬件实现中的主要问题做了分析和讨论,仿真和实际测试结果均表明,编码器原理样机功能正常,吞吐率可达２００Ｍｂｉｔ／ｓ。     

1553B总线控制器编解码设计

1553B总线以其可靠性高、实时性好的优点被广泛应用于航天领域.针对目前中国采用进口芯片实现1553B通信存在的弊端，这里采用FPGA来实现1553B通信.当前1553B解码器只支持正负信号同时输入.本文对解码器进行改进，实现支持只正端信号输入、只负端信号输入和正负端信号同时输入三种模式.根据1553B编码器和解码器的设计过程和工作原理对所提方案进行测试.结果表明，本文设计方案与采用进口芯片的方案相比，测试结果一致性良好.经过大量测试，这里设计的具有自主知识产权的1553B IP核运行稳定，能够满足航天工程化的要求.      

微位移动态测量干涉仪智能系统

本文介绍了微位移动态测量干涉仪的计算机数据采集、处理系统以及4(1/2)位表头的改进和独特的输入接口。由于采用了先进的计算机技术,提高了干涉仪的精度,使其测量重复性3σ<0.002μm,并可根据用户需要,选用不同的采样间隔和测量范围,最后自动打印出被测试的电感式、电容式测微仪的非线性。     

场强标准和EMS测试装置

本文简述了TEM小室的用途、结构设计及主要性能的测试方法。TEM小室不仅能作电磁场标准,而且能作EMC测试设备,它的工作频率范围为5kHz～300MHz。所产生的最大场强为300V/m。所提供的横电磁波的大小由输入功率或输入电压计算。文章还介绍了为降低输入端驻波比所采取的一些措施,给出了性能测试结果,并用广义方和根法分析了系统的不确定度。     

铯束管电子倍增器的工作特性

本文介绍一种用可拆卸的测试系统来测定和铯束管中使用的电子倍增器的工作特性。测试时输入电子信号,由测出的这些数据计算电子倍增器的增益和倍增器电极的二次电子发射系数。对环境因素(敞露在空气中和真空烘烤)的影响也进行了测定。     

以太阳为射电源直接测量天线G／T

介绍以太阳为射电源,直接测量扩充后中国陆地卫星地面接收站,３个数据通道天线的Ｇ／Ｔ性能．对固定通道,测量了Ｌａｎｄｓａｔ—５下行频率的Ｇ／Ｔ～α（天线俯仰角）性能曲线;对可变通道,在α＝５°、３０°时,测量了Ｌａｎｄｓａｔ—６、ＪＥＲＳ—１、ＥＲＳ—１、ＳＰＯＴ卫星、ＺＹ—１卫星下行频率的Ｇ／Ｔ性能,以及可变通道的Ｇ／Ｔ～ｆ性能曲线,最后进行了误差分析．     

基于启发式遗传算法的模糊测试样本集优化方案

模糊测试作为当前最有效的漏洞挖掘方法，不仅比其他漏洞挖掘技术更能应对复杂的程序，而且可扩展性很强。在数据量相对较大的测试中，模糊测试输入样本集存在质量低、冗余性高和可用性弱等问题。因此，对模糊测试输入样本集进行研究，提出了启发式遗传算法，借助0-1矩阵，通过启发式遗传算法对样本的执行路径进行选取和压缩，从而获得优化后兼顾样本质量的样本集最小样本集合，进而加快模糊测试的效率。实验结果表明:在没有损失的情况下，样本集精简后模糊测试的时间比精简前降低了22%，压缩率相比传统方案提升约40%。      

微波下介质的介电损耗测试与误差分析

本文介绍了一种改进的E010柱形谐振腔近似法测试微波铁氧体材料复介电常数的测试系统。由于在系统中采用了谐波混频和锁相技术,抑制了微波源的寄生调频,消除了稳态的剩余频差,而使源的频率稳定度达1×10~(-8)/小时。同时,在系统中利用双通道零示法克服了微波源输出辐度不稳定对测试的影响。测试精度提高了近十倍。本文还对测试系统做了较详细的误差分析,并给出了误差公式和实验的测试数据。当测试灵敏度为tanδε≈5×10~(-4)时,其精度优于±3％。     

四余度伺服机构可靠性试验方法研究

由于四余度伺服机构高可靠性、短寿命设计的特点,使基于大样本长时间的指数分布可靠性试验方法难以奏效.根据四余度伺服机构纯耗损的故障机理,对其可靠性试验方法进行了研究,提出了基于威布尔过程的可靠性试验及参数统计方法.在3个基本假设的基础上,对故障率逐步提高的纯耗损型产品在寿命末期进行工作点线性化处理,认为短任务时间内威布尔过程瞬时故障率可近似等于当前工作点的指数分布故障率,把威布尔过程可靠性试验与指数分布可靠性试验有机地结合起来.试验结果表明,基于威布尔过程的可靠性试验方法可以大大缩短试验时间,节省试验费用,为高可靠性机电产品的可靠性试验提供了一种有效的途径.      

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

立体物料仓库单元的机械系统FMEA分析

立体物料仓库单元是钣金自动化智能生产线中重要的板料储存中心，其可靠性问题直接关系到钣金自动化智能生产线的可靠性，因此，对钣金自动化智能生产线的立体物料仓库单元机械系统进行故障模式及影响分析(FMEA)十分重要。针对传统FMEA中缺少功能和故障因果关系分析的问题，提出使用维护感知设计环境(MADe)软件对立体物料仓库单元的机械系统进行功能分析和故障数据分析，并建立立体物料仓库单元的功能模型图和机械系统的故障因果关系图。在此基础上，根据立体物料仓库单元功能模型图构建机械系统的模糊认知图(FCM)邻接矩阵，再通过计算得出立体物料仓库单元机械系统的FMEA表。对立体物料仓库单元机械系统进行基于MADe软件的FMEA分析显示，所提方法对提高钣金自动化智能生产线可靠性具有通用性。      

8mm Dicke辐射计波形仿真研究

采用System view软件对从输入到天线的噪声信号到A/D采样之前的各个模块和辐射计线性度进行了波形的仿真研究,仿真结果和实际相符合,对辐射计的硬件实现提供了很好的指导作用。     

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

宽频带磁带记录器自动检定系统

全面介绍宽频带磁带记录器自动检定系统的组成及功能、系统的技术指标、系统设计、硬件、软件设计与配置及系统不确定度及其测试方法     

球载高能天文望远镜的超视距自动跟踪

本文在HAPI-4原有系统的基础上，利用80C196超16位单片机，首次实现了球载姿态指向控制系统的数字化；借助于全球卫星定位系统GPS，实现了气球位置的高精度定位和时间的绝对定标；采用小型高密度磁带机作为球载数据流存储器，利用海事卫星实现超视距测控，形成了新一代的球载高能望远镜控制系统．     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

基于小波变换和聚类的BLDCM故障检测与识别

为了满足航空用机电作动器(EMA,Electro-Mechanical Actuator)高可靠性和大范围调速的要求,充分利用具有双通道容错结构的无刷直流电动机(BLDCM,Brushless DC Motor)系统特殊的结构和换相特点,通过分析两个通道中功率电路直流母线电流波形的突变特征,提出一种采用小波变换(WT,Wavelet Transform)与层次聚类算法(HCA,Hierarchical Clustering Algorithm)相结合的故障检测与诊断方法.并通过实际电机系统试验验证了方法的可行性与正确性.试验结果表明,这种方法对电机断相故障、逆变器功率管断路故障具有明显的检测与识别效果,而且不受转速、负载和噪声的影响.信号特征提取算法简单,故障识别方法可靠性高,无需额外设备,易于应用,具有很强的实际操作性.