欧洲“伽利略”导航卫星系统浅析(上)

据欧空局网站2012年6月14日报道,第二批两颗"伽利略-在轨验证星"已经完成真空与太空极端温度试验,预计将于2012年9月28日发射升空。这两颗卫星与2011年10月21日发射的第一批两颗"伽利略-在轨验证星"几乎一模一样,     

考虑气动-结构的高空螺旋桨多学科优化方法

为实现高空螺旋桨高效率和轻质量之间的权衡设计,提出一种考虑螺旋桨气动-结构性能的多学科多目标优化设计方法,理论上可得到约束条件下推力最大和质量最小的Pareto解集。但工程应用中,变量太多,可接受时间内仅能获得Pareto解集拟合趋势。为避免优化周期太长,提出以下阶段性优化方法。阶段1：根据上述Pareto解集拟合趋势和平台约束,确定最优桨径;阶段2：进行基于最优桨径的气动优化获得气动外形,结构优化获得结构方案。使用该方法对高空太阳能无人机螺旋桨优化,两个阶段耗时分别为96 h和4 h。对获得螺旋桨制造,仿真和试验,对比结果表明：推力最大误差为10.9%,质量误差为6.9%,刚度误差为15.2%,固有频率误差为15.4%,试验结果也表明该方法的合理有效性。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

航天工程地面测控软件的软件生存周期模型

软件生存周期模型(Software Life Cycle Model)是用于描述软件从开始研制到退出应用全过程中,各种活动如何执行的范化模型。对于航天工程地面测控软件,瀑布模型、演化模型、螺旋模型、原型模型等传统模型往往不能非常有效地适应其特性,存在一定的困难和问题。本文结合这些经典软件生存周期模型,在分析航天工程地面测控软件高可靠、需求易变等特点的基础上,提出了更具针对性的生存周期模型——构造增量模型。     

NBA赛程利弊指标的数值分析

在NBA常规赛中,各队比赛总场次一定时,为使赛程安排公平,应考虑主客场、背靠背、比赛密集度等因素.先将这些因素数量化,再对各因素赋以相应权重,可以较为均衡地反映出各队利弊的数量指标.依据在一定条件下选取球队的方法,列出比赛矩阵,通过lingo程序求解,得到结果.     

DP165高速铣削中心在叶片精铸模具加工中的应用及UG软件编程方法的探讨

首先简要介绍了DP165高速铣削中心的结构特点,然后以加工精铸叶片模具榫头部分零件来介绍UG软件如何编程和机床的实际应用情况。     

星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

整体式盒式应变天平有限元设计

为了满足大飞机的测力试验要求,应用CATIA软件建立整体式盒式应变天平的虚拟样机,以该软件的有限元功能分析了该天平的静力学、贴片梁的微应变及模态,得出了天平在给定载荷下的应力和模态振型。静态标定结果表明有限元方法比传统计算方法的结果更可靠,同时说明了CATIA作为参数化设计及分析的一体化软件应用于天平的设计可在设计阶段降低天平的线性与非线性干扰,分析与设计效率得到了较大的提高。     

弹上电子产品发射可靠性试验验证必要性判别方法

提出了弹上电子产品开展发射可靠性验证试验的必要性判别方法,论述了弹上电子产品完成飞行可靠性验证试验后,无须再开展发射可靠性验证试验,为工程决策提供了技术支撑。     

内埋式模型操纵面自动变角度系统研制

针对风洞试验模型操纵面角度的改变,开发了内埋式自动变角机构及控制系统,对控制角度进行了地面校准,并采用三角翼模型进行了风洞常规测力实验、重复性实验和操纵面效率试验。结果表明,采用自动变角机构改变操纵面角度的试验精准度均较高,完全满足国军标的要求,说明本操纵面自动变角系统的研制是成功的,在风洞试验中可以代替人工更换角度片方式,大大提高实验效率。