基于软件接收机的分布式深组合仿真系统研究

为实现高动态环境下组合导航系统稳定导航定位,设计基于软件接收机的分布式深组合导航仿真系统方案,采用改进的基于伪距、伪距率的组合滤波器校正SINS误差,并利用校正后的SINS信息对GNSS跟踪环路进行频率辅助。结合VC++和Matlab各自的特点,采用VC++与Matlab混合编程,搭建基于GNSS软件接收机的分布式深组合导航仿真系统,实现SINS与GNSS双向辅助。实验结果表明:高动态环境下,深组合导航系统能有效提高GNSS接收机动态跟踪性能,具有良好的组合导航定位能力。     

ANSYS程序优化技术在固体火箭发动机设计中的应用

简述了ANSYS程序的设计优化、拓扑优化和变分优化技术的基本原理,通过针对固体火箭发动机的几个典型算例,分别介绍了这3种优化技术的分析过程,并进行了比较。由算例可知,基于有限元分析的ANSYS程序优化技术是进行固体火箭发动机优化设计、提高发动机性能的有效手段。     

液体火箭发动机试验测量系统状态检测程序设计

发动机试车准备过程中,测量系统的状态变化直接影响到发动机参数测量的准确度。为正确获得测量系统的状态变化,从测量系统的硬件组成出发,针对压力、温度等参数类型,提出了测量通道状态变化的检测判断方法。在Windows操作系统下,采用VB6.0语言,设计了相应的状态变化检测程序。试验证明:测量系统状态检测程序运行可靠,操作方便,提高了试车工作效率。     

国际空间法中的限制性义务及其他规则概要

国际空间法是指调整国家、国际组织之间开展外空探索、利用、开发活动中权利义务规则的总称。狭义的国际空间法仅指以联合国外空五大公约为核心的国际条约体系,对于缔约国是具有强制的法律约束力的;广义的国际空间法还包括联合国大会决议和联合国外空委大会文件在内的不具有法律约束力、但具有很强的政治约束力的外空国际活动规则。中国1983年加入《外空条约》,1988年加入《营救协定》、《责任公约》和《登记公约》,没有加入《月球协定》。文章分析前4个公约以及《遥感原则》、《防止在外空部署武器条约草案》、"外空透明与建立信任措施"联大决议、《外空活动长期可持续准则草案》等不具有法律约束力的文件,简要分析其对中国航天活动可能产生的限制和影响,并提出对策、建议。     

一种通用BOOTLOADER架构研究

随着嵌入式系统的不断发展,BOOTLOADER程序开发和移植工作的复杂度越来越高,严重影响了嵌入式系统的开发进度.通过对BOOTLOADER程序引导过程的深入分析,从功能实现、运行过程和代码结构3方面展开研究,提出了一种通用BOOTLOADER架构,并在PowerPC平台上完成了架构的实现,验证了其正确性和易用性,能够有效地提高BOOTLOADER程序的开发和移植效率,进而缩短整个嵌入式系统的开发周期,对BOOTLOADER程序的开发和移植工作具有指导性意义.     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法.既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题.同时又克服了手工编程容易出现错误的问题.也避免了其他自动编程软件需要在图上选择要加工的孔困难.     

21世纪初主要国家的航天发展战略及其影响

论述了 2 1世纪初 ,世界主要航天国家 (如美国、欧洲、俄罗斯、日本和印度 )的航天发展战略与政策 ,包括航天计划、重点领域和投资情况 ;分析了上述国家航天政策调整对本国和对世界航天发展的影响 ,最后 ,对我国我国航天工业的发展提出了建议。     

面向一体化测试与运管的航天器指令技术研究

现有的航天器测试与运管程序通过word文档采用自然语言的方式进行描述,需要人工录入、集成、整合和校验,既浪费人力、时间,又容易因人为原因出错,不利于测试与运管程序在多用户间的快速交互,且存在安全隐患。针对该问题,借鉴NASA及ESA的PLEXIL、PLUTO、Timeliner-TLX、SCL等航天器指令设计经验,研究了面向航天器地面测试与在轨运管的航天器指令技术,该指令架构具备层次化、模块化、抽象化等高级程序特点,且具备对航天器进行工作过程监测与异常状态处置能力,便于航天器测试与运管程序的人机交互、数字化设计、交换共享与解译执行,可作为国内航天器测试与运管程序一体化设计的技术参考。     

空中交通流量优化管理

研究了空中交通流量管理中的机场流量最优化问题,提出了解决目前日益严重的拥塞问题的一种方案,将机场流量利用最优化问题分解为两个子问题,以折考虑解的最优性及求解复杂性,针对两个子问题,提出了一种折考虑解的最优性及求解复杂性的线性规划数学模型,利用该模型,可以最有效地发挥系统功能,同是保证飞机飞行过程的有效隔离,最后,还给出了具体的实例分析,证实了所建模型的实用性。     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。