Analysis of microwave brightness temperature of lunar surface and inversion of regolith layer thickness:Primary results of Chang-E 1 multi-channel radiometer observation

In China’s first lunar exploration project, Chang-E 1 (CE-1), a multi-channel microwave radiometer was aboard the satellite, with the purpose of measuring microwave brightness temperature from lunar surface and surveying the global distribution of lunar regolith layer thickness. In this paper, the primary 621 tracks of swath data measured by Chang-E 1 microwave radiometer from November 2007 to February 2008 are collected and analyzed. Using nearest neighbor interpolation based on the sun incidence angle in ...     

支持SRP协议的实时调度技术

实时操作系统对多任务资源访问控制提出了较高的要求.资源竞争常会引起优先级翻转问题导致任务阻塞,增加资源等待延迟时间.传统资源访问控制协议可以部分解决此问题,但是存在上下文切换次数高,任务调度效率低等不足.在结合SRP协议的提前阻塞特性和MiniCore实时调度器设计后,分析了协议中任务调度规则,指出了调度器支持SRP协议时效率低下的原因,并引入胜者树结构改进就绪队列,给出了新的任务搜索算法.理论分析与实验结果表明改进的调度器在任务集规模较大时,提高了调度效率,较好的支持了SRP协议.     

Optimal modalities for radiative transfer-neural network estimation of canopy biophysical characteristics: Evaluation over an agricultural area with CHRIS/PROBA observations

Neural networks trained over radiative transfer simulations constitute the basis of several operational algorithms to estimate canopy biophysical variables from satellite reflectance measurements. However, only little attention was paid to the training process which has a major impact on retrieval performances. This study focused on the several modalities of the training process within neural network estimation of LAI, FCOVER and FAPAR biophysical variables. Performances were evaluated over both actual experimental observations and model simulations. The SAIL and PROSPECT radiative transfer models were used here to simulate the training and the synthetic test datasets. Measurements of LAI, FCOVER and FAPAR were achieved over the Barrax (Spain) agricultural site for a range of crop types concurrently to CHRIS/PROBA satellite image acquisition. Results showed that the spectral band selection was specific to LAI, FCOVER and FAPAR variables. The optimal band set provided significantly improved performances for LAI, while only small differences were observed for the other variables. Gaussian distributions of the radiative transfer model input variables performed better than uniform distributions for which no prior information was exploited. Including moderate uncertainties in the reflectance simulations used in the training process improved the flexibility of the neural network in cases where simulations departed slightly from observations. Simple neural network architecture with a single hidden layer of five tangent sigmoid transfer functions was performing as good as more complex architectures if the training dataset was larger than ten times the number of coefficients to tune. Small sensitivity of performances was observed depending on the way the solution was selected when several networks were trained in parallel. Finally, comparison with a NDVI based approach showed the generally better retrieval accuracy of neural networks.     

Towards inverse modeling of turbidity currents: The inverse lock-exchange problem

A new approach is introduced for turbidite modeling, leveraging the potential of computational fluid dynamics methods to simulate the flow processes that led to turbidite formation. The practical use of numerical flow simulation for the purpose of turbidite modeling so far is hindered by the need to specify parameters and initial flow conditions that are a priori unknown. The present study proposes a method to determine optimal simulation parameters via an automated optimization process. An iterative procedure matches deposit predictions from successive flow simulations against available localized reference data, as in practice may be obtained from well logs, and aims at convergence towards the best-fit scenario. The final result is a prediction of the entire deposit thickness and local grain size distribution. The optimization strategy is based on a derivative-free, surrogate-based technique. Direct numerical simulations are performed to compute the flow dynamics. A proof of concept is successfully conducted for the simple test case of a two-dimensional lock-exchange turbidity current. The optimization approach is demonstrated to accurately retrieve the initial conditions used in a reference calculation.     

3D porosity prediction from seismic inversion and neural networks

In this work, we address the problem of transforming seismic reflection data into an intrinsic rock property model. Specifically, we present an application of a methodology that allows interpreters to obtain effective porosity 3D maps from post-stack 3D seismic amplitude data, using measured density and sonic well log data as constraints. In this methodology, a 3D acoustic impedance model is calculated from seismic reflection amplitudes by applying an L₁-norm sparse-spike inversion algorithm in the time domain, followed by a recursive inversion performed in the frequency domain. A 3D low-frequency impedance model is estimated by kriging interpolation of impedance values calculated from well log data. This low-frequency model is added to the inversion result which otherwise provides only a relative numerical scale. To convert acoustic impedance into a single reservoir property, a feed-forward Neural Network (NN) is trained, validated and tested using gamma-ray and acoustic impedance values observed at the well log positions as input and effective porosity values as target. The trained NN is then applied for the whole reservoir volume in order to obtain a 3D effective porosity model. While the particular conclusions drawn from the results obtained in this work cannot be generalized, such results suggest that this workflow can be applied successfully as an aid in reservoir characterization, especially when there is a strong non-linear relationship between effective porosity and acoustic impedance.     

基于IOC的GUI框架设计与实现

传统的图形用户界面GUI(Graphics User Interface)设计中,存在过度耦合、组件与事件之间的映射关系混乱等问题.对此,提出了基于控制反转( IOC)的GUI框架,该框架采用Java反射机制,解析xml配置文件完成组件实例化、组件添加事件监听.实验表明,利用该框架建立的GUI实现了业务对象的松散耦合,组件和事件处理方法分离,缩短开发周期,具有较高的可扩展性.     

基于遗传算法的多处理器系统任务调度

用一种遗传算法的调度策略,以大维度矩阵求逆为实验对象,探索在多核中如何完成任务的均衡分配问题,以达到加速效果.算法利用系统资源的弹性,自动搜寻可以并行的子任务并将其合理地分配到相应计算节点中,提高了多核系统资源调度性能,实现了对用户提交的任务的优化调度,达到了均衡系统各处理器计算负载和提高多核系统的总体性能的目标.     

采样非线性系统的动态神经网络稳定自适应控制

研究了一类采样数据非线性系统的动态神经网络稳定自适应控制方法.不同于静态 神经网络自适应控制,动态神经网络自适应控制中神经网络用于逼近整个采样数据非线性系 统,而不是动态系统中的非线性分量.系统的控制律由神经网络系统的动态逆、自适应补偿项 和神经变结构鲁棒控制项组成.神经变结构控制用于保证系统的全局稳定性,并加速动态神 经网络系统的适近速度.证明了动态神经网络自适应控制系统的稳定性,并得到了动态神经 网络系统的学习算法.仿真研究表明,基于动态神经网络的非线性系统稳定自适应控制方法 较基于静态神经网络的自适应方法具有更好的性能.     

一种复杂非线性系统的智能变结构控制方法

采用一种智能结构方法实现复杂非线性系统的控制,给出了设计原则,并用第四代歼击机飞行控制系统设计一个复杂实例来说明方法的有效性,实例系统中包含了两种控制律：增益调参和非线性动态逆控制律,两种控制律都包括了对发动机推力矢量喷管的控制。文中采用了一种基于状态的控制律切换算法进行两类控制律的切换,考虑了变结构系统切换瞬态问题和强迫振荡问题,并给出了简便的解决方法。     

应用于Template框架的SVG Tiny创作工具的设计与实现

通过对Template框架的研究,对在该框架中引入SVG Tiny技术进行了研究,并为该框架设计和实现了SVG Tiny创作工具。