平面工艺功率型半导体晶体管铝迁移实验

在平面工艺制造的功率型半导体晶体管芯片表面,发现高强度电场条件下存在跨越0.05 mm半绝缘硅带的铝迁移现象,对此开展了一系列实验研究. 通过开帽物理观察与分析、低温测试与烘干验证、迁移物质分析对比,确定了迁移现象中的迁移物质,同时分别取证环境温度、湿度、芯片表面污染物以及器件局部结构与此迁移现象的关联性,以此提出了迁移机理假说,为在不同的诱发条件下对此迁移机理进行确认和量化研究提供指导.      

基于全信息的正态分布型数据的线性回归分析

针对正态的分布型符号数据,提出一种新的线性回归分析方法.以体现正态的分布型数据的全部原始信息为出发点,给出正态的分布型变量的一阶矩、二阶原点矩、二阶混合原点矩的定义和计算原则.在此基础上,定义针对正态的分布型数据的线性回归模型以及残差信息的平方和,推导最小二乘回归系数.仿真实验证明了该方法所得回归模型在解释能力和预测能力上的有效性以及相对于"中心法"的优越性.给出的正态分布型变量数字特征的定义和计算原则为将其他经典的多元统计方法推广到分布型数据奠定了基础.     

微软创始人组建空射火箭公司

微软共同创始人艾伦近日宣布组建平流层发射系统公司,目的是要研制一种采用太空探索技术公司所造多级火箭和升高复合材料公司研制的载机的空射型航天运载系统。     

一种用于纳型卫星在轨分离释放装置的设计

针对纳型卫星分离载荷的在轨分离释放需求,给出弹簧式分离释放装置的设计方案,解决国际上的商用现货产品不适用于这种非标准质量体积比的纳型卫星的问题.设计的分离释放装置能承载体积6 U(1 Unit即1 dm3体积),质量10 kg的分离载荷.由设计要求出发,给出包括中心承力构架、分离释放机构和对接环的方案,进行结构模态分析和过载分析.最后给出两两对称分离的在轨分离释放过程.结构设计结果表明该方案能满足一般的运载发射要求.该设计为任务的实施提供了有效可行的解决方案.     

Dirichlet混合样本的EM算法与动态聚类算法比较

Dirichlet分布是一类包含正参数向量的连续多元概率分布,在比例结构问题中具有广泛的应用。针对Dirichlet混合样本的聚类问题,进行了最大期望（EM）算法和动态聚类算法研究。首先,推导其数学过程,并给出算法迭代步骤。然后,利用数字仿真实验,比较了EM算法与动态聚类算法两种机器学习算法在Dirichlet混合样本中的聚类效果。最后,计算对数似然函数值、程序运行时间、收敛迭代次数、聚类正确率、真正率（TPR）和假正率（FPR）6个评价指标。仿真实验结果表明,EM算法聚类正确率更高但是运算效率相对较低,而动态聚类算法运算效率较高但是损失了部分聚类正确率。因此,实际应用中建议综合权衡聚类正确率与运算效率的相对需求后,再选取合适算法进行Dirichlet混合样本聚类。      

深空探测中的钚-238同位素电源

钚-238同位素电源(钚-238 RTG)能够在恶劣环境下长时间自持运行,供电的同时还能提供热能,是深空探测任务的理想能源。首先对温差型钚-238 RTG发电原理和基本结构进行了阐述,介绍了国内外钚-238 RTG应用历史和发展趋势,进而梳理出了钚-238 RTG研制关键技术,然后结合国外钚-238 RTG研制技术状况及未来深空探测需求,对上述关键技术进行了分析和讨论,从而可为我国钚-238 RTG技术发展及其工程应用提供参考。     

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

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

热线风速仪X型探针的一种新标定方法

一种用于热线风速仪X型探针标定的简捷而准确的方法，借助于理想流动角和无量纲速度参数H，将传统X型探针全速度-偏航角标定问题通过几个函数关系来代替，简化了标定过程，而且具有较高的精度。     

交—交型矩阵变换器的双电压控制原理及波形合成

介绍了一般意义上的ｎ×ｍ型矩阵变换器的拓扑形式及双向功率开关的构成；分析了基于瞬时电压调制技术的三相ＡＣ－ＡＣ矩阵变换器的开关状态和控制规律；给出了在一个周期里，划分输入相区，输出相区的原则，从理论上推出了改进的双线电压控制的矩阵变换器的控制函数表达式。