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.     

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

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

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

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

基于Visual Basic的互感器负荷箱测量仪校准系统的实现

为解决互感器负荷箱测量仪同相分量和正交分量的校准问题,在分析互感器负荷箱测量仪工作原理的基础上,设计了基于电子/电工组合式的互感器负荷箱测量仪校准装置,并简要说明装置电工部分、电子部分以及上位机软件的实现。经省级计量研究院验证结果表明,该装置校准结果符合0.2级要求,可作为标准装置解决1级互感器负荷箱测量仪量值溯源问题。     

微分法在定位误差分析与计算中的应用

介绍了微分法分析计算定位误差的原理和适用范围,通过生产实例分析,证明了该方法在解决多误差因素定位误差分析与计算中的简便与快捷,从而有效简化了复杂定位方案定位误差的分析与计算,提高了夹具的设计效率。     

图形背景理论模式下英语强调结构的教学认知

在英语中,说话人要重点突出的部分叫做强调.强调结构一直是学生学习英语的重点和难点。传统的教学方法存在诸多弊端,学生不会综合运用,不懂融会贯通。从新的视角对英语强调结构的教学进行认知势在必行。认知语言学中图形-背景理论为重新感知和理解强调结构提供了理据,进行形象具体化教学,有效提高学习效果。     

雷达信号时差频差测量定位工程实现技术研究

针对星载时差频差无源定位系统对地海面雷达信号定位工程实现需要考虑的实际问题,对雷达信号时差频差测量关键技术进行研究.首先研究了雷达信号时差频差测量方法,然后研究了双星时差频差模糊条件并提出解模糊方法,最后,研究了长时间积累对到达频差的影响,给出随时间变化频差补偿方法.     

空间目标碰撞概率的等效矩形域快速算法

针对线性相对运动假设下的碰撞概率计算问题,提出了等效矩形域方法。利用该方法将概率积分计算进行近似处理,推导出概率密度积分的解析表达式。针对空间目标误差椭球形状固定的情况,给出了最大碰撞概率的计算方法。对目标在交会时刻相距较远和接近碰撞的情况进行了碰撞概率以及最大碰撞概率计算。通过将计算结果与空间压缩无穷级数法的对比,验证了等效矩形域方法近似计算碰撞概率积分的可靠性,同时对于不同的碰撞概率计算情况,等效矩形域方法显示出更高精确度和更好的估计偏差稳定性。