密集阵近程防御武器系统的内测分系统

密集阵系统根据其体系结构一体化的特殊性,通过盘设计了一个完整的机内测试系统,以保证系统的可操作性和正常工作。本文主要介绍该系统机内测试的特点,功能概况和评价。     

英译汉中否定成分的转移

由于英汉两种语言表达习惯的不同,在进行语言翻译的过程中,我们常常会用到移位、去词补词等手段。本文着重分析了英译汉中否定成分的转移情况及方法。     

测量TOA和DOA的单站无源定位跟踪可观测条件

单站无源定位跟踪技术中,可观测性分析是一个关键问题,但是由于TOA测量方程的非线性程度太高,直接通过计算Jacobin矩阵得到的可观测矩阵形式非常复杂,很难得出明确的分析结果。采用新的思路推导了一种TOA测量方程的线性化方程,分析了测量TOA和DOA单站无源定位的可观测条件。最后给出了计算机仿真结果。     

基于Markov链的分布式仿真系统最佳检查点间隔研究

基于HLA的分布式仿真系统作为一类特殊的分布式系统,其容错一般基于回卷恢复实现,在回卷恢复中检查点间隔的不同会对系统性能产生很大的影响。分析了分布式仿真容错与一般分布式系统容错的异同,根据不同仿真进程对仿真结果的重要程度对其进行了分类,定义并利用Markov链分析了采用回卷恢复时分布式仿真系统的可用度,得到了系统最大可用度对应的检查点间隔的求解等式,通过一组试验数据验证了该最佳检查点间隔求解等式的正确性。     

面阵CCD用于光场能量探测的研究

面阵CCD在光场能量探测领域具有较大的应用前景。讨论了影响CCD探测精度的特性参数,包括平均暗电流、光电响应非均匀性和非线性,设计了特性参数测试系统,给出的实验结果对CCD用于光能探测具有借鉴意义。     

故障检查间隔期的简化计算方法

建立了定期故障检查策略下系统的可用度模型,在满足系统可用度要求的条件下,可以使用该模型确定故障检查工作的间隔期。为了简化故障检查间隔期的计算,给出了故障时间服从指数分布时,故障检查间隔期的上、下限计算公式及应用示例。     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

电子对抗装备软件的静态分析方法

软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.     

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

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

矩阵对角化的一个充要条件

给出了矩阵可对角化的一个新的充要条件,在此基础上,给出了求特征向量的新方法。