直接不交化方法在故障树定量分析中的应用

在布尔集合运算方法和不交化方法基础上，提出了单调关联故障树系统定量分析优化方法，通过故障树定量分析优化方法，可以方便地得到系统的可靠度、不可靠度、最小割集、最小路集、关键重要度等指标。     

舰载飞机自动着舰系统的研究

介绍了舰载飞机的自动着舰系统（包括了飞机的飞行控制系统，推力控制系统及航空母舰的导引系统），并指出只有精确地控制飞机的不滑轨迹，才能使飞机在航空母舰上安全降落，本文着得讨论俯仰指令型的纵向自动着舰系统的原理、结构及设计，并指出导引指令中对舰体运动的补偿。     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

神舟2号大气密度探测器的探测结果(Ⅰ)日照和阴影区域热层大气密度变化

选用了神舟2号（SZ-2）大气密度探测器在2001年2—4月间的探测数据,进行日照和阴影区域热层大气密度变化的探讨.结果表明:在高度410km附近,日照和阴影区域大气密度变幅为2—3倍,变幅的大小与地磁活动程度呈负相关关系.日照面大气密度峰区位于星下点地方时1400—1500LT的纬度处,峰值大小与太阳活动程度呈正相关关系.阴影面大气密度谷区位于星下点地方时0400-0500的纬度处,同时在±10°纬度区域中还出现了阴影面峰区.     

MONITORING OF ENERGETIC PARTICLE ENVIRONMENT INSIDE THE CHINA-BRAZIL EARTH RESOURCE SATELLITE

On 14 October 1999, the Chinese-Brazil earth resource satellite (CBERS-1) was launched in China. On board of the satellite there was an instrument designed at Peking University to detect the energetic particle radiation inside the satellite so the radiation fluxes of energetic particles in the cabin can be monitored continuously. Inside a satellite cabin, radiation environment consists of ether penetrated energetic particles or secondary radiation from satellite materials due to the interactions with primary cosmic rays.Purpose of the detectors are twofold, to monitor the particle radiation in the cabin and also to study the space radiation environment The data can be used to study the radiation environment and their effects on the electronics inside the satelhte cabin. On the other hand, the data are useful in study of geo-space energetic particle events such as solar proton events, particle precipitation and variations of the radiation belt since there should be some correlation between the radiation situation inside and outside the satellite.The instrument consists of two semi-conductor detectors for protons and electrons respectively. Each detector has two channels of energy ranges. They are 0.5-2MeV and ≥2MeV for electrons and 5-30MeV and 30-60MeV for protons. Counting rate for all channels are up to 104/(cm2@s)and power consumption is about 2.5 W. There are also the additional functions of CMOS TID (total integrated dose) effect and direct SEU monitoring. The data of CBMC was first sent back on Oct. 17 1999 and it's almost three years from then on. The detector has been working normally and the quality of data is good.The preliminary results of data analysis of CBMC not only reveal the effects of polar particle precipitation and radiation belt on radiation environment inside a satellite, but also show some important features of the geo-space energetic particle radiation.As one of the most important parameters of space weather, the energetic charged particles have great influences on space activities and ground tech nology. CBMC is perhaps the first long-term on-board special equipment to monitor the energetic particle radiation environment inside the satellite and the data it accnmulated are very useful in both satellite designing and space research.     

结构优化中的混合变量应力约束近似方法

提出一种处理结构优化应力约束的新近似方法，以往一般直接对应力约束按设计变量近似，本文用近似内力间接近似应力约束以得到更高的近似质量，根据对内力和设计变量关系分析，提出了内力按混合变量一阶泰勒展开的高捏近似方法。近似优化问题用约束变尺度法求解，最后按出了几个典型例题。结果表明该方法简单，有效，可靠。     

基于SPCE061A数字语音温度控制系统的设计

以凌阳SPCE061A单片机为控制核心,设计并制作了一款具有温度设定灵活、数字显示及语言播报功能的水温控制器,通过PID控制算法产生脉宽调制波,提高了控制精度。实践表明:该水温控制器达到了设计要求,有一定的实用开发价值。     

教育生态学视野中的产教融合研究与实践

职业教育是与经济社会发展结合最为紧密的一种教育类型,产教融合、校企合作是当前及今后一个时期我国职业教育改革与发展的方向。从教育生态学理念出发,以协同创新平台搭建为基础,构建产教融合生态系统;以校企深度合作为手段,实现系统的运行发展;以互惠共赢为基点,实现系统的良性循环,试图为高职教育发展提供可借鉴的范式。     

Low-latitude storm time ionospheric predictions using support vector machines

The electromagnetic drift plays an important role in low-latitude storm time ionospheric dynamics. In this study we attempt to utilize the electric field data into ionospheric predictions by using support vector machine (SVM), a promising algorithm for small-sample nonlinear regressions. Taking the disturbance electric field data as input, different SVMs have been trained for three seasonal bins at two stations near the north crest of the Equatorial Ionization Anomaly (EIA). Eighteen storm events are used to check out their predicting abilities. The results show fairly good agreement between the predictions and observations. Compared with STORM, a widely used empirical correlation model, the SVM method brings a relative improvement of 23% for these testing events. Based on this study we argue that the SVM method can improve the storm time ionospheric predictions.     

突出专业特色 建设飞行学生公寓文化

准军事化管理是民航院校根据民航飞行这一职业特点,对飞行技术专业大学生所实施的管理模式。公寓文化既是准军事化管理的重要载体,也是民航院校校园文化建设的重要内容。为培育高素质的民航飞行人才,加强飞行学生公寓文化建设具有重要的现实意义。本文主要分析了飞行学生公寓文化建设的总体目标、具体要求、实施途径,并且介绍了在工作中取得的初步实践成果。