应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

跨声速流自发凝结水滴的测量

应用基于多波长消光法原理发展的光学探针,测量了跨声速风洞中不同马赫数湿空气流自发凝结形成的水滴尺寸及浓度,并给出了实验结果     

收敛形进气道数值研究的验证

介绍一种新型的、具有最小喉道面积的三维高超声速进气道 (称之为收敛形进气道 )的数值和实验研究结果。表明使用这种形式的进气道 ,在整个飞行速度范围内可以降低阻力和高超声速发动机表面的热防护要求 ,通过降低外压缩表面的倾斜度和减少进气道及燃烧室壁的面积就可以做到这一点。在采用低维次流动的气体动力设计方法的基础上设计成这种形式的进气道。计算是在无粘气体模型构架内用有限体积法进行的。同时用边界层方程计算出计及粘性的气流特性和进气道特性。数值算法是通过收敛形进气道的有限宽楔形外压缩表面的计算和实验数据来验证的。进行实验研究的马赫数M=2～ 1 0 7,基于模型进气道高度的雷诺数Re=( 1～ 5) × 1 0 6。数值计算与实验结果一致性很好。这些结果也和通常的二维进气道的数据作了比较。     

基因方法在网格结点位置优化中的应用

将基因方法应用于网格结点位置的优化中。文中首先简单介绍了基因优化方法中基于达尔文进化论和Ｍｅｎｄｅｌ基因理论的基本原理,其中包括插索空间表达、三个基因作用器（选择、交配和变异）等要点;然后着重阐述了相关偏微分方程的离散误差和三角形网格几何形状的适应度函数的定义、结点位置的二进制基因表达及基因方法的优化进程。离散误差是在二次非连续彭鼓包（ｂｕｍｐ）函数的空间中近似定义的,并且在点移动过程中相关解的二     

Dynamics of Planetary Waves in the Ionosphere as Observed from GPS Satellites

The GPS satellite data are used to study the dynamics of the ionospheric total electron content (TEC) over Central Europe in the summer season from June 23 to September 30, 1996. The TEC variations within the range of periods typical of the planetary waves were found to be nearly synchronous with the neutral wind variations in the mesosphere and with the variations in the occurrence of ionospheric sporadic layers. The observed TEC variations were interpreted as the result of penetration of energy carried by nonstationary Rossby waves to the upper atmospheric altitudes.     

Deorbiting with electrodynamic tethers: comparison between different tether configurations

Electrodynamic tethers have been recently proposed for satellite and rocket upper stage deorbiting to mitigate the debris problem at Low Earth Orbits (LEOs). The deorbiting performance of several electrodynamic tethers, where the electron collection from the ionosphere is obtained with either simple bare wires or bare wires terminated with conducting spherical collectors, was analyzed and compared. Our results indicate that the use of the spherical collectors at the positive termination of the system significantly enhances the deorbiting capabilities of the electrodynamic bare tethers.     

Orbiting solar telescope on “Salyut-4” station

The orbiting solar telescope on Salyut-4 (F = 2,5 m, d = 250 mm) produces images of the Sun on the entrance slit of a stigmatic two-grating spectrograph (R₁ = 1 m, N₁ = 1200 lines/mm; R₂ = 0.5 m, N₂ = 2400 lines/mm, dispersion 16 Å/mm, spectral resolution 0,3 Å). The automatic system keeps the observed solar features on the slit of the spectrograph with an accuracy of 3–4 arc sec. The far UV-spectra (970–1400 Å) of solar flares, brightenings, flocculi and prominences were photographed and fresh coatings of mirrors were made during the flight.     

飞机舱门设计持续在改进

在机体结构维修中,飞机舱门经常因腐蚀和碰撞而使维修项目较多。但当前许多创新材料和作动系统正在让舱门维修项目减少,维修变得简易化。如新型热塑性材料、先进的机电作动系统和传感器技术、环保的表面处理技术等。一般来说,客舱和货舱门及其部件极易因腐蚀和碰撞造成损伤,如客机和货机前后舱门的下部在装卸行李和货物过程中容易被地面服务车辆和单元装载设备损坏,因此维修项目较多。令人欣慰的是,原始制造商和供应商正在从材料和部件方面引入创新技术,提高产品的损伤容限,降低维修强度。     

A broad climatology of very high latitude substorms

Magnetic data from a newly commissioned Indian Antarctic station Bharati (corrected geomagnetic (CGM) coordinates 74.7°S, 97.2°E) and closely-spaced IMAGE chain observatories (∼100° magnetic meridian in Northern hemisphere) has been analyzed to study the climatology of substorms which were localized poleward of the standard auroral oval. We considered four austral summers (year 2007–2010) when data from Bharati was available. Several very high latitude substorms were observed in this duration when the solar activity remained unexpectedly low for a long time. Various features of very high latitude substorms, e.g., local time dependence, interplanetary state, hemispherical asymmetry and their nightside low latitude signatures are examined. Events studied here, suggested the following properties of substorms occurring at very high latitudes: (1) maximum occurrence was observed near magnetic midnight (21:00–02:00 MLT). (2) In contradiction to earlier reports, many substorms were observed even during negative IMF Bz condition. In addition, majority of substorms occurred during low or moderate solar wind streams. (3) Magnetic signatures were often pronounced in the winter hemisphere. (4) Even if widely used standard AE indices fail to monitor very high latitude substorms, their low latitude signatures are often evident.     

Longitudinal variation of the equatorial ionosphere: Modeling and experimental results

We describe a new version of the Parameterized Regional Ionospheric Model (PARIM) which has been modified to include the longitudinal dependences. This model has been reconstructed using multidimensional Fourier series. To validate PARIM results, the South America maps of critical frequencies for the E (foE) and F (foF2) regions were compared with the values calculated by Sheffield Plasmasphere-Ionosphere Model (SUPIM) and IRI representations. PARIM presents very good results, the general characteristics of both regions, mainly the presence of the equatorial ionization anomaly, were well reproduced for equinoctial conditions of solar minimum and maximum. The values of foF2 and hmF2 recorded over Jicamarca (12°S; 77°W; dip lat. 1°N; mag. declination 0.3°) and sites of the conjugate point equatorial experiment (COPEX) campaign Boa Vista (2.8°N; 60.7°W; dip lat. 11.4°; mag. declination −13.1°), Cachimbo (9.5°S; 54.8°W; dip lat. −1.8°; mag. declination −15.5°), and Campo Grande (20.4°S; 54.6°W; dip lat. −11.1°; mag. declination −14.0°) have been used in this work. foF2 calculated by PARIM show good agreement with the observations, except during morning over Boa Vista and midnight-morning over Campo Grande. Some discrepancies were also found for the F-region peak height (hmF2) near the geomagnetic equator during times of F₃ layer occurrences. IRI has underestimated both foF2 and hmF2 over equatorial and low latitude sectors during evening-nighttimes, except for Jicamarca where foF2 values were overestimated.