摘要：随着深度学习技术在现实世界的广泛应用,人们对基于深度神经网络的系统安全性提出了更高要求.鲁棒性是神经网络的重要安全性质,对网络鲁棒性的量化分析和验证是深度学习模型安全性研究的关键问题.针对神经网络验证技术中难以解决的效率问题,提出了一种新颖的优先次序优化方法.结合局部鲁棒性的规约方式,在一组待验证输入内选择具有更高验证需求的不稳定点代替常规的逐点验证模式.根据对鲁棒性问题与决策边界距离的关联性分析,提出了一种基于网络输出单元值大小的鲁棒性评估方法作为优先验证的输入点选择依据.在此基础上将其扩展为输入的预分析模块与验证工具集成,进而设计了基于优先次序的验证框架.在常用的验证基准上进行了实验,结果表明,该方法的决策边界分析理论与突变测试结果一致,鲁棒性评估中选择不安全样本的平均准确率高于90%,通过减少安全样本的验证开销使验证效率提高了148.6%~432.6%.

摘要：为将以往隧道案例的经验应用到新建隧道设计中,以解决传统设计方法工作量大且效率低下的问题,提出基于案例推理的隧道洞门智能设计方法。结合隧道洞门工程特点,选取影响洞门设计的主要因素,将影响因素划分为12个属性单元来表征工程案例,运用三角模糊数的层次赋权计算方法对各属性单元权重进行赋值,借助相似度理论建立隧道洞门设计方案相似决策模型。基于GIS技术开发了隧道洞门工程案例库,实现对既有工程的存储管理,同时利用SQL查询语言及Python计算脚本实现案例的属性特征值计算与最相似匹配,进一步修正后可实现隧道洞门修建方案的设计决策。以某山区隧道为例对智能设计方法进行验证,结果表明:根据属性单元特征值计算结果,在案例库中比选得出与拟建隧道相似度最高的既有工程为凤凰山隧道,且相似度为0.707。因此,设定阈值为0.7时能加快案例库的检索速率与匹配准确率,该方法吸取了既有工程案例的经验,能应用于隧道洞门施工方案的决策设计,可供今后隧道洞门方案的智能化设计参考。

摘要：交流电磁场检测(ACFM)方法是新型的无损检测方法,其中探头设计关乎检测的效率和信号处理的难度。基于此类问题,提出了自由式旋转单探头的设计,采用COMSOL Multiphysics软件对探头不同电磁参数进行仿真计算,得出适用的探头参数;此外根据旋转仿真分析得知,自由式旋转检测具有可行性且By磁场信号更具检测优势;同时基于旋转速度、平行检测速度、传感器相对位置以及检测范围的制约关系,采用非支配排序遗传算法Ⅱ(non-dominated sorting genetic algorithmⅡ,NSGA-Ⅱ)进行pareto求优,进而确定各参数,验证了旋转探头的高效率性。基于优化参数提出自由式旋转检测的信号处理模型,最后提出了旋转检测的系统搭建方法。

摘要：元宇宙作为现实世界的虚拟镜像,正加速融入当代人类的日常生活。这种数字化平行宇宙作为社会的关键组成部分而存在,其重要性和深度已远超出此前由数字技术带来的沉浸空间。在面对新技术时,应该如何真正将技术逻辑有机地编织进创作的逻辑中?在元宇宙的语境下,艺术创作与新技术之间的关系又是如何的?

摘要：在生料粉磨系统中,为了降低进入收尘器的介质浓度,设计上会在磨机与收尘器之间设置一个预收尘器装置:旋风收尘器。该设备所能承受的假想截面风速,对于设备规格以及收尘效率,起着决定性的作用。本文针对国内外项目上应用的一种特型旋风收尘器进行全面的介绍和分析,采用该特型旋风收尘器可以大幅提高其收尘处理能力,其假想截面风速远高于传统旋风收尘器的计算值与选型标准,大大减小了该设备的规格与设置数量,以及配套的结构工程量的投入。

摘要：为设计更有效的声源定位方法,深入研究了传统MUSIC算法,并针对其分辨率低且在麦克风数目较少时波达方向(direction of arrival,DOA)估计精度较差等问题,对传统MUSIC算法进行了优化,利用广义互相关算法估计出声源信号到达各麦克风之间的时间差,并据此构建出对应的矢量信号,最后通过计算谱函数确定DOA估计值。仿真和实验结果表明,优化后的MUSIC算法可以得到更加尖锐的指向性波束,更低的旁瓣,并且能使方位角的定位精度达到±4°,俯仰角的定位精度达到±5°。

摘要：提出一种适用于无损检测场景的超声波收发系统。以FPGA芯片作为核心控制器,以MAX4940芯片作为发射模块,以AD9670芯片作为接收模块,实现系统软硬件设计。发射电路集成四通道脉冲发生器,发射电源与接收模块独立设计,以适应高压输出需求;接收电路采用八通道超声模拟前端芯片,集成低噪声前置放大器等装置,有效降低信号噪声和回波信号干扰。根据发射电路逻辑流程、回波信号抗混叠滤波和模数转换,实现收发系统的软件设计。经验证,发射电路能够发射出1 MHz左右频率的超声波,接收电路能够完成回波信号的放大、滤波等功能,实现了最小延迟1 ns的精度控制目标。系统基于超声相控阵检测原理,实现了超声波无损检测的精度,抗干扰性强,适应工业现场的恶劣环境,具有广阔的市场前景。

摘要：无人机作为空中基站,不仅可为地面用户提供移动通信服务,还可预先存储热点内容,有效提升了边缘通信能力。对无人机位置部署、无人机缓存配置与用户接入进行联合优化可大幅提升网络性能,然而传统优化方法计算量庞大且收敛速度慢。为解决上述问题,将该联合优化问题分解成无人机编队部署子问题和缓存接入子问题,设计了一种集中式和分布式相结合的快速资源分配优化方法。针对部署子问题,分阶段进行集中式一致博弈建模和分布式势能博弈建模,提出了一种基于较优响应的分阶段部署算法;针对缓存接入子问题,构建“用户-内容”虚拟体,将缓存与接入的联合问题建模为虚拟体与无人机缓存空间的匹配问题,提出了一种基于匹配的虚拟体接入算法。仿真结果表明,所提方法和传统分布式较优响应方法相比,具有更快的收敛速度和更高的全局性能。

摘要：10万吨/年EVA装置是中化泉州石化有限公司引进的ExxonMobil Chemical工艺技术的聚烯烃装置。其工况苛刻,设计压力高达200 MPa,控制及联锁逻辑复杂,开车难度大,国内同类型装置较少,对设备及高压超高压控制阀门的稳定可靠性要求极高。EVA装置的高压超高压控制阀门在装置建设、阀门调试,及吹扫初期阶段就出现不同程度的设备问题。问题隐患不及时解决,会对装置投料开车及装置安全运行产生较大的影响。通过组织专业力量进行高压超高压阀门的可靠性及稳定性攻关,解决了高压超高压阀门存在的隐患问题,有效提升了其运行的可靠性和稳定性,为EVA装置平稳高效安全生产提供了有力保障。

摘要：辽宁省科技档案馆以传统的B／S与C／S设计模式，采用跨平台的Java语言，并应用系统集群技术，搭建辽宁省科技档案资源采集加工系统平台及网络服务系统。本项目的实施降低了档案管理工作的强度，提供的配套子系统和丰富的功能，能实现多渠道、跨区域资源采集和提供科学便捷的筛选加工手段，并为档案利用的有偿服务创造良好的条件。依靠本系统的网络功能，加大档案资源的开发利用，实现社会化服务，进一步带动企事业单位档案管理信息化建设，为充分利用档案资源，为建设小康社会服务。