期刊文献+
共找到83篇文章
< 1 2 5 >
每页显示 20 50 100
融合零知识证明的去中心联邦学习可信聚合方案
1
作者 张首勋 王玲玲 +1 位作者 耿克 陆忠锴 《计算机工程与应用》 北大核心 2025年第8期274-282,共9页
去中心联邦学习可以有效解决传统联邦学习存在的通信效率低、不可信聚合服务器阻碍模型正确聚合的问题。然而,在去中心架构下,客户端成为本地训练和模型聚合过程的唯一实体,不可信客户端将直接影响联邦学习过程的完整性和模型聚合结果... 去中心联邦学习可以有效解决传统联邦学习存在的通信效率低、不可信聚合服务器阻碍模型正确聚合的问题。然而,在去中心架构下,客户端成为本地训练和模型聚合过程的唯一实体,不可信客户端将直接影响联邦学习过程的完整性和模型聚合结果的正确性。基于此,利用简洁非交互零知识证明技术提出一种针对环形架构去中心联邦学习的可信聚合方案,通过对不同客户端生成的可信证据进行组合,实现客户端本地训练和模型聚合过程的正确可验证。此外,使用矩阵承诺技术确保中间参数的真实性。实验结果表明数据样本维度小于64×64时方案是可行的,且证明所需时间开销和存储开销与基准方案相比有所降低。 展开更多
关键词 隐私安全 联邦学习 非交互零知识证明
在线阅读 下载PDF
基于非交互零知识证明的可验证全同态加密算法 被引量:1
2
作者 孙劲桐 周福才 +1 位作者 王强 边澈 《东北大学学报(自然科学版)》 CSCD 北大核心 2024年第11期1537-1546,共10页
同态加密(homomorphic encryption,HE)由于低执行效率和无法保护数据完整性的问题严重限制了其在实际应用中的部署,尤其是在对延迟有严格要求的场景中,为此,提出了一种新的HE来解决这些问题并增强通用性.为了解决执行效率低的问题,设计... 同态加密(homomorphic encryption,HE)由于低执行效率和无法保护数据完整性的问题严重限制了其在实际应用中的部署,尤其是在对延迟有严格要求的场景中,为此,提出了一种新的HE来解决这些问题并增强通用性.为了解决执行效率低的问题,设计了多线程矩阵乘法(multithreaded matrix multiplication,MMM)算法.利用MMM算法,可以将加密任务拆解分配给多个线程并行执行,达到加速的目的.针对恶意服务器场景下的数据篡改问题,设计了一个可验证加密机制,利用非交互零知识证明(zk-SNARK)技术保护外包计算中密文的完整性.结合MMM算法,设计了一种高效的基于零知识证明的可验证全同态加密算法(verifiable fully homomorphic encryption based on zk-SNARKs,zk-VFHE).理论分析和实验结果表明,zk-VFHE比同类协议具有更快的执行速度和更高的安全性. 展开更多
关键词 全同态加密 误差学习 非交互零知识证明 可验证计算 矩阵编码
在线阅读 下载PDF
zk-SNARK中数论变换的硬件加速方法研究 被引量:3
3
作者 赵海旭 柴志雷 +2 位作者 花鹏程 王锋 丁冬 《计算机科学与探索》 CSCD 北大核心 2024年第2期538-552,共15页
简洁非交互式零知识证明能够生成长度固定的证明并快速进行验证,极大地推动了零知识证明在数字签名、区块链及分布式存储等领域的应用。但其证明的生成过程极其耗时且需要被频繁调用,其中数论变换是证明生成过程的主要运算之一。然而现... 简洁非交互式零知识证明能够生成长度固定的证明并快速进行验证,极大地推动了零知识证明在数字签名、区块链及分布式存储等领域的应用。但其证明的生成过程极其耗时且需要被频繁调用,其中数论变换是证明生成过程的主要运算之一。然而现有的通用数论变换硬件加速方法难以满足其在简洁非交互式零知识证明中大规模、高位宽的要求。针对该问题,提出一种数论变换多级流水硬件计算架构。针对高位宽计算需求对高位模运算进行优化,设计了低时延蒙哥马利模乘单元;为了加速大规模计算,通过二维子任务划分将大规模数论变换任务划分为小规模独立子任务,并通过消除数据依赖实现了子任务间计算流水;在子任务多轮蝶形运算之间采用数据重排机制,有效缓解了访存需求并实现了不同步长蝶形运算间的计算流水。所提出的数论变换计算架构可以根据现场可编程门阵列(FPGA)片上资源灵活扩展,方便部署在不同规模的FPGA上以获得最大加速效果。所提出的硬件架构使用高层次综合(HLS)开发并基于OpenCL框架在AMD Xilinx Alveo U50实现了整套异构加速系统。实验结果表明,相比于PipeZK中的数论变换加速模块,该方法获得了1.95倍的加速比;在运行当前主流的简洁非交互式零知识证明开源项目bellman时,相比于AMD Ryzen 95900X单核及12核分别获得了27.98倍和1.74倍的加速比,并分别获得了6.9倍、6倍的能效提升。 展开更多
关键词 现场可编程门阵列(FPGA) 简洁非交互式零知识证明(zk-SNARK) 模乘 数论变换 硬件加速
在线阅读 下载PDF
PreNTT:面向zk-SNARK的数论变换计算并行加速方法
4
作者 丁冬 李正权 柴志雷 《计算机应用研究》 CSCD 北大核心 2024年第10期3059-3067,共9页
简洁非交互式零知识证明(zk-SNARK)由于具备证明验证过程简捷快速的优点,已在加密货币等众多领域得到广泛应用。但其证明生成过程所需计算仍复杂耗时,影响了进一步的应用拓展。针对zk-SNARK证明生成过程中的主要计算瓶颈——数论变换(NT... 简洁非交互式零知识证明(zk-SNARK)由于具备证明验证过程简捷快速的优点,已在加密货币等众多领域得到广泛应用。但其证明生成过程所需计算仍复杂耗时,影响了进一步的应用拓展。针对zk-SNARK证明生成过程中的主要计算瓶颈——数论变换(NTT),提出了一种基于GPU的NTT计算加速方法PreNTT。首先,提出了基于预计算的NTT并行计算方法,利用预计算与旋转因子次幂算法优化,减少NTT并行计算开销,并结合动态预计算,进一步提高NTT计算效率。其次,通过“动态自适应计算核调度”,可以根据NTT输入规模自适应地分配GPU片上资源,提升了大规模NTT任务的计算能效。然后,通过核外整体数据混洗和核内局部数据混洗相结合的方式,避免了访存冲突。最后,使用CUDA多流技术执行数据传输和计算过程,对预计算时间进行了有效隐藏。实验结果表明:基于PreNTT实现的zk-SNARK系统,与目前业界最先进的系统Bellperson相比,NTT模块运行时间获得了全规模最低1.7倍的加速比,最高加速比为9倍。PreNTT能够有效提高NTT算法并行度,降低zk-SNARK运算时间开销。 展开更多
关键词 简洁非交互式零知识证明 数论变换 GPU 并行计算 加速
在线阅读 下载PDF
不同药物联合对男性高血压患者勃起功能的影响 被引量:11
5
作者 刘培君 余静 +7 位作者 康秀峰 徐电 郭雪娅 李秀丽 赵锋 常鹏 甄玲玲 白锋 《中华高血压杂志》 CAS CSCD 北大核心 2010年第4期365-369,共5页
目的探讨不同联合降压方案对高血压男性患者勃起功能的影响。方法采用前瞻性随机、平行、对照、固定治疗方案将148名≤60岁男性高血压患者随机分为3组:A组[非洛地平5 mg/d+厄贝沙坦150 mg/d(n=49)],B组[非洛地平5 mg/d+琥珀酸美托洛尔47... 目的探讨不同联合降压方案对高血压男性患者勃起功能的影响。方法采用前瞻性随机、平行、对照、固定治疗方案将148名≤60岁男性高血压患者随机分为3组:A组[非洛地平5 mg/d+厄贝沙坦150 mg/d(n=49)],B组[非洛地平5 mg/d+琥珀酸美托洛尔47.5 mg/d(n=46)],C组[非洛地平5 mg/d+氢氯噻嗪12.5 mg/d(n=53)]。治疗4周若血压≥140/90 mm Hg,非洛地平剂量加倍。随访6月。采用国际男性性功能判断指标(IIEF-5)分别于治疗前、后对IIEF-5和血清睾酮、性激素结合球蛋白(SHBG)进行评定。结果治疗后3组降压达标率、有效率组间比较均无统计学差异(均P>0.05)。治疗前、后勃起功能障碍(ED)的总发生率分别为34.46%、35.81%,差异无统计学意义(P>0.05)。3组治疗前后轻、中、重度ED的发生率之间亦无统计学差异。3组治疗前后中、重度ED的IIEF-5评分比较无统计学差异,但A组可提高轻、中度ED患者的IIEF-5评分。3组血清睾酮和SHBG治疗前后比较无统计学差异。结论非洛地平缓释片联合厄贝沙坦片有利于男性高血压轻、中度ED患者性功能的改善。 展开更多
关键词 高血压 勃起功能 非洛地平 厄贝沙坦 琥珀酸美托洛尔 氢氯噻嗪
原文传递
焦作市工业行业的生态效率 被引量:3
6
作者 杜艳春 姜畔 +1 位作者 毛建素 徐琳瑜 《环境科学》 EI CAS CSCD 北大核心 2011年第5期1529-1536,共8页
以工业城市焦作市为例,选择工业能源消费和污染物(包括废水、固体废物、SO2、烟尘等)排放作为环境负荷,定量分析工业分行业的生态效率及分行业特定环境负荷对总环境负荷的贡献率.结果表明,能源效率最高的行业是黑色金属矿采选业(FMM),为... 以工业城市焦作市为例,选择工业能源消费和污染物(包括废水、固体废物、SO2、烟尘等)排放作为环境负荷,定量分析工业分行业的生态效率及分行业特定环境负荷对总环境负荷的贡献率.结果表明,能源效率最高的行业是黑色金属矿采选业(FMM),为43.19万元.tce-1,贡献率为0.003%;废水排放相关环境效率最高的是交通运输设备制造业(TRM),为3.58万元.t-1,贡献率为0.000 1%;固废产生相关环境效率最高的是专用设备制造业(SMM),为323.22万元.t-1,贡献率为0.005%;SO2排放相关环境效率最高的是专用设备制造业(SMM),为19.74万元.kg-1,贡献率为0.000 1%;烟尘排放相关环境效率最高的是橡胶制品业(RUM),为6.75万元.kg-1,贡献率为0.001%.由此看出,生态效率高的行业,贡献率较低,因而造成工业负荷总量一定时,对提高工业整体生态效率的带动作用较弱.提出了简约距离指数法,估算焦作市各工业行业的5种环境负荷生态效率与全国水平的距离指数.结果表明,焦作与中国工业行业间的距离指数介于-1~63.45之间,呈现正值的距离指数的绝对数值远高于呈现负值的距离指数的绝对数值,意味着焦作优势工业行业的生态效率明显高于全国平均水平. 展开更多
关键词 生态效率 环境负荷 工业行业 简约距离指数 焦作
原文传递
超级市场的商品包装 被引量:2
7
作者 熊礼梅 朱宗华 《包装工程》 CAS CSCD 北大核心 2005年第4期172-173,共2页
目前,超级市场已逐渐成为商品销售的主流,如何进行超级市场的商品的包装呢?针对这一问题,本文从超级市场商品包装应遵循简洁、科学、环保等3方面入手,对超级市场的商品包装进行了的探讨,简洁、科学、环保化的包装将是我国超市包装的发... 目前,超级市场已逐渐成为商品销售的主流,如何进行超级市场的商品的包装呢?针对这一问题,本文从超级市场商品包装应遵循简洁、科学、环保等3方面入手,对超级市场的商品包装进行了的探讨,简洁、科学、环保化的包装将是我国超市包装的发展方向。 展开更多
关键词 营销 简洁 环保 科学
在线阅读 下载PDF
Effective regeneration of high-performance anode material recycled from the whole electrodes in spent lithium-ion batteries via a simplified approach 被引量:7
8
作者 Long Ye Chunhui Wang +4 位作者 Liang Cao Hougui Xiao Jiafeng Zhang Bao Zhang Xing Ou 《Green Energy & Environment》 SCIE CSCD 2021年第5期725-733,共9页
Along with the extensive application of energy storage devices,the spent lithium-ion batteries(LIBs)are unquestionably classified into the secondary resources due to its high content of several valuable metals.However... Along with the extensive application of energy storage devices,the spent lithium-ion batteries(LIBs)are unquestionably classified into the secondary resources due to its high content of several valuable metals.However,current recycling methods have the main drawback to their tedious process,especially the purification and separation process.Herein,we propose a simplified process to recycle both cathode(LiCoO_(2))and anode(graphite)in the spent LIBs and regenerate newly high-performance anode material,CoO/CoFe2O4/expanded graphite(EG).This process not only has the advantages of succinct procedure and easy control of reaction conditions,but also effectively separates and recycles lithium from transition metals.The 98.43%of lithium is recovered from leachate when the solid product CoO/CoFe2O4/EG is synthesized as anode material for LIBs.And the product exhibits improved cyclic stability(890 mAh g^(-1) at 1 A g^(-1) after 700 cycles)and superior rate capability(208 mAh g^(-1) at 5 A g^(-1)).The merit of this delicate recycling design can be summarized as three aspects:the utilization of Fe impurity in waste LiCoO_(2),the transformation of waste graphite to EG,and the regeneration of anode material.This approach properly recycles the valuable components of spent LIBs,which introduces an insight into the future recycling. 展开更多
关键词 Spent lithium ion battery Regenerating Anode material succinct procedure High-added value
在线阅读 下载PDF
《孔子语录一百则》英译赏析 被引量:4
9
作者 高嘉正 高菁 《上海翻译》 北大核心 2005年第3期76-80,共5页
孔子思想是我国文化的主要源头之一。在弘扬我国传统文化的过程中,诸多《论语》英译本亦应运而生。本文拟从三个侧面探讨丁往道教授英译的《孔子语录一百则》,着重讨论其译文的三大特色,即译义确切、通俗易懂及行文简洁,并由此得出结论... 孔子思想是我国文化的主要源头之一。在弘扬我国传统文化的过程中,诸多《论语》英译本亦应运而生。本文拟从三个侧面探讨丁往道教授英译的《孔子语录一百则》,着重讨论其译文的三大特色,即译义确切、通俗易懂及行文简洁,并由此得出结论:丁译乃是《论语》英译中的精品。 展开更多
关键词 《孔子语录一百则》 丁往道 孔子思想 英语 翻译 汉语
在线阅读 下载PDF
一种自适应阈值的简洁性约束频繁项目集挖掘算法 被引量:1
10
作者 任永功 吕朕 孙宇奇 《计算机科学》 CSCD 北大核心 2011年第9期155-157,196,共4页
基于约束关联挖掘,近几年在国际上受到较大关注。从许多约束的关联挖掘算法中发现,传统的约束阈值大多是通过专家给定或经过反复试验得出的,缺乏用户反馈与客观依据的支持。为了解决此问题,提出一种面向用户需求的阈值构造方法,该方法... 基于约束关联挖掘,近几年在国际上受到较大关注。从许多约束的关联挖掘算法中发现,传统的约束阈值大多是通过专家给定或经过反复试验得出的,缺乏用户反馈与客观依据的支持。为了解决此问题,提出一种面向用户需求的阈值构造方法,该方法引用正态分布理论获得自适应约束阈值,并应用简洁性约束对FGC算法进行改进;同时提出一种快速、直观、有效的频繁项目集挖掘算法。实验证明,该算法在增强系统可用性的同时降低了算法运行时间。 展开更多
关键词 频繁模式树 频繁项目集 简洁性约束 自适应阈值
在线阅读 下载PDF
项约束频繁项集挖掘的新方法 被引量:7
11
作者 李英杰 《计算机工程与应用》 CSCD 北大核心 2009年第3期161-164,共4页
项约束频繁项集挖掘是项约束关联规则挖掘的关键步骤。对项约束频繁项集挖掘的内涵进行讨论,认为一个项集X本身满足项约束条件B是不够的,数据库中支持X的全部事务均满足B才能称"项集X满足条件B"。据此,将Direct算法改进为Di-r... 项约束频繁项集挖掘是项约束关联规则挖掘的关键步骤。对项约束频繁项集挖掘的内涵进行讨论,认为一个项集X本身满足项约束条件B是不够的,数据库中支持X的全部事务均满足B才能称"项集X满足条件B"。据此,将Direct算法改进为Di-rect*,在Direct*中负项被作为一个独立的项来看待。项约束是简洁性约束,但目前已有的算法没有充分利用其简洁性,提出利用项约束简洁性的MSEB算法。实验表明:对稠密数据库,MSEB的效率较高,并且Direct*和MSEB两个算法均是正确的。 展开更多
关键词 数据挖掘 频繁项集 项约束条件 简洁性 稠密数据库
在线阅读 下载PDF
中国当代散文中乡土文化元素的翻译——兼评《陈忠实散文选译》的简洁变通式翻译技巧 被引量:2
12
作者 石春让 戴玉霞 《吉林师范大学学报(人文社会科学版)》 2016年第1期80-85,共6页
许多中国当代散文中蕴含着独特的中国乡土文化元素,这些乡土文化元素散发出独特的韵味。《陈忠实散文选译》是成功的当代散文英译本,译本突出的特点之一便是通过简洁的变通翻译技巧,巧妙地译出了中国乡土元素的韵味。译者通过词义变通... 许多中国当代散文中蕴含着独特的中国乡土文化元素,这些乡土文化元素散发出独特的韵味。《陈忠实散文选译》是成功的当代散文英译本,译本突出的特点之一便是通过简洁的变通翻译技巧,巧妙地译出了中国乡土元素的韵味。译者通过词义变通、语义变通、句法变通、节奏变通和风格变通这五种简洁的翻译技巧使译文既忠实、通顺,又妙趣、生动。 展开更多
关键词 简洁 变通 翻译技巧 散文翻译
在线阅读 下载PDF
动车组检修规程规范化研究 被引量:9
13
作者 王华胜 杨帆 +2 位作者 王靖 田春飞 李雷 《铁道机车车辆》 2014年第1期68-72,共5页
基于动车组共性特点,采用动车组产品树分析方法,提出了兼容不同车型的规程目录结构和条款格式;依据检修规章分级管理的原则,明确了检修规程的编写要求和内容,提出按照"总—分—总"的逻辑结构对规程条款进行描述;参照相关标准... 基于动车组共性特点,采用动车组产品树分析方法,提出了兼容不同车型的规程目录结构和条款格式;依据检修规章分级管理的原则,明确了检修规程的编写要求和内容,提出按照"总—分—总"的逻辑结构对规程条款进行描述;参照相关标准,对规程语言文字提出规范化要求;使得动车组检修规程的结构形式更加统一规范,检修要求更加明确具体,语言文字更加准确精炼。 展开更多
关键词 动车组 检修规程 规范化
在线阅读 下载PDF
中国传统美学思想对设计的重要影响 被引量:9
14
作者 曹耀明 《厦门理工学院学报》 2006年第1期37-41,共5页
装饰和审美源于生活,来自实用。人类在漫长的历史长河中了解和掌握美的规律,总结具象到抽象的艺术表达手法,并逐渐产生美的理论。在传统审美思想的影响下,中国的设计高尚简约。质朴、浑厚、典雅、大方等是中国古代设计艺术的主要特色。
关键词 功能 形式 意象 实用 装饰 简约
在线阅读 下载PDF
论标题的翻译 被引量:4
15
作者 贺莉 《成都理工大学学报(社会科学版)》 2004年第2期50-52,共3页
标题是一部作品的重要组成部分。非文艺性作品和文艺性作品 ,其标题翻译的技巧和方法是有所不同的。翻译不仅仅是两种语言之间的转换 ,译者还需要充分考虑到两种文化之间的差异 ,通过仔细推敲来寻求最佳译法。
关键词 标题翻译 简洁 文化
在线阅读 下载PDF
“春秋笔法”对古典小说审美接受的影响 被引量:2
16
作者 陈才训 《信阳师范学院学报(哲学社会科学版)》 2008年第3期125-128,共4页
尚简用晦的"春秋笔法"是古代小说家叙事写人的重要手法之一,它是一种蕴涵着丰富阐释能量的叙述手法,这直接导致了文本巨大的审美张力,从而赋予读者以自由的审美创造空间。不同读者具有不同的审美趣味、鉴赏水准和接受心境等,... 尚简用晦的"春秋笔法"是古代小说家叙事写人的重要手法之一,它是一种蕴涵着丰富阐释能量的叙述手法,这直接导致了文本巨大的审美张力,从而赋予读者以自由的审美创造空间。不同读者具有不同的审美趣味、鉴赏水准和接受心境等,而"春秋笔法"又赋予小说文本以很大的开放性,这势必造成小说主题阐释的多元性和人物性格解读的争议性,这也正是某些小说能焕发出持久艺术魅力的重要原因之一。 展开更多
关键词 “春秋笔法” 简约隐晦 多元性 争议性
在线阅读 下载PDF
论劳丹的特设性理论观 被引量:1
17
作者 马雷 《自然辩证法研究》 CSSCI 北大核心 2001年第1期12-15,28,共5页
拉雷·劳丹 (LarryLaudan ,194 1- )是当代美国最负盛名的科学哲学家之一。在成名作《进步及其问题》中 ,劳丹提出了一个以解题为核心的科学进步的合理性模式 ,并运用这一模式探讨了理论的特设性问题。劳丹对特设性的分析富有创意... 拉雷·劳丹 (LarryLaudan ,194 1- )是当代美国最负盛名的科学哲学家之一。在成名作《进步及其问题》中 ,劳丹提出了一个以解题为核心的科学进步的合理性模式 ,并运用这一模式探讨了理论的特设性问题。劳丹对特设性的分析富有创意和启发性 ,但是 ,劳丹合理性模式的狭隘性 ,在一定程度上决定了其对特设性概念的分析是不够精确、不够全面的。本文尝试在劳丹模式的基础上引入新的分析机制 ,以便在经验的层面上进一步深入探讨特设性问题。 展开更多
关键词 劳丹 特设性 经验过硬性 经验简洁性
在线阅读 下载PDF
浅谈液压系统的现代化改装 被引量:1
18
作者 钱炳芸 《煤矿机械》 北大核心 2002年第7期57-58,共2页
介绍液压系统现代化改装的意义、基本形式、工作程序。
关键词 液压系统 现代化改装 精化改造 技术改造 变形改造
在线阅读 下载PDF
产品设计的简洁美 被引量:3
19
作者 江杉 《扬州职业大学学报》 2002年第4期6-9,共4页
不同的时代产生不同的审美观及设计风格。在产品设计中 ,简洁之美符合当今社会的潮流 ,也是设计师追求的理想风格。简洁包含了造型的简洁和功能的简洁 ,简洁是产品品质的保障 ,简洁具有深远的意义。
关键词 产品设计 简洁美 产品造型 产品功能 审美观 设计风格 色彩
在线阅读 下载PDF
广告设计中视觉吸引的强化手段 被引量:1
20
作者 杨伟 《南阳师范学院学报》 CAS 2003年第1期101-103,共3页
广告以强化视觉吸引的方式加强其感染力及说服力,视觉吸引的条件包括色彩、动感设计、简洁化、超现实表现、幽默、刺激性、个性特征等。
关键词 广告设计 视觉吸引 色彩 动感设计 简洁化 超现实表现 个性特征 幽默
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部