人工智能决策可解释性的研究综述

人工智能决策的性能在某些特定领域超过了人类能力,中国、美国等多国都颁布了人工智能发展战略和行动规划,期望人工智能在多个领域得到落地应用.但在人工智能决策过程中,存在着固有算法黑盒和系统信息不透明的问题,导致其结果正确但不可理解,阻碍了人工智能的进一步发展.为了人工智能的商用和普及,对智能决策可解释性的需求越来越迫切,需要将黑盒决策转化为透明过程,建立起人与机器之间的信任.本文从系统应用视角和决策收益者视角出发,重点对人工智能决策可解释性的基本概念、模型解释方法、高风险决策应用解释和解释方法评估等四个方面的国内外相关研究进行综述,并展望了未来研究发展趋势.     

DME/P精度评估

精密测距系统(DME/P)是国际上新开发的无线电导航系统,它与微波着陆系统配合,为进场飞机提供精密进场着陆引导。介绍了对DME/P系统进行测试的3种典型测试飞行剖面图。对测距误差的划分方法以及精度的分布特点作了详细分析,提出用合理的数字滤波软件和数据处理软件方法对其误差实现有效分离,并进行了飞行验证,对其测距精度进行了连续动态的准确评估。     

嵌入式Linux系统实时性能测试研究

为了对比分析嵌入式实时Linux系统和嵌入式Linux系统的实时性能差异,提出了软硬件协同测试的思想,以任务响应时间和中断响应时间为切入点,依托软件编程和硬件辅助设备分别测试了二者的实时性能。测试结果表明,经过实时化改造后的Linux系统其实时性能较标准Linux有了很大改善,尤其是在有背景负载情况下这种改善更为明显。分别给出了软件和硬件测试的原理和方法,通过两者测试结果的对比分析,相互验证了测试结果的有效性和合理性。     

基于ADAMS的并联机器人振动特性仿真及结构优化

提出了一种利用虚拟样机仿真技术进行结构优化的方法。分析了并联机器人的振动原理以及激振测试原理,并给出了利用正弦扫描进行激振测试的原理和流程。为了进行激振测试仿真,在ADAMS软件中建立并联机器人的刚柔耦合振动系统,并使该系统受到一定激振力产生位移响应,获得该并联机器人激振特性曲线,从而找出其薄弱环节并对其进行结构优化,对薄弱构件优化后再次对系统进行仿真测试,结果表明构件结构优化后的结果较为理想。     

导弹地面测试系统基本型的初探

本文简要说明了导弹自动化测试系统基本型的特点及其微机、总线和软件选型的原则,最后介绍了北京机电研究所开发的以8088为中央处理器的HTGTS-A型导弹自动化测试系统基本型概貌。     

实时GPS中频信号模拟器硬件开发及验证

为满足对GPS软件接收机和深组合导航研究的需要,开展了基于FPGA的实时GPS中频数字信号模拟器的研制。通过对GPS中频信号模拟器系统架构的分析,提出由计算机完成信号处理、FPGA完成数字调制、以太网完成调制信号输出的系统实现方案。使用SignalTapII和Matlab对系统的关键环节进行了测试和分析。GPS软件接收机对系统的测试结果表明,GPS信号模拟器工作稳定,满足GPS软件接收机测试的需要。     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

软件可靠性模型在软件测试管理中的应用研究

本文应用软件可靠性模型技术研究软件测试资源管理的两个基本问题:测试资源的预测与分配问题和测试的最佳释放时间问题。应用文献[1]中得到的一般软件可靠性增长模型,我们讨论了软件测试资源的预估和分配的一般方法和具体计算公式,以及在几种软件释放标准下的最佳释放时间的确定方法。文中所提供的方法与公式对于搞好软件开发工作,合理地使用测试资源,保证软件的可靠性指标与预定功能的完成,降低软件产品的价格性能比有一定的实用价值。     

面向HLA的交叉检验自动化测试方法研究

HLA标准有着数百条接口规范,其测试需要大量的人力,需要研究有效的自动化测试方法.针对目前HLA的测试用例不易组织和不完备的问题,提出了一种交叉检验的自动化测试方法.将测试接口按功能划分为不同的测试序列,把测试序列中的接口填入交叉检验表中进行关系判定,根据接口关系生成测试用例树并最终自动生成测试用例.在此基础上采用通用的测试程序框架,结合Rattonal Robot的自动化测试功能,设计了自动化测试同步控件,实现了在多台计算机上的RTI软件自动化测试.实验结果表明,该自动化测试方法达到了正确的功能,可大大降低开发测试人员的工作量.     

基于DMD的动态红外场景仿真器设计与测试

红外场景仿真器是红外制导武器半实物仿真系统中的关键设备.以某型号对地导弹导引头半实物仿真系统为应用对象,以微反射镜阵列(DMD)为实现方式,采用Vega软件及其SensorVision模块为开发工具,开发完成了基于DMD的红外场景仿真器系统.对成像制导仿真系统结构、场景生成器、视景软件分别进行了研究和设计.并对场景产生器进行了测试评估,包括分辨力、对比度、不均匀性、几何失真和最小可分辨温度等指标.该仿真器系统目前已经在某型红外成像导引头半实物仿真测试系统中获得应用,逼真度高,取得了理想的应用效果.     

On Software Development of Characteristic Set Method

1　IntroductionIn mathematics,there are two distinctsystem ofthoughts and methods:axiomatic methodand mechanical method. As consequences,there are two kinds of major activities,one istheorem proving and another is equation solving.In contrast to the Eucli…     

Optimal Budget Spending for Software Testing under the Condition of Nonlinear Constraint

Software testing is a very important phase of the software development process. It is a very difficult job for a software manager to allocate optimally the financial budget to a software project during testing. In this paper the problem of optimal allocation of the software testing cost is studied. There exist several models focused on the development of software costs measuring the number of software errors remaining in the software during testing. The purpose of this paper is     

软件测试费用及资源优化模型研究

软件测试是保证软件可靠性的主要手段 ,软件测试费用则是软件可靠性工程费用的重要组成部分。为对其进行研究 ,首先对Musa的软件可靠性的增长日历时间模型进行了简化 ,建立了软件测试日历时间模型。在此基础上 ,提出了软件测试费用模型 ,并结合软件开发的实际经验 ,对测试资源进行了优化     

A pair of coupling metrics for software networks

Complex networks are everywhere. A typical example is software network. How to measure and control coupling interactions of software components is a largely explored research problem in software network. In terms of graph theory and linear algebra, this paper investigates a pair of coupling metrics to evaluate coupling interactions between the classes of object-oriented systems. These metrics differ from the majority of existing metrics in three aspects: Taking into account the strength that one class depends on other ones, reflecting indirect coupling, and distinguishing various coupling interaction. An empirical comparison of the novel measures with one of the most widely used coupling metrics is described. Specifically, an experiment about the relationships of this pair metrics is conducted. The result shows that software complexity derived from coupling interaction could not be accurately reflected by one dimension of coupling metric for negative correlation.     

热轧层流冷却过程的智能建模仿真软件包

针对热轧层流冷却过程具有综合复杂特性，难以建立精确数学模型的难点，基于其智能建模方法开发了仿真软件包。讨论了仿真软件包的结构和功能。该软件包方便，实用，为热轧层流冷却过程的模型研究提供了良好的软件环境。     

故障树分析技术在软件测试中的应用

针对故障模式判决软件测试用例设计的特点 ,提出了一种利用故障树分析原理 (FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原理进行测试用例设计 ,根据故障判决模式画出故障树 ,将该树作为测试用例设计树 ,然后运用故障树原理获得该树的最小割集 ,将此最小割集作软件测试用例的设计的依据。利用该方法进行测试用例设计保证了测试的充分性、测试用例分布的合理性 ,同时依据此方法设计的测试用例辅助生成软件 ,也极大地提高了软件测试自动化水平。     

一种路由器形式化测试模型的研究

研究了基于进程代数的并行复合测试技术，其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析，而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。     

基于案例推理的磨矿粒度软测量及其软件实现

针对磨矿过程的关键工艺指标磨矿粒度难以进行直接在线检测且化验过程滞后的难题，并结合案例推理（cBR）技术在软测量建模方面的优势，提出了基于案例推理的磨矿粒度软测量方法，开发了相应的粒度软测量软件。实际应用效果表明该软件简单、实用，能够较好地实现磨矿粒度的在线软测量。     

网络性能仿真平台—RILL实验系统

本文介绍了一个计算机网络系统性能分析和仿真软件包——RILL实验系统的功能和结构。我们首先介绍实验系统的基本结构和功能,然后简单介绍系统的用户界面。