角接触球轴承分析模型的数值求解

建立了内圈静止、外圈旋转的角接触球轴承分析模型,考虑了滚动体的离心力、陀螺力矩以及弹性流体动 力润滑作用.建立了非线性方程组未知量的约束条件,解决了Newton-Raphson法求解方程易出现不收敛的问 题.以两个角接触球轴承为算例,分析了轴承内、外圈分别旋转对应力的影响,以及转速和径向载荷对轴承工作 性能的影响.结果表明,轴承外圈转时接触应力随转速增大而显著增大,内圈转时则无明显变化;低转速下外圈 转的接触应力明显低于内圈转;较小的径向栽荷下外圈转的接触应力高于内圈转;轴承微区滑动速度受转速和径向栽荷的影响显著.通过Jones球轴承拟静力学分析程序计算,验证了模型和程序的有效性.     

飞越转弯衔接TF、CF航段保护区算法分析

飞越转弯是基于性能导航中非常重要的一种飞行方式,TF、CF航段是飞越转弯后可选的衔接方式。通过应用风螺旋精确计算方法,可以自动化地实现飞越转弯保护区衔接TF、CF航段的绘制,为飞行程序保护区的自动化处理提供详实的理论依据。     

死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

裂纹矩张量反演的传感器排布形式

裂纹矩张量反演方法利用声发射信号求解裂纹信息,是一种有效的裂纹扩展实时监测方法。在工程应用中,传感器接收到的声发射信号总包含一定比例的噪声。噪声信号会影响矩张量反演精度,甚至导致错误结果。研究通过优化传感器排布形式来降低噪声对矩张量反演精度的影响。基于矩张量初至波反演方法,分析了传感器位置选择的理论基础。进而利用人工合成声发射信号,定量研究了在不同传感器排布形式下,矩张量反演精度对噪声的敏感度。结果表明:正五边形传感器排布形式具有较好的精度表现,这种排布形式将5个传感器布置在一个圆环上,相邻传感器的传感器-圆心连线的夹角为72°,第6个传感器布置在圆心。此时矩张量求解方程的条件数较小,当声发射信号幅值因为噪声发生变化时,求解结果具有较高的精度和稳定性。研究针对矩张量反演中的传感器位置选择问题,为相关工程实践提供了建议和理论依据。      

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.     

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

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

苏霍伊“超级喷气”100年底交付

目前,苏霍伊民用飞机公司的"超级喷气"100的原型机已累计飞行710架次,飞行时间超过了1800小时,完成了全部适航认证程序的70%。该公司预计该机今年11月可取得俄罗斯适航证,并坚称将按承诺时间,即今年年底之前向亚美尼亚航空公司和俄罗斯国际航空公司交付首批"超级喷气"100飞机。     

概率安全评定方法的计算程序及其工程应用

考虑四种主要随机因素：载荷（作用应力）、缺陷尺寸、断裂韧性、流变应力等参数的不确定性,针对较为常见的焊接结构型式,如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型,基于双判据失效准则,编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产ＣＦ－６２钢制容积为１５３１ｍ３的球罐可能存在的缺陷进行了概率安全评定,通过对评定参数的敏感性分析,指出了影响其可靠性的关键因素。     

雷达监视下程序管制短期冲突告警算法研究

本文研究了一种基于航空器飞行轨迹线性外推冲突预测的短期冲突告警（STCA）算法,并给出算法的具体实现方案。仿真实验结果证明了算法的有效性,适用于雷达监视下的程序管制间隔标准和管制体制。     

多重分形谱在材料分析中的应用研究

基于多重分形谱的物理意义，通过图像分析与处理技术，利用Delphi语言设计了图像结构的多重分形谱的计算程序。通过程序中图像黑白二值化转化阈值的设定，实现了从材料组织结构形貌图像上提取其相应的概率测度和标度指数的功能，并计算了它们的多重分形谱。分析表明：在对材料的组织结构进行研究的问题中，多重分形谱是一种有意义的表征参数，能够从多分形角度对材料的组织结构开展定量化的分析与解释。