朝鲜第六次核爆后InSAR地表形变测量与分析

利用InSAR小基线集(SBAS)方法得到了朝鲜第六次核爆后其中心17 km×22 km范围内一些部位不同时刻(2017年9月10日～2018年6月1日每12 d间隔)的累积地表形变量.将这些测量点依空间相邻关系聚集成14个集合,按照集合内各点平均相干性进行加权平均得到各集合的累积形变量.观测结果显示:(1) SBAS-InSAR能有效观测第六次核试验的热辐射后效阶段形变过程,爆炸中心附近在爆炸后10余天仍存在地表抬升现象,随后开始下沉,不同地方下沉速率和下沉量不同;(2)在冬春季可观测到可能主要因围岩内裂隙水冰冻带来的地表下沉减缓甚至抬升的现象, 2018年5月24日因朝鲜对部分核设施进行爆破使地表形变出现抬升.研究结果表明:(1)第六次核试验的热辐射后效阶段主要表现为围岩受高温高压作用变酥变软,变质后的围岩在重力作用下被压实并开始下沉,沉降的时间过程可以用Weibull模型进行拟合分析;(2)考虑受核爆影响的变质岩层厚度等因素建模分析最大沉降量,得到了爆炸中心垂直向影响距离约为1800～2300 m,变质后的岩石形变系数约为7×10~(-5)～8×10~(-5),统计拟合优度为0.8,P值接近于0.     

南边星空更精彩——ESO启用了最新式望远镜拍摄的最新照片!

设在智利阿塔卡马沙漠中的欧洲南天天文台发来了清晰的暗星云内部出现的恒星、富有特色的星云以及众多星系的最新照片。这些照片的拍摄使用了世界最大的可见光和红外巡天望远镜。     

基于模型的复杂系统安全分析综述

基于模型的安全分析(model-based safety analysis, MBSA)的最终目的是以复杂的安全关键性系统的形式化和半形式化模型为基础,实现自动化的安全分析。MBSA的方法众多,涵盖了用以实现对复杂的安全关键性系统进行建模、安全分析和验证的所有理论、技术、工具及语言。根据MBSA技术在安全分析过程所使用的模型的不同,即安全模型与系统设计模型之间的不同关系,将MBSA的实现手段分为两类:一类是基于系统扩展模型(extended-system-model, ESM)的MBSA方法;另一类是基于故障逻辑建模(failure logic modelling, FLM)技术的MBSA方法。文中对这两种方法的实现过程分别进行了描述,并分别对每种方法的优点和局限性进行了分析说明,最后对两类MBSA方法可做的改进进行了分析。     

玻璃不都易碎

玻璃是我们日常生活中不可缺少的东西，窗户、餐具、相机镜头、液晶电视基板、光纤等都与它息息相关。硬而透明的玻璃是由什么构成的？玻璃为什么易碎？强化玻璃、耐热玻璃等具有各种功能的玻璃是怎么制造出来的？     

昆虫才会真“变态”

在昆虫世界中，很多种类在从“孩童期”（幼虫）到“成人期”（成虫）转变时，姿态和外形都会有很大的变化。这种巨变被称为“变态”。它们变态前后的样子，让人难以相信是同一种昆虫。这些昆虫体内究竟发生了什么变化呢？     

松茸：昂贵的蘑菇

如今，即使在天寒地冻的“三九”天也能吃到新鲜的蘑菇，但是有种蘑菇却是千金难求，那就是松茸。像香菇一样的很多蘑菇都可以人工栽培了，但松茸的人工栽培至今还未能实现。另外，松茸只能在赤松林等有限的生境里生长，这是为什么呢？     

尿的来龙去脉

憋尿会造成怎样的后果？尿的颜色和异味的成因是什么？在电车上、考试中、会议等不方便去厕所的情况下，反而越发想上厕所。而膀胱究竟能储存多少尿呢？尿的颜色与身体状况和饮食结构有关吗？尿频是因为膀胱小造成的吗？     

实际意义下n-D离散系统动态反馈补偿器的构造

针对 Agathoklis等提出的具有实际意义的 n维 (n - D)离散系统 ,在求解了 n - D多项式矩阵方程的基础上 ,给出了 n - D动态反馈补偿器的构造方法及相应的求解算法 ,并以算例加以说明     

如何提高《金属材料与热处理》教学质量

《金属材料与热处理》是职业高中机械类专业的一门技术基础课。这门课术语概念多，内容涉及面广，且义缺乏严格的逻辑推理，没有严谨的系统性。不少学生感到概念抽象而不好理解，内容繁杂而不好记忆，知识面广而抓不住重点，学习难度较大。其原因主要有三个方面因素：一是课程性质，二是基于教师对本课程的理解而采用的方法手段，三是基于学生对本课程的认识所形成的内在学习积极性。而归根结底这三方面的焦点又集中在一个“如何数”上。根据教学实践，就如何提高本课程教学质量有儿点体会。