关于BL-代数的implicative滤子的一些结果

通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题"一个normal滤子在什么合适条件下成为fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件。     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统,旨在民机研制过程中充分发挥自主适航的能力,通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能,以保证航空产品的设计或者设计更改满足适航当局的要求。其中,设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上,从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制,给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议,并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果,进而增强设计保证系统对飞机型号研制的保证作用。     

基于人工智能技术的雷达目标检测

强杂波背景下的目标检测是各国争相研究的热点,传统的雷达目标检测技术无法实现,人工智能技术的出现,其在目标识别和特征提取方面的独特优势,使得强杂波背景下的目标检测成为可能,利用人工智能神经网络的强大非线性预测能力对海杂波的非线性动力方程进行逼近,实现了对海杂波的非线性预测,提出了一种基于神经网络技术的强海杂波背景下的脉冲多普勒雷达导引头小目标检测方法,使得强海杂波背景下的目标检测能力有2 dB到6 dB的提升。     

待机状态下机翼结冰的快速计算方法

飞机在飞行过程中遭遇结冰气象,尤其是过冷大水滴结冰条件所导致的机翼结冰,将严重影响飞机的气动性能与操纵品质,从而导致飞行故障或飞行事故,是飞机飞行安全的重要影响因素,是飞机研制中必须重点解决的难题。虽然针对结冰已建立有多种计算仿真程序,但快速获得结冰模拟冰形,包括过冷大水滴条件下的结冰模型是工程师们一直追求的解决方案。利用前向多层神经网络,尝试建立了一种针对待机状态下的机翼结冰模型。此方法基于坐标转换原理,将获取的采用直角坐标表达的标准翼型的机翼结冰数据转换为对应的极坐标表达的数据,以飞行参数、气象参数和极坐标角度作为输入,极坐标模值作为输出训练构建出此种机翼结冰模型。使用所建立的模型,仿真预测结果表明该计算方法具备快速性和精确性,其计算精度可满足实际要求。     

九黄机场8月和10月风特征分析

利用九黄机场20号跑道自动观测站2004-2010年8月和10月的2分钟平均风向和风速资料,对九黄机场8月和-10月风向、风速的半小时平均状况进行了统计分析。分析表明：九黄机场8月和10月风向分布总体差别不大,8月主导风向为ESE和SSW,10月主导风向为NNE和S;N和NNE风向日出现时间变化很大;风速日变化特征明显,夜间风速较小,白天风速较大;上午8：00左右风速开始逐渐增大,8月平均最大风速时间段为17：00．18：00,10月平均最大风速时间段为18：00．19：00,8月日半小时平均最大风速为5m·s^-1,10月日半小时平均最大风速为3．5m·s^-1;8月风速大于12m·s^-1几率较小,10月风速大于10m·s^-1几率较小,可为8月和10月九黄机场飞机起降提供有益参考。     

监测复合材料结构剩余疲劳寿命的剩余刚度方法

通过疲劳试验获得了复合材料层合板刚度退化的两参数模型,基于此模型提出了复合材料结构剩余疲劳寿命监测的剩余刚度方法,它以实验室中获得的归一化的剩余刚度曲线为基准,结合复合材料结构疲劳危险点的实测剩余刚度值,预测该危险部位的剩余疲劳寿命。该方法抓住了复合材料结构刚度退化的本质,借助实测刚度值,消除了疲劳性能分散性的大部分影响。通过4种玻璃/环氧复合材料光滑试验件和中心孔试验件的疲劳试验结果对该方法进行了验证。结果显示,本方法可以准确地预测复合材料结构的剩余寿命,且仅需利用前20%左右的剩余刚度数据,预测结果便与试验结果吻合较好。     

气动谐振加热效应的数值模拟

为研究谐振管内部的流动情况,建立了喷嘴-圆柱形谐振管系统的模型,利用二阶NND格式求解二维轴对称雷诺平均N-S方程,通过耦合求解传热方程在边界条件中考虑谐振管的传热,模拟气动谐振加热效应,得到了谐振管底部气体的压力与温度振荡曲线,计算结果与实验结果较为一致.结果表明,在约20 ms内即可完成对谐振管底部气体的谐振加热,且谐振管的传热是影响气动谐振加热温度的重要因素,在数值模拟中对其加以考虑可以提高计算准确性.      

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

机载图像无损/近无损压缩方案及其FPGA实现

根据机载图像压缩和传输的特点,在改进JPEG-LS算法基础上,设计了一种有效的图像无损/近无损压缩方案.该方案由去相关处理、熵编码及压缩位率控制三部分组成.去相关处理部分解决了JPEG-LS预测模型本身的误码扩散问题,熵编码部分使用快速有效的Golomb熵编码器完成对预测误差的编码,同时解决了机载应用中数据传输率恒定条件下压缩码率的控制问题.对压缩算法现场可编程门阵列(FPGA)设计中的一些关键问题也给出了有效的解决途径,从而形成了一套完整、可行的机载图像压缩解决方案.最后通过FPGA实现和验证了压缩方案及逻辑设计的正确性和可行性.      

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.