一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

Web环境下的火工品感度虚拟仿真测试

应用WWW上的虚拟现实建模语言VRML，制作了可在Internet上应用Ⅲ和Netscape等普通浏览器进行交互操作的火工品感度虚拟仿真测试系统，对实现该测试系统的关键技术进行了论述。该虚拟仿真测试系统具有高度的真实效果，使操作人员如同在实地进行真正测试一样，是虚拟现实技术在万维网上的具体应用。     

传感器在杨氏弹性模量实验中的应用

利用传感器技术将微小应变和轴向作用力转换为电信号来处理，并以数字量显示出来，与普通物理实验中传统方法相比，该方法与工程实际更为接近，实验表明测量结果有较高的精度。     

浅谈软件测试方法

随着软件产业化的发展，软件测试在软件生命周期中扮演着越来越重要的角色，本文利用实例详细介绍了白盒测试和黑盒测试两种方法的工作原理和实现方法。     

标准贯入与波速在原位测试中的对比分析

标准贯入与波速测试在工程勘察中都是较重要的原位测试手段,应用广泛。通过对芜湖城南某地块分别利用标准贯入试验和单孔波速测试法进行原位测试试验结果的分析,说明在工程勘察及成果运用中,应综合考虑多种因素,合理采用有关参数。     

基于HLA和GIS的作战想定整合与态势演播

HLA是近几年发展起来的一种体系结构标准，介绍了将HLA/RTI和网络GIS的集成研究成果及其用于想定整合与态势演播取得的有益实验结果。     

水下潜器三维成像数字传输测试系统研制

采用计算机接口、软硬件相结合的方法对水下潜器三维成像数字传输测试系统进行设计。误码检测电路是由ISA总线并配以相应的外围电路构成的号虑到系统应用的通用性，测试信号的码速范围设计为40～125Mbps，另外还介绍了硬件、软件的设计原理以及系统实验。     

桅杆结构数据采集软件

章介绍了桅杆结构数据采集软件的编制，并基于HY-8021多功能数据采集板与光电位置传感器的特性，使得该软件可满足以低频振动为主的建筑工程结构数据采集的要求。     

大学英语口语教学实践调查与分析

通过对非英语专业学生的问卷调查,分析了学生对大学英语口语的看法和意见,并有针对性地对大学英语口语教学提出了一些建议。     

基于广大极值分布的高频极值条件VaR模型

在考虑当前预期和波动性条件下,为了有效地捕获极端条件下收益率时间序列动态特征,提高VaR的度量精度,建立了基于高频数据的条件极值VaR模型.应用智能优化算法对条件极值分布的时变参数进行估计,考察了在不同样本容量分块下的条件极值VaR,并对VaR计算结果的精度进行了Kupiec-LR检验和动态分位数检验.研究结果表明,基于高频数据的条件极值分布较好地拟合了极端条件下的收益率特征,与McNeil提出的传统条件极值VaR相比,应用高频数据建立在条件广义极值分布基础上的条件极值vaR的Kupiec检验DQ检验值都较为理想,表明该模型能够捕捉到我国市场风险特征,提高极端情况下风险测度能力.