澳大利亚国立大学等离子体推进研究

介绍了澳大利亚国立大学在等离子体推进领域的发展历程、技术特色及其工作原理(螺旋波双层推进器—Helicon double layer thruster、双阶段4层栅格离子发动机—Dual stage 4 grid thruster、口袋火箭—Pocket rocket),主要装置及其特征参数(WOMBAT—Waves on magnetized beams and turbulence、WOMBAT XL、Chi Kung、Piglet)、诊断设备及其典型结果 (射频补偿朗缪尔探针、发射探针、B-dot磁探针、迟滞场能量分析仪、高灵敏度动量测量摆)以及研究成果、人才队伍、项目来源和国际合作等情况,并结合在等离子体推进领域的研究现状以及研究中遇到的科学技术问题,给出了针对性的建议和思考。     

基于对称多处理架构的软件调试技术研究和实现

为了满足计算机领域用户对高性能及低功耗的双重需求,在深入研究多核现状的基础上,结合核间中断技术,提出了一种对称多处理架构下的软件调试器设计和实现方案。方案不仅成本低,而且不需要特殊调试硬件的支持,可为多核系统的故障诊断和分析提供参考借鉴。     

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。     

基于分离涡模拟的起落架气动噪声研究

用基于SA湍流模式的非定常RANS、分离涡模拟(DES)和延迟分离涡模拟(DDES)分别对四轮基本起落架模型进行了数值模拟,并根据所得的非定常流场计算了表面声压级分布和声压谱。三种方法所用的时间成本大致相同,URANS略低于其它两种,而DDES由于在附着流动区更好地保持RANS特性,故时间成本略低于DES。计算显示,非定常RANS在附着流动区能够得到合理的结果,但不能准确刻画分离流动的流动形态。DES和DDES都能较好地刻画起落架绕流的定常和非定常特性,DDES的结果略好于DES。因为起落架流动属于大分离流动,所以DES也能够得到相对正确的结果。研究结果验证了分离涡模拟在起落架大分离非定常流动预测与噪声预测中的可行性,对减小起落架噪声的方法研究具有一定的意义。     

基于遗传算法的高速磨削用量的优化

在满足所要求的加工精度的前提下，高效率一直是磨削生产追求的目标。用遗传算法对高速磨削用量进行优化，可解决这个非线性问题，并且速度快，不易陷入局部最优解，可满足高生产率的要求。优化结果表明，生产率可提高８．３％，体现了这种算法的可行性     

TiNiFeNb形状记忆合金的组织结构及相变特性

通过向TisoNiso合金中加入Fe和Nb元素,制备出一种四元Ti49Ni50-xFexNb1形状记忆合金.采用X射线衍射和背散射电子衍射的方法,测试和分析了合金的相结构及微观组织形态,采用电阻法系统研究了合金的相变特性.结果表明:Nb元素的加入并没有改变TiNiFe合金的B2结构,仅导致了广极少量的富Nb相在基体中析...     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

关于遗传算法模糊控制的研究

在控制对象的数学模型由于受非线性的时变的影响很难精确确定时，模糊控制是一个比较好的方法，但模糊控制规则易受人的因素的影响而归纳得不完善，并且不能自学习影响了模糊控制的效果。遗传算法可以搜索整个空间，不易陷入局部最优解，不受搜索空间的性假设的约束。可以解决非常困难的寻优问题，本文提出关于遗传算法的模糊控制，使控制规则得到优化，从而改善了控制性能。仿真实例表明这种方法是可行的。     

氧化石墨烯辅助低温液相法合成石榴石型固体电解质

固态锂电池有望解决传统锂离子电池的安全性问题,并且能实现更高能量密度。作为具有应用前景的石榴石型固体电解质材料,其纳米粉体的制备技术研究具有重要意义。针对石榴石型固体电解质纳米粉体存在合成温度高、粉体团聚、粉体颗粒尺寸大等关键问题,提出了一种氧化石墨烯辅助的低温液相法合成石榴石型固体电解质的技术策略。该策略的主要思想是首先利用氧化石墨烯表面带有负电荷的特性,吸附石榴石金属阳离子,避免多分散聚集体的形成;然后再利用氧化石墨烯纳米片的物理分隔,在低温合成条件下,实现分散性较好的石榴石型固体电解质纳米粉体的制备。实验中,以氧化石墨烯作为模板材料,结合化学共沉淀方法,制备了石榴石型锂离子固体电解质材料。系统研究了煅烧温度、氧化石墨烯含量、煅烧气氛等对石榴石型固体电解质制备的影响。实验结果表明:当氧化石墨烯的最佳添加量为1%时,可以在较低温度(650℃)下获得单一石榴石立方相的固体电解质材料Li_(6.5)Mg_(0.05)La_3Zr_(1.6)Ta_(0.4)O_(12)。继而对比研究了添加1%氧化石墨烯与未添加氧化石墨烯对石榴石型固体电解质纳米粉体形貌及尺寸的影响,揭示了氧化石墨烯纳米片在石榴石型固体电解质纳米粉体制备中的积极作用。固体电解质烧结片的室温离子电导率约为2.5×10~(-4)S·cm~(-1),为其在固态锂电池中的应用打下了基础。     

基于多分区操作系统的多核确定性调度方法设计

为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。