晶体管图示仪校准仪检定装置的不确定度评定

在填写"建立计量标准技术报告"时,要求报告中所涉及的内容要准确、可靠,对所测的数据及实验结果要求实事求是。其重要目的是要根据分析结果直接判断计量标准是否符合国家计量检定系统表和国家计量检定规程的要求,做出计量标准是否可以开展所申请项目的检定校准工作的结论。就晶体管图示仪校准仪检定装置的不确定度做了详尽的分析,并给出了相应的算法。     

同一块百分表采用不同检定方法产生示值误差的不确定度分析

本文分析了采用两种不同的计量检定系统对同一种测量器具进行检定,其引入的不确定度来源及测量不确定度,旨在分析计量检测结果量值的准确性和一致性。     

三等量块标准装置不确定度评定

不确定度是测量工作的质量和测量结果可信赖程度和评价。按JJF 1059-1999、GJB 3756-1999标准规定,对我计量站的标准装置不确定度进行了详细分析,并按GJB/J 2749-1996要求对计量标准进行了重复性和稳定性考核以及不确定度的验证,最后给出了计量标准装置不确定度评定。     

电感测微仪检定装置不确定度评定

不确定度是测量工作的质量和测量结果可信赖程度和评价。按JJF 1059-1999、GJB 3756-1999标准规定,对我计量站的标准装置不确定度进行了详细分析,并按GJB/J 2749-1996要求对计量标准进行了重复性和稳定性考核以及不确定度的验证,最后给出了计量标准装置不确定度评定。     

实例分析核查标准

文章主要介绍了核查标准的方法。用实例分析说明核查标准对计量标准装置进行有效控制的原因。     

浅谈核查标准

文章主要说明了核查的对象，核查标准的选取及核查标准的方法。应用核查标准对计量标准装置进行有效控制的原因，并介绍了核查标准的常用方法，并实例分析。     

关于建立压力计量标准检定装置的探讨

根据计量标准考核要求,较系统地对压力计量标准检定装置误差来源,标准偏差,总不确定度进行了分析和计算,并从理论上论证了该标准检定装置能满足测量压力范围1～60MPa,精度0.4级以下的压力仪表的检定工作。     

关于光学、电动量仪检定装置的探讨

根据计量标准技术考核要求,较系统地对光学、电动量仪检定装置的误差项进行了分析、计算,从理论上论证了该检定装置能满足我厂光学、电动量仪的检定工作。     

基于辐照度标准传递的辐亮度校准系统

介绍了一种新型辐亮度校准系统,通过溯源至国家辐照度标准,构建了军用光辐射校准平台。对系统的测量不确定度分析表明,该系统可以满足装备计量保障对测试不确定度比的通用要求,适用于装备专用检测设备的辐亮度校准。     

与ISO10012标准接轨实施计量保证方案

1985年,我国发布了《计量法》,对计量检定、计量器具、计量人员和环境条件等提出了规范化的要求,使我国的计量检定工作有法可依,保证了国家计量单位制的统一和量值的准确可靠。关于计量检测,ISO 10012又将 ISO 9000系列标准对计量检测的要求具体化,提出了测量过程的控制,那么我们     

静电放电模拟器电流波形校验装置研究

研制了符合国际电工委员会IEC61000－4－2标准的ESD模拟器电流校验系统。该系统能自动采集ESD电流波形,计算上升时间、峰值电流、30ns时电流。60ns时电流等参数。该系统已用于我国静电计量测试站对静电放电电流波形的校验工作。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

用随机仿真方法验证液体火箭发动机静特性数学模型

以某泵压式液体火箭发动机为研究对象，用试车数据对发动机静特性数学模型进行了验证，在验证模型时既考虑了外部干扰因素的实际测量误差范围和内部干扰因素的实际变化范围，又考虑了发动机参数实测量的误差范围，并且使用了随机仿真的方法。验证结果表明，发动机静特性的非线性数学模型是足够准确的，所用的计算方法是合理的。     

装备全寿命过程保障性验证技术总体构想

从分析我军装备保障性验证工作当前存在的问题入手,构建了全寿命过程的装备保障性验证技术总体研究框架,确定了主要研究内容,并提供了研究方案,探讨了关键技术的突破要点,为有针对性地、有步骤、系统地开展装备保障性验证技术研究奠定了基础．     

基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

系统仿真中的模型校核问题

分析了由模型到仿真程序的问题的基本原因,指出了模型校核的必要性。对模型校核中的稳定性问题、系统状态不连贯问题和代数环问题进行了阐述和分析。针对一个二阶线性连续系统模型的离散化,通过模型校核,发现了隐含其中的稳定性问题,进而指出了相关稳定性理论在应用上的局限性,给出了解决此稳定性问题的方法,并最终通过模型校核,确认了该解决方法的有效,从而保证了对该二阶连续系统的精确的离散化。     

基于测试性验证的故障注入系统设计研究

在以往的装备设计中多是按照实际需求,往往忽略了测试性验证,为装备的使用埋下隐患．以测试性验证为基础,设计了一套故障注入系统,并将其应用于某型号装备的自动驾驶仪设计阶段．实验表明,该系统能够快速有效地对装备实施故障注入并给出量化结果．