期刊文献+
共找到217篇文章
< 1 2 11 >
每页显示 20 50 100
Corrigendum: MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons
1
《Neural Regeneration Research》 SCIE CAS 2025年第4期945-945,共1页
There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Ne... There is an error in the name of the cell line in the abstract of the published paper“MicroRNA-502-3p regulates GABAergic synapse function in hippocampal neurons”published on pages 2698-2707,Issue 12,Volume 19 of Neural Regeneration Research(Sharma et al.,2024),because of oversight during final proof checking.The correct description should be“human-GABA receptor A-α1/β2/γ2L human embryonic kidney(HEK)recombinant cell line.”The authors apologize for any inconvenience this correction may cause for readers and editors of Neural Regeneration Research. 展开更多
关键词 function proof correction
下载PDF
Mathematical Wave Functions and 3D Finite Element Modelling of the Electron and Positron
2
作者 Declan Traill 《Journal of Applied Mathematics and Physics》 2024年第4期1134-1162,共29页
The wave/particle duality of particles in Physics is well known. Particles have properties that uniquely characterize them from one another, such as mass, charge and spin. Charged particles have associated Electric an... The wave/particle duality of particles in Physics is well known. Particles have properties that uniquely characterize them from one another, such as mass, charge and spin. Charged particles have associated Electric and Magnetic fields. Also, every moving particle has a De Broglie wavelength determined by its mass and velocity. This paper shows that all of these properties of a particle can be derived from a single wave function equation for that particle. Wave functions for the Electron and the Positron are presented and principles are provided that can be used to calculate the wave functions of all the fundamental particles in Physics. Fundamental particles such as electrons and positrons are considered to be point particles in the Standard Model of Physics and are not considered to have a structure. This paper demonstrates that they do indeed have structure and that this structure extends into the space around the particle’s center (in fact, they have infinite extent), but with rapidly diminishing energy density with the distance from that center. The particles are formed from Electromagnetic standing waves, which are stable solutions to the Schrödinger and Classical wave equations. This stable structure therefore accounts for both the wave and particle nature of these particles. In fact, all of their properties such as mass, spin and electric charge, can be accounted for from this structure. These particle properties appear to originate from a single point at the center of the wave function structure, in the same sort of way that the Shell theorem of gravity causes the gravity of a body to appear to all originate from a central point. This paper represents the first two fully characterized fundamental particles, with a complete description of their structure and properties, built up from the underlying Electromagnetic waves that comprise these and all fundamental particles. 展开更多
关键词 ELECTRON POSITRON Wave function Solution Electromagnetic Spin Mass Charge proof Fundamental Particle Properties Quantum Mechanics Classical Physics Computer 3D Model Schrödinger Equation RMS KLEIN GORDON Electric Magnetic Lorentz Invariant Hertzian Vector Point Potential Field Density Phase Flow Attraction REPULSION Shell Theorem Ehrenfest VIRIAL Normalization Harmonic Oscillator
下载PDF
基于防虫网+的热区豇豆病虫害生态调控策略
3
作者 王硕 吕宝乾 +3 位作者 王树昌 吴圣勇 谢文 张起恺 《热带农业科学》 2024年第7期27-35,共9页
豇豆是海南重要冬季瓜菜之一,生产受蓟马、斑潜蝇和枯萎病危害严重。目前海南豇豆病虫害防控主要依赖于化学农药,使得蓟马等抗性增强、农药残留超标,当地环境生物多样性受影响。对海南豇豆病虫害的现状及其防控中技术单一、滥用农药等... 豇豆是海南重要冬季瓜菜之一,生产受蓟马、斑潜蝇和枯萎病危害严重。目前海南豇豆病虫害防控主要依赖于化学农药,使得蓟马等抗性增强、农药残留超标,当地环境生物多样性受影响。对海南豇豆病虫害的现状及其防控中技术单一、滥用农药等问题进行分析,并提出了功能植物的引入、景观设计优化、农业管理的改进以及生物防治与科学用药4项主要生态调控技术,提出了具体的实施方案,为海南豇豆种植业的可持续发展提供科学指导和实践依据。 展开更多
关键词 绿色防控 生态调控 防虫网+ 功能植物 景观设计
下载PDF
位移无拖曳控制的动力学协调条件研究
4
作者 苟兴宇 王丽娇 +2 位作者 许现民 邹奎 蒋庆华 《宇航学报》 EI CAS CSCD 北大核心 2024年第4期540-549,共10页
针对位移无拖曳控制的可实现性问题及避免推力饱和问题,首先基于位移无拖曳控制动力学方程,推导出位移无拖曳控制系统中连续可变推力推进子系统的最大推力需要满足的基本动力学协调条件。进一步由位移无拖曳控制动力学方程退化得到的切... 针对位移无拖曳控制的可实现性问题及避免推力饱和问题,首先基于位移无拖曳控制动力学方程,推导出位移无拖曳控制系统中连续可变推力推进子系统的最大推力需要满足的基本动力学协调条件。进一步由位移无拖曳控制动力学方程退化得到的切换动力学方程,推导出负刚度加速度函数为线性及非线性函数两种情形下的让步动力学协调条件。针对让步动力学协调条件开展了仿真比对,结果表明,强非线性情形下的让步动力学协调条件比退化的线性情形更加严苛。最后通过分析给出位移无拖曳控制避免推力饱和的、定性的动力学协调条件,并得到仿真校验,即:检验质量初始状态及指令状态应在让步动力学协调条件区域内靠近负刚度力零位,开环系统时间延迟尽可能短,并且控制带宽应折中选择。 展开更多
关键词 位移无拖曳控制 动力学协调条件 切换动力学方程 HAMILTON函数 检验质量状态初值
下载PDF
法治小院:农业院校法学专业实践教育新模式探索
5
作者 刘鹏 陈笑歌 《中国农业教育》 2024年第2期31-38,共8页
借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,... 借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,而且能在服务乡村法治建设中塑造学生的精神品格;同时能够满足村民法治需求,为法治乡村建设做出贡献。西北农林科技大学法学专业在法治小院教学实践探索中,逐渐形成了“校内外联合,理论与实践融合,学习与服务耦合,专业技能与精神品格综合,线上与线下结合”的“五合”实践运行模式。 展开更多
关键词 法治小院 功能定位 价值证立 实践逻辑
下载PDF
新形态对称密码算法研究
6
作者 吴文玲 王博琳 《密码学报(中英文)》 CSCD 北大核心 2024年第1期128-144,共17页
安全多方计算、全同态加密和零知识证明是解决数据安全问题的重要密码技术,其快速发展和应用需求驱动,引发了新形态对称密码的设计与安全性分析.本文系统介绍适宜安全多方计算、全同态加密和零知识证明的新形态对称密码算法.首先梳理新... 安全多方计算、全同态加密和零知识证明是解决数据安全问题的重要密码技术,其快速发展和应用需求驱动,引发了新形态对称密码的设计与安全性分析.本文系统介绍适宜安全多方计算、全同态加密和零知识证明的新形态对称密码算法.首先梳理新形态对称密码算法的应用需求和设计目标;然后归类介绍新形态对称密码算法的设计理念和最新的安全性评估结果;最后总结探讨新形态对称密码算法的设计特点以及面临的问题. 展开更多
关键词 分组密码 流密码 杂凑函数 安全多方计算 全同态加密 零知识证明
下载PDF
微内核操作系统互斥量模块功能正确性的形式化验证
7
作者 张林雁 李希萌 +3 位作者 施智平 关永 曹钦翔 张倩颖 《软件学报》 EI CSCD 北大核心 2024年第9期4179-4192,共14页
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测... 操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证. 展开更多
关键词 互斥量 功能正确性 形式化验证 定理证明 Coq定理证明器
下载PDF
基于区块链和SM9数字签名的代理投票方案
8
作者 朱郭诚 何德彪 +1 位作者 安浩杨 彭聪 《信息网络安全》 CSCD 北大核心 2024年第1期36-47,共12页
随着互联网的普及,电子投票技术逐渐替代传统纸质投票技术。然而,传统的电子投票方案主要针对一人一票制来设计方案,在一些特殊的投票场景下,一人一票制投票方式不再适用。例如,投票者不具备专业知识却也需要投票的场景,投票者由于不能... 随着互联网的普及,电子投票技术逐渐替代传统纸质投票技术。然而,传统的电子投票方案主要针对一人一票制来设计方案,在一些特殊的投票场景下,一人一票制投票方式不再适用。例如,投票者不具备专业知识却也需要投票的场景,投票者由于不能理解选举的内容而消极投票,造成选举结果不专业和不公正等问题。此外,传统的电子投票技术还存在选举过程不透明和选票不可验证等问题。针对上述问题,文章提出一种基于区块链和SM9数字签名的代理投票方案。该方案首先使用区块链技术解决选票的全局可验证问题,其次使用零知识范围证明技术解决恶意选票值的问题,然后利用基于椭圆曲线的改进ElGamal算法的同态性质实现选票加密和自计票功能,最后使用SM9数字签名算法和变色龙哈希函数设计的代理投票凭证实现投票权的转让过程。通过安全性分析,证明了文章所提方案满足鲁棒性、合法性、机密性、全局可验证性和公平性。理论分析和实验数据表明,文章所提方案性能良好,适用于需要专业知识场景下的选举。 展开更多
关键词 电子代理投票 区块链 SM9数字签名算法 变色龙哈希函数 范围证明
下载PDF
隔爆型开关电磁铁测试系统设计
9
作者 田克君 《煤矿机械》 2024年第6期4-7,共4页
介绍了一种矿用隔爆型开关电磁铁测试系统设计方案。该设计方案包括测试系统硬件、电流回路采样和数据处理等,用于完成隔爆开关型电磁铁的功能性检测,具有实用性强、成本低、结构简单等优点。测试时,将电磁铁接入该系统,通过模拟量采集... 介绍了一种矿用隔爆型开关电磁铁测试系统设计方案。该设计方案包括测试系统硬件、电流回路采样和数据处理等,用于完成隔爆开关型电磁铁的功能性检测,具有实用性强、成本低、结构简单等优点。测试时,将电磁铁接入该系统,通过模拟量采集、模数转换和数据调理等环节进行数据分析验证隔爆开关型电磁铁的功能。试验表明,该测试系统简单、可靠,可用于防爆型开关电磁铁的功能检测。 展开更多
关键词 隔爆型开关电磁铁 测试系统 数据采集 功能检测
下载PDF
不同功能型纤维板的应用
10
作者 周伟 何红兵 《中国人造板》 2024年第2期22-24,共3页
纤维板是主要人造板之一,应用于家居、建筑、包装、车船制造等领域,功能型纤维板越来越受到高端客户的认可和青睐。本文介绍了广西三威家居新材股份有限公司最近几年研发的高防潮防霉纤维板、低密度阻燃防霉无甲醛添加纤维板、超高密度... 纤维板是主要人造板之一,应用于家居、建筑、包装、车船制造等领域,功能型纤维板越来越受到高端客户的认可和青睐。本文介绍了广西三威家居新材股份有限公司最近几年研发的高防潮防霉纤维板、低密度阻燃防霉无甲醛添加纤维板、超高密度电子线路垫板用纤维板等产品的主要性能和应用,为企业和研究机构开发新产品提供参考。 展开更多
关键词 纤维板 功能型 高防潮防霉 阻燃
下载PDF
可拆卸气囊式儿童防溺服的结构设计
11
作者 倪佳妍 刘雷艮 《山东纺织科技》 2024年第2期14-17,共4页
随着儿童溺水事故的频繁发生及对儿童安全防护意识的提升,大众对儿童防溺水安全防护服装的需求日趋强烈。通过设计一款便于被儿童自主操控的可拆卸气囊结构的防溺水功能童装,利用空气浮力原理实现防溺水功能,可为预防儿童溺水问题提供... 随着儿童溺水事故的频繁发生及对儿童安全防护意识的提升,大众对儿童防溺水安全防护服装的需求日趋强烈。通过设计一款便于被儿童自主操控的可拆卸气囊结构的防溺水功能童装,利用空气浮力原理实现防溺水功能,可为预防儿童溺水问题提供一种解决方案。 展开更多
关键词 可拆卸 气囊 防溺水功能服装 结构设计
下载PDF
合理设计安全仪表功能回路的冗余架构
12
作者 皮宇 《炼油技术与工程》 CAS 2024年第1期27-30,45,共5页
安全仪表功能(SIF)回路的冗余架构应满足安全和误停车率的要求。结合安全完整性等级(SIL)验证工作的经验,对影响SIF冗余架构设计的标准及各种规定的强制约束和影响SIF回路冗余架构设计的因素,如:安全失效因子、平均失效率及误停车率、... 安全仪表功能(SIF)回路的冗余架构应满足安全和误停车率的要求。结合安全完整性等级(SIL)验证工作的经验,对影响SIF冗余架构设计的标准及各种规定的强制约束和影响SIF回路冗余架构设计的因素,如:安全失效因子、平均失效率及误停车率、共因失效及检验测试时间间隔、仪表测量及制造原理、仪表故障模式对架构降级的约束等,进行了工程分析,给出了合理的冗余架构设计原则。合理的冗余架构设计,应当兼顾SIF回路中的各个部件,并非冗余仪表越多越好,也并非越少越好,在经济条件允许的前提下,合理性是在满足安全及减少误停车率之间平衡的结果。 展开更多
关键词 安全仪表功能 冗余架构 安全失效因子 平均失效率 误停车率 共因失效 检验测试时间间隔 仪表故障模式
下载PDF
多晶硅硬密封球阀的最新设计特点
13
作者 沈阳 周星彪 +3 位作者 沈忠贤 叶志强 张学乔 陈莉莉 《阀门》 2024年第5期539-543,共5页
随着多晶硅生产工艺改进实现提纯度高的分析与管线使用验证,总结多晶硅硬密封球阀的性能特点。与常规硬密封球阀相比,多晶硅硬密封球阀应具有防尘、高硬度、防腐的特点。密封面应采用结合强度高、敷熔后密封层硬度高且耐磨的材料。密封... 随着多晶硅生产工艺改进实现提纯度高的分析与管线使用验证,总结多晶硅硬密封球阀的性能特点。与常规硬密封球阀相比,多晶硅硬密封球阀应具有防尘、高硬度、防腐的特点。密封面应采用结合强度高、敷熔后密封层硬度高且耐磨的材料。密封面应具有自清洁与自研磨性能,球体需有引流性能,可减轻阀门启闭力扭矩,并且可以预防阀腔硅粉堆积导致阀门卡死,阀体与阀座都需要设计有效的防尘功能来确保阀座运动有效性等。 展开更多
关键词 多晶硅硬密封球阀 复合硬质合金 防尘功能 自清洁与自研磨功能
下载PDF
安全仪表系统检验测试程序完整性研究 被引量:3
14
作者 朱杰 张则立 +2 位作者 俞文光 金佳 吴少国 《自动化仪表》 CAS 2023年第5期14-19,共6页
过程工业领域要求对安全仪表系统(SIS)开展全面的功能安全管理活动,以保证其在生命周期内具备持续的安全保护能力。其中,检验测试是用于验证SIS在运行和维护阶段内安全完整性等级的重要活动。参考标准ISA-TR84.00.03中提出的针对检验测... 过程工业领域要求对安全仪表系统(SIS)开展全面的功能安全管理活动,以保证其在生命周期内具备持续的安全保护能力。其中,检验测试是用于验证SIS在运行和维护阶段内安全完整性等级的重要活动。参考标准ISA-TR84.00.03中提出的针对检验测试活动的指导要求,完整的检验测试程序应包含测试计划、失效分析、用例设计、测试执行、测试改进和过程审核。在此程序基础上,提出了1种检验测试覆盖率(PTC)量化评估方法,可以验证SIS在长期运行过程中的安全完整性能力。结合TCS-900 SIS的现场运维经验,证明了该检验测试程序的可行性和PTC评估方法的有效性,也为开展安全回路的检验测试提供了指导。 展开更多
关键词 过程工业 安全仪表系统 功能安全管理 检验测试覆盖率 安全完整性等级 测试程序完整性 失效分析
下载PDF
基于聚类离散化的Dep-Miner函数依赖发现方法
15
作者 仓敏 王静怡 +3 位作者 吴霜 翟晓萌 程曦 诸德律 《南京理工大学学报》 CAS CSCD 北大核心 2023年第3期318-329,共12页
针对已有函数依赖发现方法直接应用于连续型数据时,易导致依赖关系挖掘失败的问题,该文基于已有Dep-Miner方法,提出基于等间隔离散化的Dep-Miner(ED-Dep-Miner)和基于聚类离散化的Dep-Miner(CD-Dep-Miner)函数依赖发现方法。通过数据离... 针对已有函数依赖发现方法直接应用于连续型数据时,易导致依赖关系挖掘失败的问题,该文基于已有Dep-Miner方法,提出基于等间隔离散化的Dep-Miner(ED-Dep-Miner)和基于聚类离散化的Dep-Miner(CD-Dep-Miner)函数依赖发现方法。通过数据离散化,将指标的连续型数据合理地转变为类别数据。实现基于类别数据的函数依赖发现,提升函数依赖发现能力。同时,对Dep-Miner中的部分定理给出了基于反证法和枚举法的通俗化证明。该文将提出的ED-Dep-Miner和CD-Dep-Miner与不带有任何离散化操作的原始Tane和Dep-Miner进行了实验对比。实验结果表明,该文的ED-Dep-Miner和CD-Dep-Miner方法将原始连续型数据转化为离散型分类,挖掘出了更多潜在的函数依赖关系。同时,CD-Dep-Miner的性能要优于ED-Dep-Miner,解决了等间隔离散化存在的边界值问题。 展开更多
关键词 聚类 离散化 函数依赖发现 等间隔离散化 类别数据 反证法 枚举法 边界值问题
下载PDF
A new lattice-based partially blind signature with more complete proof
16
作者 Peiyu Li Juntao Gao Xuelian Li 《Journal of Information and Intelligence》 2024年第3期236-252,共17页
Partially blind signatures are introduced on the basis of blind signatures,which not only retain the advantages of blind signatures,but also solve the contradiction between anonymity and controllability in blind signa... Partially blind signatures are introduced on the basis of blind signatures,which not only retain the advantages of blind signatures,but also solve the contradiction between anonymity and controllability in blind signatures.With the development of quantum computing technology,it becomes more urgent to construct secure partially blind signature schemes in quantum environments.In this paper,we present a new partially blind signature scheme and prove the security under the Ring-SIS assumption in the random oracle model.To avoid the restart problem of signature schemes caused by rejection sampling,a large number of random numbers are sampled in advance,so that they only need to be re-selected at the current stage without terminating the whole signature process when the conditions are not met.In addition,the hash tree technology is used to reduce communication costs and improve interactive performance.In order to avoid the errors in the security proof of the previous scheme,our proof builds upon and extends the modular framework for blind signatures of Hauck et al.and the correctness,partial blindness,and one-more unforgeability of the scheme are proved in detail according to the properties of the linear hash function. 展开更多
关键词 Partially blind signature LATTICES Hash trees Linear hash functions Security proof
原文传递
高效抽真空防爆集成装置的设计及试验研究
17
作者 黄政贤 何远新 +4 位作者 刘凤伟 熊珍艳 徐卫国 吴慧敏 李波 《铁道车辆》 2023年第6期128-132,共5页
为提升真空绝热深冷压力容器夹层抽真空速度,延长真空寿命,降低成本,文章对抽真空口和防爆口的功能进行了集成,研制了一种大通道抽真空防爆集成装置,并对材料的选择、通道直径的确定进行了研究。采用传统力学计算对大通道抽真空防爆集... 为提升真空绝热深冷压力容器夹层抽真空速度,延长真空寿命,降低成本,文章对抽真空口和防爆口的功能进行了集成,研制了一种大通道抽真空防爆集成装置,并对材料的选择、通道直径的确定进行了研究。采用传统力学计算对大通道抽真空防爆集成装置的密封性能进行了计算,同时通过FEM技术对密封性进行了分析。根据抽真空防爆集成装置的使用操作情况,设计组装了集成装置性能试验测试平台,对大通道抽真空防爆集成装置的漏气速率、起爆能力、抽真空和真空封结操作分别进行了试验和模拟。计算结果表明,大通道抽真空防爆集成装置中的氟橡胶O型圈在大气压下能够实现自密封并保持良好的弹性;试验及模拟结果表明,大通道抽真空防爆集成装置的真空漏气速率达到抽真空截止阀同等水平;作为防爆口,装置经多次起爆后仍保持良好密封性能;作为抽真空口,装置在抽真空过程中能够顺利完成封结操作,表现了良好的操作性能。该装置同时满足了抽真空口和防爆口的功能要求。 展开更多
关键词 大通道 抽真空口 防爆口 功能集成 密封性 操作性
下载PDF
配电系统安全域的数学定义与存在性证明 被引量:41
18
作者 肖峻 祖国强 +3 位作者 白冠男 张苗苗 王成山 赵婧 《中国电机工程学报》 EI CSCD 北大核心 2016年第18期4828-4836,5106,共9页
该文从数学上描述了配电系统的N-1安全性,给出了安全域(distribution system security region,DSSR)的严格数学定义,并首次证明DSSR的存在性。首先,从数学上描述了配电系统运行的状态空间与正常运行方式下的约束条件。其次,为描述N-1安... 该文从数学上描述了配电系统的N-1安全性,给出了安全域(distribution system security region,DSSR)的严格数学定义,并首次证明DSSR的存在性。首先,从数学上描述了配电系统运行的状态空间与正常运行方式下的约束条件。其次,为描述N-1安全性及安全程度,提出了安全函数的概念,并给出一个具体的安全函数,并证明其具有连续和单调减的重要性质。再从数学上将N-1安全性描述为安全函数满足某个预定临界值的问题。然后,给出了更严格的DSSR数学定义:DSSR是所有安全工作点的集合,该集合具有封闭的边界,边界内部均为安全工作点,外部均为不安全工作点。最后,从数学上证明了对于任意给定配电网,其DSSR一定存在。文中工作对揭示配电网安全域的数学本质具有重要意义,为未来智能配电系统安全高效的运行及规划技术奠定理论基础。 展开更多
关键词 配电系统安全域 N-1安全性 数学定义 存在性 证明 安全函数
下载PDF
可修改的区块链方案 被引量:16
19
作者 任艳丽 徐丹婷 +1 位作者 张新鹏 谷大武 《软件学报》 EI CSCD 北大核心 2020年第12期3909-3922,共14页
随着区块链的迅速发展,上链数据不仅包括金融交易数据,还包括科技、文化、政治等多类数据.而在现有的区块链系统中,数据一旦上链便无法更改,可能会面临失效数据无法删除、错误数据无法修改等问题.因此,特定条件下可修改的区块链方案具... 随着区块链的迅速发展,上链数据不仅包括金融交易数据,还包括科技、文化、政治等多类数据.而在现有的区块链系统中,数据一旦上链便无法更改,可能会面临失效数据无法删除、错误数据无法修改等问题.因此,特定条件下可修改的区块链方案具有广阔的应用前景.在POSpace(proof of space)共识机制下,基于陷门单向函数和新型区块链结构,提出了可修改的区块链方案.只要超过阈值数的节点同意,便可实现区块数据的合法修改,否则不能进行修改.除修改数据外,其余区块数据保持不变,全网节点仍可按原始验证方式对数据合法性进行验证.仿真实验表明:只要选定合适的阈值,所提方案中,区块生成与数据修改的效率均很高,数据的修改并不改变区块之间的链接关系,具有现实可操作性. 展开更多
关键词 区块链 可修改 陷门单向函数 空间证明 数据安全
下载PDF
既有结构已服役荷载对可靠度评估结果的验证影响 被引量:11
20
作者 索清辉 钱永久 +1 位作者 伍建强 段敬民 《计算力学学报》 EI CAS CSCD 北大核心 2007年第3期323-327,共5页
服役荷载的验证作用影响既有结构的抗力分布,进而影响结构可靠度评估结果。文章利用的时变可靠度理论,给出了一个时变可靠指标简化计算公式,分析了服役荷载的验证作用,同时考虑了抗力衰减、结构已服役时间以及恒荷载效应与可变荷载效应... 服役荷载的验证作用影响既有结构的抗力分布,进而影响结构可靠度评估结果。文章利用的时变可靠度理论,给出了一个时变可靠指标简化计算公式,分析了服役荷载的验证作用,同时考虑了抗力衰减、结构已服役时间以及恒荷载效应与可变荷载效应比值等因素影响。 展开更多
关键词 验证荷载 已服役荷载 抗力分布 时变可靠度
下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部