期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到55篇文章
< 1 2 3 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
ACTIVE-A Real Time Commit Protocol 认领 引用
1
作者 Udai Shanker Nikhil Agarwal +2 位作者 Shalabh Kumar Tiwari Praphull Goel Praveen Srivastava 《Wireless Sensor Network》 2010年第3期254-263,共10页
Many existing real time commit protocols try to improve system performance by allowing a committing cohort to lend its data to an executing cohort, thus reducing data inaccessibility. They block the borrower from send... Many existing real time commit protocols try to improve system performance by allowing a committing cohort to lend its data to an executing cohort, thus reducing data inaccessibility. They block the borrower from sending WORKDONE/PREPARED message and restrict them from lending data so that transaction abort chain is limited to one. Thus, transaction execution time increases. This paper proposes a modified real time commit protocol for distributed real time database systems (DRTDBS), Allow Commit Dependent and in Time borrowers for Incredible Value added data lending without extended abort chain (ACTIVE), where borrower cohorts are categorized as commit and abort dependent. Further, the commit dependent borrowers can lend data to executing cohorts with still limiting the transaction abort chain to one only and reducing the data inaccessibility. Also, an incoming executing cohort having borrowing factor greater than one can only borrow the dirty data items from lender. This minimizes the fruitless borrowing by the cohort. The performance of ACTIVE is compared with PROMPT, 2SC and SWIFT protocols for both main memory resident and disk resident databases with and without communication delay. Simulation results show that the proposed protocol improves the system performance up to 4% as transaction miss percentage. 展开更多
关键词 Distributed Real Time Database System Commit Protocol Conflict Resolution Dependency Lender Borrower
暂未订购 下载PDF
XCMP协议的形式化验证与改进:提升跨链交互安全性 认领 引用
2
作者 吕永阳 冯睿韬 +3 位作者 王子墨 刘俊超 吴汉炜 李晓红 《软件学报》 EI CSCD 北大核心 2026年第6期2477-2509,共33页
随着区块链技术及应用的不断发展,人们对区块链之间的交互需求日益增加.然而,不同区块链系统之间缺乏有效的互操作性,限制了区块链技术的进一步发展.为解决区块链异构互联互通问题,跨链技术应运而生,并迅速成为新的研究热点.其中,跨链... 随着区块链技术及应用的不断发展,人们对区块链之间的交互需求日益增加.然而,不同区块链系统之间缺乏有效的互操作性,限制了区块链技术的进一步发展.为解决区块链异构互联互通问题,跨链技术应运而生,并迅速成为新的研究热点.其中,跨链消息传递(cross-chain massage passing,XCMP)协议作为最流行的跨链通信协议之一,不仅提供了一个安全高效的跨链通信机制,还为未来的区块链创新和应用提供了广阔的平台.然而,XCMP协议仍然处于不断发展和完善的阶段,面临着重放攻击、拒绝服务攻击、延迟攻击等安全问题.对XCMP协议进行了形式化验证与改进,旨在为在其基础上构建更安全、功能更丰富的去中心化应用提供坚实支撑.首先,利用一种以经典集合论和一阶谓词逻辑为基础的形式化描述语言——Z语言,对XCMP协议的10条关键安全目标、协议内容进行总结提炼与形式化建模,并借助支持Z语言的自动化验证工具Z/EVES验证XCMP协议是否满足安全目标.验证结果表明XCMP协议未满足3条安全目标.其次,通过对验证结果进行全面分析,针对XCMP协议未满足的安全目标,引入承诺机制、监督机制和轮询机制,提出了E-XCMP(enhanced cross-chain message passing)协议.最后,将E-XCMP协议形式化建模,并借助安全协议分析工具Scyther和自动化验证工具Z/EVES对其安全性和可靠性进行评估,评估结果表明E-XCMP协议不仅满足上述未满足要求的3条安全目标,并且能够有效解决重放攻击、拒绝服务攻击、延迟攻击等安全问题,具有较好的安全性和可靠性. 展开更多
关键词 跨链协议 跨链消息传递(XCMP) 形式化分析 Z语言 Scyther 模型检测 Pedersen承诺
暂未订购 下载PDF
Quasi Delay-Insensitive High Speed Two-Phase Protocol Asynchronous Wrapper for Network on Chips 认领 引用 被引量：2
3
作者 管旭光 佟星元 杨银堂 《Journal of Computer Science & Technology》 SCIE EI 2010年第5期1092-1100,共9页
For the purpose of solving the shortcomings of low speed and high power consumption of asynchronous wrapper in conventional network on chips,this paper proposes a quasi delay-insensitive high-speed two-phase operation... For the purpose of solving the shortcomings of low speed and high power consumption of asynchronous wrapper in conventional network on chips,this paper proposes a quasi delay-insensitive high-speed two-phase operation mode asynchronous wrapper.The metastable state in sampling data procedure can be avoided by detecting the writeead signal, which can be used to stop the clock.Empty/full level of the registers can be determined by detecting the pulse signal of the two-phase asynchronous register,and then control the wrapper to sample input/output data.Sender wrapper and receiver wrapper consist of C elements and threshold gates,which ensure the quasi delay-insensitive characteristics and enhance the robustness.Simulations under different technology corners are implemented based on SMIC 0.18μm standard CMOS. Sender wrapper and receiver wrapper allow synchronous modules to work at the speed of 3.08 GHz and 2.98 GHz respectively with average dynamic power consumption of 1.727 mW and 1.779 mW.Its advantages of high-throughput,low-power, scalability and robustness make it a viable option for high-speed low-power interconnection of network-on-chip. 展开更多
关键词 asynchronous wrapper quasi delay-insensitive network on chip（NoC） two-phase protocol threshold gate
暂未订购 下载PDF
基于MySQL和PHP的分布式事务处理 认领 引用 被引量：14
4
作者 黄雅萍 刘晓强 吴成义 《东华大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期81-85,共5页
在讨论分布式事务处理模型及事务提交协议的基础上,针对实际应用中的银行转账模型,分析一般分布式事务处理失败的原因,给出基于XA接口的MySQL(关系型数据库管理系统)和PHP(超级文本预处理语言)对分布式事务处理的实现方法和过程.研究结... 在讨论分布式事务处理模型及事务提交协议的基础上,针对实际应用中的银行转账模型,分析一般分布式事务处理失败的原因,给出基于XA接口的MySQL(关系型数据库管理系统)和PHP(超级文本预处理语言)对分布式事务处理的实现方法和过程.研究结果表明,该分布式事务处理方法可靠,并可简化程序的实现. 展开更多
关键词 MySQL PHP 分布式事务处理 两阶段提交协议 XA接口规范
暂未订购 下载PDF
改进的两阶段提交协议 认领 引用 被引量：4
5
作者 于红 高艳萍 郭连喜 《大连水产学院学报》 北大核心 2005年第4期335-339,共5页
提出了一种改进的两阶段提交协议,该协议通过增加本地写LOG的次数来减少信息交换量和阻塞次数,增加成功提交的次数和事务的成功率,提高了提交协议的性能。并对该协议中算法的正确性和性能进行了分析。
关键词 事务处理 两阶段提交协议 故障恢复 信息交换
暂未订购 下载PDF
全局数据目录的动态管理和维护 认领 引用 被引量：1
6
作者 陈建英 刘心松 +3 位作者 谈文蓉 刘韬 谭颖 王莉 《计算机工程》 EI CAS 北大核心 2006年第13期35-37,共3页
针对分布式并行数据库系统DPDBS中数据库副本数、数据库分布等信息的动态性,提出全局数据目录的动态管理和维护算法。该算法将数据目录一致性检查嵌入数据库执行过程中,通过改进两阶段提交协议和采用捎带、恢复和并行处理等技术,在低开... 针对分布式并行数据库系统DPDBS中数据库副本数、数据库分布等信息的动态性,提出全局数据目录的动态管理和维护算法。该算法将数据目录一致性检查嵌入数据库执行过程中,通过改进两阶段提交协议和采用捎带、恢复和并行处理等技术,在低开销的情况下动态地保证了全局数据信息的一致性和实时性。 展开更多
关键词 分布式并行数据库系统 全局数据目录 两阶段提交协议 一致性
暂未订购 下载PDF
基于非阻塞的分布式事务提交协议的实现 认领 引用 被引量：3
7
作者 边耐政 刘玄 《计算机应用与软件》 CSCD 北大核心 2014年第7期89-92,104,共4页
为了解决两阶段提交(2PC)协议通常存在可靠性低、效率差、易阻塞的问题以及三阶段提交(3PC)协议实现的复杂性问题,提出一个改进的基于非阻塞的两阶段提交协议的实现方案。通过采用消息中间件和观察者节点的架构设计,较好地解决了这些问... 为了解决两阶段提交(2PC)协议通常存在可靠性低、效率差、易阻塞的问题以及三阶段提交(3PC)协议实现的复杂性问题,提出一个改进的基于非阻塞的两阶段提交协议的实现方案。通过采用消息中间件和观察者节点的架构设计,较好地解决了这些问题,具有一定的商用和工程价值。 展开更多
关键词 两阶段提交协议 消息中间件 观察者节点 非阻塞
暂未订购 下载PDF
面向内存数据网格的分布式事务保障机制 认领 引用 被引量：1
8
作者 刘朝辉 王伟 +1 位作者 王彦士 魏峻 《计算机科学与探索》 CSCD 2014年第7期812-822,共11页
在线事务处理(online transaction processing,OLTP)应用面临并发量和数据量持续增长的问题,并且高并发读写操作使得后台数据库成为瓶颈。内存数据网格(in-memory data grid,IMDG)是基于内存的新型分布式数据访问平台,是解决系统数据库... 在线事务处理(online transaction processing,OLTP)应用面临并发量和数据量持续增长的问题,并且高并发读写操作使得后台数据库成为瓶颈。内存数据网格(in-memory data grid,IMDG)是基于内存的新型分布式数据访问平台,是解决系统数据库写操作瓶颈的有效技术途径之一。然而内存数据网格中数据访问操作涉及的数据分布是不可预知的,需要提供分布式事务保障。针对内存数据网格的系统特点,提出了一种分布式事务保障机制,设计实现了事务处理模型、请求处理和数据定位方法以及事务保障协议,并规范化地定义了客户端与服务器端以及服务器端之间的操作接口。在事务处理基准测试TPC-W上的实验结果表明,新机制可以提高在线事务应用的处理速度,并具备良好的扩展性。 展开更多
关键词 内存数据网格(IMDG) 分布式事务 两阶段提交协议(2PC)
暂未订购 下载PDF
一个高效的匹配协议 认领 引用 被引量：4
9
作者 伍前红 张键红 王育民 《通信学报》 北大核心 2004年第8期139-144,共6页
比较两个秘密整数是否相等这类协议称为匹配协议。目前这样的协议要么效率极低,要么不能抗击字典攻击。本文给出了一个新的匹配协议,该协议是语义安全的,不存在概率多项式时间算法区分对两个输入的猜测值。协议是高效的,可以比较两个大... 比较两个秘密整数是否相等这类协议称为匹配协议。目前这样的协议要么效率极低,要么不能抗击字典攻击。本文给出了一个新的匹配协议,该协议是语义安全的,不存在概率多项式时间算法区分对两个输入的猜测值。协议是高效的,可以比较两个大整数是否相等,计算复杂性和通信复杂性都为O(1),可以验证参与者是否诚实。该协议可以用于口令认证、电子彩票、可证实加密等安全协议设计。 展开更多
关键词 安全多方计算 匹配协议 陷门承诺
暂未订购 下载PDF
集成数据库和文件系统的多数据库事务模型 认领 引用 被引量：6
10
作者 卢正鼎 肖卫军 +1 位作者 易童 李瑞轩 《华中理工大学学报》 北大核心 1998年第6期66-68,75,共3页
提出了一种适合于集成文件系统和数据库系统的多数据库事务模型，讨论了事务模型组成元素全局事务管理器、事务提交协议和局部执行代理的设计与实现．
关键词 事务模型 多数据库 数据库 文件系统 集成
暂未订购 下载PDF
基于零知识集的群组密钥分配方案 认领 引用 被引量：4
11
作者 孙海波 林东岱 《电子学报》 EI CAS 北大核心 2005年第2期345-349,共5页
零知识集是一种新的具有零知识性质的集合 .这种集合的构造使得证明者对于任意元素都可以给出一个证明 ,证明该元素属于这个集合或者不属于这个集合 ,同时不泄漏额外的信息 .本文基于Pedersen承诺设计一种新的群组密钥分配方案 ,利用零... 零知识集是一种新的具有零知识性质的集合 .这种集合的构造使得证明者对于任意元素都可以给出一个证明 ,证明该元素属于这个集合或者不属于这个集合 ,同时不泄漏额外的信息 .本文基于Pedersen承诺设计一种新的群组密钥分配方案 ,利用零知识集的性质实现密钥分配 .协议不仅保证了组成员可以安全动态的获得组密钥 ,而且保证了组成员除了获取组密钥 ,不会得到群组中其它成员的相关信息 .与先前工作相比 ,本文提出的方案提供了更高的安全特性 ,适合应用于一些较特殊的网络应用 ,如网络秘密会议 . 展开更多
关键词 零知识集 Pedersen承诺 群组密钥分配协议
暂未订购 下载PDF
不同减排领域对附件B缔约方完成《京都议定书》第一承诺期减排目标的贡献 认领 引用 被引量：1
12
作者 刘硕 李玉娥 +3 位作者 高清竹 万运帆 秦晓波 马欣 《气候变化研究进展》 CSCD 北大核心 2015年第2期131-137,共7页
本文搜集了2014年4月最新提交的附件B 35个主要缔约方报告的2008—2012年土地利用、土地利用变化与林业(LULUCF),能源,工业过程,溶剂使用,农业及废弃物6个领域的温室气体(GHG)排放与吸收的数据,估算了第一承诺期各领域的相对减排贡献及... 本文搜集了2014年4月最新提交的附件B 35个主要缔约方报告的2008—2012年土地利用、土地利用变化与林业(LULUCF),能源,工业过程,溶剂使用,农业及废弃物6个领域的温室气体(GHG)排放与吸收的数据,估算了第一承诺期各领域的相对减排贡献及各缔约方在各领域做出的减排努力。结果表明,各领域减排量占所有领域总减排量比例由大到小依次为:能源62.6%、工业过程13.9%、农业13.4%、LULUCF 7.4%、废弃物2.6%和溶剂使用0.1%;各缔约方在各领域的减排量相当于其基准年总排放量的平均值由大到小分别为:能源8.7%、农业3.0%、LULUCF 2.5%、工业过程1.3%、废弃物0.5%和溶剂使用0.1%。总体而言,能源领域是GHG减排的主导领域,农业和LULUCF起到辅助减排的作用;多数缔约方选择的LULUCF活动产生的核算结果表现为弱GHG吸收汇,其利用LULUCF活动履约的减排贡献相对较小,仅相当于能源领域减排量的12%,但对于新西兰和冰岛的贡献较大,其LULUCF活动产生的汇清除抵消了两国在其他5个领域GHG排放量的50%以上。 展开更多
关键词 GHG减排 《京都议定书》 第一承诺期 减排贡献
暂未订购 下载PDF
基于离线数据载体的分布数据一致性研究 认领 引用 被引量：3
13
作者 张世栋 王新军 +1 位作者 王海洋 吕波 《小型微型计算机系统》 北大核心 2004年第6期1040-1043,共4页
针对离线数据载体应用的特点 ,文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议 ,并给出了相关的正确性证明和阻塞性分析 ,从理论上彻底地解决了基于离线数据载体的分布数据一致性问题 .本文结论经过了实验和实... 针对离线数据载体应用的特点 ,文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议 ,并给出了相关的正确性证明和阻塞性分析 ,从理论上彻底地解决了基于离线数据载体的分布数据一致性问题 .本文结论经过了实验和实践检验 . 展开更多
关键词 分布数据一致性 离线数据载体 有序双场地分布事务 有序双场地两阶段提交协议
暂未订购 下载PDF
一种网格协同设计事务提交协议的研究 认领 引用 被引量：1
14
作者 李陶深 刘辽广 《小型微型计算机系统》 CSCD 北大核心 2013年第9期2042-2046,共5页
根据协同设计任务的特点,借鉴人们日常工作中协同设计项目的做法,提出一种网格协同设计环境下事务提交协议及其故障处理机制.该协议通过取消传统两阶段提交协议中的投票阶段,使参与者不必等待协调者的命令就可自行决定是提交还是终止.... 根据协同设计任务的特点,借鉴人们日常工作中协同设计项目的做法,提出一种网格协同设计环境下事务提交协议及其故障处理机制.该协议通过取消传统两阶段提交协议中的投票阶段,使参与者不必等待协调者的命令就可自行决定是提交还是终止.协议考虑任务的时限要求和质量要求,允许参与者自行决定是否参与协同设计,并允许参与者中途退出协同设计,从而放松了对事务的原子性要求.最后,从原子性、时限性、适应性等方面对提出的协议进行正确性证明;实验结果和性能分析验证了该协议的有效性和可行性. 展开更多
关键词 网格 协同设计 事务处理 事务提交协议 时限性
暂未订购 下载PDF
面向网格环境的事务提交协议的研究 认领 引用 被引量：1
15
作者 李卫玲 李陶深 《计算机工程与设计》 北大核心 2009年第4期849-851,983,共3页
提出一种面向网格的事务提交协议——ENP。该协议取消了两阶段提交(2PC)协议中的投票阶段,参与者无需向协调者发送COMMIT消息,可自行决定提交而不必等待协调者的COMMIT命令。如果参与者操作失败,则其向协调者发送abort消息后可自行终止... 提出一种面向网格的事务提交协议——ENP。该协议取消了两阶段提交(2PC)协议中的投票阶段,参与者无需向协调者发送COMMIT消息,可自行决定提交而不必等待协调者的COMMIT命令。如果参与者操作失败,则其向协调者发送abort消息后可自行终止,不必等待协调者发来的ABORT命令。性能分析和实验结果表明,该协议放松了对事务原子性的要求,可以降低提交协议的消息复杂度和日志复杂度,保证了网格环境中事务状态的一致性,满足了各参与者和资源的自治性要求。 展开更多
关键词 网格 事务 提交协议 ACID特性 网格事务模型
暂未订购 下载PDF
一种新的基于BLS签名的可验证承诺签名方案(英文) 认领 引用 被引量：1
16
作者 李飞 梁华 滕济凯 《科学技术与工程》 2007年第16期4058-4061,共4页
提出了一种新的基于BLS签名的可验证承诺签名方案,并证明了该方案在RandomOracle模型下是安全的。该方案可以用来实现任何GDH签名(包括BLS签名)的最优公平交换。
关键词 可验证承诺签名 最优公平交换协议 双线性对
暂未订购 下载PDF
欧盟第二承诺期减排目标初步分析 认领 引用 被引量：4
17
作者 朱松丽 《气候变化研究进展》 2009年第2期103-109,共7页
欧盟提出了到2020年将温室气体排放在1990年水平上降低20%的目标,并提出了相应的政策措施。文章首先分析了1990—2005年欧盟减排成果,认为欧盟老成员国很难在第一承诺期内实现其在《京都议定书》之下的承诺。在这样的基础上提出进一步... 欧盟提出了到2020年将温室气体排放在1990年水平上降低20%的目标,并提出了相应的政策措施。文章首先分析了1990—2005年欧盟减排成果,认为欧盟老成员国很难在第一承诺期内实现其在《京都议定书》之下的承诺。在这样的基础上提出进一步减排目标,必须有更严格的政策措施作保障,但现在的行动计划缺乏足够力量和信心。中东欧新成员国的加入有助于欧盟实现其第一承诺期目标,但随着经济发展的逐步恢复,这将给欧盟第二承诺期的减排目标带来挑战。 展开更多
关键词 欧盟 京都议定书 第二承诺期 减排目标
暂未订购 下载PDF
《京都议定书》第二承诺期森林管理基准线分析 认领 引用 被引量：2
18
作者 张小全 《气候变化研究进展》 CSCD 2011年第6期428-434,共7页
基于各附件I缔约方2011年提交的年度国家温室气体排放清单、《京都议定书》第一承诺期森林管理活动的温室气体源/汇数据,以及森林管理活动的基准线数据,分析了森林管理活动在第一承诺期履约中的贡献,以及按各方提交的基准线,预计森林管... 基于各附件I缔约方2011年提交的年度国家温室气体排放清单、《京都议定书》第一承诺期森林管理活动的温室气体源/汇数据,以及森林管理活动的基准线数据,分析了森林管理活动在第一承诺期履约中的贡献,以及按各方提交的基准线,预计森林管理活动在未来承诺期履约中的作用。结果表明,《京都议定书》第一承诺期的最初两年(2008—2009年),附件I缔约方可从合格的森林管理活动中获得年均2.46亿t CO2当量(CO2-eq)的信用额,相当于相应缔约方基准年(1990年)源排放的2.3%,对减限排目标的贡献率达53%,不合理的规则使一些缔约方在履约中可过度地利用森林管理的汇清除。各附件I缔约方提交的2013—2020年森林管理活动的基准线(约2.52亿t CO2-eq/a的净汇清除)远低于目前和过去的水平,使其可从中获得的用于抵消减排目标的信用额约为第一承诺期的4倍,对未来承诺期履约的贡献率将更大,一些缔约方提交的减排目标中的大部分可通过森林管理活动的信用额来抵消。因此,本文建议在未来的谈判中,要严格控制可用的森林管理活动的信用额,避免森林管理活动被滥用。 展开更多
关键词 温室气体源/汇 《京都议定书》 第二承诺期 森林管理
暂未订购 下载PDF
一种基于两级事务模型的先提交协议 认领 引用 被引量：2
19
作者 卢正鼎 陈光 《华中理工大学学报》 北大核心 1999年第9期101-104,共4页
将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型．分析了一种提交协议：局部数据库的全局子事务先于全局最终决定提交，简称先提交协议．指出先提交协议十分适合两级事务模型。
关键词 两级事务模型 先提交协议 全局 局部 数据库
暂未订购 下载PDF
两段提交协议的Petri网模型 认领 引用 被引量：1
20
作者 黄志华 《福州大学学报（自然科学版）》 CAS 2003年第6期652-655,663,共4页
为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.
关键词 两段提交协议 Petri网 分布式数据库
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 3 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈