Advances and challenges on springback control for creep age forming of aluminum alloy

Creep age forming(CAF) is an advanced forming technology that combines creep deformation and age hardening processes. When compared with the conventional forming technologies including roll bending and shot-peen forming, CAF has many advantages of low residual stress,excellent dimensional stability, good service performance and short production cycle. It is an optimal technique for precise manufacturing for shape and properties of large-scale complicated thinwalled components of light-weight and...     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

GEO/IGSO混合区域导航星座的设计与优化算法

区域导航星座能够以较低成本和较短时间获得目标区域导航能力,且地球同步轨道是构建非极区区域导航星座的重要轨道类型.提出一种基于GEO(地球静止轨道)和IGSO(倾斜地球同步轨道)的区域导航星座设计方法.基于星下点轨迹特性构造对称星座设计参数和优化参数集,并考虑地球扁率长期摄动影响,计算星座轨道参数.以导航服务区的统计GD...     

插装式液控能源选择阀的设计与分析

针对液压系统油源的安全性及可靠性问题,提出油源冗余设计方法,即多油源供给多负载,当某一油源发生故障时能源选择阀切断故障油源,由其他油源给负载提供基本液压能源,系统能完成必须的服役性能。针对液压系统能源选择阀存在的频繁换向与振动问题,提出一种插装式液控能源选择阀,其先导阀采用锥阀和可变阻尼形式,主阀采用三台肩且终端有缓冲功能的滑阀。建立了插装式液控能源选择阀的数学模型,分析了能源选择阀在两种模拟故障下的切换压力及切换时间、油源压力脉动等特性。理论分析结果表明,油源压力阶跃和线性变化时,某能源选择阀切换时间分别为5 ms和7 ms。当压力发生波动时,主阀不会发生振动,还可通过液控先导阀结构设计来控制切换压力和回复压力大小。     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

翼型测力天平的研制

为研究翼型结冰状态下的载荷变化规律,对翼型进行测力实验。研制一台三分量翼型测力天平。天平设计的突出难点为设计载荷极不匹配,阻力测量载荷很小。设计时,针对翼型载荷的特点,采用片梁组合方式测量阻力,四柱梁测量法向力及俯仰力矩,并采用有限元方法对结构进行了验证计算。主要介绍天平的设计、校准及应用情况。     

改进遗传算法的纵列式直升机总体参数优化设计

研究纵列式双旋翼直升机总体参数的优化设计方法,在分析双旋翼气动干扰对旋翼气动特性影响的基础上,采用改进的遗传算法,以运输效率为目标、以飞行性能和重量效率等参数为约束条件,建立优化设计模型,优化纵列式直升机总体参数。以CH-47D纵列式直升机为优化算例,计算结果表明,本文提出的优化方法是可行的,优化效果良好。     

纤维增强树脂基复合材料结构的优化设计

综述了国内外纤维增强树脂基复合材料结构优化设计的研究成果与发展状况,内容涉及到层合板壳结构以及夹层结构的屈曲、振动、可靠性、结构强度以及多级多目标等问题的优化设计。文中还涉及到发动机复合材料构件优化方面的一些研究成果,给出了其优化设计的网络框图。论文最后对复合材料结构优化设计当前存在的主要问题和今后发展方向作了分析,并指出今后的研究方向：（１）多级多目标多学科的优化设计,不仅涉及到基本理论、建模和方法,而且更加强调工程实际问题;（２）发展相应的软件专家系统,更加强调软件面向对象编程和 Ｃ Ａ Ｄ 技术的应用;（３）注重探究快速有效的优化算法以及探究随机优化和可靠性优化技术,从而快速有效地获得对优化设计点的可靠评价等。