遥感微纳卫星载荷平台高精度标定技术研究

遥感微纳卫星平台姿态测量数据与成像载荷实际姿态误差较大,因此在获得更高图像质量、高精度定量化应用方面面临巨大挑战。通过光学载荷在轨小孔成像的方式对恒星星点观测,以实现光学载荷自标定;通过星敏感器和光学载荷在轨分别对恒星星点观测,以实现光学载荷和星敏感器互标定,可对星敏感器和光学载荷安装误差进行修正。地面和在轨验证表明,典型遥感卫星自标定误差优于0.2″,光学载荷和星敏感器互标定误差优于2″, 自标定和互标定可有效地提高光学载荷在轨标定精度。     

钛合金T型接头激光深熔焊温度场数值模拟

激光深熔焊接温度场分析对于焊接应力、变形与接头组织性能预测,优化焊接工艺,保证焊接结构的制造质量等方面具有重要意义。针对激光深熔焊特点,采用组合热源模型与瞬态有限元方法,通过确定合理的能量分配系数,依据熔池边界准则,对钛合金T型接头激光深熔焊的三维温度场进行了模拟研究。     

一种改进的时分多目标干扰技术原理及实现

时分多目标干扰技术是目前国内外最常用的多目标干扰技术 ,其主要缺陷是对邻近信道干扰大。提出了一种改进的时分多目标干扰技术 ,阐述了其原理并给出了具体实现框图。     

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

中继卫星H∞姿态稳定控制研究

 主要研究中继卫星H_∞回路成形姿态稳定控制问题。中继卫星具有弱阻尼的柔性模态频率和晃动模态频率,并且模态频率具有不确定性,同时系统增益也存在有较大的变化。首先利用拉格朗日方程建立了该卫星的动力学方程,描述了系统存在的结构不确定性,然后设计了H_∞回路成形控制器。在设计过程中,首先提出了控制系统所需要满足的鲁棒稳定性和鲁棒性能指标;随后利用H_∞回路成形理论设计了卫星的姿态稳定控制器,利用ν间隔度量方法对所设计的控制器进行了降阶处理,并且对所设计的控制器进行了鲁棒稳定性和鲁棒性能分析;最后通过数学仿真证明了所设计的控制器的有效性。     

机场市场定位与运营模式

机场作为民航运输市场体系中的一个重要组成部分，是衔接民航运输市场供给和需求间的纽带。但长期以来，机场与航空公司相比在市场经济活动中处于相对被动的地位。同时，机场的市场地位界定不甚清晰，使得机场的建设投资、经营管理、政府监管等往往出现偏差。 随着航空运输市场的不断成熟和发展，对机场的运营也提出了更高的要求。正确认识机场的经济特性，明确机场的市场定位是机场经营运作的前提和基础，同时对提高机场的经营效益，加强民航业政府监管也具有十分重要的现实意义。一、机场的经济特性机场属于基础设施领域，具有准公共产品…