一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

人工蜂群算法在并行测试任务调度中的应用

并行测试是下一代自动测试系统的关键技术之一,而并行测试任务调度是并行测试的核心内容;首先建立并行测试调度的数学模型,根据人工蜂群算法解决动态调度优化问题的优势,提出基于人工基于蜂群算法的并行测试任务调度方法;并给出应用实例,仿真实验表明:该算法收敛快、准确率高,能有效解决并行测试调度优化问题。     

基于数字与模拟采集同步测控技术的研究

当前数字化闭环控制航天伺服系统测试时采用一种基于1553B总线控制和A/D模拟采集的测控系统设备,当进行动态特性测试时,1553B与A/D间的启动延迟导致测试结果的精度不准确。为了消除数模混合控制系统下启动零点误差对伺服系统动态特性的影响,对启动零点误差来源进行了分析,在伺服系统1553B总线架构数字化闭环控制的基础上,采用基于PXI硬件平台的数字与模拟采集启动零点同步技术,解决了由于启动同步时间差导致伺服系统动态特性数据处理结果跳变的问题,大大提高了伺服测控系统的测试精度。     

基于多信号流模型的诊断策略动态生成

针对静态故障树诊断序列长、人工可干预度差和不支持多现象并行推理问题,提出了基于D-矩阵和Rollout信息启发搜索算法的故障诊断策略动态生成方法,介绍了基于TEAMS多信号流模型的D-矩阵数据获取方法和Rollout信息启发搜索算法的DLL独立封装技术、输入输出数据规范和动态交互控制方法;基于此开发的交互式智能诊断系统(IIDS)软件平台经实际现场测试诊断验证,对诊断现场出现的多种客观条件,如系统工作模式或测试资源变化、用户干预和多故障现象并发推理等具有很好的适应性,故障覆盖率和隔离率指标高,对提高装备故障诊断的效率、准确性和灵活性具有显著作用。     

光磁混合存储动态测试系统中的聚焦伺服模块研究

介绍了光磁混合存储动态测试系统中聚焦伺服模块的设计和实现.伺服模块采用了双光束的方案,用独立的红光抽运(LD)作为伺服光源,构成独立的动态聚焦伺服单元,使伺服单元具有模块化、可移植的特点.它不仅适用于混合存储动态测试系统,还可用于卧式或立式、静态或动态的远场激光记录系统中.本文研究了聚焦模块中执行器压电陶瓷(PZT)的幅相频特性和非线性滞回效应,在控制算法方面,使用了PI算法闭环控制结合逆系统和逆非线性滞回模型进行校正,实现了高精度的动态聚焦伺服,在盘片转速为8 r/s时聚焦偏差在±130 nm内.利用该测试系统对有机材料作了动态记录测试,记录点大小和深度均匀一致.     

基于无线传感器网络的混合混沌新分组加密算法

针对无线传感器网络(WSNS)中节点配备的能源少、节点计算能力低、存储资源 有限以及传统的加密方法不适用于WSNS中等问题, 提出了一种新的基于动态迭代的混合混沌方程及其整型数值化方法, 并结合Feistel网络结构设计了一种快速、安全且资源消耗低的适用于WSNS节点的分组加密算法. 通过对混合混沌分组加密算法进行了大量的实验测试之后, 发现该算法具有密钥空间大、严格的雪崩效应、扩散及扰乱性高以及均等的统计平衡性等优点, 同时该算法还成功地通过了SP800-22的严格测试; 算法经过仿真器平台上运行的速度、时间及所占存储空间的测试分析, 结果表明设计的混合混沌分组加密算法是完全能够适用于WSNS节点的数据加密.     

反射内存卡在动态测试系统中的应用

某型空空导弹控制部件动态测试系统,在测试过程中出现测试数据传输延迟的现象,从而影响了测试结果,为解决这一问题,本文提出了使用反射内存卡建立实时网络系统的方法解决数据传输延时问题。通过使用VMI-5565反射内存卡建立的实时网络系统实现了某型空空导弹控制部件的动态仿真测试,目前该动态测试系统已经成功用于某制导武器动态仿真测试试验中。动态测试系统在使用了反射内存卡建立实时传输网络后,保证了测量数据传输的实时性和准确性,通过实际测试使用,该系统测试效果良好,完全满足科研试验使用要求     

光电跟踪系统稳定精度测试方法研究

针对光电跟踪系统稳定精度测试需求,提出一种稳定精度动态测试方法。该方法基于光学自准直原理,采用面阵CCD探测器,结合图像求取质心算法,实现被测系统的动态测试,通过该装置获得了稳定精度测试结果。结果表明:测试50 rad级两轴两框架系统动态稳定精度,通过该测试方法测出其稳定精度最大为48 rad。     

基于云计算的软件测试系统框架研究

针对传统的软件测试方法中存在的效率低、成本高等问题,将云测试技术应用到了软件测试中;介绍了云测试中的相关技术,并详细阐述了系统总体框架,使用了一种基于动态优先权的高优先权先调度算法,设计并实现了系统的调度子模块;Matlab仿真实验结果为在执行相同任务调度时,该调度算法比传统FCFS调度算法总周转时间短;当任务增加时,该调度算法总周转时间增加的慢,证明该算法可以显著地提高测试效率,提高资源利用率,缩减测试成本,实现软件测试的自动化。     

MEMS变形反射镜主要特性测试

介绍了基于微机电系统技术的微变形反射镜的基本结构和电极分布.分析了微机系统变形镜的变形原理,推导了微变形镜的镜面变形与外加驱动电压的关系.分析了基于计算机控制的频闪显微干涉测量系统的组成及测试原理,并利用该系统实现了对微变形镜静态电压-位移曲线、静态面形、动态离面变形以及谐振频率的测试.实验表明,测试结果与理论分析有很好的一致性.     

Guided-Wave Two-Dimensional Acousto-Optic Scanner Using Proton-Exchanged Lithium Niobate Waveguide

Two-dimensional scanning of a 0.6328 mum guided-light beam has been realized using noncolinear acousto-optic (AO) coplanar Bragg diffraction together with colinear AO guided-mode to substrate radiation-mode conversion in a Z-cut Xpropagation LiNbO3 proton-exchanged (PE) waveguide. The two surface acoustic (SAW) waves utilized are at the center frequencies of 500 and 200 MHz, propagating in the Y and X axes, respectively. Two-dimensional scanning of approximately 720 resolvable light beam spots, namely, 18 40 (horizontal vertical) scanning, has been demonstrated using a light beam of 1.0 mm aperture. The total number of resolvable beam spots can be greatly increased from 720 by simply utilizing SAW transducers of larger bandwidth and a light beam of greater aperture. It should also be possible to significantly increase the diffraction efficiency from 3 % by optimizing the parameters of the PE waveguide and the SAWs.     

Effect ofγ-radiation on the spectral luminescence characteristics of impure cadmium tungstate crystals

Results of a study of the effect of γ-radiation on the spectral luminescence properties of cadmium tungstate crystals doped with silver, bismuth, and molybdenum cations are presented. Spectral characteristics of the nondnnnoped crystals are briefly described. Absorption and photo and X-ray luminescence spectra of the crystals taken before and after exposure to γ-radiation (5.5·10⁴ Gy) are compared. It is found that the spectral characteristics of the crystals doped with silver, bismuth, and molybdenum cations do not change markedly after the exposure. The relation between the type of impurity-induced defects, individual characteristics of the impurity cations, and the character of the effect of γ-radiation on the spectral luminescence properties of impure crystals is analyzed (preliminarily). Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 64, No. 1, pp. 55–60, January–February, 1997.     

Femtosecond Transform-Limited Pulse Generation by Compensating for the Linear Chirp of SPM Spectra in Dispersion Shifted Fibers

A simple technique of pulse compression, based on the linear chirp compensation of self-phase modulation (SPM) spectra in dispersion shifted fibers, is demonstrated. The optimization procedure is carried out, for a short span of a single-mode fiber, using a parabolic law, which describes the behavior of the squared output pulse width versus the pump peak power in the case of Gaussian pulses. The experimental results give a minimum pulse duration of 233 fs, which is in good agreement with the model. Shorter and coherent pulses, down to 90 fs, have been obtained by inserting an interference filter at the optical output.     

Sorting of bending magnets for the SSRF booster

The Shanghai Synchrotron Radiation Facility(SSRF)booster ring,a full energy injector for the storage ring,is deigned to accelerate the electron beam energy from 150MeV to 3.5GeV that demands high extraction efficiency at the extraction energy with low beam loss rate when electrons are ramping.Closed orbit distortion(COD)caused by bending magnet field uniformity errors which affects the machine performance harmfully could be effectively reduced by bending magnet location sorting.Considering the affections of random errors in measurement,both ideal sorting and realistic sorting are studied based on measured bending magnet field uniformity errors and one reasonable combination of bending magnets which can reduce the horizontal COD by a factor of 5is given as the final installation sequence of the booster bending magnets in this paper.     

Measurement of nonlinear coefficient of optical fiber based on small chirped soliton transmission

We measure the waveform and phase curves of short optical pulses before and after transmission over different lengths of fibers by use of the pulse analyzer with the frequency-resolved optical gating (FROG),and numerically simulate pulse evolution under the experimental conditions.The nonlinear coefficient of the fiber is given by comparing the experimental results with the numerical ones.Difference between the experiment and numerical simulation is analyzed.     

Resonance scattering of canonical elastic shells in absorbing fluid medium

Resonance scattering of elastic spherical shell and cylindrical shell while the surrounding fluid medium has absorption is studied. The normal mode solution derived using exact elastic theory and the separation of variables is still applicable. However, the scattering form function has to be modified for the absorbing medium, otherwise the unreasonable result would be obtained. The backscattering form function in the absorbing medium is redefined, and the form function of elastic spherical and cylindrical shell with vacuum or solid matter filled is calculated in various absorption conditions. The results show that the absorption of surrounding fluid leads to notable attenuation of the coincidence resonances in the mid-frequency, but it has a little influence on the low-frequency resonance scattering induced by the filler inside the shell.     

Single-beam self-referenced phase-sensitive surface plasmon resonance sensor with high detection resolution

A versatile and low-cost single-beam self-referenced phase-sensitive surface plasmon resonance(SPR)sensing system with ultra-high resolution performance is presented.The system exhibits a root-mean-square phase fluctuation of ±0.0028.over a period of 45 min.i.e.a resolution of±5.2×10-9 refractive index units.The enhanced performance has been achieved through the incorporation of three design elements:a true single-beam configuration enabling complete self-referencing so that only the phase change associated with SPR gets detected,a differential measurement scheme to eliminate spurious signals not related to the sensor response,and the elimination of retardation drifts by incorporating temperature stabilization in the liquid crystal phase modulato .Our design should bring the detection sensitivity of non-labeling SPR biosensing closer to that achievable by conventional fluorescence-based techniques.     

Influences of SiO2 protective layers and annealing on the laser-induced damage threshold of Ta2O5 films

Ta2O5 films are prepared on BK7 substrates with conventional electron beam evaporation deposition.The effects of SiO2 protective layers and annealing on the laser-induced damage threshold (LIDT) of the films are investigated.The results show that SiO2 protective layers exert little influence on the electric field intensity(EFI)distribution,microstructure and microdefect density but increase the absorption slightly.Annealing iS effective on decreasing the microdefect density and the absorption of the films.Both SiO2 protective layers and annealing are beneficial to the damage resistance of the films and the latter is more effective to improve the LIDT.Moreover,the maximal LIDT of Ta2O5 films is achieved by the combination of SiO2 protective layers and annealing.     

A stereo matching algorithm using multi-peak candidate matches and geometric constraints

Gray cross correlation matching technique is adopted to extract candidate matches with gray cross correla- tion coefficients less than some certain range of maximal correlation coefficient called multi-peak candidate matches. Multi-peak candidates are extracted corresponding to three closest feature points at first. The corresponding multi-peak candidate matches are used to construct the model polygon. Correspondence is determined based on the local geometric relations between the three feature points and the multi-peak candidates. The disparity test and the global consistency checkout are applied to eliminate the remaining ambiguous matches that are not removed by the local geometric relational test. Experimental results show that the proposed algorithm is feasible and accurate.