摘要：提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。

摘要：将电化学技术与固定化微生物技术联合用于制浆造纸废水的深度处理。组合工艺在进水CODCr368-394mg／L、色度320～400倍的情况下，处理后出水的CODCr32～39mg／L、色度8～10倍。该系统在降低废水污染物的同时，还可以降低废水的电导率，拓展了深度处理废水的回用途径。

摘要：管道建设运行中产生腐蚀、裂纹和机械损伤缺陷,可能导致油气泄漏事故。B型套筒在应用于大面积腐蚀、环焊缝和油气泄漏修复具有优越性。介绍了传统B型套筒技术原理和设计安装要求。为解决应用于高钢级管道的难题,包括尺寸不合理、设计壁厚大、焊接残余应力和角焊缝开裂,介绍了国内外X80钢级管道环焊缝修复B型套筒在尺寸优化设计、焊接工艺条件和无损检测的实践做法。研究成果可指导管道企业科学高效开展管道修复工作。

摘要：深度学习算法和GPU算力的不断进步,正促进着人工智能技术在包括计算机视觉、语音识别、自然语言处理等领域得到广泛应用.与此同时,深度学习已经开始应用于以自动驾驶为代表的安全攸关领域.但是,近两年接连发生了几起严重的交通事故表明,深度学习技术的成熟度还远未达到安全攸关应用的要求.因此,对可信人工智能系统的研究已经成为了一个热点方向.对现有的面向实时应用的深度学习领域的研究工作进行了综述,首先介绍了深度学习技术应用于实时嵌入式系统所面临的关键设计问题;然后,从深层神经网络的轻量化设计、GPU时间分析与任务调度、CPU+GPU SoC异构平台的资源管理、深层神经网络与网络加速器的协同设计等多个方面对现有的研究工作进行了分析和总结;最后展望了面向实时应用的深度学习领域进一步的研究方向.

摘要：针对四代核电钠冷快堆循环水泵大口径超级双相不锈钢阀体铸件制造中出现的开裂、缩松、缩孔和冷隔等问题,开展了第二相析出、铸造工艺和固溶冷速模拟工艺探索,以研究其对铸件组织、性能和成形的影响。结果表明,铸件冷却至1000℃左右打箱空冷,析出第二相较少,随着打箱温度降低,第二相析出比例逐渐增加;对铸件进行型线流畅设计、浇注系统和补缩系统等方面合理设计,并经铸件凝固过程数值模拟,预测铸造工艺实施结果良好;当固溶冷却速率大于0.4℃/s时,可有效避免铸件组织中第二相的析出。根据工艺研究结果来生产阀体,铸件固溶热处理后组织中α相和γ相比例接近1∶1,关键部位射线探伤满足技术标准要求,铸件力学性能和耐腐蚀性能优异,可较好满足海水氯化物腐蚀介质工况要求。

摘要：为解决HTV-2飞行器存在的横侧向稳定性问题,采用二次曲线方法及CST方法,提出了一种对HTV-2外形进行改进的仿HX气动模型,并对二者气动特性进行了综合对比分析。重点探究了仿HX外形在横侧向稳定性方面相比于HTV-2的改进,同时对仿HX飞行器两侧小翼采用正交设计进行了关键气动布局参数分析,并对尾部控制舵进行了匹配设计。结果表明,HX外形在保持HTV-2外形高升阻比特性的同时,能够显著地增强偏航方向的稳定性,改进效果主要与两侧小翼翼高及面积呈正相关,在小安装角度下对安装角度变化不敏感。同时经过质心与控制舵匹配设计,该方案具备较高的控制效率和合理的配平攻角范围。

摘要：虚拟场馆学习具有不受时空限制的优势,然而在虚拟场馆中学习者容易出现游离现象。对此,文章首先以“人体生命科学”虚拟场馆为实验平台,以东北地区Z大学临床医学专业的2030名大一学生为研究对象,获取了2000名大学生的有效样本数据。之后,文章采用模糊C均值聚类法对学习者进行分类,采用滞后序列分析法转换学习行为序列,采用随机森林算法识别学习者类型和分析行为重要性,得到场馆学习高沉浸型、场馆学习中沉浸型、场馆学习低沉浸型、场馆学习游离型四类学习者,并选出了17种对学习成绩影响较大的学习行为序列。在此基础上,文章设计了虚拟场馆学习行为干预机制并进行了干预效果分析,以期在虚拟场馆教学中为有需要帮扶的低沉浸、游离型场馆学习者提供有效教学干预,从而提升场馆学习者的学习水平和知识掌握程度,并为虚拟场馆在高校的应用提供借鉴。

摘要：随着现代社会绿色环保意识的提升,绿色建筑逐渐被大众所接受。建筑类型学作为对建筑归类分组的方法体系,可以对现存建筑进行分类与整合。以浙江省慈溪市为例,以建筑层数、层面积、体型系数和外立面窗墙比为预定义变量进行聚类,最终得到8种具有代表性的居住建筑模型。在此基础上,通过对墙体的传热性能、屋顶的传热性能、窗户的传热性能、建筑气密性进行多元回归分析,得出各项节能措施对8个模型采暖、制冷除湿及总能耗的影响因子。以建筑类型学和统计学为基础,提出了一种对现有建筑存量进行“原型”建立的方法,并以敏感度为基础,提出了适用的综合能耗分析框架,所生成的模型能够应用于类似气候区的其他城市,此类方法也可被其余城市或地区所借鉴。

摘要：为了在震后尽快获得灾情数据,在安徽省“三网一员”工作建设良好的基础上,介绍了震后灾情速报系统的研发情况,对系统构架和手机APP的使用做了说明,并且详细阐述了技术方案和地震烈度的制定依据。模拟地震中的应用结果表明,在震后的黑箱期内,该系统在0.5 h左右可以产出灾情数据和烈度分布情况,给后续灾情判断及救援提供了第一手灾情信息,并且可以对地震烈度图的确定提供补充。

摘要：食品营养与卫生的应用性很强,其教材编写必须与企业需求相接轨、与课程思政相融合,才能提高食品专业学生的就业能力、守业能力和创业能力。本文从融入思政元素和开展校企合作两个角度阐述了食品营养与卫生校企合作教材编写的思路,并详细罗列了教材编写大纲,以期为教材建设提供参考。