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

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

Coronal Mass Ejections and Forbush Decreases

Coronal Mass Ejections (CMEs) are plasma eruptions from the solar atmosphere involving previously closed field regions which are expelled into the interplanetary medium. Such regions, and the shocks which they may generate, have pronounced effects on cosmic ray densities both locally and at some distance away. These energetic particle effects can often be used to identify CMEs in the interplanetary medium, where they are usually called `ejecta'. When both the ejecta and shock effects are present the resulting cosmic ray event is called a `classical, two-step' Forbush decrease. This paper will summarize the characteristics of CMEs, their effects on particles and the present understanding of the mechanisms involved which cause the particle effects. The role of CMEs in long term modulation will also be discussed. This revised version was published online in August 2006 with corrections to the Cover Date.     

Effect of Multi-wall System Composition on Survivability for Spacecraft Impacted by Orbital Debris

Long-duration spacecraft in low earth orbit such as the International Space Station (ISS) are highly susceptible to high-speed impacts by pieces of debris from past earth-orbiting missions. Among the hazards that accompany the penetration of a pressurized manned spacecraft are critical crack propagation in the module wall, crew hypoxia, and uncontrolled thrust due to air rushing out of the module wall hole. A Monte Carlo simulation tool was used to determine the effect of spacecraft wall construction on the survivability of ISS modules and crew following an orbital debris penetration. The simulation results indicate that enhanced shield wall designs (i.e., multi-wall systems with heavier inner bumpers) always lead to higher overall survivability of the station and crew due to an overwhelming decrease in likelihood of module penetration. The results of the simulations also indicate that changes in crew operations, equipment locations, and operation procedures can significantly reduce the likelihood of crew or station loss following an orbital debris penetration.     

The perfect boring situation—Addressing the experience of monotony during crewed deep space missions through habitability design

In contemporary orbital missions, workloads are so high and varied that crew may rarely experience stretches of monotony. However, in historical long duration missions, occurrences of monotony were, indeed, reported anecdotally by crew. Of the effective countermeasures that appear to be at hand, many rely on visual or logistical proximity to the Earth, and are not feasible in the remote context of an extended deep space mission scenario. There, particularly in- and outbound cruising stages would be characterised by longer, comparably uneventful periods of low workload, coupled with confinement and unchanging vehicle surroundings.