台阶反射面实现双频多波束天线收发等化的研究

双频多波束天线系统由于收发频段共用同一反射面,覆盖区内收发波束大小不一致.为了实现覆盖区内收发等波束,文章提出了一种新型的台阶反射面天线.通过对天线台阶高度的选取和台阶宽度的优化,可以使接收频率处每个台阶跳跃点与中心区在反射面等效口径处的相位相差180.,从而降低天线的口径效率,减小接收频率处反射面的电尺寸,最终实现了收发波束大小一致.为了进一步降低天线的副瓣电平,文章在接收频率处引入了馈源第一副瓣来照射反射面的台阶圆环,通过这一改进天线仍能实现收发等波束且获得了更低的副瓣电平.     

子空间跟踪算法在热模态问题中的应用研究

总结子空间跟踪算法识别模态参数的一般步骤。对一个有理论参考解的时变两自由度系统进行仿真,利用添加不同量级噪声的响应数据对系统进行辨识。辨识结果表明:基于新信息准则的子空间跟踪算法拥有较好的抗噪能力。对飞行器舵面结构进行受控快速加热,辨识快速升温过程中的模态参数。辨识结果表明:子空间跟踪算法可用于热模态辨识,有一定的工程应用价值。     

飞机失速自动改出装置的设计

采用机械操纵系统的飞机相对电传控制飞机不具备飞行包线保护功能,驾驶员可能在误操作情况下使飞机进入失速状态,特别是新机研制试飞和失速飞行试验。失速自动改出装置通过控制反驱作动器带动操纵系统,抑制驾驶员将飞机操作进入失速,并在飞机进入失速后帮助驾驶员改出失速。模糊控制理论具备常规控制理论所不具备的很多优势,可以使控制律更简单、直观和有效,用于失速改出控制将使系统更加简单易行。     

基于研制信息的测试性验证试验方案研究

针对现有测试性验证试验方案需要较大故障样本量的问题,提出了一种利用研制信息制定测试性验证试验方案的新方法。首先,在二项分布经典抽样模型的基础上,运用证据理论方法,研究了基于测试性试验数据、测试性预计结果和专家经验等研制信息的基本信任分配函数的构造方法,建立了基于融合不同种类研制信息的测试性验证试验方案,并确定了该方案的存在性,给出了方案的确定方法,最后开展了案例应用研究。由于充分考虑了研制信息,因此在确保有较好的验证效果的条件下,与传统的试验方案相比,该方法可以明显减少故障样本量,或在样本量保持不变的情况下有效降低双方风险。     

可重复使用运载技术新进展

2003年,哥伦比亚号航天飞机失事后,美国再也没有发射其他航天飞机。     

俄罗斯公布快船号的相关信息

据俄罗斯《真理报》2005年2月16日援引塔斯社报道,俄罗斯自行研制的新型可重复使用飞船——快船号（KЛИПep）将于2005年夏天现身法国巴黎,前往法国勒布日机场参加航展。关于快船号的描述已在宇航界广为流传,但是直至2004年11月30日,俄罗斯才对外展示了全尺寸、高保真的快船号模型,他们希望新型飞船能够替代联盟号系列宇宙飞船。     

可靠性强化试验定量评估方法

介绍了国外最新可靠性强化试验基本概念、各种应力极限分类和试验过程,阐述了强化试验的基础理论.针对可靠性强化试验无法进行定量分析的问题,引入应力强度干涉模型理论,运用干涉模型分析了强化试验中的产品失效原因,即试验环境应力大于产品工作极限应力.通过分析工作极限应力与产品实际使用环境应力的相互关系,推导了利用强化试验数据计算产品可靠度的相关公式,将定量分析引入强化试验中.并举具体计算实例说明了该方法的可行性.在此基础上,运用干涉模型和可靠度计算公式,分析了强化试验提高产品可靠性的2种基本途径:改进设计和提高工艺水平,进一步阐述了可靠性强化的基本原理.      

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

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(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并发软件的质量,提高开发效率.