综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

Improvement of PPP-inferred tropospheric estimates by integer ambiguity resolution

Integer ambiguity resolution in Precise Point Positioning (PPP) can improve positioning accuracy and reduce convergence time. The decoupled clock model proposed by Collins (2008) has been used to facilitate integer ambiguity resolution in PPP, and research has been conducted to assess the model’s potential to improve positioning accuracy and reduce positioning convergence time. In particular, the biggest benefits have been identified for the positioning solutions within short observation periods such as one hour. However, there is little work reported about the model’s potential to improve the estimation of the tropospheric parameter within short observation periods. This paper investigates the effect of PPP ambiguity resolution on the accuracy of the tropospheric estimates within one hour.     

A Novel Ship Wake Detection Algorithm Based on WTHT and Radon Transform

This paper proposes a novel ship wake detection algorithm based on the White Top-hat Transform (WTHT) and the Radon transform, which aims to improve the contrast between the ship wake and the background so as to improve the detection performance on Synthetic Aperture Radar (SAR) images. The proposed algorithm includes two major processes, and one is to improve the contrast and another one is to locate the ship wake. In high sea state conditions, the contrast of ship wake and background can be very low, which makes it difficult to detect. In the first step, the proposed contrast improvement algorithm is applied to improving the contrast which helps for improving the detection performance. An attribute filter based on edge detection result is adopted here. In the second step the contrast improved image is transformed into the Radon domain followed by peak extraction process to find the wake, the WTHT is used once more in this step. Finally, in the last step, the wake is overlapped on the original image. Experimental results on Tiangong-2 Interferometric Imaging Radar Altimeter (InIRA) images are presented and compared with that obtained by using the classical algorithm, and in this way, the better performance of our algorithm is demonstrated.      

构建计算机系可持续发展的师资队伍

本文分析了计算机领域人才的特点及计算机系教师现状,提出构建计算机系可持续发展的教师队伍的几点建议,指出对教师培养要从教学、科研多方面角度着手,结合专业发展需求和教师发展定位综合考虑,以团队建设和长期稳定发展为目的制定专业教师培养方案。     

基于CFD分析的飞机滑油散热引射器性能计算和改进

为分析某型飞机在热天地面慢车状态下滑油散热引射器（以下简称引射器）开启后滑油温降变化较小的问题,对滑油散热系统冷边风道流动过程进行分析并给出合理的引射器性能计算方法,基于N-S方程和k-epsilon湍流模型,计算得到严酷工况下引射器开启前后的滑油温降值。机上地面试验的结果表明,本文的计算方法切实可行、数值模拟计算结果和试验结果一致,满足一般工程计算的要求,为引射器性能分析和改进设计提供了理论依据。最后,本文基于数值模拟计算结果提出了工程可行的引射器性能提升改进思路。     

PDCA模式在高职英语教学管理中的应用

PDCA模式是企业实施目标管理而经常运用的一种管理方法。在介绍PDCA模式的基础上,将其引入高职英语教学管理;论述教学计划、教学实施、教学检查和教学评价(PDCA)四个阶段中管理人员和教学人员的工作内容和工作重点。     

直升机结构动特性建模技术研究

在直升机设计阶段通过建模分析进行全机动特性设计，准确地预测全机振动响应是控制和降低直升机振动水平的关键技术，本文以直11型直升机为研究对象，对机体结构的动特性建模技术进行了深入的研究，采用从部件到全机建模的研究策略，把整个机体分成尾段，舱门，机身段，分别进行有限元建模，动特性试验，相关分析，模型修改技术和建模准则的研究，在此基础上，对部件连接界面建模分析，组建修改后的各部件模型，建立全机动特性分析模型，通过对直11型机全机动力学建模，试验相关分析与模型修改，大大增强了分析模型的预测能力，达到了40Hz以内的频率误差小于11％的预测精度，突破了对直升机复杂结构建模关键技术，建立了适用于直升机结构动力学分析的建模准则，在直11型机动特性设计中取得了成功。     

论我国农村集体土地法律制度的完善

土地利用效益不高,长期以来一直制约着农民收入的增长.《物权法》的颁布,对提高土地的效益将会起着重大的促进作用.本文探讨了在《物权法》的实施过程中,我们应当注意的一些具体问题.     

用于变体翼梢小翼的伸缩栅格研究

翼梢小翼能抑制翼尖涡流形成、降低机翼的诱导阻力,翼梢小翼的高度是对减阻效果影响较大的参数之一.传统翼梢小翼仅针对巡航状态设计,而在起降、爬升等非设计状态减阻效果不佳.变体翼梢小翼能根据飞行状态主动改变几何外形和尺寸,实时优化减阻效果.为了实现变形,设计了一种用于变体翼梢小翼的伸缩栅格,通过步进电机驱动,可使翼梢小翼的高...     

一种微型涡轮发动机导向器改进方案

为了提高发动机性能,克服微型涡轮发动机(MTE)的尺度小等因素导致其导向器内流动损失大的缺点,采用了整体叶片式导向器设计技术对某MTE-C微型发动机涡轮导向器进行了改型设计.首先采用NAPA软件对MTE-C微型发动机的整体叶片式导向器进行数值模拟,通过流场分析得到了原型导向器设计中导致流动效率低下的不足之处,并以此为理论依据,对导向器进行了改进.改进型导向器的整级数值模拟结果表明,涡轮在设计点的效率提高了15%, 且在宽广的工作范围内其通流能力和效率均得到了明显的提升.