一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上，提出了一种故障树事件序列的数据结构，并针对该数据结构，设计了一种高效的故障树最小割集求解算法，并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题，实验结果表明算法具有较好的计算性能。     

空间卫星目标动态电磁散射特性仿真与分析

给出了空间轨道飞行目标动态宽带散射特性建模方法,重点对某卫星动态宽带电磁散射特性进行了仿真,并通过轨道飞行过程中卫星一维距离像的积累获取了散射中心历程图,提出了由飞行过程中形成的散射中心历程图来判断卫星的结构特点的思路.     

rom 15 sel

with primary goat embryonic fibroblast showed no difference from traditional feederlayer-based culture method used in mouse and human. The putative primary EG colonies were multilayer clumps ofcompact cel     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。     

计算机帧时间对半实物仿真的影响

半实物仿真试验中,要求计算机帧时间与计算积分步长相一致,但在实际试验中不容易精确地做到。本文分析了这种不一致给半实物仿真试验带来的影响,给出了解决的办法,文章中还给出了一实例来说明。     

Field formation around negatively biased solar arrays in the LEO-plasma

Heavy emission caused by impacting plasma ions results in a fast discharging effect of the initially large surface potentials on the dielectric solar cells. This eventually counteracts the energization process of the plasma ions to the cover glasses and leaves no significant electric fields. Thus, with an existing thermal plasma, electrons are again able to reach dielectric surfaces. Strong localized electric fields of the order of several 10 kV/cm form near the interconnector-cover glass interface.     

加入WTO对中国航空货物运输的影响分析

针对中国加入WTO对航空货物运输的影响，从溢出效应、竞争、辅助市场的开放、市场准入、管理、WTO规则和机制6个方面进行了分析。强调要全面和发展地看待WTO给航空货物运输带来的影响，以及要更加注重掌握WTO的规则和机制，才能更好地理解WTO对航空货物运输企业经营环境和约束条件的影响。     

EUV emission from normal galaxies

Using data from the Wide Field Camera EUV all-sky survey, we have established upper limits to the EUV flux from a sample of 30 bright, nearby, non-active spiral galaxies. These galaxies were chosen to be those most likely to be detected in the EUV on the basis of (i) low interstellar absorption within our own galaxy, (ii) brightness in other wavebands, (iii) high star formation activity, and (iv) proximity. The derived EUV upper limits are restrictive, and establish for the first time that the EUV flux escaping from galaxies does not constitute a major component of their bolometric luminosity, and in particular that it cannot be the sink for the energy injected into the interstellar medium by supernova explosions, as had been suggested following the failure to detect this power in the X-ray band.     

A bistatic SAR mission for earth observation based on a small satellite

The authors present a new scientific space mission consisting of a satellite carrying a receiving- only SAR which receives the signal transmitted by the ENVISAT-1 SAR. The integration of ENVISAT-1 SAR and bistatic radar data offers an improved potentiality of surface classification, three-dimensional observation, and the opportunity of advanced scientific experiments in the field of bistatic scattering. The small satellite nominal orbit and the attitude manoeuvres are designed in order to maintain an adequate overlap between the two radar swaths along the whole orbit, taking into account the ENVISAT-1 attitude and pointing. A preliminary satellite design (2-year lifetime) is then performed to evaluate the orbit decay and to determine the appropriate orbit manoeuvres (every 4 days) to control the satellites relative phase. The numerical simulation shows that a spacecraft of about 584kg is able to meet the mission requirements.     

The China Multimode Microwave Remote Sensor (CMMRS) Onboard the SZ-4 Spaceship

In this report, the specifications and some results of the China multimode microwave remote sensor (CMMRS) onboard China's SZ-4 spaceship are described. Technical details and initial processing results of the CMMRS measurement data are reported.