面向航电系统容错特征的任务可靠性建模方法研究

基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移 的系统任务可靠性建模提供参考。     

基于FY-3C/VIRR地表温度数据的上海市热岛效应时空特征分析

城市热岛效应是当前城市生态领域关注的焦点问题之一。本文以上海为例，基于FY-3C/VIRR LST数据，通过计算研究区的热岛强度指数与热岛比例指数，定量分析上海市2019年全年城市热岛效应的时空变化特性。结果表明：上海市2019年全年各月份的总热岛区域面积均在40%以上，城市热岛效应较为显著，其中7月份总热岛区域面积最大；上海市热岛效应的空间分布呈现出“北热南冷”的格局，热岛效应主要分布在中部和北部； 上海市5—7月热带比例指数较高，为较严重热岛，随着8月份平均地表温度的继续升高，热岛比例指数有所下降。