利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

Fabrication of AA7005/TiB2-B4C surface composite by friction stir processing: Evaluation of ballistic behaviour

The present work aims to enhance the ballistic resistance of AA7005 alloy by incorporating the TiB₂ and B₄C ceramic reinforcement particles. Surface composites with different weight fractions of TiB₂ and B₄C particles were processed by friction stir processing. Micro-hardness and depth of penetration tests were carried out to evaluate the ballistic properties of the surface composites. The surface hardness of the composite was found to be nearly 70 HV higher than base alloy. The depth of penetration of the steel projectile was 20–26 mm in the composites as compared to 37 mm in the base alloy. Ballistic mass efficiency factor of the surface composite was found to be 1.6 times higher than base alloy. This is mainly attributed to the dispersion strengthening from the reinforcement particles.     

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

松耦合设计在计算机脆弱性测评系统中的应用

运用松耦合设计思想,对计算机脆弱性测评系统中两个子系统的组成和实现进行了研究。提出多准则测评子系统的Web数据库实现和CVE测评子系统的多层MAS实现方法,并对其实现算法和技术要点进行了论述。     

航空电子总线测试系统的设计与实现

现代航空电子综合化系统通常建立在M IL-STD-1533B多路传输数据总线通信网络基础之上,总线控制器(BC)和各个远程终端(RT)必须满足M IL-STD-1553B规定的各项协议指标要求,才能正确地联网通讯。讨论了某型航空电子总线测试系统的设计与实现,主要探讨了此系统的软、硬件开发,系统组成及其BC和RT有效性测试的主要内容和要求。在实际应用中收到了很好的效果。     

Exact likelihood inference for the exponential distribution under generalized Type‐I and Type‐II hybrid censoring

Chen and Bhattacharyya [Exact confidence bounds for an exponential parameter under hybrid censoring, Commun Statist Theory Methods 17 (1988), 1857–1870] considered a hybrid censoring scheme and obtained the exact distribution of the maximum likelihood estimator of the mean of an exponential distribution along with an exact lower confidence bound. Childs et al. [Exact likelihood inference based on Type‐I and Type‐II hybrid censored samples from the exponential distribution, Ann Inst Statist Math 55 (2003), 319–330] recently derived an alternative simpler expression for the distribution of the MLE. These authors also proposed a new hybrid censoring scheme and derived similar results for the exponential model. In this paper, we propose two generalized hybrid censoring schemes which have some advantages over the hybrid censoring schemes already discussed in the literature. We then derive the exact distribution of the maximum likelihood estimator as well as exact confidence intervals for the mean of the exponential distribution under these generalized hybrid censoring schemes. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

雷达角跟踪系统检测的新方法

本文提出了雷达角跟踪系统检测的一种新方法——暂态特性测试法。文中介绍了该检测方法的原理及由CCD摄象传感器件、单片微机等组成的检测设备。分析了实验结果,讨论了提高检测精度的措施。     

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。     

C~3I系统仿真技术研究

针对Ｃ￣３Ｉ系统仿真基本技术特点,文章重点对Ｃ￣３Ｉ仿真程序基本结构、通用ＧＰＳＳ－Ｆ仿其语言编程特点及存在问题进行了研究。对Ｃ￣３Ｉ系统仿真设计与实现有参考价值。     

某型空空导弹控制舱检测设备设计

对某型空空导弹控制舱检测设备进行了总体设计。采用8031单片机,提出各类参数的检测方案,并对系统采取了抗干扰措施。