摘要：简洁非交互式零知识证明能够生成长度固定的证明并快速进行验证,极大地推动了零知识证明在数字签名、区块链及分布式存储等领域的应用。但其证明的生成过程极其耗时且需要被频繁调用,其中数论变换是证明生成过程的主要运算之一。然而现有的通用数论变换硬件加速方法难以满足其在简洁非交互式零知识证明中大规模、高位宽的要求。针对该问题,提出一种数论变换多级流水硬件计算架构。针对高位宽计算需求对高位模运算进行优化,设计了低时延蒙哥马利模乘单元;为了加速大规模计算,通过二维子任务划分将大规模数论变换任务划分为小规模独立子任务,并通过消除数据依赖实现了子任务间计算流水;在子任务多轮蝶形运算之间采用数据重排机制,有效缓解了访存需求并实现了不同步长蝶形运算间的计算流水。所提出的数论变换计算架构可以根据现场可编程门阵列(FPGA)片上资源灵活扩展,方便部署在不同规模的FPGA上以获得最大加速效果。所提出的硬件架构使用高层次综合(HLS)开发并基于OpenCL框架在AMD Xilinx Alveo U50实现了整套异构加速系统。实验结果表明,相比于PipeZK中的数论变换加速模块,该方法获得了1.95倍的加速比;在运行当前主流的简洁非交互式零知识证明开源项目bellman时,相比于AMD Ryzen 95900X单核及12核分别获得了27.98倍和1.74倍的加速比,并分别获得了6.9倍、6倍的能效提升。

摘要：以混流式水泵水轮机为研究对象,设计出一种能够同时满足水轮机与水泵工况的全椭圆蜗壳,保证蜗壳椭圆截面的长短半轴之比为定值。通过蜗壳出口圆周速度与各断面的圆周速度矩为定值设计,并给出蜗壳各截面尺寸与流量之间的关系式。通过CFD数值模拟,得出蜗壳出口圆周速度与各截面圆周速度矩的变化规律,并总结出蜗壳内部的速度与压力的分布规律,模拟结果满足设计要求,具有很高的实际应用价值。

摘要：针对岩盐动力特性及累积变形规律研究匮乏的情况,分析了不同试验条件对岩盐动力特性和累积变形发展规律的影响。通过室内动三轴试验,研究了动应力幅值、围压、含水率和加载频率等影响因素作用下岩盐的动强度、动剪切模量和累积应变发展规律。基于Monismith等提出的指数模型,建立了能够合理预测岩盐累积变形的计算模型,并确定了相关参数;在考虑模型建立的背景与条件基础上,分析模型的适用条件。研究结果表明:(1)岩盐强度指标对不同因素的作用响应存在差异,围压和动应力幅值的大小对察尔汗湖区岩盐动强度影响较明显;动强度随加载次数的增加而减低。(2)岩盐在不同因素的作用下形成不同的结构骨架,因而表现出不同的变化规律;动剪切模量随动应变的增加而减小;随围压和动应力幅值的增大而增大,随含水率和频率的增大而减小。(3)岩盐的特殊性,使其累积应变的变化规律与一般土体产生较明显的区别;累积应变随着加载次数的增加均呈现持续增长并逐步稳定的趋势;随动应力幅值、围压和加载频率的增加而增加;存在一个合理的含水率范围,使得岩盐能够在循环荷载作用下有较小的累积应变。通过本研究,揭示了岩盐累积变形发展规律,对该地区的公路路基设计和施工均具有重要的参考价值。

摘要：阿尔及利亚比林核研究中心重水反应堆(Multi-purposes Heavy Water Research Reactor,MHWRR)实施了仪表、控制和电气数字化升级改造,改造后的首次临界启动对改造工程具有重要意义。为保证反应堆启动安全,需要解决升级改造后在极低光激中子水平下临界启动中存在的核测量盲区问题,首先对长期停堆后堆内剩余光激中子源强、核测量盲区以及临界棒位进行了理论计算与分析研究,在此基础上提出了在无外加启动中子源条件下首次临界启动的实验技术方案。在无参考数据的情况下,实验进程完全按理论设计的预期进行,临界启动一次成功;启动过程中核功率参数得到有效监测,启动测量装置与堆外电离室测量范围衔接完备,临界棒位理论值与实验值的误差小于0.84%,实验结果与理论计算结果符合良好,表明了这项实验技术的合理可行。

摘要：文中首先建立了一个 CSCW系统的基本模型 ;然后详细介绍了一个基于复制式应用程序共享方式技术的协同式计算机辅助设计系统—— Coop CAD的系统结构和关键技术 ,最后 ,给出了一个使用 Coop

摘要：随着计算机网络技术的发展 ,计算机支持的协同工作 (CSCW)系统正逐渐成为人们研究的热点 ,协同式计算机辅助设计系统是一类典型的 CSCW系统 .本文在介绍了 CSCW的基本概念之后 ,从系统组成的角度出发 ,提出了一个典型的 CSCW系统是由应用子系统、信息共享平台、协同工作平台、协作管理平台、以及网络传输平台这五大部分组成的 ,并对其各部分的内容进行了形式化的描述和系统的分析 ,最后以我们开发的协同式计算机辅助设计系统 - - - -Coop CAD为例 ,介绍了如何按照该结构实现一个具有实时性的协同式计算机辅助设计系统 .

摘要：主要介绍了基于传感器以及光伏电池的家用太阳能智能保护系统,利用STC52单片机与GSM模块、温度传感器、步进电机等相结合,实现了防止水箱产生水垢以及人机交互的功能,其性能稳定、经济实用的特点必将被广阔的市场所接受。

摘要：针对Perona-Malik模型图像增强算法运行在计算机CPU上无法满足算法的实时性要求的问题,基于FPGA设计了一种改进型Perona-Malik模型图像增强算法的硬件加速结构.该硬件加速结构采用行缓存实现对部分图像的缓存操作;同时通过提取出参数查找表的方式,并使用梯度的计算结果为索引,降低了硬件结构的复杂度;计算过程中采用补码和定点小数,保证了计算结果的准确性;此外采用3级流水线处理方式,增加了该硬件结构的吞吐量.实验结果表明:8次迭代处理后,在与软件处理效果相近的情况下,一帧256×256图像处理时延约为0.67 ms,满足实时处理的需求,是计算机CPU实现速度的近300倍.