基于3D-DIC系统的白砂岩单轴压缩应变率效应的力学性能试验研究

通过选取典型岩样,研究了白砂岩在10^(-5)~10^(-3)s^(-1)应变率范围内的单轴压缩性能,采用3D-DIC系统观测和采集岩样表面位移云图,并分析不同应变率下岩样变形破坏特征差异。结果表明,岩样表面位移场变化反映了破坏面演化规律,剪切破坏面与位移场集中存在对应关系。全局轴向应变差异主要发生在微裂隙压密到弹性变形期间;加载初期,全局径向应变存在差异,在峰值强度时下端部区域径向位移最大,岩样上端部变形受到端部效应影响,径向向外膨胀受端面与垫片间摩擦限制;此外,下端部局部轴向应变大于上端部区域。随着加载速率增大,岩样从延性特征向脆性特征转变。加载速率较低时,岩样破坏过程中孔隙坍塌使得部分裂隙再次闭合、滑移而产生摩擦效应,从而使峰值强度附近的应力-应变曲线出现波动。白砂岩峰值强度、弹性模量、泊松比等力学参数随加载速率增大而增加。

非标准型^(3)He中子探测系统性能测试研究

用于核设施现场的非标准型中子探测系统在投用之前要进行性能测试和条件实验,通过搭建测试平台,组建基于3He探测器的中子探测系统,开展了电子学参数选取、最佳慢化厚度和伽马辐射干扰及消除等实验。通过调整探测距离和改变慢化体厚度等条件,测得反应产物全能峰能量分辨率最优为2.94%时,对应的工作高压为900 V、成型时间为6μs,此时中子信号可清晰地与环境伽马本底及电子学噪声分开,验证了工作高压、成型时间的调试方法可行。慢化厚度实验结果表明:该探测器对252Cf中子源的探测效率最大值对应的聚乙烯板厚度介于6~7 cm之间;实验研究发现:实际剂量率为0.39 Sv·h^(-1)时,中子甄别阈值以上区域有显著计数,5 mm的铅板对伽马射线有显著的屏蔽效果。实验方法和结果可为在进行同类探测设备性能测试时提供参考。

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。

基于Web Service的TTCN-3远程测试系统

通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的TTCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求。通过将该系统应用于某银行业务系统的测试,验证系统应用于远程自动化测试的有效性,提高测试效率。

基于Eclipse平台的TTCN-3测试系统

分析TTCN-3标准规范中的TTCN-3测试系统通用结构,提出一种基于Eclipse平台的TTCN-3测试系统体系架构。使用Eclipse的插件机制,实现TTCN-3测试环境与Eclipse平台的集成。讨论测试系统中各模块的功能及相关实现方法,阐述测试系统的具体测试流程。实际应用表明了该测试系统的有效性。

基于仿真的C^3I系统测试评估技术研究

C3I系统性能和效能的测试评估一直是个难点。论文提出了基于仿真的C3I系统测试评估方法,研究了C3I系统仿真测试环境的基本配置及支撑技术,并通过测试实例进行了验证。

基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块。以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试。测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励-反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试。

基于C++语言转换的TTCN-3测试系统的设计与实现

TTCN-3是一种用于协议与软件测试的标准化测试语言,文章提出了一种实现TTCN-3测试系统的设计方法,将用TTCN-3书编写的抽象测试套先翻译为C++语言,进而编译生成可执行的测试套,然后调度执行。并用这种方法实现了TTCN-3测试平台TTPlatForm,运行结果表明,这种基于语言转换的TTCN-3测试系统在性能、可移植性和灵活性均比采用编译生成成内存对象并调度内存对象执行的方式有了较大的提高。

M&S技术的复杂C^3I系统测试方法

针对复杂C3I系统测试存在的问题,提出了一种模拟仿真测试的方法。该方法应用文本式战术想定模拟战场环境,自动生成基础数据,随机生成检测用例,以软件为主辅以少量必要的核心硬件设备,可对指挥控制系统实装软硬件指标进行系统的测试。采用建模与仿真(M&S)技术,对指挥控制系统的测试系统软硬件组成进行设计分析,并结合某型炮兵指挥控制系统,通过试验应用给出了该方法的针对性、时效性。

基于S3C2440的测试系统数字稳压电源设计

通过对所需求电源的分析,结合嵌入式控制技术,提出了一种基于S3C2440的测试系统数字稳压电源解决方案,以及实现该方案所采用的方法。该系统基于ARM控制技术,对数据进行采样,运用适当的算法进行电压调节和电路保护,以达到为测试系统提供稳压电源的目的。设计的系统经过实际应用,所提供的电源稳定可靠,满足芯片测试所需电源的要求。在此给出了系统的硬件构架和软件设计流程图。

TTCN-3:用于分布式系统黑盒测试的新一代测试描述语言

介绍了TTCN 3的基本概念 ,对TTCN 3测试方法的配置、使用等作了较为详细的研究 ,并针对MTC与SUT间异步通信的情况 ,介绍了TTCN

TTCN-3测试系统中模板匹配机制的一种实现方法

TTCN-3拥有一个功能强大且易于掌握的模板匹配机制。本文提出一种TTCN-3测试系统开发过程中模板匹配机制通用的、开放的实现方案。通过对模板匹配功能在TTCN-3测试系统中的作用进行深入分析,采用面向对象的程序设计语言C++实现TTCN-3测试系统中带有匹配机制的模板表示和模板匹配操作,并给出一个对于DNS协议实现功能测试的抽象测试套的翻译方案验证本文设计的合理性。

防空作战C3Ⅰ系统仿真测试环境构建技术研究

首先针对防空作战C3I系统功能性能指标的灵活测试需要,对防空作战C3I系统组成、主要功能以及主要指标测试项目与方法进行了深入研究,然后介绍了防空作战C3I系统仿真测试环境的组成、主要信息交互关系和运行工作流程,最后介绍了测试环境构建以及分布交互式互联测试中的通用装备仿真模型设计、分布式时间同步、空情作战态势生成、半实物系统互联的时空一致性等关键技术的设计实现。

基于仿真的CTCS-3级列控系统功能测试方法

主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法在测试序列设计中的应用,并结合武广线综合试验段给出了测试序列举例。

数据库管理系统DM3的TPC-H测试设计和分析

本文提出了在数据库管理系统 DM3上进行 TPC- H测试的模型 ,并深入地分析了相关理论问题 ,针对 TPC- H的特点 ,讨论了在 DM3上进行大数据量复杂查询测试对提高

XDRP3可靠性模型测试系统简介

文章简要介绍了XDRP3可靠性模型参数测试系统的原理及用途。该仪器可以进行封装级IC的REM单元测试,提取电迁移、介质击穿、欧姆孔链退化、MOS阈值电压漂移等可靠性参数。为微电路生产线工艺保证技术提供一个快速有效的方法。

TTCN-3类型系统测试用例集自动生成

针对编译器测试中最为重要的测试用例集构造问题,提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案。语法方面,严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF);语义正确性上,采用定义"元素定义偏序文件"、建立抽象语法树等多种方法加以保证。实验表明新方案极大提高了测试用例集的生成效率,对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖,增强了发现编译器缺陷的能力。该方案对于其他语言的编译器测试也具有参考价值。

TRI在TTCN-3测试系统实现中的应用

本文介绍了 TTCN- 3运行接口 TRI(TTCN- 3Runtim e Interface)的主要概念 ,对TRI的操作实现作了较为详细的研究 ,并探讨了 TRI在 TTCN-

STAGE在C3I仿真测试系统中的应用

针对C3I系统面临的测试问题,提出一种将STAGE应用于C3I系统的仿真测试系统,并分析了STAGE的优点,介绍其组成结构、功能和STAGE在该系统中的应用。该系统已应用于某实际C3I系统的测试。

基于TAIO变异的CTCS-3列控系统测试案例生成方法

为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障.