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

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

飞行器鼻锥凹腔-发散组合冷却数值模拟

尖锐鼻锥冷却方案是可复用式航天飞行器研究领域一个十分重要的课题。传统发散冷却虽然可以有效降低鼻锥结构温度,但是由于驻点外极高的热流、压力,会出现驻点冷却效果差的问题。迎风凹腔结构是一种针对鼻锥驻点区域的减阻防热方案,尖锐唇口的分流作用可以使附近压力、热流降低。因此,提出一种新型冷却结构——凹腔-发散组合冷却,利用迎风凹腔结构对驻点的强化冷却解决发散冷却中驻点难以冷却的问题。以楔形鼻锥为物理模型,对发散冷却、迎风凹腔结构和凹腔-发散冷却3种冷却结构进行数值模拟,并和无冷却的纯鼻锥结构进行对比。结果表明,与传统发散冷却相比,使用凹腔-发散组合冷却可以使结构温度峰值下降16.8%;与没有冷却的纯鼻锥模型相比,鼻锥头部圆弧段表面平均温度降幅可达64%,证实了这种新型冷却结构的可行性和高效性。     

基于寿命法的压力敏感涂料静/动态特性实验

压力敏感涂料测量技术在内外流表面压力测量方面具有独特的技术优势。涂料光谱特性及"传感器"特性的研究对于分析喷涂固化中环境差异等不可控因素的影响程度、检验拟用涂料配方特定试验的适用性具有十分重要的意义。为此,以一种在研的磷光压力敏感涂料为对象,基于自主研发的静态校准系统对发光寿命随压力与温度的变化规律进行了实验研究,通过对测量结果的拟合分析发现所用涂料的温度适用范围在30~60℃之间,且可进行温度敏感度修正;基于自主研发的高频动态压力光学校准系统对涂料在不同压力脉动频率下的涂料发光寿命峰峰值规律进行了实验研究,通过分析研究确定所用涂料基于发光寿命的截止频率上限为0.94 kHz。实验研究进一步验证了涂料特性静动态校准组合方法的可行性与有效性,为压力敏感涂料配方的研发及其应用拓展提供了重要的技术支撑。     

考虑喷注流强分布的纵向稳定性建模与分析

喷注器流强分布是除声学阻尼装置以外使液体火箭发动机稳定工作的重要措施,通过控制喷注流强分布使推进剂的燃烧尽量远离主要振型的波腹区,减少热声耦合振荡的能量源,从而达到抑制高频振荡的效果。因此,建立喷注流强分布与稳定性之间的综合分析模型,研究流强分布的不稳定性抑制特性具有重要实际意义。针对采用自击式喷嘴器、液滴蒸发作为燃烧速率控制过程的某自燃推进剂缩尺燃烧室高频纵向燃烧不稳定问题,近似采用蒸发速率峰值区代替集中燃烧释热区,引入燃烧室三维声学控制方程以考虑多喷嘴条件下燃烧响应空间分布,建立了针对喷注器流强分布条件下的高频纵向燃烧稳定性分析模型,并对喷注流强的稳定性抑制特性进行了分析,给出了不同分布流强下燃烧室一阶纵向信号的增长率变化规律。研究表明,喷注流强分布有利于燃烧室稳定,"驼峰区"喷注孔径的增大对改善高频纵向不稳定性更为显著,"驼峰区"流强增加30%,相应的增长率降低15%。     

非对称受损飞机多变量模型参考自适应控制

针对非对称受损的常规布局飞机,对其自适应控制设计方法与适用条件进行了研究.建立了非对称结构受损飞机的非线性模型,详细讨论了模型的线性化过程以及受损造成的纵、横向间动态耦合项;结合常规布局非对称结构受损飞机的物理特性,对多变量模型参考自适应控制器设计的关键条件：关联矩阵和高频增益矩阵顺序主子式符号的不变性做出了证明,确立了该方法在非对称结构受损飞机上应用的理论可行性;通过仿真验证了MRAC（Model Reference Adaptive Control）方法对非对称结构受损飞机控制的有效性.     

特定工况下内嵌钢球欧拉梁碰撞减振性能研究

针对内嵌自主移动钢球欧拉梁碰撞系统,研究了在一复杂工况下内嵌自主移动钢球碰撞阻尼机制对梁残余衰减振动的抑制效果.采用线性弹簧-阻尼模型模拟钢球与梁之间的碰撞机制,通过分析建立了整个碰撞系统的分段线性动力学方程,并运用无量纲化、假设模态法、高阶模态截断等方法导出了系统的状态空间方程.数值计算结果充分表明在此工况下内嵌自主...     

Structural Nonlinear Flutter Characteristics Analysis for an Actuator-fin System with Dynamic Stiffness

The flutter characteristics of an actuator-fin system are investigated with structural nonlinearity and dynamic stiffness of the electric motor. The component mode substitution method is used to establish the nonlinear governing equations in time domain and frequency domain based on the fundamental dynamic equations of the electric motor and decelerator. The existing describing function method and a proposed iterative method are used to obtain the flutter characteristics containing preload freeplay nonlinea...     

充分发挥思想政治教育课程的作用

要提高大学生思想政治教育的实效性,就要使大学生思想政治教育回归真实社会生活,思想政治教育只有着眼于大学生成长成才需要,才能更充分地实现学生主体性与教育导向性的有机统一,使学生自我发展与社会进步有机统一。分析思想政治教育课程的特点,提出如何运用思想政治教育课程优势,更好的发挥思想政治教育的途径与对策。     

机载计算机雷电防护研究

介绍了雷电的形成和危害,机载计算机雷电防护的要求和标准,各种雷电防护器件的特点,分析了雷电防护的方法和电路拓扑,防护器件的参数计算及选择。雷电防护研究是一门试验科学,设计是否合理必须通过相关试验进行验证。     

东北主体功能区绩效评价体系的构建

根据<国民经济和社会发展第十一个五年规划纲要>并结合东北实际,针对划分的优化开发、重点开发、限制开发和禁止开发四类主体功能区,按照全面性、科学性、针对性和可操作性的原则,初步设计了一套差别化的区域绩效评价体系的设计思路和评价指标.