检索结果-南通市图书馆

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于多GPU的零知识证明系统加速技术研究

基于多GPU的零知识证明系统加速技术研究

作者：邝浩钊华中科技大学

学位级别：硕士

零知识证明是一种具有计算完整性和隐私性的加密协议,一方能够在不向另一方提供任何有效信息的情况下,使另一方相信某个主张是正确的。其被广泛应用到涉及隐私的应用领域,如数字货币、可验证机器学习、可验证数据库外包等。零知识证明... 详细信息

零知识证明是一种具有计算完整性和隐私性的加密协议,一方能够在不向另一方提供任何有效信息的情况下,使另一方相信某个主张是正确的。其被广泛应用到涉及隐私的应用领域,如数字货币、可验证机器学习、可验证数据库外包等。零知识证明系统计算瓶颈在证明者模块,缓慢的生成证明速度极大限制系统吞吐率。证明者模块计算流程包括多项式运算和椭圆曲线上多标量乘法两个阶段,这两个阶段会给GPU系统设计带来数据划分困难、数据交换复杂、计算不均衡和访存不连续的问题。为了解决证明者模块计算瓶颈问题,设计与实现了MGZKP(A Multi-GPUs Accelerated Zero-Knowledge Proof System)系统,并基于多GPU平台加速证明者模块计算。针对数据划分困难和数据交换复杂问题,MGZKP提出适用于零知识证明数据特征的多GPU数据划分方案,使用NVLink代替PCIe进行GPU间通信。针对计算不均衡问题,MGZKP优化GPU间任务调度和GPU内任务并行策略。针对访存不连续问题,MGZKP优化数据访存方式并使用共享内存作缓存。进一步,MGZKP提供跨语言适配零知识证明系统方案,为零知识证明系统提供友好调用接口,解决跨语言适配带来的额外性能开销问题,为零知识证明应用提供算力支持。基于多条椭圆曲线进行测试,结果表明MGZKP在中大规模运算中性能表现优秀,扩展性好。相比于目前主流的零知识证明GPU库,其快速数论变换最大有16.1倍加速比,椭圆曲线上多标量乘法最大有9.4倍加速比,从而使得证明者模块在Zcash应用上最大有14.3倍加速比。

关键词：零知识证明快速数论变换椭圆曲线多标量乘法

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

莫扎特晚期风格研究

莫扎特晚期风格研究

作者：姜宗钊上海音乐学院

学位级别：硕士

晚期风格对于每一个作曲家都有着不同的特殊意义,有些作曲家的晚期风格是一种创新与突破,而有些是断裂与衰退,还有的则是将过去的风格进行凝练、提纯,比如说本论文中所研究的对象莫扎特。莫扎特在父亲死后的四年里(1788-1791)一直在走... 详细信息

晚期风格对于每一个作曲家都有着不同的特殊意义,有些作曲家的晚期风格是一种创新与突破,而有些是断裂与衰退,还有的则是将过去的风格进行凝练、提纯,比如说本论文中所研究的对象莫扎特。莫扎特在父亲死后的四年里(1788-1791)一直在走下坡路,早已退却了童年时的光环。而就在这困难重重的生活环境之下,他却创造出了一系列伟大的音乐财富。本论文的第一章试图梳理晚期风格的相关理论和归纳莫扎特晚期的生平境遇和作品概貌,而第二章总结出莫扎特晚期风格的音乐语言体现出三种特征：对位复调频繁使用、和声复杂化以及织体的透明简洁化。第三章,从音乐内容的角度出发,几部晚期重要作品分别呈现出悲凉性,包容性,反讽与同情的平衡等音乐表情范畴及审美意象范畴。

关键词：沃尔夫冈·莫扎特晚期风格音乐表情范畴审美意象

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

信道化数字接收机技术的研究与实现

信道化数字接收机技术的研究与实现

作者：陈大钊电子科技大学

学位级别：硕士

由于现代战争的电磁环境愈发复杂，信号种类数目众多，人们需要一种接收机能够解决这些问题：瞬时接收带宽比较宽，动态范围较大，灵敏度高以及能够同时处理多个到达信号[2]。而本文所研究的信道化数字接收机正是这样的接收机。信道化... 详细信息

由于现代战争的电磁环境愈发复杂，信号种类数目众多，人们需要一种接收机能够解决这些问题：瞬时接收带宽比较宽，动态范围较大，灵敏度高以及能够同时处理多个到达信号[2]。而本文所研究的信道化数字接收机正是这样的接收机。信道化数字接收机基于软件无线电原理，可以处理多个同时到达目标，能够实现信号的全概率接收，成为电子侦察系统中重要研究方向。本文基于信道化数字接收机的基本原理，研究了多种信道化结构，并且着重研究了针对输入瞬时带宽为700MHz的多相DFT信道化结构，及其FPGA实现过程。本文的主要工作内容如下： 1.讨论了几种常见的信道化接收机结构，在不同信道划分情况下，基于低通滤波器组信道化结构，推到了多相DFT信道化数字接收机的结构。 2.针对信道化数字接收机存在的信道模糊以及测频精度低的问题，本文讨论了瞬时测频技术，并将其应用于信道化结构中，最后通过仿真验证了其理论的可实现性。 3.在无盲区划分且抽取倍数为信道个数一半的情况下，基于多相DFT结构，研究了奇偶通道信道化接收机结构，详细给出了其推导过程，并且通过仿真验证了所述理论的正确性。 4.讨论了基于FFT的非均匀信道化滤波原理，研究了一种基于FFT的重叠相加算法，该算法可以大大的提高系统资源利用率，同时阐述了其实现结构。 5.设计了一个输入瞬时带宽为700MHz、信道个数为32个的多相DFT信道化接收机系统，首先采用Matlab仿真验证其理论的正确性。然后进行硬件设计实现，并且详细阐述了各个模块的工作原理，最后通过系统的功能测试，证明了其硬件实现的可行性。

关键词：信道化多相滤波 IFM FFT FPGA

玉米植质钵育移栽机秧箱机构的设计与试验研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

玉米植质钵育移栽机秧箱机构的设计与试验研究

作者：牛钊君黑龙江八一农垦大学

学位级别：硕士

玉米育苗移栽技术是提高玉米单产水平和品质的主要技术措施之一，目前国内玉米移栽生产机械化程度低、移栽机多为半自动、作业速度受限于人工取苗和喂苗速度、移栽质量不稳定，直接限制了这项技术的推广和应用;国外大多数全自动移栽机... 详细信息

玉米育苗移栽技术是提高玉米单产水平和品质的主要技术措施之一，目前国内玉米移栽生产机械化程度低、移栽机多为半自动、作业速度受限于人工取苗和喂苗速度、移栽质量不稳定，直接限制了这项技术的推广和应用;国外大多数全自动移栽机由于结构复杂，造价过高，以及国内外地理条件差异等因素影响导致无法应用。针对以上问题，本课题组以玉米钵育移栽技术为依托，以高速水稻插秧机工作特点为基础，研制了一种基于植质钵育技术的全自动玉米植质钵育苗移栽机。本文通过分析国外移栽机的发展趋势，总结国内半自动移栽机供苗方式的不足，结合高速水稻插秧机进给机构特点，设计了一种适用于玉米植质钵育苗移栽机的全自动供苗机构。该机构能实现自动补苗、连续进给的全自动过程，其结构简单，工作稳定可靠，弥补了国内半自动移栽机无法摆脱人工送苗的缺陷。本文主要研究内容和结论如下：（１）供苗机构的设计与研究根据玉米植质钵苗物理性状结合玉米育苗农艺要求，运用机构运动学原理对现有的多种横向、纵向移箱机构进行分析，设计了一种满足玉米植质钵苗物理特性与喂入量的全自动供苗机构。该机构主要功能包括螺旋轴滑块式横向供苗，拨叉棘轮式纵向补苗。建立该供苗机构数学模型，对其结构参数及运动机理进行深入分析与总结。（２）机构合理性检验利用Solid Edge、CAD等软件对供苗机构各零部件建模，在三维环境下对虚拟样机进行运动仿真分析，总结机构运动特点，校核理论参数，验证机构合理性。（３）试验分析建立样机试验台，以玉米钵苗直立度（倒伏率）为目标值，秧箱水平夹角、投苗垂直倾角、机车前进速度为影响因素，设计了供苗机构的二次回归正交旋转组合试验方案。利用SPSS软件分析了玉米植质钵育移栽机供苗机构主要参数对综合土壤条件下玉米植质钵苗直立度的影响规律，建立供苗机构主要参数与评价指标间的数学模型，分析因素交互作用计算各因素影响贡献度，并利用MATLAB对该模型进行优化求解最优值。得到了各因素影响贡献度为：投苗垂直倾角>机车前进速度>秧箱水平夹角，确保植质钵苗较高直立度的最佳组合参数：秧箱水平夹角22.5°，投苗垂直倾角13.14°，机车前进速度0.57m/s，最后经过试验验证与理论分析结果间的误差不超过10%，在允许范围内。

关键词：玉米植质钵育供苗机构设计运动仿真试验研究

精伊霍铁路北天山隧道高压富水段断层施工技术

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

铁道标准设计 2009年第6期29卷 90-92页

作者：汶文钊中铁一局集团有限公司技术研发中心西安710054

以精伊霍铁路北天山隧道高压富水段的断层施工为背景,阐述通过堵、排结合的治理隧道地下水的方法,治塌先治水,通过采用平导排水、减压,正洞帷幕注浆的施工方法,使正洞先行通过断层,然后通过正洞迂回处理平导断层,确保了隧道的安全施工。

关键词：隧道断层帷幕注浆泄水减压

海峡两岸会计信息质量特征比较浅析——基于最新会计准则与财务会计概念框架的演进过程

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

财会通讯 2021年第19期 14-18页

作者：安庆钊熊健河南财经政法大学会计学院河南郑州450046

中国大陆地区与中国台湾地区对于企业会计信息质量特征的表述在经历了各自的演进过程后,双方都形成了当前以IFRS为蓝本的会计信息质量特征体系。新准则的实施与等效互认机制虽然在一定程度上实现了两岸在会计信息质量特征体系上的趋同,... 详细信息

中国大陆地区与中国台湾地区对于企业会计信息质量特征的表述在经历了各自的演进过程后,双方都形成了当前以IFRS为蓝本的会计信息质量特征体系。新准则的实施与等效互认机制虽然在一定程度上实现了两岸在会计信息质量特征体系上的趋同,但两岸当前依然在会计信息质量特征的层次结构上存在不一致。因此本文先将海峡两岸不同时期会计信息质量特征的表述及演进过程进行了对比,又对两岸当前最新的会计信息质量特征体系作了进一步分析。

关键词：会计信息质量信息质量特征海峡两岸比较分析

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

建筑节能系统的认识基础探析

土木建筑与环境工程 2011年第S2期33卷 65-69页

作者：余晓平付祥钊重庆大学城市建设与环境工程学院重庆400045 重庆科技学院建筑环境与设备工程系重庆401331

从建筑节能历史发展角度给出了建筑节能系统的新理解,指出建筑节能是一项社会活动,为形成建筑节能系统观奠定了认识论基础;并从人居环境科学的视角分析了建筑节能在科学技术体系中的地位,指出建筑节能也是一门科学;从学科构建角度探讨... 详细信息

从建筑节能历史发展角度给出了建筑节能系统的新理解,指出建筑节能是一项社会活动,为形成建筑节能系统观奠定了认识论基础;并从人居环境科学的视角分析了建筑节能在科学技术体系中的地位,指出建筑节能也是一门科学;从学科构建角度探讨了建筑节能的系统特性,并围绕"建筑节能是什么?"这一基本问题构建了建筑节能系统的结构框架,分析了建筑节能系统的认识基础,并初步建立了建筑节能系统观的层次框架和概念模型。

关键词：建筑节能系统观科学观认识论

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

极化3He系统的主磁场线圈优化

极化3He系统的主磁场线圈优化

作者：王文钊兰州大学

学位级别：硕士

原子核自旋极化的He气体被深度研究并广泛用于各种科学实验。极化的He气体可以作为等效的极化中子靶用来研究中子与带电粒子或光子的反应;极化的He气体还可以用于探测超越标准模型的新相互作用,譬如测量极化He的核磁共振(NMR)频率的频... 详细信息

原子核自旋极化的He气体被深度研究并广泛用于各种科学实验。极化的He气体可以作为等效的极化中子靶用来研究中子与带电粒子或光子的反应;极化的He气体还可以用于探测超越标准模型的新相互作用,譬如测量极化He的核磁共振(NMR)频率的频移大小可以定量地探测自旋相关的新相互作用强度,通过测量极化He气体的弛豫时间也能够研究自旋相关的新相互作用;此外,极化的He气体可以应用于磁强计和核磁共振成像(MRI)等领域;最后,因为极化He原子核对中子的吸收截面与两者自旋取向的高度相关性,所以高度极化的He气体也可以作为中子自旋过滤器用于中子极化和极化分析。目前,三大国内中子源CMRR、CARR、CSNS都在开展这种基于极化He的中子极化及极化分析技术的研究。极化He实验中,He的极化弛豫过程是保持和限制其极化率的关键因素。在过去的极化He实验中,为了减小磁场梯度对纵向弛豫时间的影响,获得弛豫时间长达数百小时的极化He气体,通常会使用大尺寸的亥姆霍兹线圈来提供磁场中心区域均匀度达到1044 cm的主磁场环境。为了获得足够的磁场均匀性,有的磁场系统尺寸甚至超过了1.5m,各种实验从实用性和便宜性均希望有小的磁场构型。本文工作搭建了基于四正方形Merritt线圈的He气体极化系统,磁场系统的长度～0.5 m,截面边长～0.4 m。理论计算与实验测量均证明了该磁场拥有足够的区域满足1044 cm的均匀度要求。用于电子散射实验的He容器,其气室长度可达40 cm,即使使用Merritt构型的磁场线圈,装置长度也将超过1 m。本文进一步设计出磁场均匀区域比例更大的线圈构型。通过计算优化得到了新的适用于小型He极化装置的六正方形线圈系统,其中线圈系统内部超过30%的区域磁场梯度满足(?),这一均匀区域比例超过了现在所有用于极化3He实验的线圈装置,为未来应用于电子散射实验的极化He实验装置的小型化提供了条件。

关键词：自旋极化的3He 磁场尺寸弛豫时间磁场梯度

玄武岩纤维复合增强的汽车制动摩擦片性能研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

玄武岩纤维复合增强的汽车制动摩擦片性能研究

作者：朱世钊青岛理工大学

学位级别：硕士

随着经济的发展,汽车保有量迅速提高,制动安全问题变得尤为重要。在制动过程中,传统制动块的磨损产生的微粒会对环境及人体产生危害。相较于传统制动摩擦片,陶瓷制动摩擦片配方工艺复杂、原料昂贵等,这些问题成为了制约其进步的绊脚石... 详细信息

随着经济的发展,汽车保有量迅速提高,制动安全问题变得尤为重要。在制动过程中,传统制动块的磨损产生的微粒会对环境及人体产生危害。相较于传统制动摩擦片,陶瓷制动摩擦片配方工艺复杂、原料昂贵等,这些问题成为了制约其进步的绊脚石。玄武岩纤维在摩擦磨损性能和热稳定性能方面接近碳纤维,而且价格低廉,用以替代陶瓷制动摩擦片中的碳纤维,能够降低陶瓷摩擦片的成本;玄武岩纤维是一种高强度的绿色纤维,使用过程中不会污染环境。玄武岩纤维的缺点是制备摩擦片时不易于酚醛树脂粘接。针对上述问题,本文主要研究内容如下:研究了不同配方对改性玄武岩纤维与树脂粘接的影响、不同工艺对改性玄武岩纤维与树脂的粘接的影响和改性玄武岩纤维取代碳纤维试验。试验选择的4种纤维分别是改性玄武岩纤维,芳纶纤维,海泡石纤维,碳纤维,选择的粘接剂为8wt.%腰果壳油酚醛树脂。数据分析方法为极差分析方法、Spss软件的回归方程以及Matlab软件的数据拟合。研究结果表明:改性玄武岩纤维含量4wt.%、芳纶纤维2wt.%、海泡石纤维3wt.%时,摩擦磨损性能均衡,噪声测试良好,抗剪切性能略差。在上述纤维比例的基础上对制备工艺参数进行研究(压制温度,压制压力,保压时间,热处理时间),最佳的工艺参数为压制温度170℃、压制压力35MPa、保压时间7.5min、热处理时间6h,此工艺参数下的摩擦片性能优良。研究了玄武岩代替碳纤维制备制动摩擦片。将改性玄武岩纤维与碳纤维按比例进行分组,测试了其力学性能、摩擦系数的热稳定性以及磨损率,研究结果表明:合理增加改性玄武岩纤维含量能够降低摩擦片硬度,改性玄武岩纤维相比碳纤维有更好的摩擦系数和热稳定性,磨损率虽略大于碳纤维,但300℃以上时磨损率差别不大,改性玄武岩纤维与碳纤维的最佳比例为3:1,提高了制动摩擦片经济性。

关键词：汽车制动性制动摩擦片配方优化工艺升级