等温剩磁获得曲线揭示的西伯利亚黄土磁化率变化机制

探索古土壤层磁化率低值的原因,选取Kurtak剖面的20个典型黄土-古土壤样品测量等温剩磁(IRM)获得曲线.基于样品的IRM获得曲线符合累积对数高斯模型,所有样品拟合出3个矫顽力组分.组分1 (<30 m T)是成壤组分,组分2 (60~100 m T)是碎屑组分,组分3 (>100 m T)是赤铁矿或针铁矿;组分2是Kurtak黄土的主要磁性矿物,其含量变化受控于风速变化. CBD处理后所有样品只拟合出组分2,且CBD处理前后样品的磁化率值呈正相关性,指示碎屑组分是影响剖面磁化率的主要因素.黄土-古土壤层中都存在针铁矿,但针铁矿的含量不足以影响整个剖面磁化率的变化;而Kurtak黄土中的赤铁矿与针铁矿也可能是在源区生成,表明组分3也能指示源区信号.

基于构件的电力营销系统的设计与实现

构件技术是软件复用的主要发展方向之一,介绍了基于构件的软件开发方法(CBD),提出了一种基于构件的电力营销系统开发模型,并介绍了以此为基础设计并实现的一个电力营销系统。该系统在现有软件功能的基础上提取构件,使这些构件满足通用与专用功能的需求,提高了软件的重用性。

信息物理系统中组件的时间行为可组合研究综述

组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望.