航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题，提出一套航天器运输包装箱动力学与热学仿真验证方法，包括：建立适用于包装箱系统的刚柔耦合多体动力学系统，通过结合线路条件测试生成的动力学系统外部激励，实现减振性能虚拟跑车测试；建立基于计算流体力学的包装箱热学模型，通过模拟自然对流和空调控制，实现包装箱保温性能虚拟跑车测试；基于C/S架构和导航式流程设计思想，建立航天器运输包装箱仿真验证平台，通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

高准确度直流电阻仪整体检定方法探讨及不确定度评定

介绍了几种整体检定直流电阻仪器的检定方法 ,着重分析了用数字多用表整体检定高准确度直流电阻仪器的工作原理和检定方法 ,并进行了不确定度的计算。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于VB6．0数据库下的示波器自动检定系统实现

以9500示波器自动检定系统为例,介绍了在VB6.0开发环境下,引用其强大的数据库功能。通过建立9500程控代码数据库、仪器登记数据库、检定参数设置信息库、检定结果信息库,实现了各库之间的数据访问和存储,达到了对各种示波器的半自动和全自动检定。并将部分代码加以介绍,可以直接在其它自动测试中应用,因此具有广泛的应用和借鉴价值。     

基于PXI总线的瞄准电子设备虚拟计量检定系统

基于PXI总线和虚拟仪器的设计思想 ,提出了一种新型的瞄准电子设备虚拟计量检定系统的设计方案 ,对系统的硬件组成、检测原理和系统软件进行了论述 ,并对系统的校准问题进行了分析。     

ASL3000集成电路测试系统的检定方法

介绍了ASL3000集成电路测试系统的检定方法.通过分析该测试设备的特性,对线性信号、数字信号、混合信号、射频信号、基带信号模块的检定,采用自带通用仪表和检定程序实现;对于自带仪表的检定,则通过定期送检,溯源到国家标准.     

空间对接地面半物理仿真台系统仿真研究

 飞行器空间对接地面半物理(HIL)仿真台是进行空间对接技术研究、对接机构地面检测以及对接过程的故障复现等多种用途的关键设备。论文阐述了飞行器空间对接地面半物理仿真台系统建构思想。在此基础上推导出空间对接地面半物理仿真台的空间对接动力学模型。基于物理建模的思想，用SimMechanics工具箱建立了空间对接地面半物理仿真台的机械系统，用Matlab/Simulink建立了控制系统模型，建构了虚拟空间对接地面半物理仿真台。采用滞后补偿等使系统的闭环动态性能达到要求。在空间对接地面半物理仿真台虚拟样机上，采用无阻尼振荡模型对空间对接动力学模型等进行了验证，对空间对接的缓冲过程进行了仿真。仿真结果表明空间对接动力学模型是正确的，空间对接地面半物理仿真台系统的建构思想是可行的。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。