军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

多组元的铁基非晶合金耐蚀性与团簇振动性能的相关性

通过调整Fe_(57.47-x)Cr_(11.84+x)Mo_(10.09)C_(11.6)B_7Y_2(x=0,2,4,6)成分中的Fe/Cr原子百分比获得了具有优异耐蚀性和热稳定性的铁基非晶合金。采用电化学方法及拉曼光谱仪对铁基非晶合金耐蚀性与团簇振动性能的相关性进行了研究。电化学测试结果表明:在质量分数为3.5%NaCl溶液中,随着Fe/Cr比的增加,铁基非晶合金的耐蚀性呈先增强后减弱再增强的变化趋势。室温下的拉曼光谱测试结果表明,非晶合金内部的团簇振动波数随着Fe/Cr比的增加呈先减小后增大再减小的变化规律。团簇振动波数的变化改变了非晶合金内部的吉布斯自由能,从而使得腐蚀过程中的电流密度发生变化,最终导致了非晶合金的耐蚀性的改变。铁基非晶合金在3.5%NaCl溶液中的电流密度与团簇的振动波数符合关系式y=1.616 8+0.005 42e~(x/(235.2))。     

油泵壳体及滑动轴承异常磨损故障研究

主泵调节器用来供给、调节发动机在各种工作条件和工作状态下所需的燃油,如果主泵调节器油泵内部出现严重磨损,势必对发动机性能的发挥和工作可靠性产生重大影响。通过对4起主泵调节器油泵壳体及滑动轴承异常磨损故障的对比、机理分析,找到了故障的主要原因,并制定了针对性的预防措施。     

重心坐标应用于几何定理的机械化证明

用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。     

涡轮动叶凹槽状叶顶传热特性和气动性能的不确定性量化研究

基于非嵌入式多项式混沌展开方法,结合Smolyak稀疏网格技术与Sobol Indic方法构建了涡轮动叶凹槽状叶顶传热特性和气动性能不确定性量化分析系统。研究并量化了几何参数叶顶间隙和运行工况参数主流进口总温与气膜冷却吹风比不确定性对涡轮动叶凹槽状叶顶气热特性的影响。不确定性分析结果表明：在考虑叶顶间隙与主流进口总温和吹风比不确定性的情况下,叶顶换热量 基本符合正态分布。 的统计均值相对于设计值增加13.56%并且其偏离设计值10%的概率高达65.68%。相比叶顶尾缘区域,叶顶前缘部分的换热量对不确定性输入更加敏感。前缘区域的叶片壁面换热量 的不确定性明显大于尾缘部分。在叶顶间隙与主流进口总温和吹风比不确定性的影响下,0-80%轴向弦长区域内叶顶总压损失系数存在微小偏差,但在80%轴向弦长以后区域总压损失系数的不确定性偏差会达到约50%。敏感度分析的结果表明主流进口总温是叶片换热性能不确定性的主导变量,其对 与 不确定性的贡献分别为93.87%和98.32%。叶顶气动性能的不确定性则完全由叶顶间隙控制,其对叶顶总压损失系数不确定性的方差占比高达86.44%。与主效应相比,各变量间的二阶交互效应对叶顶气热性能的影响几乎可以忽略不计。     

基于预测电流控制的光伏并网系统最大功率点跟踪算法

针对光伏发电的突变性及昼发夜停特性提出一种新型的基于预测电流控制的光伏并网系统最大功率点跟踪(MPPT)算法。根据实际情况考虑光伏阵列的非线性特性,最大功率点周围光伏电压的振荡及逆变器、滤波器的设计等。为了确保系统采用控制算法的稳定性,MPPT的设计应运而生,在此基础上通过改进算法从光伏系统的电压与电流预测基准电流进而控制光伏并网系统。通过与传统的波动相关控制方法对比给出了仿真结果。仿真结果表明:在光照发生突变时,与传统的波动相关控制法相比,提出的改进算法的跟踪速度较之提升9.3%,并能够准确跟踪光伏并网系统最大功率点,且性能稳定可靠。