本期导读

软件测试的目的是衡量和提高软件质量，而对软件进行伴随测试，就能为开发过程的量化管理提供有效的数据。如何使软件测试有效地融人开发过程，本期提出了一些解决的途径。软件操作剖面的建立是进行软件可靠性测试的基础，使用UML技术建立软件操作剖面可以反映实际的构造操作剖面。针对现有分析方法的精度不够理想等问题，提出了一种面向场景的类型分析方法，该方法只对程序的指定执行场景进行分析，就能够有效地提高类型分析的精度，对于调用图构建、别名分析、依赖关系提取等过程有显著的价值。随着面向对象方法的成熟，面向对象软件测…     

基于场景语义的遥感图像目标识别

高分辨率遥感图像的信息解译的通常思路是从特定类型目标的检测与识别分析入手,最终实现图像场景的认知理解。给出一种利用CSIFT特征的遥感图像视觉特征表示方法和基于PLSA的遥感图像场景语义识别方法,并利用10类典型遥感图像场景进行实验,充分验证了该方法的有效性。     

基于WinNT DACL的应用开发安全设计

在NT系统中,利用授权访问控制列表机制,可以指定不同用户的访问类型,如读、写及执行权限;基于DACL．可以实现应用开发的一般安全设计。同时给出了VC＋＋6．0下的设计和实现的程序所必需的代码说明。     

StirMark基准测试程序在数字水印方案评价中的应用

给出了StirMark基准测试程序的概念和特征,介绍了如何使用StirMark基准测试程序评价水印方案,包括StirMark基准测试程序的API接口标准,如何通过配置文件来指定测试图像和测试类型以及如何通过StirMark基准测试程序的日志文件获得水印方案的评价信息,并验证了StirMark基准测试程序的效能。     

终端区局域增强系统故障场景的仿真研究

结合 GPS 信号在实际传播中可能遇到的干扰进行故障场景模拟，为局域增强系统完好性监测平台提供模拟的故障数据。设计了多种类型的故障场景，包括伪距跳变、载波周跳、电离层故障和星钟故障等，并对各种故障场景设计了相应的故障模型，用户可以根据需要对指定接收机、指定卫星选择某一具体时刻或者某段连续时刻，进行故障场景的模拟。     

5G移动通信特殊成形基站天线设计

针对5G大范围覆盖的应用场景进行了设计探讨,提出通过对基站天线垂直面进行余割平方成形、以保证大范围覆盖应用场景下信号的均匀性的方法。首先通过算法推导,证明余割平方成形的功率辐射波束可满足5G信号均匀覆盖的要求;其次,采用约束最优化方法,把天线的方向性系数作为目标函数,把指定区域的波束电平作为约束函数,求解基站天线辐射单元的权值,得到满足余割平方成形的辐射方向图。在MATLAB环境下开发了实现此算法的程序。本文的创新之处在于用实际的单元方向图和约束最优化方法,在保证天线增益最优的前提下,综合出需要线阵列天线方向图。引入仰角单元与其他正常单元一起综合方向图,解决顶盲问题,是这个方法的一个应用实例。最后,仿真验证该方法,并设置场景对应用余割平方成形的天线与常规天线的信号覆盖进行比较,证明该方法对信号均匀性有极大的改善。     

基于SAT的安全协议惰性形式化分析方法

提出了一种基于布尔可满足性问题的安全协议形式化分析方法SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。     

海量测试数据的场景化指标精细分析研究

本文提出了一种基于军事栅格、地理信息的多场景海量数据的精细化分析方法,能够支持用户在GIS地图上自定义测试场景;同时基于军事栅格,将海量测试数据进行切割和存储;从而实现测试数据与测试场景的关联,完成场景化指标的精细化分析。该方法能够提高场景化分析效率,深度挖掘大数据资源,节约测试和分析成本。     

基于蒙特卡洛树搜索的视频异常场景监测方法

通过视频监控可以更快速地发现异常场景,并尽快制止违法暴力行动。为保证监测精度,文中设计一种基于蒙特卡洛树搜索的视频异常场景监测方法。首先对行人轨迹特征进行提取,计算目标预测位置与实际位置的空间距离,判定二者的相对位置,建立三级异常图像;再基于蒙特卡洛树搜索算法设计行人行为判别方法,构建不确定判别网络,标记残差函数,对数据进行归一化处理,同时获得激活函数以及函数的输出值;最后,设计视频异常场景监测算法,基于协方差矩阵将多个判别结果汇总成一个整体,并以此得到监控视频内异常场景的监测结果。该方法能够通过目标提取得到视频内的异常目标。目标识别精度的测试结果表明,所提方法在简单场景与复杂场景内的AUC值分别为0.952和0.886,说明其监测精度较高,在简单场景与复杂场景下均可正常使用。     

基于双站幅度调制的虚假运动场景对SAR-GMTI的欺骗方法

为了产生方位向初始位置和幅度可控的虚假运动场景,该文提出针对合成孔径雷达动目标显示(SAR-GMTI)的双干扰机幅度调制的虚假场景欺骗算法。双干扰机分别通过移频和延迟在指定位置产生相同的虚假运动场景。设置幅度比控制两幅虚假场景叠加后产生的各点的相位,达到初始方位向位置可控的目的。理论分析表明算法能够在指定位置产生初始方位向位置和幅度可控的虚假运动场景。然后分析了干扰效果和影响因素,建立了干扰算法的应用模型,给出了虚假运动场景的成像位置、方位向初始位置和幅度补偿系数的设置方法,并讨论了双站沿方位向间距对算法的影响。最后,仿真实验验证了算法的有效性。     

VSAT网络实时拓扑结构与通联分析模型

以通信体制为TDM/MF-TDMA/DAMA的星形VSAT网络为研究对象,探讨了实时拓扑结构与通联分析在此类VSAT网络中的应用与实现原理,提出了基于分组的双线程分层分类参数提取方法,并采用UML面向对象的建模方法,建立了此类VSAT网络实时拓扑结构与通联分析的通用模型。     

Error-sensitivity assessment of vision algorithms

A methodology is proposed for the computation of output-data errors from given input-data errors for a given computational precision for vision algorithms. The approach is based on replacement of the arithmetic types of the object-oriented language used for coding of the tested algorithm by structures describing the values and error models of the numbers represented. The method is useful both for the initial testing of any vision algorithm and for the definitive testing of algorithms for which explicit error models are not known. It is also shown how two error models, namely that of the min/max error propagation and that of local-function linearisation, can be used for assessing the errors introduced by the input data and by the hardware architecture adopted     

基于XML的试验想定编辑软件设计与实现

为解决试验想定快速、便捷制作的问题，本文提出了一种基于 XML 的试验想定编辑软件设计方案。方案根据想定编辑软件的需求采用面向对象方法划分模块并设计。想定内容以结构化的 XML 语言定义，实现了信息的规范化描述，保证了想定文件可重用、易扩展的特性。 最后采用 C#语言结合 WPF 框架编程实现了该想定编辑软件，软件具有良好的人机交互界面，能够快速开发需要的试验想定，目前已应用于多个项目的试验工作。     

先验概率和似然函数未知时的分布式检测融合

在先验概率和各局部检测器的似然函数均未知的情况下,综合利用贝叶斯假设和边际分析方法,推导出了分布式检测融合模型,对融合模型进行了详细的讨论,并在多种不同的条件下进行了计算机仿真,结果表明,对于这种特殊情况下的分布式检测融合,针对不同的传感器数量、代价函数的不同取值以及融合中心的度量准则,通过选择不同的融合模型可以使融合中心的性能达到最优。因此,可以通过事先离线计算制表、实际应用时实时查表的方法进行融合模型的优化管理,实现融合中心性能的最优化。     

Approximate correctness-checking of computational results

The process of checking the correctness of time-critical computations involves a fundamental and inherently conflicting tradeoff: the precision of the checking vs the time required to perform the checking process. This tradeoff is particularly relevant when the computations are intensive and can require appreciable time for completion. This issue is addressed by an innovative technique based on an extension of the `use of certificates' which permits the precision of the correctness checking to be explicitly specified. This concept is developed relative to the broad class of problems which are amenable to the powerful and widely used B&B (branch-and-bound) strategy. It is extremely relevant to the motivation and importance of this paper to remember that `checking the correctness of results for computationally intensive problems' can be just as demanding as `generating the results themselves'. Accordingly, for time-critical applications in which a run-time result verification must be accomplished before a generated result can be released, a method for highly efficient approximate correctness checking of results in which it is efficiently determined that an obtained result is within some specified percentage of an optimal solution can be of enormous importance. This paper presents an approximate correctness checking methodology in which the precision of the result check can be explicitly specified and guaranteed even when an exact correct result is unknown, This controllable tradeoff, inherent in this method, can be the basis for new classes of adaptive result-checking strategies in which the precision of the check of a result can be varied, depending on the impact of the result within time-critical applications     

An investigation into the termination resistance of thin film resistors

A mathematical analysis of the termination resistance of thin-film resistors is given and a method of measuring this type of resistance is discussed. As examples, the termination resistances of sputtered and evaporated thin-film resistors have been measured. Relevant parameters of the termination to be specified are discussed.     

面向方面的系统分析与设计方法

为解决面向对象开发方法中的耦合性较高、可重用性较低和代码分散等问题,将面向方面的编程思想引入到系统分析和设计阶段,提出了面向方面的系统分析与设计方法。在系统分析阶段提出了分离系统核心关注和横切关注的方法,建立了类-方面分析图。给出了设计阶段的类-方面设计和动态协作设计步骤,提出了面向方面的扩展顺序图和活动图。最后,通过一个实例介绍了方法的应用。     

微分代数方法在静电电子透镜任意高阶像差分析中的应用

微分代数是计算机数值分析领域中的一个非常有效的方法,它以非标准分析理论为基础,可以实现任意高阶微分的准确计算.本文根据微分代数方法的基本原理,将其引入到静电电子透镜的任意阶像差分析的计算中.通过计算例子,可以看出微分代数方法的计算结果非常精确,精度仅受限于机器精度和算法误差.同时结合微分代数方法可以很方便地计算到任意高阶像差的特性,给出了所研究的透镜的全部五阶像差的分布图形.     

一种结构程序设计与分析的工具

本文讨论了一种新的结构程序设计与分析的方法──活动图。活动图提供了程序多层次的清晰、优良的结构与逻辑，是程序分析、设计实现、调试和维护的重要工具。本文还讨论了基于活动图的程序开发，并给出了一个实例。     

某型红外空空导弹导引头目标像点扫描仿真研究

为了探讨红外导引头目标像点脉冲信号的产生规律,本文基于某型红外空空导弹导引头目标像点扫描及脉冲信号的产生原理,运用Visual C 语言根据面向对象技术编写了目标像点扫描仿真软件,以此对像点扫描过程及脉冲信号的产生进行了计算机模拟。仿真结果表明,该软件比较真实地反映了目标像点的扫描过程及脉冲信号的产生规律,对分析同类型导弹导引头目标像点脉冲信号产生规律具有参考价值,并为进一步研究导弹跟踪目标所需的控制信号提供了条件。