Solar and Heliospheric Modulation of Galactic Cosmic Rays

The significance of external influences on the environment of Earth and its atmosphere has become evident during recent years. Especially, on time scales of several hundred years, the cosmogenic isotope concentration during the Wolf-, Spoerer-, Maunder- and Dalton-Minimum indicates an increased cosmic ray flux. Because these grand minima of solar activity coincide with cold periods, a correlation of the Earth climate with the cosmic ray intensities is plausible. Any quantitative study of the effects of energetic particles on the atmosphere and environment of the Earth must address their transport to Earth and their interactions with the Earth’s atmosphere including their filtering by the terrestrial magnetosphere. The first problem is one of the fundamental problems in modern cosmic ray astrophysics, and corresponding studies began in the 1960s based on Parker’s cosmic ray modulation theory taking into account diffusion, convection, adiabatic deceleration, and (later) the drift of energetic particles in the global heliospheric magnetic field. It is well established that all of these processes determining the modulation of cosmic rays are depending on parameters that are varying with the solar magnetic cycle. Therefore, the galactic cosmic ray intensities close to Earth is the result of a complex modulation of the interstellar galactic spectrum within the heliosphere. The modern view of this cosmic ray modulation is summarized in our contribution.     

线性有源网络拓扑分析的k-连接组法

本文提出了Coates图k-连接组的概念,建立了求解线性有源网络不定导纳矩阵一般k阶余因式的k-连接组拓扑公式,得到了线性有源网络拓扑分析的一种新方法——k-连接组法。与正(负)根有向树法相比,这种方法需找的子图和结果中的冗余项都比较少。     

量子力学中的Heisenberg测不准原理的数学推导以及在小波分析中的应用

从傅里叶变换的定义出发,利用时变信号的短时傅里叶变换,推导出量子力学中的Heisenberg测不准原理,说明了两者之间存在这种联系的必然性,并给出了测不准原理在小波分析中的应用举例。     

潜在电路分析中的拓扑模式图形生成算法研究

在电路网络树拓扑模式被识别出来的基础上 ,推导出网络树的基本拓扑模式图形生成算法 ,以便于分析设计人员使用拓扑模式图形的方式对电路系统进行具体的潜在电路分析     

MIS系统中复杂关系模式的设计及其PFC实现

软件开发已经从面向过程方式的编程逐步转化为面向对象方式,但关系模式的确定仍是MIS系统开发所面临的最关键的、具有普遍意义的问题之一。结合国航天津分公司航修基地管理信息系统开发过程中遇到的复杂模式设计问题,本文给出了在规范化理论指导下同类问题的分析方法,并且给出了PB环境下的PFC实现。     

基于有向图的站坪控制仿真建模技术研究

站坪控制是民航机场运营的关键和薄弱环节,也是一个非常复杂的生产调度过程.本文对站坪控制过程进行了分析,将其分解为若干种活动和事件,以及一系列相关约束条件,然后以有向图作为数学工具,建立了仿真模型,并结合面向对象技术探讨了仿真过程的实现策略.     

求解最小费用流的复合标号法

本文在求最短路和求最大流标号法的基础上,提出了求解最小费用流的复合标号法。利用这种方法可以在一次标号的过程中找到具有最小费用的增广链。该算法具有简单、易行、迭代次数少,而且易于理解的特点。     

形态图计算中的投影空间维数和投影空间模型

确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题，本文根据态图计算时特征视图拓扑结构等价的特点，指出轴测投影下的投影空间是二维空间，透视投影空间为三维空间，并分别了投影空间模型的建立方法，从而使复杂物体形科计算是简单可行。     

Multi-level virtual prototyping of electromechanical actuation system for more electric aircraft

Electromechanical actuators (EMAs) are becoming increasingly attractive in the field of more electric aircraft because of their outstanding benefits, which include reduced fuel burn and maintenance cost, enhanced system flexibility, and improved management of fault detection and isolation. However, electromechanical actuation raises specific issues when being used for safety-critical aerospace applications like flight controls: huge reflected inertia to load, jamming-type failure, and increase of backlash with service due to wear and local dissipation of heat losses for thermal balance. This study proposes an incremental approach for virtual prototyping of EMAs. It is driven by a model-based system engineering process in order to enable simulation-aided design. Best practices supported by Bond graph formalism are suggested to develop a model’s structure efficiently and to make the model ready for use (or extension) by addressing the above mentioned issues. Physical effects are progressively introduced, and the realism of lumped-parameter models is increased step-by-step. In particular, multi-level component models are architected to ensure continuity between engineering activities. The models are implemented in the AMESim simulation environment, and simulation responses are given to illustrate how they can be used for preliminary sizing, control design, thermal balance verification, and faults to failure analysis. The proposed best practices intend to provide engineers with fast, reusable, and efficient means to assess performance virtually and enhance maturity, performance, and robustness.     

New constitutive relation for eddy viscosity models

A new turbulent constitutive relation was directly derived from Boussinesq's hypothesis and mixing length theory, and then implemented in the standard k-ε model. The performance of this constitutive relation was validated in zero pressure gradient flat-plate boundary layer flow, fully-developed turbulent channel flow and separated flow in a plane asymmetric diffuser. The investigation demonstrated that, this new constitutive relation gave very accurate results in the former two basic cases and provided significant improvement in prediction of separated and reattachment points in the plane asymmetric diffuser. Separation and reattachment points at x/H=7.5 and 29 were calculated accurately in comparison to experimental results, and the static pressure coefficient of 0.82 was very close to large eddy simulation calculation. These results are very encouraging but further verification and extensive application of the new constitutive relation to other two-equation eddy viscosity model are needed.