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

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

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级互感器负荷箱测量仪量值溯源问题。     

电子接插件在线质量检测研究

近年来,电子信息产业的迅猛发展,作为配套支持的接插件的生产规模也不断扩大。由于电子设备厂商对接插件的质量要求越来越高,接插件的检测也得到了越来越多的重视。由于检测速度快、运行稳定可靠的特点,机器视觉检测技术被广泛用于对接插件外观质量的在线检测。本文应用机器视觉检测技术对电子接插件质量进行了在线检测研究,并以其典型的冲压质量缺陷的检测为例对机器视觉在线检测系统的构成、核心处理模块、应用中存在的问题以及解决问题的新方法进行阐述,最后针对系统的可靠性进行了分析。     

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

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

基于机器视觉的药用铝箔印刷品质检测系统

为适应制药行业对药用铝箔印刷品质的严格要求,在分析了印刷过程中对微小针孔、正面文字缺陷以及反面细小异物的检测需求后,开发了一套基于机器视觉的药用铝箔印刷品质检测系统。系统选配了线阵CCD相机、条形LED光源等硬件,搭建了高实时性、高清晰度的图像采集环境;采用基于Win Sock网络通信的系统架构作为检测软件,将多台工控机的处理结果通过网络通信传输给中控系统。经测试表明:此检测系统在现场能够稳定、高效运行,提高了药用铝箔印刷品质检测的自动化程度。