防止卫星带电的导电温控涂层

迄今为止,对于同步轨道上运行的卫星,已观察、记载到数百次与卫星表面带电和放电有关的异常行为。这些异常行为主要表现为:逻辑干扰、开关转换、无指令线路转换、遥测异常、配线控制不稳定等。卫星表面的带电是由于磁层亚暴时,热等离子体(能量为几到几十千电子伏特)从磁尾注入同步高度及3—7地球半径的区域,与卫星表面材。料相互作用所致。据ATS-5卫星测得的数据:在同步轨道上运行的卫星每年约有1300小时处于亚暴环境中,其中对卫星影响较大的中、强亚暴(使表面—卫星地电位达-3～-12千伏),约占总时间的60％。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

深空探测车单轮牵引性能的离散元仿真

利用离散元数值分析方法,对矩形、直角梯形和三角形截面轮齿车轮与土壤颗粒单元的相互作用进行仿真研究.分析细观尺度下,土壤颗粒单元受3种轮齿车轮扰动后的接触反力分布规律.采用坐标转换和代数求和的数学方法,建立细观离散元分析结果与宏观车轮牵引性能参数的对应关系,推导土壤推力、行驶阻力及其挂钩牵引力的表达式,以研究轮齿截面的几何形状对车轮牵引性能的影响.计算结果表明,在相同行驶环境下,直角梯形轮齿车轮具有最佳的牵引性能.      

海基JPALS的多参考一致性检验算法

针对舰载参考站的移动特性提出了海基联合精密进近着陆（舰）系统（JPALS）的多参考一致性检验（MRCC）算法。首先,利用舰船上的惯导系统输出的姿态信息和舰船尺寸测量数据,将每个参考站的原始伪距和载波相位观测量从其天线位置转换到舰船参考点上;然后,对转换后的各参考站几何无关组合观测量进行均值滤波,得到其宽巷模糊度估计值;最后,计算转换后的各原始观测量和宽巷模糊度估计值的B值。在无故障情况下,这些测量值的B值分布在一定范围（阈值）内,但在参考站故障、严重多径或无线电干扰等情形下,B值可能超出阈值。通过模拟实验采集数据,并计算B值幅度和阈值,结果表明,通常情况下各观测量的B值幅度很小,当某个参考站的接收测量值出现异常时,可以检测到其B值超过阈值。研究表明,该算法满足海基JPALS的多参考一致性检验完好性风险指标要求。      

iGPS系统与经纬仪测量系统联合测量方法研究

iGPS测量系统凭借建站方便快捷、测量速度快等优势,已经在国内外航空航天制造等大型工业设备安装和检测领域有广泛的应用,而航天器测量任务中大量的立方镜准直测量工作则只能由经纬仪测量系统完成。由于经纬仪测量系统点坐标测量效率偏低,需要将iGPS系统测量点通过经纬仪系统转换到立方镜坐标系下,实现两种坐标测量系统的联合测量。基于上述需求,研究了两种系统的坐标系转换方法,提出了利用标定板实现转换的方法,分析了原理与转换过程,并通过实验验证了可靠性和精度。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

基于精密时间的星敏感器绝对姿态基准的建立

根据星敏感器外场试验的实际需要,提出一种用于建立星敏感器参考姿态基准的方法.介绍星敏感器参考姿态基准建立的基本原理;分别求取从赤道惯性坐标系i系到地球坐标系w系的转换矩阵Cw1（依靠原子钟精密计时）、从w系到地理坐标系t系的转换矩阵Ctw、从t系到平台坐标系p系的转换矩阵Cpt,从p系到星敏感器坐标系s系的转换矩阵Csp,从而得到i系到s系的转化矩阵Cs1;根据Csi求取星敏感器的姿态角,作为参考姿态基准;编制求解星敏感器参考姿态基准的电算化程序,并绘制星敏感器3个姿态角的误差曲线,最大误差小于0.25″.仿真结果表明,通过精密时间得到的姿态可以作为星敏感器外场试验的参考姿态基准.     

国外天基太阳能电站发展分析

天基太阳能电站系统由空间段和地面段组成。空间段在太空将太阳能转换为电能,再将电能转换为微波或激光,然后以无线方式传输到地面;地面段将接收到的微波或激光转换为电能,供人类使用。作为环保、可持续能源的供应系统,天基太阳能电站作为"航天嫁接新能源的新视野",得到了越来越多的关注。美国、日本和欧洲一直在积极推动天基太阳能电站的研究,中国也已加入这一行列。本期特刊载"天基太阳能电站专题",旨在深入探讨天基太阳能电站的发展。     

一个拼音汉字自动转换系统的设计与实现

给出了拼音汉字转换的定义，并建立了一个带调拼音词句到汉字语句的自动转换系统。它由五个部分组成，自动分词模块，词法分析模块，句法和语义分析模块，语义修饰模块和显示模块。其中句法分析是系统的核心，在比较各种方法的基础上选择了扩充转移网络模型，使ＡＴＮ的优点和音字转换的特点得到较好的结合，测试结果表明，系统的正确转换率达到９７％。     

大尺寸工件直线度视觉测量系统中摄像机标定的研究

根据大尺寸工件直线度激光视觉测量系统的现场标定需要,从分析点结构光传感器模型入手,推导了计算机像平面坐标系到世界坐标之间的映射关系,借助转轴实现系统旋转扫描测量;介绍了系统中摄像机坐标系、传感器坐标系、转轴坐标系、标定块坐标系及全局坐标系等各个坐标系的转换关系,结合测量系统特点设计了特有的靶标,提出了适于大尺寸工件视觉检测系统摄像机参数及全局标定方法。实验表明,该方法快速,可用于现场标定。     

数据库结构和数据的转换方法

介绍了如何把微机上的关系型数据库结构和数据转换成UNISYS 2200401机及MAPPER 上的数据库和数据的转换程序,主要介绍实现方法、设计思想、技术上实现途径和难点,以及系统构成和系统功能。     

基于数值分析的空速-动压信息处理方法

从数值计算方法的角度对大气数据校验系统设计中空速、指示空速与动压、静压转换关系进行研究,提出了一种新的转换方法。在PC计算机和ARM嵌入式计算机S3C2410上进行了模拟仿真,给出了计算程序和分析结果,与传统方法相比,具有转换速度快、程序简捷、精度高的特点,该方法用软件容易实现,可以很方便地应用到其它传感器的研究与设计中。     

大气中层顶区域波相互作用的一个观测个例

利用SOUSY VHF雷达的观测数据分析了极区中层顶83.4-91.2km范围内大气风场波动的非线性相互作用。大气风场的谱在不同高度上均有明显的潮汐分量峰值，纬向风分量中35h波、半日潮和8.9h惯必重力波构成共振相互作用对，经向风分量中33h波、半日潮和19h惯性重力波构成共振相互作用对。双谱分析表明，这些共振对在许多高度上都发生耦合，35h或33h波振幅的极小值与半日潮的极大值出现的高度几乎相同，呈现出明显的非线性相互作用在空间上不是局域的，而是存在于中层顶区域的几乎所有高度上，这种相互作用不仅导致半日潮振幅随时间的变化，也使半日潮的振幅随空间变化。35h和33h波动可能是在其他时段或其他位置通过行星波与周日潮相互作用产生的，然后传播到观测点并与半日潮发生相互作用。     

太阳能卫星

将宇宙空间中的太阳辐射能量收集起来，再将其转换成可以供地球上人类使用的取之不尽、用之不竭的能源，这是人类多年来的夙愿，太阳能卫星将实现人类的这一梦想。１　卫星的设计太阳能卫星的基本设计方案是将卫星组件从地球上送入空间，在空间组装成特大型卫星系统，然后再将该系统部署到地球同步轨道上。利用光电能转换技术将微波辐射能或激光辐射能转换成电能，然后将电能发送到地面，由地面天线接收。一颗太阳能卫星可以向地面接收站提供５～１０吉瓦的电力，要求发电机的表面积达到１００ｋｍ２左右，重量达到１０万吨左右。大约需要部…     

GPS／电子地图的坐标转换算法和实现

得出了ＧＰＳ坐标到电子地图坐标的转换算法，同时根据实际系统的要求，在保证精度的情况下，得出了简化的坐标转换公式，并把两种算法结果进行了比较，实际表明，得出的简化算法可行，精度也符合工程要求。     

亚音压气机平面叶栅内流动的声激励试验研究

针对非定常两代流型理论的验证展开了大量的试验研究工作.为了简化同时又能抓住问题的本质,试验研究首先从平面叶栅风洞上起步.在测得各个工况下叶栅后旋涡脱落特征频率的基础上,采用声激励的试验手段,系统研究了非定常扰动之间的相互作用.通过加激励前后总压损失的对比、流场特征参数频谱图的对比和具体气动参数的对比,证实了合理组织各个非定常扰动的相互作用可以提升叶栅的气动性能,说明了"非定常耦合流型"在叶轮机中存在的可能性.     

苏联的反卫星武器试验

为了与美国争夺空间,多年来苏联一直进行着反卫星系统试验,其拦截卫星已经从初期的雷达制导发展到红外光学跟踪器制导的第二代,目前已经达到实战水平。该反卫星系统多年来的试验情况如下表。     

大气重力波与电子密度扰动的耦合

本文从相互耦合的大气流体方程和双流体等离子体方程出发, 导出了赤道F区大气重力波和电子密度扰动的耦合色散关系, 据此对两者的共振相互作用作了进一步的理论分析。结果表明, 大气重力波可以通过共振耦合将部分能量转换给带电粒子, 为赤道扩展F提供初始电子密度扰动;在这过程中, 等离子体不稳定性对共振条件和共振耦合有着重要的影响。      

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

征服火星，合作胜过单干

美俄二国的竞争博弈由来已久。从核武器引爆到卫星发射；从争相登月到深空探测，直到20世纪90年代的国际空间站项目才把他们从竞争者变为合作者，角色的转换之快，连二国的官员和科学家都恍如隔世，从心里感觉怪怪的。