摘要：针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。

摘要：随着数据密集型科学和高通量应用的迅速发展,专用集成电路设计不断涌现,传输系统不再只有数据传输的需求。现有的一些直接存储器访问(Data Memory Access,DMA)设计可以支持高效的矩阵转置传输,但这些设计不能满足复杂的访存模式,也不具有灵活的可配置性,从而降低计算效率。针对这些问题设计了一种可配置的多模式传输系统Flex-DMA,该系统包含可配置的寄存器以及传输通道,拥有基础模式和单指令多数据(Single Instruction Multiple Data,SIMD)模式。因此,Flex-DMA可根据不同的数据传输需求选择不同的传输模式,灵活配置数据规模和数据格式,支持数据向量化转换、矩阵转置传输等功能。在大规模并行模拟框架中对Flex-DMA做性能评估,其结果表明,Flex-DMA在数据向量化处理中可以获得平均5.14倍的加速比。此外,与MT-DMA结构相比,Flex-DMA在矩阵转置传输中可以获得平均2.52倍性能提升。实验证明:Flex-DMA能满足复杂的访存模式和传输需求,在低传输时延下实现数据的重组和预处理。

摘要：[目的/意义]针对传统大米品质监管追溯系统中存在的品控数据链机制不够完善、品控信息可追溯程度不足、数据上链效率低及隐私信息泄露等问题,提出一种差分隐私增强的大米区块链品控模型。[方法]首先,结合大米全产业链,设计数据传输流程,涵盖种植、收购、加工、仓储和销售等各环节,有效保证品控数据链的连续性;其次,为解决上链数据量大、上链效率低问题,将大米全产业链各环节关键品控数据存储于星际文件系统(InterPlanetary File System, IPFS),然后将存储完成后返回的哈希值上链;最后,为提高品控模型信息可追溯程度,将种植环节关键品控数据中涉及隐私的部分信息通过差分隐私(Differential Privacy)处理后展示给用户,模糊化个体数据,以提高品控信息可信度,同时也保护了农户种植隐私。基于该品控模型,设计了差分隐私增强的大米区块链品控系统,并在相关大米企业实际运行。[结果与讨论]经测试,差分隐私增强的大米区块链品控系统全产业链单环节数据完成存储平均耗时1.125 s,信息追溯查询平均耗时0.691 s。与传统大米品质监管追溯系统相比,单环节数据存储时间缩短6.64%,信息追溯查询时间缩短16.44%。[结论]研究提出的模型不仅提高了品控数据连续性和信息可追溯程度,同时保护了农户的隐私,还在一定程度上提升了品控数据存储及信息追溯查询的效率,可为大米品质监管与信息追溯系统的设计和改进提供参考。

摘要：针对卷积神经网络在正向推理时的高计算复杂度与空间复杂度问题,提出了一种基于二值神经网络(Binary Neural Network,BNN)的过滤器剪枝算法(Binary Filter Pruning:BFP). BFP算法通过剪除L2范数较小的过滤器,构建剪枝压缩后的二值神经网络模型.进一步面向FPGA(Field Programmable Gate Array)平台,设计并实现了基于二值复值神经网络(Binary Complex Neural Network,BCNN)的ResNet-18加速计算模型.对二值复值卷积层与预处理过程中的卷积层,分别设计了数据预处理合并优化与数据重排序.实验结果显示,BFP算法在CIFAR-10数据集上的分类精度,比基于SLR(Surrogate Lagrangian Relaxation)的通道剪枝方法平均提高了1%.与CPU平台相比,设计的加速器在PYNQ-Z1平台上的计算性能提高了23倍.

摘要：为了满足磁约束核聚变领域的杂质测量要求,研制了一套Seya Namioka真空紫外光谱仪。该光谱仪的主要部件是可调宽度的入射狭缝、凹面光栅和探测器。光谱仪的光通量通过可调节宽度的入射狭缝来调节,入射狭缝宽度可以在10~1000μm范围内调节。分光元件选用线密度为1200 lines·mm^(-1)的凹面全息光栅。光栅表面涂有铝(Al)和氟化镁(MgF2),以提高衍射效率。光栅的可使用波段为50~460 nm,针对其中的50~250 nm波段进行光路优化设计。选用深度制冷背照式电荷耦合器件(CCD)作为光谱仪的探测器。通过转动光栅转台旋转光栅来改变衍射角,实现50~250 nm范围内的光谱观测。基于凹面光栅的参数,确定了具体光路,并分析了波长随光栅旋转角度的变化关系及不同波长处的线色散率。基于凹面光栅成像理论,对系统的光谱分辨率进行了计算分析。通过分析不同出射臂下的光谱分辨率,确定最优出射臂为205 mm。在出射臂为205 mm、入射狭缝为20μm的情况下,分析了入射狭缝宽度、像素大小、像差和衍射极限对光谱分辨率影响。结果表明:衍射极限对光谱分辨率的影响最小,基本上可以忽略不计,出射狭缝的宽度对光谱分辨率有较大贡献,大约为0.09~0.10 nm,且在50~250 nm波长范围内缓慢增加。分析了不同入射狭缝宽度(10~80μm)下光谱分辨率,光谱分辨率随狭缝宽度呈递增趋势,变化范围为0.10~0.32 nm,当狭缝宽度达到80μm时,光谱分辨率已经变的较差,不利于高分辨线辐射光谱测量。在实际测量中,应该综合考虑光通量和光谱分辨率需求。采用低压汞灯和微波等离子体光源进行波长校准和性能测试。基于零阶光谱和汞灯的特征光谱HgⅠ(185 nm)对光谱仪进行了波长标定。通过HgⅠ(185 nm)谱线的高斯拟合分析,得到仪器在185 nm处的光谱分辨率为0.1243 nm,与理论计算值接近。通过实验与理论计算对比不同出射臂下的HgⅠ(185 nm)光谱分辨率,验证了仪器在出射臂为205 mm处获得最佳光谱分辨能力。利用微波等离子体放电光源装置对光谱仪进行了进一步的性能测试,基于光源发射的氮、氧和氦线的测量,验证了光谱仪在50~250 nm波长范围内具有良好的探测能力。

摘要：当前,生成对抗网络(Generative Adversarial Networks,GAN)合成的逼真图像难以识别,严重危害国家网络安全及社会稳定.与此同时,多数基于深度神经网络模型设计的检测器需要大规模训练样本,且存在模型可解释度不高、泛化性能差等问题.为了克服上述亟待解决的关键性难题,本文提出一种多色彩通道特征融合的GAN合成图像检测方法.首先,探索分析真实自然图像和GAN合成图像在不同色彩空间相邻像素之间的差异,并设计差异度量算法,完成色彩通道选择.其次,利用图像像素间的高度相关性,在八个方向上通过二阶马尔可夫链对相邻像素之间的差分数组进行建模,提取差分像素邻接矩阵特征.最后,利用上述特征,设计一种简单且高效的集成分类器完成GAN合成图像的检测任务.在基于StyleGAN模型合成的伪造人脸数据集中,所提出方法的检测准确率高达100.00%;在小样本训练约束条件下,正负样本对数仅仅为2时,检测准确率高达99.65%;在单类样本训练约束条件下,正样本数仅仅为50时,检测准确率高达92.84%.在基于更先进的StyleGAN2和PGGAN模型合成的伪造场景数据集中,所提出方法的检测准确率达到99.96%以上.以上大量实验表明,本文所提出的方法明显优于比较的GAN合成图像检测方法.本文方法已经开源:https://***/cyxcyx559/ccss.

摘要：为了更方便和深入研究紧凑环注入(CTI)系统产生的等离子体团在等离子体中的演化过程,特设计了一套大尺寸、均匀的六硼化镧等离子体源,用来产生磁化、高密度等离子体。等离子体源的阴极采用钨丝间接加热的方式来达到工作温度,阴极最高可达到1800℃。阳极采用耐高温、透过率50%的钼金属网,与阴极之间轴向间距1m。在阴极和阳极之间施加40~200V偏压,阴极发射的电子与中性气体碰撞、电离进而产生长1m直径100mm的稳态磁化等离子体柱。在台面实验中,测试了源的放电性能和等离子体相关参数。实验结果表明,在阴极发射电流密度为1~2A·cm^(-2)的情况下,测得的氩等离子体电子密度可达到10^(18)m^(-3)量级,电子温度约为8eV。通过增加阴、阳极之间偏压,阴极发射电流密度最高达到8.5A·cm^(-2),等离子体参数与托卡马克边界参数相近。该等离子体源满足设计要求并具备为EAST-CTI系统开展台面实验的能力。

摘要：知识图谱已经广泛应用于各个领域。针对传统集中式查询的效率低和硬件压力大等问题,对大规模知识图谱的分布式检索与查询进行了研究。采用基于查询负载优化的轻量级重划分算法,通过设置不同权重实现了服务器间的查询负载均衡,从而在查询速度和系统性能上都有了显著的提高。同时,设计了基于查询代价的子图分解查询算法,以查询图的结构信息为基础,加快了系统的查询速度。在分布式微服务管理系统中,采用Spring Cloud的分布式微服务架构和Nginx的负载均衡技术,保证了系统在高并发情况下的可靠性和高可用性。实验结果表明,这些算法在查询效率和系统性能方面都优于传统算法,具有实际应用价值。

摘要：非机械式激光光束扫描系统具有体积小、重量轻、易集成等优势,在激光雷达、激光武器和激光通信等领域具有较大的应用前景,其通光口径决定着设备的工作距离、扫描精度和目标摧毁能力。基于液晶偏振光栅设计了一种全电控制的大口径激光光束扫描系统。采用液晶偏振光栅和液晶空间光调制器的协同工作方式,实现光束的大角度连续扫描;设计了光束扫描系统,并重点分析了级联液晶偏振光栅组的控制策略,给出了具体控制方法。最后,进行了激光光束的初步扫描实验,实现了70 mm口径光束在−16.575°~16.575°的偏转。该研究结果为激光光束的非机械式扫描控制提供了技术支撑,并在大口径激光扫描系统应用方面进行了初步探索。

摘要：随着元宇宙和Web3.0等概念的出现,区块链在很多领域中发挥了非常重要的作用,跨链技术是实现链间互联互通和价值转移的重要技术手段。现阶段,公证人和侧链等传统的跨链技术存在信任问题,同时,跨链身份认证领域中存在各链身份不统一以及身份不掌握在用户自己手中的问题。首先,系统地总结了数字身份和跨链技术的发展历程、技术方案,并对四种数字身份模型和九个主流跨链项目进行分析比较;其次,通过梳理分析近年来跨链身份认证的主要研究成果,设计了跨链身份认证通用模型,并总结出现有方案存在的缺点;然后,重点研究了基于DID的跨链身份认证实现方案,对不同方案进行了技术特点及优缺点分析;在此基础上,总结并设计了三种基于DID的跨链身份认证模型,对主要实现步骤进行了功能描述,并分析其优点、局限性和效率;最后,针对当前基于DID的跨链身份认证模型的不足,讨论了其发展难点并给出了五个未来可发展的研究方向。