Nd：YAG粉体的分散性研究

钇铝石榴石(YAG)单晶因其优良的光学性能和稳定的化学性能被广泛用作激光和其它发光基础材料.掺Nd的YAG透明陶瓷激光材料的研究,是十几年来在激光工作物质制备技术领域最为重要的创新.与单晶相比,陶瓷具有容易制造、成本低、尺寸大和掺杂浓度高、可大批量生产等优点,最重要的是陶瓷可以达到与单晶一样的光学和机械性能,然而合成化学纯度高、分散性能好、无团聚、粒度均匀的纳米原料粉体是制备透明YAG陶瓷的关键.Nd: YAG陶瓷粉体制备可采用固相法[1]、溶胶-凝胶法[2]、喷雾热解法[3、4]、共沉淀法[5]、机械化学法[6]等多种合成方法.这些方法中各有优缺点,共沉淀法是一种方法简单,易于控制,成本低廉的一个体系,郭旺[7]、王宏志[8]等所在的研究组对YAG的纯相、前驱体的组成、控制溶液的浓度和沉淀剂的pH值也进行了分析,在这些研究中,虽然都能形成较纯的YAG相,但其颗粒间也有较多的团聚,所以本文着重研究了不同分散剂对YAG粉体分散性的影响.采用共沉淀法合成粉体,在合成粉体时加入不同的分散剂,研究获得分散、无团聚的粉体.     

基于商户联盟的区块链快速交易方案

为将区块链交易应用于日常支付场景中,降低区块链交易的使用门槛,提出一种基于商户联盟的区块链快速交易方案。该方案充分考虑了日常支付的现实场景需求,将付款与交易分离,缩短了支付确认时延。针对现有工作中在押金以及交易手续费方面的不足,一方面通过设计筹码交易机制,释放系统内存在的被锁定资金,降低区块链交易在日常支付场景中的使用门槛;另一方面通过设计交易结算机制,将消费者结算与商户结算阶段解耦,增加商户结算的灵活性,降低交易手续费。考虑到交易过程中可能存在的作恶行为,本方案通过设计状态安全同步机制,为区块链快速交易提供安全保障。将本文方案与其他工作方案进行对比分析,结果表明,本文方案需要的手续费与押金更少,更加符合日常支付场景。     

无冗余可变难度值平行区块链协议

为解决传统区块链协议的可扩展性差问题,提出一种结构化且安全高效的区块链协议。将单一链扩展为多条平行链来提高区块链吞吐量,并设计交易验证模式解决交易冗余问题。提出可变难度值的出块机制,提高协议适用性并保证其平稳运行。通过设计适用于平行链的区块序列化机制,优化区块确认延迟。分析区块链关键性质和潜在安全威胁以保证安全性。实验评估结果表明,本文协议可有效改善区块链的吞吐量、确认延迟等性能,可以解决区块链可扩展性问题。     

Level Set方法在地面效应数值模拟中的应用

利用Level Set方法隐式捕捉界面并能处理复杂的物质界面及其拓扑结构变化（如合并、交叉、破碎等）情况的优势,基于可压缩N-S方程的预处理技术,采用基于界面两侧介质黎曼关系的修正虚拟流体方法对介质边界进行处理;将只能应用于可压缩流动界面模拟的修正虚拟流体方法推广应用于不可压缩流动问题的模拟,数值模拟了气-水运动界面与近水面飞行器的相互影响规律。通过与将水面视为对称面的简化模型对比发现：利用自由运动界面模型计算的NACA6409翼型升力较小,能更准确地反映飞行器流场对水面形状的影响,其结果更为符合实际;文中还对比了翼型距水面不同高度时的结果,得到了翼型受水面影响的强弱与翼型距水面的高度成反比的结论。     

逆向喷流流场模态分析及减阻特性研究

逆向喷流减阻的基本原理是利用逆向高速喷流与飞行器绕流的相互作用，使飞行器周围的流场结构发生变化，致使飞行器的气动特性发生改变，从而改善飞行器的气动性能。利用数值模拟方法对轴对称球头、截锥的逆向喷流流场开展了研究，考虑了高温非平衡化学反应对流场的影响。模拟了球头和截锥在不同总压比时流场不同的模态：长穿透流模态（LPM）和短穿透流模态（SPM），得到了不同模态下钝体表面压力、气动力系数和不同模态之间转换的瞬态效应．简单分析了喷流在减阻方面的应用，给出了几个喷口参数与减阻效率之间的关系，提出了喷流减阻工程应用时应考虑的主要因素。     

面向迁移学习中特征向量差异性的成员推理攻击

在以图像分类为目标任务的迁移学习场景下,针对攻击者能力和需求对应模型不一致的情况下攻击准确率较低的问题,提出面向特征向量差异性的成员推理攻击方案,构建阴影模型获取不同层次的特征向量,采用欧氏距离对不同特征向量之间的距离进行计算,提出阈值比较步骤对欧氏距离细化分类,并设计阈值选择策略。实验结果表明：在不访问教师模型的情况下,对教师模型实施成员推理攻击,所提攻击方案仍能实现较好的攻击性能。本文方案在Cats vs Dogs、Flowers102和CIFAR-100数据集上成员推理攻击准确率分别达到0.728、0.632和0.581,揭示了迁移学习场景下成员推理攻击的有效性。随着学生模型训练时冻结层数的增加,本文方案在Cats vs Dogs数据集上的攻击性能得到提升。     

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划（3rd generation partnership project, 3GPP）提出了5G可扩展认证协议-传输层安全（extensible authentication protocol-transport layer security, EAP-TLS）。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务（denial of service,DoS）攻击和用户通信数据泄露的隐患。针对...     

PVOP：隐私保护和可验证的深度神经网络预测外包

外包的预测范式引起了各种安全问题,为了解决客户端和模型提供者的隐私问题以及云服务器缺乏可验证性的问题,提出了一个为深度神经网络预测外包提供隐私保护和可验证性的双服务器框架PVOP。在sum-ch基于加性秘密共享和D-A乘法协议的变体为深度神经网络预测外包提供隐私保护。由于本文采用不共谋的双服务器系统模型,所以可以利用加性秘密共享技术实现客户端和模型提供者的隐私保护。基于D-A乘法协议的变体实现加性共享份额的相乘。将新设计的交互式证明协议与D-A乘法协议的变体相结合,为深度神经网络模型设计了新的安全协议,在预测外包范式中实现了隐私保护和可验证性。在MNIST和CIFAR-10数据集上的实验验证了本文提出的方案。实验结果表明,大多数最先进的隐私保护类解决方案的时间开销是PVOP的1.6至247.0倍,通信开销是PVOP的1.3至27.7倍。     

再入飞行器失稳的分叉理论分析与数值仿真验证

飞行器再入大气层时的姿态稳定性事关飞行安全, 是气动设计的关键问题之一.文章采用非线性自治动力系统分叉理论, 耦合求解非定常Navier-Stokes方程和俯仰运动方程, 研究了钝体和细长体两类航天飞行器再入过程单自由度俯仰运动失稳问题.研究表明, 航天飞行器再入时, 如果仅有1个配平攻角, 随Mach数降低, 其配平攻角处的俯仰姿态失稳一般对应于Hopf分叉, 并存在亚临界Hopf分叉和超临界Hopf分叉两种失稳形态; 如果再入时随着Mach数的降低, 其配平攻角由1个演化至多个(一般为3个), 其配平攻角处的俯仰姿态失稳形态将更为复杂, 可能发生鞍结点分叉形态的刚性失稳行为;随Mach数的进一步降低, 其俯仰运动还可能进一步发生Hopf分叉和同宿分叉.      

FSMS:具有最小本地存储开销的前向安全可搜索加密方案

提出了一种具有最小本地存储开销的前向安全高效可搜索加密方案FSMS,设计了一个双层的加密存储结构,利用该结构构造可搜索加密方案将逆向索引的存储开销转移到服务端。双层加密存储结构中的第一层结构是根据全局状态生成搜索令牌的逻辑结构,这一结构代替了原来逆向索引的作用,减少了本地的存储开销;第二层结构优化了计算开销。利用双层加密存储结构设计的动态可搜索加密方案达到了前向安全属性,并且没有增加额外的计算和通信开销。将本文方案与三个现有方案进行对比,结果表明,本文方案虽然减少了本地的存储开销,但依旧具备较高的搜索效率。