尾矿坝致灾机理研究现状及发展态势

尾矿坝失稳致灾机理极其复杂,然而目前尾矿坝灾害防控缺乏对尾矿材料多尺度多因素耦合力学机制的深入研究,且细粒与高堆尾矿坝灾变机理不明确.针对尾矿坝致灾机理研究的基础共性问题,收集大量的国内外尾矿坝灾害紧密相关的研究领域的文献,综述有关筑坝尾矿结构多尺度表征描述与力学特性、筑坝尾矿沉积运动规律、尾矿坝成坝机理与坝体结构组成、尾矿坝稳定性分析与致灾机理等方面的研究现状及成果,指出目前研究存在的不足,凝练出尾矿坝灾害研究领域亟待解决的关键科学问题,并对未来的研究发展态势进行具体全面的展望.      

信息物理系统软件设计自动化专题前言

为了更精确地认识与改造世界，新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知，实现集计算、通信与控制于一体的深度融合的理论体系与技术框架，即信息物理系统（cyber-physical systems，简称CPS）.与传统嵌入式系统不同，CPS充分考虑了计算部件与物理环境的深度融合，通过将设备智能化连接，实现物理环境系统与计算系统之间精确感知与高效协同.基于CPS理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑，精确智能地获取外部物理环境信息并做出针对性的实时反应，完成安全可靠的控制服务，从而实现物理世界与信息世界的有机统一.
随着人们对信息技术质量要求的不断提高，CPS迅速在众多安全攸关领域得以部署承担关键任务.从远程精准医疗到智能轨道交通，从无人驾驶到航空航天，从智慧城市到智能制造，无处不见CPS的身影.虽然CPS在众多领域获得成功，然而由于其涉及多维时空约束、异构物理/计算进程交互、运行环境不确定等因素，CPS设计复杂度极高.在缺乏设计自动化方法与技术的情况下，CPS开发周期长且质量难于保证.日益复杂的CPS设计与实现在给产业界与学术界带来巨大挑战的同时，也创造了大量新的机遇，CPS设计自动化目前已成为国际相关研究领域的关注与研究热点.
本专题采取自由投稿的方式，共收到14篇投稿.特约编辑邀请了30余位领域专家参与审稿，每篇稿件至少邀请3位专家进行评审，每篇录用稿件都经过至少3轮审稿.14篇稿件中共计10篇稿件通过第1轮评审，8篇稿件通过第2轮评审，并在CCF软件工程专业委员会、系统软件专业委员会年会全国软件与应用学术会议NASAC2019会议上进行了报告.经过第3轮终审及少数稿件的第4轮复审后，最终有6篇论文入选本专题.
《基于SHML的CPS行为建模及仿真》提出了一种面向CPS领域的建模及仿真方法，设计并实现了一个集成的面向CPS行为的建模与仿真平台，为CPS的建模及仿真提供了一种有效的方法及工具支撑.
《垂悬指针检测与防御方法》针对复杂系统软件中广泛出现的悬垂指针问题进行研究，提出了一种名为DangDone的垂悬指针防御方法，通过在编译时的程序转换来定位潜在的垂悬指针并防御use-after-free或double-free漏洞.
《自主机器人多智能体软件架构及伴随行为机制》提出了基于多智能体的自主机器人控制软件软件架构，以及基于相应架构的伴随行为机制.该工作基于分步规划和动态决策的思想设计并实现了相应自主决策算法DAAB，并在相应仿真环境和实际机器人环境上进行了案例分析.
《轨道交通联锁领域特定语言的形式化》基于轨道交通联锁系统中故障的随机性和行为实时性的特点，提出了基于建立随机混成系统模型来仿真、预测轨道交通连锁系统的方法.该方法在实际联锁系统进行实例研究，并在UPPAAL-SMC平台上进行了事故模型的预测分析.
《基于AADL的失效概率分配及安全性评估方法》综合考虑AADL架构的层次化设计、模型复杂度和构件失效造成影响的严重程度，针对安全关键系统提出基于AADL的失效概率分配方法，以应对安全性评估过程中如何分配失效概率的问题.相关技术在飞控CPS系统上进行了实例研究.
《马尔可夫信息物理系统拒绝服务攻击安全控制》研究了马尔可夫跳变信息物理系统在模态依赖拒绝服务（DoS）攻击下的安全控制问题.提出了一种新颖的模态依赖事件触发策略来减少网络资源消耗.
本专题面向信息物理系统的研究人员和工程人员，内容涵盖系统建模、系统架构、可信保障等领域，反映了我国学者在相关领域的高水平研究成果.感谢《软件学报》编委会、CCF软件工程专委会、系统软件专委会对专题工作的指导和帮助，感谢专题全体评审专家及时、耐心、细致的评审工作，感谢踊跃投稿的所有作者.希望本专题能够对形式化方法的科研工作有所促进.
专刊特约编辑、北航计算机学院刘超教授在专刊的筹划阶段分享了大量宝贵的经验，并在征稿、审稿等环节做了大量的工作，使得专刊实施过程得以顺利开展.然而，在本专刊即将完成之际，刘超老师却因病永远离开了我们.刘老师睿智、谦逊、渊博、平和，为推动我国软件工程事业发展做出了重要贡献，我们借此表达深深的怀念和敬意.
     

加氢精制柴油外观浑浊的原因分析与改进措施

中国石化北京燕山分公司(以下简称燕山分公司)生产的车用柴油在冬季经常出现外观浑浊问题,影响产品出厂及储罐运转,经研究,柴油浑浊的原因主要是柴油加氢精制装置分馏系统采用单塔蒸汽汽提工艺导致精制柴油呈现乳化状态。通过采用CFC模块化脱水技术后,柴油脱水率达到60.5%,精制柴油脱水后水含量降到100μg.g-1左右且外观清澈透明,成品柴油沉降时间大幅缩短,从根本上解决了柴油浑浊问题。     

花生地里挖出南宋假币厂？

6月28日,绵阳市安县雎水镇挖出了一个南宋古钱币窖藏,在“钱山”附近,考古人员还发现了一个农具窖藏,有的农具已熔化变形。绵阳博物馆专家认为,“钱山”所在地可能是南宋时的一个假币制造作坊,这些农具就是制造假币的原料。 6月27日下午,安县雎水镇教场村村民在教场坝修建雎水到拱兴的公路。在平整公路边的花生地时,推土     

5．1环绕声扬声器摆位设计

目前,国际上应用较多的环绕声方式多为5．1声道环绕声,其给影视作品带来了前所未有的震撼力和感染力。人们置身这样的声场环境中会产生被声音包围的真实感受,体会到环境声场中更多的声音细节,方向感和临场感更加突出,提高了声音的艺术感染力,丰富了人们对声音的欣赏乐趣。5．1声道的声音在重放时是要遵守一定的摆放条件才可以使观众享受到这种最佳的重放声音效果,才能更好的还原出5．1的声音。     

一种手绘制导的移动应用界面测试方法

软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足：人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对这些问题,提出一种基于手绘制导的移动应用界面测试方法.该方法通过设计一种简单直观且具有较强表达能力的手绘语言来帮助测试者轻松表达其测试意图,测试者仅需在待测应用的界面图像上做简单绘制,就能生成对应的测试模型,并以此为基础生成界面测试所需的测试用例.以近年来在相关文献中已经用作移动应用界面测试的评估用例集为基准来评估该方法的测试效果.评估结果表明：在提供很少人力成本的条件下,手绘图形所表达的用户测试意图在制导移动应用界面测试上能起到非常关键的作用.     

基于状态机模型的构件健壮性测试

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现 了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态 转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健 壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo 的测试效率比已有的算法表现得更优越.     

纸张多变量控制系统的分析与设计

针对纸张定量、水分和灰分系统的强耦合、时滞特点,运用基于对角递归神经网络的多变量自整定PID控制方法,实时调整PID控制器的参数,实现系统的解耦功能.实验仿真结果表明,该控制方法系统适应能力较强、响应速度快、抗干扰能力强.