CCD共焦的误差分析

在ＣＣＤ相机的研制工作中，需要将多个ＣＣＤ安置于ＣＣＤ相机的焦面位置处，并使各ＣＣＤ像元之间相对于相机焦面的共焦偏差满足相机设计要求。为了达到这一目的，需要对多个ＣＣＤ进行焦面测量。文章对各种误差因素在测量过程中的影响进行了分析。     

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

浅谈扩散炉温度测量方法

介绍了扩散炉的温度测量方法，并对扩散炉进行现场测量，通过测量结果对扩散炉温度控制系统进行修正，从而保证了扩散炉性能的稳定可靠。     

YTQ-7氧气调节器性能参数调整分析与实验验证

情况下，实验数据通过对YTQ-7氧气调节器供氧浓度调节原理的分析，说明调整氧浓度调节机构后．在高空输入富氧可以达到输入纯氧时的供氧浓度要求。经测试并对比分析YTQ-7氧气调节器调整前后供氧性能参数验证调整后的氧气调节器供氧性能能够满足不同高度下供氧浓度生理学要求。     

在那天马驰骋的地方 伊犁漫记

"我骑着马儿唱起歌儿走过了伊犁,看见了美丽的阿瓦尔古丽……"在新疆民谣中,伊犁是个遥远且浪漫的地方。事实上,这块古老的土地拥有的不仅仅是浪漫,历史也曾在此留下了厚重的积淀。在西汉,伊犁是乌孙国的牧地,唐代纳入了安西都护府的版图,宋时成为西辽的属地,蒙元时期被划入了察合台汗国。清乾隆年间,清军在当地大     

基于NURBS曲面的雷达散射截面物理光学算法研究

文章实现了一种使用物理光学（PO）计算雷达散射截面的算法。目标模型用非均匀有理B样条（NURBS）曲面建立，并使用等参数等弦长方法剖分为Ⅳ个四边形面元。在剖分面元上，使用Gordon方法将物理光学积分转化为闭合区域线积分。整个算法在保持计算精度的前提下有较高的计算速度。     

2005上海国际汽车展

2005上海国际汽车展于4月22日至28日在上海新国际博览中心举行。本次车展是目前国内历届车展中规模最大的一次,共吸引了26 个国家和地区的1036 家厂商参展,展览面积达到12 万平方米。世界汽车巨头悉数到场,使上海国际汽车展成为和底特律、法兰克福、东京一样的国际A 级车展。展览会展示了各类概念车、轿车、跑车、客车、商用车、汽车零部件、汽车音响、汽车检测维修设备、汽车用品等,集中体现了国际汽车工业最新成就及国内企业近年来的领先技术和产品,全面展现当代汽车工业的发展水平。2005上海国际汽车展@罗克平 @杨桦…     

民用机场锥形面内障碍物超限评价方法研究

新建、改扩建民用机场以及已建机场进行净空安全管理时,主要采用手工绘图的方式进行障碍物超限评价。针对最为复杂的锥形面,在导出其数学模型的基础上,通过坐标转换,给出了锥形面范围内障碍物的超限评价方法。经过西南地区某机场数据验证,该方法实现了净空评价的无纸化,可用于相关软件的开发。     

平面叶栅栅后4轴伺服位移控制系统开发与应用

结合平面叶栅测试特点,详细介绍了4轴伺服位移控制系统的开发和应用,对该控制系统的组成及特点、控制系统算法和特性、位移机构精度进行了分析。     

“资源三号”高分辨率立体测绘卫星三线阵相机设计与验证

2012年1月9日,中国第一颗民用高分辨率立体测绘卫星——"资源三号"卫星在太原卫星发射中心成功发射,星上装载的三线阵相机可以获取2.1m地面像元分辨率(正视相机)和3.5m地面像元分辨率(前/后视相机)全色影像。文章介绍了三线阵相机的组成及工作原理、关键技术及实现情况、在轨运行和测试情况,给出了在轨测试的初步结果。在轨运行情况表明:相机设计合理,成像品质优异,各项指标满足1∶50 000制图应用的要求,实现了内方位元素的高精度稳定,对卫星定位精度达到国际先进水平发挥了关键作用。