检索结果-南通市图书馆

Simulation extractable SNARKs based on target linearly collision-resistant oracle

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2024年第9期67卷 2853-2866页

作者： wang liguan LI Yuan ZHANG ShuangJun CAI DongLiang KAN HaiBin Shanghai Key Laboratory of Intelligent Information Processing School of Computer ScienceFudan UniversityShanghai 200433China Shanghai Engineering Research Center of Blockchain Shanghai 200433China Yiwu Research Institute of Fudan University Yiwu 322000China

The famous zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARK) was proposed by Groth in ***, the construction is based on quadratic arithmetic programs which are highly efficient concerning the proof length and the verification complexity. Since then, there has been much progress in designing zk-SNARKs, achieving stronger security,and simulated extractability, which is analogous to non-malleability and has broad applications. In this study, following Groth's pairing-based zk-SNARK, a simulation extractability zk-SNARK under the random oracle model is constructed. Our construction relies on a newly proposed property named target linearly collision-resistant, which is satisfied by random oracles under discrete logarithm assumptions. Compared to the original Groth16 zk-SNARK, in our construction, both parties are allowed to use such a random oracle, aiming to get the same random number. The resulting proof consists of 3 group elements and only 1 pairing equation needs to be verified. Compared to other related works, our construction is shorter in proof length and simpler in verification while preserving simulation extractability. The results also extend to achieve subversion zero-knowledge SNARKs.

关键词： quadratic arithmetic program simulation extractability subversion zero-knowledge succinct non-interactive arguments of knowledge target linearly collision-resistant

CAVABILITY CLASSIFICATION MODEL IN BLOCK CAVING

在线全文

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 1996年第3期6卷 5-9页

作者： wang liguan(Deportment of Resources Exploitation Engineering,Central South University of Technology, Changsha 410083) Department of Resources Exploitation Engineering Central South University of Technology Changsha 410083 China

ＣＡＶＡＢＩＬＩＴＹＣＬＡＳＳＩＦＩＣＡＴＩＯＮＭＯＤＥＬＩＮＢＬＯＣＫＣＡＶＩＮＧ￥ＷａｎｇＬｉｇｕａｎ（ＤｅｐｏｒｔｍｅｎｔｏｆＲｅｓｏｕｒｃｅｓＥｘｐｌｏｉｔａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＣｅｎｔｒａｌＳｏ... 详细信息

ＣＡＶＡＢＩＬＩＴＹＣＬＡＳＳＩＦＩＣＡＴＩＯＮＭＯＤＥＬＩＮＢＬＯＣＫＣＡＶＩＮＧ￥ＷａｎｇＬｉｇｕａｎ（ＤｅｐｏｒｔｍｅｎｔｏｆＲｅｓｏｕｒｃｅｓＥｘｐｌｏｉｔａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＣｅｎｔｒａｌＳｏｕｔｈＵｎｉｖｅｒｓｉｔｙｏｆＴｅ...

关键词： block caving cavability classification of orebody rock mass quality estimation

A new method of block shape classification

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2011年第1期54卷 110-115页

作者： FENG XingLong LI De wang liguan JING YongBin XUN XueMei ZENG QingTian Yuxi Mining Co. Ltd. Yuxi 653100 China School of Resources and Safety Engineering Central South University Changsha 410083 China Research Center of Digital Mine Central South University Changsha 410083 China

The shapes of block within the rock mass have an important effect on the rock properties, so it＇s very important to evaluate the shapes of rock fragmentation and to determine the geometric characteristics distribution of the block. The previous methods to classify rock block shape are based on the assumption that a block shape is approximately orthogonal, which is acceptable in only a few rock masses. This paper proposes a new method for block shape classification using triangular diagram together with parameters of co-linearity e and volume coefficient K, which combines the shape categorization with block volume for statistical analysis. Rock block equivalent size calculation methods based on block shape is proposed and the block cumulative percentage of total volume statistical analysis is given. In order to verify this block shape classification method, three ideal rock masses with approximately orthogonal joint sets have been generated and simulated.

关键词： block shape co-linearity volume coefficient

在线全文

学校读者我要写书评

暂无评论

采空区单站激光等距扫描与高效三维重建方法

中国矿业大学学报 2016年第4期45卷 836-842页

作者：陈鑫王李管中南大学资源与安全工程学院湖南长沙410083

采空区三维空间形态的精确获取关系到矿山安全生产、高效开采和资源有效回收,传统的采空区三维激光等角扫描方法具有扫描盲目性和数据采集分布不均匀性等缺点.结合采空区自身空间几何特点,提出采空区三维激光等距扫描方法,以及基于半球... 详细信息

采空区三维空间形态的精确获取关系到矿山安全生产、高效开采和资源有效回收,传统的采空区三维激光等角扫描方法具有扫描盲目性和数据采集分布不均匀性等缺点.结合采空区自身空间几何特点,提出采空区三维激光等距扫描方法,以及基于半球面-平面联合投影的激光扫描点云数据建模算法:采用预扫描采空区若干剖面获取轮廓信息,分析并提取基准轮廓线;在此基础上解析三维激光等距扫描的径向角度和轴向角度控制指令,以此驱动激光扫描仪运作,获取分布均匀的空区点云数据;结合激光扫描点云数据可投影至球面上这一特性,提出了半球面-平面联合投影准则;通过任意轴坐标旋转机制和Delaunay三角剖分原理完成水平面点云数据的构网,最终基于拓扑关系映射实现采空区的快速精确建模.矿山采空区建模的试验结果验证了该探测方法的有效性,为采空区三维空间信息精确获取及建模提供了整体解决方案.

关键词：采空区三维激光扫描等距扫描点云建模半球面-平面联合投影

在线全文

学校读者我要写书评

暂无评论

复杂矿体模型多域自适应网格剖分方法

武汉大学学报（信息科学版） 2019年第10期44卷 1538-1544页

作者：钟德云王李管毕林中南大学资源与安全工程学院

针对轮廓线拼接法在复杂矿体建模时无法处理多域邻接特征的问题,应用Delaunay细分方法实现了一种适用于多域复杂矿体的网络剖分方法,不仅可以生成多域表面模型,还可以同时对不同域的矿体进行网格剖分,便于后期进行多域复杂矿体的有限元... 详细信息

针对轮廓线拼接法在复杂矿体建模时无法处理多域邻接特征的问题,应用Delaunay细分方法实现了一种适用于多域复杂矿体的网络剖分方法,不仅可以生成多域表面模型,还可以同时对不同域的矿体进行网格剖分,便于后期进行多域复杂矿体的有限元模拟。该方法通过约束Delaunay三角剖分来近似域和曲面,以及在Delaunay细分中确保对域的近似精度和对单元的网格质量。在约束Delaunay三角剖分的基础上,通过多标签算法对子域进行封装,并对中间域进行分离或通过距离场对中间域进行拟合,修改多域多面体的预测构造方法,实现了对多域多面体的自适应网格剖分方法。对河北省北洺河铁矿复杂矿体建模的试验结果表明,该方法除了可以生成无缝、连续的多域模型之外,通过网格优化还可以生成高质量的四面体和三角网格,避免轮廓线拼接法大量退化和奇异三角形的存在。同时该方法在逆向工程、有限元分析、科学计算可视化等领域中也都具有重要的应用价值。

关键词：矿体建模多域 Delaunay细分自适应网格剖分

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

微震信号无参数自动去噪PD算法实现及应用

岩石力学与工程学报 2019年第A1期38卷 3061-3069页

作者：彭平安王李管裴安磊中南大学资源与安全工程学院湖南长沙410083 长沙迪迈数码科技股份有限公司湖南长沙410083

工程微震监测中常包含较多低信噪比信号。现有去噪方法存在参数多且需要手工调节等问题,为此,提出一种针对微震信号的无参数自动去噪PD(pick and denoise)算法。算法首先通过改进AIC(akaike information criterion)方法初步拾取P波初至... 详细信息

工程微震监测中常包含较多低信噪比信号。现有去噪方法存在参数多且需要手工调节等问题,为此,提出一种针对微震信号的无参数自动去噪PD(pick and denoise)算法。算法首先通过改进AIC(akaike information criterion)方法初步拾取P波初至,得到信号的背景噪声段,通过傅里叶变换在频率域上提取噪声功率谱信息,在此基础上从微震信号的功率谱中减去噪声功率谱,最后应用傅里叶逆变换还原得到去噪后微震信号。利用Matlab人工合成不同类型、不同信噪比的含噪信号,应用PD算法进行去噪并与EEMD(ensemble empirical mode decomposition)、小波去噪方法进行比较,结果表明:PD算法去噪后的平均绝对误差和误差标准差均优于EEMD和小波去噪方法,并且对于低信噪比信号,PD算法仍具有良好的效果。最后将PD算法应用于陕西省引汉济渭工程秦岭4#支洞微震监测工程中,对2730条微震信号进行去噪分析,得平均P波信噪比从滤波前的16.49提高到了35.62,表明PD算法对于提高工程微震信号质量具有良好的应用价值。

关键词：地震工程微震监测信号去噪 P波拾取 PD算法

在线全文

学校读者我要写书评

暂无评论

基于霍夫森林和半监督学习的图像分类

计算机工程与应用 2016年第20期52卷 20-25,51页

作者：王力冠冯瑞复旦大学计算机科学技术学院上海201203 上海市智能信息处理重点实验室(复旦大学) 上海201203

机器学习中的监督学习算法需要用有标记样本训练分类模型。而收集训练样本,并进行分类的过程,需要耗费大量人力物力以及时间。因此,如何高效率地完成图像分类一直是业内研究的热点。提出了一种基于霍夫森林和半监督学习的图像分类算法,... 详细信息

机器学习中的监督学习算法需要用有标记样本训练分类模型。而收集训练样本,并进行分类的过程,需要耗费大量人力物力以及时间。因此,如何高效率地完成图像分类一直是业内研究的热点。提出了一种基于霍夫森林和半监督学习的图像分类算法,能用较少的样本训练分类器,并在分类的过程中不断获取新的训练样本。并对部分训练结果加以人工标注,该方法有效提高了标注效率。利用COREL数据对该算法进行了实验验证,结果表明,该算法可以利用少量的训练样本,得到令人满意的标注精确度,提高人工效率。

关键词：监督学习霍夫森林半监督学习直推式支持向量机图像分类

在线全文

学校读者我要写书评

暂无评论

复杂不规则地质体的速度模型反演

煤炭学报 2018年第S2期43卷 420-425页

作者：蒋元建王李管彭平安中南大学资源与安全工程学院

针对不规则地质体的速度模型反演问题,提出基于无限插值法生成的贴体网格建立地质模型与走时层析成像相结合的方法。首先采用贴体网格描述不规则地质体,在网格建立的基础上,采用最短路径法得到震源到接收器的走时与射线路径;然后根据走... 详细信息

针对不规则地质体的速度模型反演问题,提出基于无限插值法生成的贴体网格建立地质模型与走时层析成像相结合的方法。首先采用贴体网格描述不规则地质体,在网格建立的基础上,采用最短路径法得到震源到接收器的走时与射线路径;然后根据走时与射线路径,采用反投影方法(BPT)与阻尼最小二乘法(DLSQR)相结合的技术作为走时反演方法。通过走时反演迭代,最后得到速度模型。整个过程在Matlab中编程实现,并在理论初至上加了10%的高斯噪声,用数值模拟验证。数值验证结果表明:97.5%网格单元理论与反演的速度差在±300 m/s内,对应的相对误差在6.35%之内;理论速度与反演速度基本一致,高低速区域层次分明,反演效果良好,为复杂不规则地质体的速度模型反演提供了新方法。

关键词：速度模型无限插值法贴体网格走时反演技术

在线全文

学校读者我要写书评

暂无评论

采空区危险性的支持向量机识别

重庆大学学报（自然科学版） 2015年第4期38卷 85-90,127页

作者：汪朝郭进平王李管西安建筑科技大学材料与矿资学院西安710055 中南大学资源与安全工程学院长沙410083

针对采空区危险性影响因素与其危险性等级之间存在着复杂非线性关系的特点,笔者提出采用支持向量机最优分类理论来识别采空区的危险性等级。研究选取岩体结构、地质构造、岩石抗压强度、弹性模量、采空区形状、矿体倾角、高跨比、空区... 详细信息

针对采空区危险性影响因素与其危险性等级之间存在着复杂非线性关系的特点,笔者提出采用支持向量机最优分类理论来识别采空区的危险性等级。研究选取岩体结构、地质构造、岩石抗压强度、弹性模量、采空区形状、矿体倾角、高跨比、空区体积等8个参数作为主要影响因素,根据支持向量机理论,提出了1-V-1的采空区分类算法,并在Matlab中编程,建立了分类预测的SVM模型。以某矿山的实测采空区为例,利用该模型进行了识别,并与BP神经网络预测结果作对比。实例研究表明,采用该方法的分类结果比神经网络更准确,与采空区调查结果一致性好,用支持向量机理论进行采空区危险性评价是可行的。

关键词：采空区危险性评价支持向量机最优分类