神经网络验证和测试技术研究综述

神经网络技术在图像处理、文本分析和语音识别等领域取得了令人瞩目的成就,随着神经网络技术应用到一些安全攸关的领域,如何保证这些软件应用的质量就显得尤为重要。基于神经网络技术的软件在开发和编程上和传统软件有着本质的区别,传统测试技术很难直接应用到此类软件中,研究针对神经网络的验证和测试评估技术十分必要。从有效评估和测试神经网络出发,对神经网络验证和测试技术的研究现状进行梳理,分别从验证技术、基于覆盖的测试技术、基于对抗样本的测试技术、融合传统测试技术等方面进行了归纳和分类。对其中一些关键技术的基本思想和实现做了简明扼要的介绍,并列举了一些测试框架和工具,总结了神经网络验证和测试工作面临的挑战,为该领域的研究人员提供参考。     

装配式建筑构件的供应模式设计与管理研究

近年来,装配式建筑发展迅速,相较于传统施工模式,装配式建筑的构件在工厂里预制养护,运输到施工现场后进行安装,实现了工期统筹,大幅缩减了建设周期.但是在实际操作中,装配式建筑项目经常发生工期延误,其中,预制构件的供应运输是造成进度延误的主要因素之一.本文分析了现有构件供应运输模式的特点和问题,在结合实践的基础上设计了新的构件供应运输模式,并阐述其优势,进而对装配式建筑的构件供应运输提出针对性建议.本文可为装配式建筑的实践和发展提供参考借鉴.     

采煤机行走系统分析

采煤机行走系统分析李舵（山西省机械工业供销总公司）采煤机无链牵引传动系统的布置见图１。图中，驱动轮是安装在行星减速器的输出轴上，而齿轨轮的轴则是固定在底托架上，圆柱销轨道则在运输机一侧沿工作面水平铺设。驱动轮和齿轨轮都是摆线齿形，是标准的齿形曲线。齿...     

碳化硅涂层的离子注入改性

在SiC涂层表面注入Al^3＋,B^3＋,St^4＋,观察3种离子注入对涂层表面裂纹的封填情况,分析离子注入后涂层表面的相组成,考核离子注入对SiC-C／SiC材料抗氧化性能的影响。在1300℃模拟空气中氧化15h后,注入Al^3＋的复合材料的氧化质量损失比未经涂层改性的降低了0．3％,形成的玻璃氧化层中气泡和孔洞少,对涂层裂纹的封填效果较好但覆盖不均匀。注入B^3＋的复合材料的氧化质量损失比未经涂层改性的降低了0．1％,形成的玻璃氧化层的流动性好且覆盖均匀,但其表面多气泡和孔洞,破坏了玻璃氧化层对涂层裂纹的封填作用。注入Si^4＋的复合材料的氧化质量损失同注入B^3＋的试样基本相当,但是其氧化质量损失有增大趋势,表明Si^4＋的注入对改善材料的抗氧化性能无积极作用。     

碳化硅涂层的离子注入沉积改性

采用全方位离子注入和沉积（Plasma Immersion Ion Implamation and Deposition，PⅢ＆D），在SiC涂层表面形成注入沉积改性层（改性元素A1和Si），观察了离子注入和沉积对涂层表面裂纹的封填情况，分析了离子注入和沉积后涂层表面的相组成，考核了离子注入和沉积对SiC-C／SiC材料抗氧化性能的影响。实验结果表明：注入AI再注入沉积Si改性后显著降低复合材料在1300℃空气中的氧化质量损失，提高了复合材料的抗氧化能力，边注入边沉积Al和同时全方位沉积AI和Si改性对复合材料抗氧化性能改善作用较小，边注入边沉积Si改性改善复合材料抗氧化性能的作用最小。