摘要：安全高效的异步分布式随机信标是异步共识协议能够快速终止的必要保障.2008年以来,比特币中区块链技术的成功促进了分布式应用的蓬勃发展,为分布式应用提供随机性来源的分布式随机信标也受到了学者的广泛研究.现有的分布式随机信标一般选取公开可验证秘密共享、可验证随机函数、可验证延迟函数之一作为基础结构进行设计,其中公开可验证秘密共享结构简单、模块清晰、实用性较强,是现有分布式随机信标协议中数量最多、分析最为透彻的类别,其它结构的协议研究开始时间较晚,设计方法并未固定,在形式化安全定义和安全分析中尚有较大空白等待填补.目前,只有少数基于公开可验证秘密共享的方案支持异步网络模型,并且这些方案都是利用不抗量子的离散对数问题构建的.因此,在后量子安全的异步网络模型下,现有异步共识成果不得不采用期望运行轮数为指数的本地抛币协议来保障全栈量子安全.本文主要研究抗量子安全假设下基于公开可验证秘密共享的方案,具体贡献如下:(1)本文首先基于抗量子困难假设环上容错学习和公开可验证秘密共享的结构范式,设计了具备O(N log N)证明及验证复杂度的公钥更新协议,其中N为多项式次数,该协议保证了节点在每一轮产生随机数份额的过程中采用了一致且正确的新公钥.(2)在此基础上,本文设计了计算复杂度为O(n),通信复杂度为O(n2)的异步分布式随机信标协议,其中n为节点规模.在相同的安全参数下,本文提出的随机信标协议相较于基于离散对数的协议运行时延减小约34%.(3)最后,本文给出了一种基于异步分布式随机信标的异步共识协议,并证明其满足标准的安全需求.

摘要：针对航空差旅消费的潜在隐私泄露风险,提出一种可监管的交易隐私保护密码学方案,为航空公司、集团客户和差旅人员三方交易提供安全保障。通过在交易密文中额外添加一位接收方公钥,双接收方能够独立解密并获得相同的交易信息,确保了作为额外接收方的监管者能够分布式审查航空公司和集团客户之间的真实交易金额;通过设计同态加密算法,密文交易数据可以被正常分析,而隐藏的交易额可以通过零知识证明协议保证其正确性。实验分析表明,在添加了一位接收方的情况下,依然保持较高的执行效率。该方案不仅增加了交易系统的监管功能,还可解决航空差旅交易中隐私保护与精准核算的内在冲突。

摘要：在单视点结构约束条件下推导了给定红外探测器参数(像元规模和像元中心距)和俯仰角范围时,二次曲面反射镜面型(离心率)、反射镜厚度、反射镜与折射镜头之间的安装距离、折射镜头焦距等参数的数学公式,为建立单视点双曲面折反射红外全景成像系统提供了几何约束关系。与此同时,针对双曲面反射镜的特点,推导了其用于单视点折反射红外全景成像系统时空间分辨力(垂直方向瞬时视场和水平方向瞬时视场)的数学公式,并在理想大气、假设目标对比度足够高、探测方程相关参数最简化的条件下将其与现有的NVTherm IP模型结合获得系统作用距离的公式。采用不同像元规模和灵敏度(噪声等效温差)进行了仿真,发现:(1)系统空间分辨力随像元规模的增大而增大;(2)系统作用距离随像元规模和灵敏度的增大而提高,但灵敏度的增大对作用距离的改善不明显。

摘要：折反射式周视红外成像系统在安全监视领域有着独特的大视场优势,但是目前常见的圆锥曲面反射镜折反射式周视系统存在不同俯仰角下探测距离差异大的问题。折反射式周视红外成像系统的探测距离与目标尺度、任务准则、俯仰角和方位角分辨力有关。将俯仰角分辨力和方位角分辨力的几何平均数设为常数,以此作为恒等探测距离折反射式周视系统的条件,并推导了相应的系统设计方法。数据仿真结果验证了恒等探测距离系统的可实现性,另外,也表明了所提方法不仅可以实现不同俯仰角下的相同探测距离,还可以通过合理的参数调节使得大部分视场范围内的探测距离优于传统圆锥曲面型折反射式周视系统的探测距离。

摘要：提出了单视点约束红外折反射全向成像系统单次成像实现全视场(FOV)清晰的一种参数设计优化方法。根据应用需求设计出符合单视点约束的初始系统参数;提出镜面虚景深的概念优化折射光学组参数。利用ZEMAX软件的理想系统仿真验证了所提出的设计方法实现系统全视场清晰成像的可行性,并且该设计方法能同时满足视场范围和轴向尺寸等方面的要求。从仿真结果还可知,大口径反射镜镜面有利于提高光学系统成像质量,而增大曲面离心率有利于减小系统轴向尺寸。

摘要：为探究液态铅铋在六边形组件棒束通道内流动传热特性,开展了操作压力为0~250 kPa、实验段入口温度为200~300℃、热流密度为0~47071.48 W·m^(-2)、质量流量为0~4 kg·s^(-1)及Pe为300~600的液态铅铋流动传热实验。依据实验结果重点分析了液态铅铋在不同测点位置、热流密度和进口温度等工况下的棒束内通道传热特性。基于棒束通道流动传热特性实验数据,对国际上液态金属的流动传热经验关系式进行计算评估,并参考Mikityuk关系式的基础形式,拟合出一个新的流动传热经验关系式。采用德国卡尔斯鲁厄研究中心(KIT)的实验数据校核并评价该关系式的适用性和可信度。结果表明,拟合经验关系式对KIT棒束的计算相对偏差为±20%,证明新经验关系式有较高的适用性与可信度。该实验数据与经验关系式可为我国液态金属冷却快堆六边形组件棒束通道内流动传热特性的设计研究提供参考与技术支持。

摘要：温控设备的小型化和轻量化是目前现代科学测量仪器的发展方向,为了解决目前实验用温控箱没有小型化和轻量化的状况,将半导体制冷技术、传感器技术和单片机控制技术相结合,研究实现了基于半导体制冷的单片机自动控温过程,并进行液晶屏显示,将其应用于设计的小型半导体温控箱中。根据实验室的实际需求,本着节能环保、节省空间的要求对温控箱的箱体结构、硬件电路、软件部分进行方案选择与设计,并对半导体温控箱系统的进行整体实际测试。测试过程中,首先通过手机蓝牙串口APP向单片机发送目标温度信息,其次每隔5min采集一次显示屏上的实时温度数据,达到目标温度后恒温20~30min,将所得温度数据绘制成升温或降温曲线。测试结果表明,温控箱上下位机通信正常,已实现基本的温控功能。其中,温控箱的控温范围可实现4~50℃连续可调,控温精度为±0.3℃,温控箱内部温度通过显示屏进行实时显示。以半导体制冷片和硅胶发热片作为冷却装置和加热装置制作完成的自动温控箱,极大地缩小了温控箱体的体积,此外,以单片机为核心的控制系统提高了温控精度,增强了系统的人机交互性和可扩展性。

摘要：目的:针对目前微波热疗机实际输出功率在使用过程中会缓慢衰减,功率测量过程相对复杂等问题,提出了一种新的对微波热疗机实际输出功率进行快速测量的方法,并设计了一套对微波热疗机实际输出功率进行快速监测的装置。方法:利用对称振子天线与截止频率较高的低势垒肖特基二极管组成功率传感器,并将该微波天线置于微波热疗机辐射器前方的某一个固定点,在不同微波功率下测量天线感应、并经过二极管检波后的电压,将得到的功率与电压间的函数关系保存在单片机系统中。利用此函数关系,通过测量二极管检波电压来监测微波热疗机实际输出功率。结果:利用研制的装置,在全功率范围内测量微波热疗机的实际输出功率,测量误差小于5%。结论:微波热疗机的实际输出功率与辐射器前方某固定位置上微波天线感应、并经过二极管检波后得到的电压之间存在一个固定的函数关系。完成该电压与功率的定标后,通过测量二极管检波电压,就可以方便、准确地测量出微波热疗机的输出功率,监测输出功率的变化。这将使技术人员能够及时对微波热疗机输出功率进行修正,从而确保微波热疗剂量的准确性与安全性。

摘要：面向偏远地区及特殊场景能源需求,本文提出一体化小型氟盐冷却高温堆Fu STAR系统的初步概念设计方案。该反应堆采用氟盐冷却堆芯,高温低压运行,配合布雷顿循环进行能量转换,具有固有安全、结构紧凑、多能联供的优势。本文介绍了Fu STAR的设计理念以及物理、热工、安全系统设计方案,为各分系统设计优化和总体适配提供参考。