开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

金匾背后的故事——中国固体火箭发动机的历程

我们在热烈祝贺中国长征系列运载火箭第五十次发射告捷时,也为河西公司研制的固体火箭发动机所做的特殊贡献而自豪。 伴随中国长征火箭的成长与发展,地处内蒙古的河西公司根据长征火箭的不同用途,陆续开发研制出了各种新型的固体火箭发动机,它们分别承担第三级运载、近地点变轨和返回式卫星制动火箭的功能和     

海岸带环境遥感信息提取与分析——TM 和 SAR 数据在河口海岸研究中的应用

一、海岸冲淤动态和海岸演化趋势近年来，国内外采用卫星数据资料对海岸冲淤动态的研究已步入实用性阶段，尤其是在海岸带管理与开发规划所需的多时相大比例尺快速成图、冲淤速率跟踪监测和实时预报等方面发展迅速。因此，遥感资料（可见光、红外、微波）在海岸带管理与开...     

计算机辅助模拟编排的由来和发展

模拟编排又称做模拟程序设计,它是模拟仿真必要的准备工作,一般包括: ·选择变量比例尺,把描述系统的原始方程转换成模拟机可以实现的机器方程·分配模拟运算部件·绘制模拟编排图和函数表·排题板插线(若有自动排题系统,则可免去) ·设置·检验     

利用地面信标站自主确定静止卫星轨道

静止卫星接收在地面设置的信标站的测距信号，可以测得卫星到地面信标站的距离，从而用星上直接测得的伪距解算出卫星在惯性空间的位置。对卫星轨道的一个弧段进行测量，可以得到卫星的状态矢量和多组伪距记录，考虑到星上计算机的容量以及定位实时性的要求，用扩展卡尔曼滤波确定卫星在地心赤道惯性坐标系中的轨道。     

浅谈逆问题研究及在航空工程中的应用

介绍了逆问题的一般概念、研究现状、求解方法及应用情况,提出了值得进一步探索的几个问题。     

考虑飞行器动力系统进排气效应的设计参数灵敏度分析研究

面向飞行器内外流一体化设计,基于自主研发的大规模并行化结构化网格RANS求解器以及离散伴随方程求解器,开展了考虑推进系统动力状态下进排气边界条件的变分研究,通过链式求导法则避免直接对守恒变量变分,进一步引入中间变量大幅度简化了进排气边界条件变分的难度,建立了考虑进排气效应的设计变量灵敏度高效分析方法,并通过TPS标准模型计算验证了进排气数值模拟精度,与有限差分对比验证了灵敏度计算精度,以翼上发动机气动布局进排气影响数值模拟为例,系统分析了低速、高速、定攻角、定升力状态,推进系统有无动力工况灵敏度的变化以及影响机理。     

自主创新快走丝多次切割

快走丝线切割机床是目前我国电加工行业的主导产品之一,是模具加工的重要设备,也是电加工机床出口创汇的主要品种.主要应用领域在模具制造业以及航天航空、军工、IT、家电、建材等行业.而要提高快走丝加工工艺指标的重要手段是多次切割.多次切割犹如常规金加工中通过粗加工、半精加工和精加工等多道工序去除加工余量,其加工工艺效果是不言而喻的.