低压铸造铝合金副车架的数值模拟及试验验证

基于CATIA软件进行副车架结构及浇道设计,并利用HyperWorks软件平台建立副车架有限元模型,分析其刚度、强度和模态,运用ProCAST软件对副车架低压铸造过程进行数值模拟,并对低压铸造生产的整体空心式铝合金副车架进行可靠耐久性验证,结果满足性能要求。     

运载火箭平台供气系统冗余设计试验

针对平台供气系统的故障模式,提出5种冗余设计方案,并对其中几种方案进行试验,验证其可行性。最后指出,由于平台供气系统元器件本身的特点,并联和串联的冗余设计方案不能完全解决其故障,最好的办法是提高减压器、稳压器本身可靠性,再在系统前增加一个高精度过滤器。     

Core Hybrid Event-B III: Fundamentals of a reasoning framework

The Hybrid Event-B framework was introduced to add continuously varying behaviour to the discrete changes of state characteristic of the well established Event-B method. This is made necessary by the needs of verifying the hybrid and cyber-physical systems that are increasingly prevalent today. The semantic foundation of Hybrid Event-B rests on piecewise absolutely continuous functions of time. This enables unproblematic modelling of all classical physical phenomena, as well as the specification of conventional discrete changes of state, regardless of whether these arise in the physical arena or as abstractions of computational behaviour. In this paper, the large gap between arbitrary piecewise absolutely continuous functions, and what can be reasoned about mechanically/symbolically, is addressed. First, piecewise absolutely continuous real functions are restricted to piecewise complex analytic functions, real and without singularities on a semi-infinite portion of the real axis. This class has good properties with respect to symbolic manipulation and thus provides a good foundation for an approach to system verification that avoids dealing with the interleaved quantifiers of mathematical analysis, thus reducing the verification of the proof obligations of Hybrid Event-B to calculational checks. The individual proof obligations, whose discharge assures the correctness of a Hybrid Event-B machine, are examined, and results establishing sufficient conditions for their successful discharge via calculation are given. A small scale case study illustrates the verification process in this setting.     

一种数字式无汞气压计的检定

以二等液体压力计做标准器，介绍数字式无汞气压计的检定及其检定数据的处理方法。     

红外线气体分析记录仪模拟校准及检定方法

叙述了模拟校准红外线气体分析记录仪标尺刻度的工作原理，介绍了模拟校准该仪器标尺刻度的方法及其改进的检定方法，提出了该仪器的测量准确度，减少其示值误差和测量不确定度。     

ITS9000系列超大规模集成电路测试系统检定方法

以ITS9000MX超大规模集成电路测试系统为背景，系统地研究了ITS9000系列测试系统的检定方法，重点描述了它的基本思想，原理和关键技术。     

热电偶检定系统电测仪器选择的误区

针对目前热电偶检定行业存在的电测仪器的选择问题，对高精度数字电压表的误差进行了概要分析，从而为广大计量检定人员选择符合规程要求的电测仪器提供了参考。