前言

人工智能依托于物联网、云计算、大数据技术的迅速发展,在科学发现、经济建设、社会生活等各个领域具有广泛应用.但是,人工智能技术面临着严峻的安全与隐私挑战,并且这些挑战会随着人工智能技术的普及和发展愈演愈烈.人工智能安全与隐私保护可以说是人工智能技术发展过程中不可忽视的瓶颈和关键挑战.现阶段学术界对于人工智能安全与隐私保护的重视程度越来越大,国内外相关学者进行了大量研究并取得了不错的研究成果.     

一种多项式时间的路径敏感的污点分析方法

提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污圹点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方法能够以多项式的时间复杂度实现程序状态空间遍历,并能在发现程序违反安全策略时自动生成反例路径.设计实验使用该方法对击键记录行为进行了刻画,对恶意代码程序和合法软件进行了两组分析实验,并与现有的方法进行了对比分析.实验证明本文的方法可以有效地对具有较多分支的程序进行路径敏感的污点分析,同时具有较小的时间复杂度和空间复杂度     

以文化的视角解析美军空间军事人才培养

根据美军空间军事人才培养的现状,从空间职业化的思想文化、组织文化、制度文化和价值文化4个方面入手,分析和探讨了美军空间职业化战略、人才培养组织、职业化培养机制和人才培养目标等方面的特点,并总结归纳了指导空间军事人才培养的若干启示,为认识和探索空间人才培养问题开辟了独特的视角。     

柳钢微合金化钢的研究开发实践

介绍了柳钢含铌(Nb)、钒(V)微合金化钢技术的研究和应用实践，提出了下一步开发工作的思路及建议。     

基于热应力分析的汽车散热器水室主片优化设计

将散热芯在热载荷状态下的受力工况视为静不定问题,按热弹性力学基本方程求解弹性体的温度应力.通过有限元分析确定散热芯主片应力分布.基于应变能理论对主片结构进行优化设计.优化结果表明,通过在主片断面上设置第一斜框、第二斜框和第三弧形框,可有效降低主片危险断面的应力,最大降低幅度达15％.对完成的新结构主片进行静载应力测试,结果表明有限元分析较好地与实测数据相吻合,设计效率获得了提高.     

LED PAR灯蓝光危害测量的不确定度评定

依据IEC/TR 62778:2014《应用IEC 62471评估光源和灯具的蓝光危害》对LED PAR灯进行了蓝光危害检测评估,分析了LED PAR灯蓝光危害测量的影响因素,使用数学模型对测量不确定度进行评定,得到在不同置信区间下的扩展不确定度。从检测结果中可以看出,在整个测试过程中,发现对测量不确定度影响较大的因素有:光谱分析系统的误差、变频电源的误差和标准灯的不确定度。建议变频电源应定期计量,以计量校准的参数为准进行检测;选购精度更高的光谱分析系统;标准灯每年要定期检定和校准。另外还需要从各方面降低影响因素,有效控制蓝光危害检测的测量不确定度。     

被动防护网系统强冲击作用下的传力破坏机制

为了研究被动防护网系统在落石冲击作用下的抗冲击力学行为,基于实际工程调查,进行了系统破坏特征的统计与研究,结合现行各国技术现状,分析了关键结构部件的破坏机理,构建了相应的力学模型,开展了750 kJ~5000 kJ共计5组系统足尺模型冲击试验,针对系统破坏机理、传力变形、耗能原理进行了研究,揭示了系统的破坏演化机制与破坏模式。研究表明:系统的冲击力学行为具有三阶段特征,第二阶段与第三阶段构成了系统的主要耗能机制并对结构整体抗力产生决定性影响;系统结构具有明显的自适应变刚度特征,且该特征与三阶段受力演化过程相互制约;系统的支撑结构、绳索与耗能器布置均是制约系统结构破坏的主要因素,不恰当的配置可导致支撑柱屈曲、绳索破断等现象;提出了新型高性能被动防护网体系,研究表明该体系具备较高的落石拦截能力。研究结果可为被动防护网系统的结构设计提供理论指导。     

茎叶处理除草剂微量活体筛选方法初探

以反枝苋、莴苣、马唐和稗草4种植物为指示植物,以常用喷雾法为对照,采用阔叶植物子叶期涂抹法和禾本科植物一叶期涂抹法对化合物除草活性微量活体筛选方法进行了研究.结果表明:供试38%莠去津SC、23.5%乙氧氟草醚EC和41%草甘膦异丙胺盐SL除草剂采用微量涂抹法对4种指示植物所表现出的活性均高于常用喷雾法;3种试除草剂微量涂抹法的EC50值分别是喷雾法的1/100～5/6.微量涂抹法试验结果的重复性和喷雾法相当.微量涂抹法达到了微量、敏感和节省时间的要求.     

SGX技术的分析和研究

安全性是云计算中一项极为重要的需求,然而如何保护云计算中关键应用程序和数据的安全、防止云平台管理员泄露用户隐私,仍然是目前没有解决的难题.2013年,Intel公司提出了新的处理器安全技术SGX,能够在计算平台上提供一个可信的隔离空间,保障用户关键代码和数据的机密性和完整性.作为系统安全领域的重大研究进展,SGX对系统安全,尤其是云计算安全保护方面具有非常重要的意义.该文介绍了SGX的原理和特性,分析了SGX的关键技术以及针对SGX的侧信道攻击及防御方法.同时,总结和归纳了该技术的研究成果,分析了SGX技术与其他可信计算技术的异同,并指出了SGX技术的未来研究挑战和应用需求.     

一种轻量级Web通信加密方案*

为保护用户Web通信安全,针对现有Web加密中的运算负荷问题,提出了可保护用户隐私的轻量级Web通信加密方案。该方案很大程度降低服务器在会话密钥协商时的运算负荷,实现通信业务流加密、抵抗第三方监控,进而有效保护用户隐私。