共查询到17条相似文献,搜索用时 359 毫秒
1.
2.
3.
4.
处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明:文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。 相似文献
5.
6.
介绍了400Hz电流互感器检定及量值溯源系统的组成、工作原理、不确定度分析及量值溯源问题。该系统可检定0.02级及以下等级的400Hz电流互感器。 相似文献
7.
针对航空复杂零件加工过程误差监控、溯源及过程调整问题,提出了一种复杂零件加工过程质量控制与改进方法。在传统SPC质量监控方法的基础上,设计了扩展误差流与MSPC集成的监控策略,并分别设计了单元、多元以及非线性profile的三种控制图;针对因果关系明确的几何定位误差的分解与溯源,建立了基于动态Bayesian网络的因果模型,针对误差源因果关系不明确的受力变形误差的分解与溯源,建立了基于粒子群(PSO)改进的支持向量机的误差溯源方法;在加工过程质量波动调整方面,引入多元工程过程控制(MEPC)理论,建立了MSPC与MEPC集成的加工过程波动调整方法。 相似文献
8.
9.
提出了采用我国通用的量值传递方式之一的共用传递标准传递方式,验证各个激光跟踪仪数据一致性的方法,考察各个激光跟踪仪校准同一参考长度测量结果的差异,考察现场环境的不同对比对结果的影响,研究激光跟踪仪成组性间接溯源方法,探索连环比对溯源的新途径. 相似文献
10.
11.
Osadciw L.A. Titlebaum E.L. 《IEEE transactions on aerospace and electronic systems》2001,37(4):1142-1154
Synchronization improvements using traceability information found in the narrowband auto-ambiguity function (NB AAF) are demonstrated. This new auto-ambiguity function property, traceability, is the key to defining a signal design approach for solving the synchronization problems in spread spectrum system such as communication systems, radar networks, and sonar systems. This work defines the property and introduces a new tracing synchronization scheme that significantly reduces initial synchronization time and the number of false synchronization events 相似文献
12.
计量和实验室认可的国际互认 总被引:3,自引:0,他引:3
介绍了全球计量互认协议(MRA)、ILAC互认协议(ILAC-MRA)和国际测量溯源性的背景,要点和意义。在中国加入WTO以后,正确掌握和有效利用相关准则,提高自身水平,才能维护权益,趋利避害,迎接挑战。 相似文献
13.
标识是追溯性管理的基础。从标识和追溯性的定义出发,介绍了民机设计和制造过程中标识要求的相关标准;结合民机制造和管理特点,介绍了民机标识内容的基本要求,民机标识方法的选用原则,并详细说明了民机常用的标识方法;针对民机系统目前所采用标识方法存在的问题,阐述了二维码技术在民机标识和追溯性管理中的应用优势。 相似文献
14.
15.
16.
重力测量在国防军事、地质研究、资源勘探、地球物理、地震预报及计量科学等领域有着广泛的应用.在惯性导航系统中对惯性加速度和重力加速度进行分离,可以提高惯性导航的精度.重力加速度测量的准确性需要通过量值溯源来保证,而用于直接测量重力加速度值的绝对重力仪是重力测量量值溯源和传递的主要工具和载体.以此为背景,介绍了绝对重力仪的主要技术和发展现状,从而引出绝对重力测量和重力计量体系是整个重力测量溯源到SI国际单位制,确保其测量量值准确可靠的唯一途径.最后,简单介绍了重力计量体系以及中国计量科学研究院的相关工作. 相似文献
17.
文章简要介绍了红外目标旋转模拟器的结构组成、工作原理,给出了红外目标旋转模拟器的目标温度、平均角速度、角速度波动的校准方法,该校准方法能为光电设备的量值溯源提供解决方案. 相似文献