一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

27-day variation in solar-terrestrial parameters: Global characteristics and an origin based approach of the signals

The Earth and the near interplanetary medium are affected by the Sun in different ways. Those processes generated in the Sun that induce perturbations into the Magnetosphere-Ionosphere system are called geoeffective processes and show a wide range of temporal variations, like the 11-year solar cycle (long term variations), the variation of ～27?days (recurrent variations), solar storms enduring for some days, particle acceleration events lasting for some hours, etc.In this article, the periodicity of ～27?days associated with the solar synodic rotation period is investigated. The work is mainly focused on studying the resulting 27-day periodic signal in the magnetic activity, by the analysis of the horizontal component of the magnetic field registered on a set of 103 magnetic observatories distributed around the world. For this a new method to isolate the periodicity of interest has been developed consisting of two main steps: the first one consists of removing the linear trend corresponding to every calendar year from the data series, and the second one of removing from the resulting series a smoothed version of it obtained by applying a 30-day moving average. The result at the end of this process is a data series in which all the signal with periods larger than 30?days are canceled.The most important characteristics observed in the resulting signals are two main amplitude modulations: the first and most prominent related to the 11-year solar cycle and the second one with a semiannual pattern. In addition, the amplitude of the signal shows a dependence on the geomagnetic latitude of the observatory with a significant discontinuity at approx. ±60°.The processing scheme was also applied to other parameters that are widely used to characterize the energy transfer from the Sun to the Earth: F10.7 and Mg II indices and the ionospheric vertical total electron content (vTEC) were considered for radiative interactions; and the solar wind velocity for the non-radiative interactions between the solar wind and the magnetosphere. The 27-day signal obtained in the magnetic activity was compared with the signals found in the other parameters resulting in a series of cross-correlations curves with maximum correlation between 3 and 5?days of delays for the radiative and between 0 and 1?days of delay for the non-radiative parameters. This result supports the idea that the physical process responsible for the 27-day signal in the magnetic activity is related to the solar wind and not to the solar electromagnetic radiation.     

A new interpretation of the historical records of observing Venus in daytime with naked eye: Focusing on the meteorological factors in the astronomical observation records

Observing Venus during the daytime is challenging. However, observational data of Venus during the daytime can be found in history books from East Asian countries such as Korea, China and Japan. In this study, we are focused on data from Korean history book, and using records left in the Joseon wangjo sillok, one of the Korean history books from the Joseon dynasty (CE 1392–1910), tries to prove whether the reported observations were actual observation data. We collected these 4663 records from the Joseon wangjo sillok to determine whether they were actual observations, and to confirm the scientific validity of the records. When we looked at the distribution of observations on a yearly basis, we noticed that there were more observations in the fall and winter, while there were only limited numbers of observations in the spring. This difference in distribution suggests that observations were strongly affected by atmospheric conditions due to the weather. From the 4663 data collected, we found a cycle of about 1.6?years. The cycle of about 1.6?years is assumed to be related to the conjunction cycle of Venus. And, we found a cycle of about 1.0?years. The cycle of about 1.0?years is assumed to reflect the indirect effects of the Asian dust phenomenon. Our research result verified the record as actual observational data. In addition, this result verified that meteorological factors were involved in the recorded astronomical observation data. We think that our data can be helpful to climate studies on the natural sources of key climate-affecting aerosols.     

航空电子产品电磁环境效应模块化设计方法

对高强度辐射场（HIRF）环境特点与干扰类型进行分析，采用理论计算、计算机仿真技术（CST）的仿真分析及实测等方法分别对某型飞机航空电子系统综合显示单元的外部强电磁辐射场孔缝耦合、场线耦合及芯片前端电路影响关键芯片的相关规律进行了研究，给出了相关设计建议。结果表明，可通过分析孔缝、场线耦合获得进入关键芯片前端电路的电磁干扰能量，再结合关键芯片前端电路网络对干扰的插入损耗分析，获得关键芯片在外部强场激励下的感应电压。     

微通道中液滴和粒子的运动特性研究

微流控技术的快速发展反映了新型检测器件对微型化和集成化的要求，以及当前科学研究和工程应用逐步向多学科交叉领域过渡的趋势。其中，液滴和粒子是微流控技术中两种重要的操控对象。液滴和粒子的微尺度流动通常处于层流范围，然而尺度效应和界面效应将非线性因素引入流动，且受到通道结构、流动条件等多个控制参数的耦合影响，使得微尺度系统表现出多种复杂的流动现象。因此，从流体动力学的机理研究出发揭示微尺度流动的物理机制至关重要。本文综述了课题组近年来关于微通道中液滴和粒子运动的研究，分析了液滴/粒子特征参数的变化规律，界定了不同流动模式的分布状况及临界条件，明确了主导流动的关键参数并建立了相应的受力模型，以期探寻不同行为的操控方法。本文工作可为微尺度下复杂流动理论体系的完善及相关工程应用提供参考。     

Review and propositions for the sliding/impact wear behavior in a contact interface

A thermal-solid-liquid complex operational environment induces structural interface developing a typical coupling sliding/impact wear behavior. It results in contact damage until systems fail, which may cause significant economic losses and catastrophic consequences. The key point of solving this problem is to reveal the coupling damage mechanism of the sliding/impact behavior in typical systems and life characterization under a complicate evolving environment. This has been a hot topic in the area of mechanical reliability. The main work in this paper can be concluded as follows. Firstly, the main industries in which the “sliding/impact behavior” takes place have been introduced. Then, existing studies on the wear mechanism and degree analysis are presented, which includes surface morphology analysis, wear debris analysis, and wear degree measurement. Meanwhile, existing problems in theoretical modeling and experiments in current research are summarized, so as to point out a bright direction for future research on wear prediction. They include interface contact modeling, mathematic coupling mechanism modeling, wear equation establishment, and wear life characterization, which can provide some new ideas for improving the existing studies on the sliding/impact wear behavior.     

An innovative approach for integrated airline network and aircraft family optimization

The determination of optimal aerial transport networks and their associated flight frequencies is crucial for the strategic planning of airlines, as well as for carrying out market research, to establish target markets, and for aircraft and crew rostering. In addition, optimum airplane types for the selected networks are crucial to improve revenue and to provide reduced operating costs. The present study proposes an innovative approach to determine the optimal aerial transport network simultaneously with the determination of the optimum fleet for that network, composed of three types of airplanes (network and vehicle integrated design). The network profit is maximized. The passenger’s demands between the airports are determined via a gravitational model. An embedded linear programming solution is responsible for obtaining potential optimal network configurations. The optimum fleet combination is determined from a database of candidate aircraft designs via genetic algorithm. A truly realistic airplane representation is made possible thanks to accurate surrogate models for engine and aerodynamics is adopted. An accurate engine deck encompassing a compression map and an innovative engine weight calculation besides an aerodynamical artificial neural network module enable a high degree of accuracy for the mission analysis. The proposed methodology is applied to obtain the optimum network comprised of twenty main Brazilian airports and corresponding fleet.     

Unsteady wakes-secondary flow interactions in a high-lift low-pressure turbine cascade

Detailed experimental measurements were conducted to study the interactions between incoming wakes and endwall secondary flow in a high-lift Low-Pressure Turbine (LPT) cascade. All of the measurements were conducted in both the presence and absence of incoming wakes, and numerical analysis was performed to elucidate the flow mechanism. With increasing Reynolds number, the influence of the incoming wakes on suppressing the secondary flow gradually increased owing to the greater influence of incoming wakes on reducing the negative incidence angle at higher Reynolds numbers, leading to a lower blade loading near the leading edge and suppression of the Pressure Side (PS) leg of the horseshoe vortex. However, the effect of unsteady wakes on suppressing the profile losses gradually became weaker owing to the reduced size of the Suction Side (SS) separation bubble and increased mixing loss in the free-flow region at high Reynolds numbers. Incoming wakes clearly improved the aerodynamic performance of the low-pressure turbine cascade at low Reynolds numbers of 25,000 and 50,000. In contrast, at the high Reynolds number of 100,000, the profile loss at the midspan and mass-averaged total losses downstream of the cascade were higher in the presence of wakes than in the absence of wakes, and the unsteady wakes exerted a negative influence on the aerodynamic performance of the LPT cascade.     

The Role and Contributions of Energetic Neutral Atom (ENA) Imaging in Magnetospheric Substorm Research

Energetic Neutral Atom (ENA) imaging has contributed substantially to substorm research. This technique has allowed significant advances in areas such as observation and quantification of injected particle drift as a function of energy, observation of dynamics in the tail that are directly related to the effects of imposed (growth phase) and induced (expansion phase) electric fields on the plasma, the prompt extraction of oxygen from the ionosphere during substorms, the relationship between storms and substorms, and the timing of substorm ENA signatures. We present discussion of the advantages and shortcomings of the ENA technique for studying space plasmas. Although the technique is in its infancy, it is yielding results that enrich our understanding of the substorm process and its effects.     

Elemental and Isotopic Abundances of Carbon and Nitrogen in Meteorites

We have taken an inventory of the elemental and isotopic abundances of major carbon- and nitrogen-bearing components in different groups of meteorites. Primary phases, inherited from the solar nebula, are frequently isotopically heterogeneous, and surprisingly resistant to modification through parent body processing. Even melted and recrystallised meteorites retain primordial carbon and nitrogen isotopic signatures. This revised version was published online in August 2006 with corrections to the Cover Date.