区块链测试基准综述

1

作者 张孝 秦春玲 +3 位作者 王文收 刘昊 陈晋川 杜小勇 《软件学报》 北大核心 2025年第7期3151-3183,共33页

近年来,区块链技术已经广泛应用到数据要素流通、金融、物流、政务以及司法等领域.随之也出现了若干区块链测试基准,以评测不同区块链系统的性能.然而,现有区块链测试基准内容差异较大,缺少统一的区块链测试基准框架来规范基准的内容,... 近年来,区块链技术已经广泛应用到数据要素流通、金融、物流、政务以及司法等领域.随之也出现了若干区块链测试基准,以评测不同区块链系统的性能.然而,现有区块链测试基准内容差异较大,缺少统一的区块链测试基准框架来规范基准的内容,也缺失统一的指标体系来明确区块链系统在性能和安全性方面应具备的能力.从数据库发展历程来看,统一的、可重复的、公平的测试基准规范可以更好地引导行业发展.区块链本身也是一种特殊的分布式数据库管理系统,应该借鉴数据库技术在发展过程中积累的宝贵经验.参考数据库测试基准的内容,针对区块链系统所特有的去中心化、不可篡改、可信等特点,提出一个区块链测试基准参考框架UFBCB.该参考框架定义了区块链测试基准的5个核心要素:应用模型、数据模型、负载、指标和执行规则,并阐明5个要素相互之间的关系,为区块链性能评测提供了一个统一的参考标准.提出一个全面衡量区块链系统各项关键能力的测试指标体系,包含性能、能耗、扩展性和安全性这4个方面的指标,基本覆盖了已有的区块链测试指标.在此基础上,将UFBCB框架与现有区块链测试基准进行详尽的对比分析,指出目前区块链测试基准存在的普遍问题.最后,对区块链测试基准未来的发展方向进行了讨论. 展开更多

关键词 区块链 测试基准 性能评估 可扩展性 安全性

在线阅读 下载PDF 职称材料

基于CoP建模的协作过滤推荐方法 被引量：3

2

作者 陈晋川 张晓刚 +1 位作者 王青 李明树 《计算机工程与设计》 CSCD 2004年第12期2151-2153,2167,共4页

传统的协作过滤推荐方法主要基于个人兴趣特征来实现推荐。在组织内部协作场景下,为实现知识共享与重用,推荐系统不仅要考虑用户兴趣,还应考虑用户和用户组的任务。传统的协作过滤推荐方法已不能满足要求。CoP是组织内部人员管理的主要... 传统的协作过滤推荐方法主要基于个人兴趣特征来实现推荐。在组织内部协作场景下,为实现知识共享与重用,推荐系统不仅要考虑用户兴趣,还应考虑用户和用户组的任务。传统的协作过滤推荐方法已不能满足要求。CoP是组织内部人员管理的主要形式,它的特征是其成员任务的反映。基于已有的协作过滤推荐研究与D-S理论,提出了一种CoP特征构建算法,并以此为基础研究了面向CoP的协作过滤推荐。 展开更多

关键词 协作 用户组 推荐系统 重用 建模 场景 算法 应考 特征 兴趣

在线阅读 下载PDF 职称材料

基于纳什均衡的智能合约缺陷检测 被引量：5

3

作者 陈晋川 夏华辉 +4 位作者 王璞巍 马纳波 王琪 李浩然 杜小勇 《计算机学报》 EI CSCD 北大核心 2021年第1期147-161,共15页

本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提... 本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提高检测效率,提出了针对合约状态变迁图和博弈策略形式的一系列化简方法.最后,实现了一个智能合约建模、分析和部署工具.针对一组真实合同的实验表明,该工具能自动发现部分合同缺陷,化简方法提升缺陷检测效率的效果明显. 展开更多

关键词 智能合约 纳什均衡 缺陷检测 区块链 博弈论

在线阅读 下载PDF 职称材料

云计算环境中面向OLTP应用的数据分布研究 被引量：10

4

作者 王晓燕 陈晋川 杜小勇 《计算机学报》 EI CSCD 北大核心 2016年第2期253-269,共17页

云计算为大型OLTP应用中分布式数据的高效存储和管理带来了新的机遇,大数据则对分布式数据的存储与管理提出了新的挑战,自动数据分布逐渐成为分布式系统中的研究重点和难点.该文对影响数据分布问题的三要素数据、负载和节点进行分析,将... 云计算为大型OLTP应用中分布式数据的高效存储和管理带来了新的机遇,大数据则对分布式数据的存储与管理提出了新的挑战,自动数据分布逐渐成为分布式系统中的研究重点和难点.该文对影响数据分布问题的三要素数据、负载和节点进行分析,将该问题抽象为数据分片、数据分配和负载执行3个相互关联的子问题,提出了数据分布问题的三角架构DaWN.由于不同的系统有不同的应用需求,DaWN架构以代价模型为枢纽,对特定应用需要达到的效能目标和资源限制进行调配,并提出了数据分布问题所面临的技术挑战.该文对DaWN架构中以顶点为代表的3个基本要素进行详细分析,着重对以边为代表的3条关联关系进行阐释,并据此对云环境中大规模OLTP应用的数据分片、数据分配和负载执行3个数据分布子问题的研究成果和进展进行归纳和总结.基于以上分析,该文以数据分片、数据分片和负载执行为变量,使用真值表覆盖数据分布问题中的8种类型,并采用三维立体坐标系的方式对相关工作的分布进行归纳总结和呈现.最后,该文从代价模型研究、测试基准研究、自动化数据分布技术研究、特定应用研究等4个角度,对数据分布问题的未来发展方向进行展望. 展开更多

关键词 数据分布 三角架构 数据分片 数据分配 OLTP 大数据

在线阅读 下载PDF 职称材料

一种面向HDFS的多层索引技术 被引量：8

5

作者 何龙 陈晋川 杜小勇 《软件学报》 EI CSCD 北大核心 2017年第3期502-513,共12页

SOH(SQL over HDFS)系统通常将数据存储于分布式文件系统HDFS(Hadoop distributed file system)中,采用Map/Reduce或分布式查询引擎来处理查询任务.得益于HDFS以及Map/Reduce的容错能力和可扩展性,SOH系统可以很好地应对数据规模的飞速... SOH(SQL over HDFS)系统通常将数据存储于分布式文件系统HDFS(Hadoop distributed file system)中,采用Map/Reduce或分布式查询引擎来处理查询任务.得益于HDFS以及Map/Reduce的容错能力和可扩展性,SOH系统可以很好地应对数据规模的飞速增长,完成分析型查询处理.然而,在处理选择型查询或交互式查询时,这类系统暴露出了性能上的缺陷.提出一种通用的索引技术,可以应用于SOH系统中,以提高其查询处理的效率.分析了SOH系统访问HDFS文件的过程,指出了其中影响数据加载时间的关键因素.提出了split层和split内部双层索引机制;设计并实现了聚集索引和非聚集索引;最后,在标准数据集上进行了大量实验,并与现有基于HDFS的索引技术进行了比较.实验结果表明,所提出的索引技术可以有效地提高查询处理的效率. 展开更多

关键词 查询 索引 HDFS SOH 大数据

在线阅读 下载PDF 职称材料

并行OLTP系统中增量数据的自动分片技术研究 被引量：4

6

作者 王晓燕 陈晋川 +1 位作者 杜小勇 范旭 《计算机科学与探索》 CSCD 2013年第9期800-810,共11页

近年来,由于数据规模的急剧增长,越来越多的大型应用系统被部署到分布式环境中,它们需要通过数据分片技术,将原有数据集和新增加的数据审慎地划分到不同的节点上,来优化并行联机事务处理(on-line transaction processing,OLTP)系统的性... 近年来,由于数据规模的急剧增长,越来越多的大型应用系统被部署到分布式环境中,它们需要通过数据分片技术,将原有数据集和新增加的数据审慎地划分到不同的节点上,来优化并行联机事务处理(on-line transaction processing,OLTP)系统的性能。针对系统中已有的静态数据和新生成的增量数据,提出了一种新的数据分片策略——数据表依赖分片策略(table dependency partitioning strategy,TDPS)。该策略首先根据数据表之间的相互依赖关系,对初始数据进行划分。当有新的数据到达时,它会自动将每个数据片段分配到最相关的数据分区中。使用TPC-C测试基准进行了一系列的实验,实验结果显示,与以前的方法相比,TDPS策略可以有效地提高系统性能。 展开更多

关键词 数据划分 联机事务处理(OLTP) 增量数据

在线阅读 下载PDF 职称材料

一个面向软件过程的知识挖掘与管理系统 被引量：2

7

作者 张晓刚 李雄锋 +1 位作者 陈晋川 李明树 《计算机科学》 CSCD 北大核心 2004年第6期159-163,共5页

软件过程的知识密集性特征要求组织人员的密切协作、交流,并能够有效地重用组织的实践经验。数据挖掘技术能够从大规模数据中发现有意义的知识,能够为知识管理提供有益的支持,从而得到更好的知识共享和重用效果。在对软件过程进行分析... 软件过程的知识密集性特征要求组织人员的密切协作、交流,并能够有效地重用组织的实践经验。数据挖掘技术能够从大规模数据中发现有意义的知识,能够为知识管理提供有益的支持,从而得到更好的知识共享和重用效果。在对软件过程进行分析的基础上,提出了协同知识管理模型。介绍了一个集成的面向软件过程的知识挖掘与管理系统iKnow。对iKnow的知识表示、知识挖掘、知识服务和个性化知识检索进行了论述。系统使软件组织的实践经验成为可视、可控和可重用的知识资源。 展开更多

关键词 知识挖掘 管理系统 软件过程 知识密集性 数据挖掘 组织实践

在线阅读 下载PDF 职称材料

基于Nash-Pareto策略的自动数据分布方法及支持工具 被引量：2

8

作者 王晓燕 陈晋川 +1 位作者 郭小燕 杜小勇 《计算机研究与发展》 EI CSCD 北大核心 2015年第9期1965-1975,共11页

大数据时代的来临为数据存储与管理提出了新的挑战.随着数据量的迅猛增加,自动数据分布逐渐成为分布式系统中的研究重点和难点.根据对数据分布问题中数据、负载和节点3个要素的研究和分析,将数据分布问题抽象为称为DaWN(data,workload,n... 大数据时代的来临为数据存储与管理提出了新的挑战.随着数据量的迅猛增加,自动数据分布逐渐成为分布式系统中的研究重点和难点.根据对数据分布问题中数据、负载和节点3个要素的研究和分析,将数据分布问题抽象为称为DaWN(data,workload,node)的三角模型,并将3要素之间的相互关联关系抽象为数据分片、数据分配和负载执行3条纽带;据此,提出了解决自动数据分布问题的基本架构,对各功能模块的协动关系进行探讨;同时,结合已有的研究工作,采用Nash-Pareto优化均衡策略使得前述各机制相得益彰,实验结果验证了其有效性.为使研究工作更多地应用于实践,设计并实现了自动数据分布辅助原型工具ADDvisor(automatic data distribution advisor),协同支持自动数据分布的执行,共同促进大规模分布式联机事务处理系统的并行性能和自动化管理技术的发展. 展开更多

关键词 数据分布 三角模型 自动化解决方案 优化均衡 联机事务处理

在线阅读 下载PDF 职称材料

入世对党政干部的考验与挑战

9

作者 陈晋川 李军 冯军 《领导科学》 北大核心 2002年第10期6-7,共2页

关键词 入世 党政干部 中国共产党 从政能力 政府职能 意识形态 工作作风

在线阅读 下载PDF 职称材料

面向合同的智能合约的形式化定义及参考实现 被引量：34

10

作者 王璞巍 杨航天 +2 位作者 孟佶 陈晋川 杜小勇 《软件学报》 EI CSCD 北大核心 2019年第9期2608-2619,共12页

智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其... 智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台 Hyperledger Fabric 上面进行了具体实现.最后对未来工作进行了展望. 展开更多

关键词 区块链 智能合约 以太坊 超级账本

在线阅读 下载PDF 职称材料

FusionDB:基于分布式查询引擎和HDFS的SPARQL查询处理系统 被引量：1

11

作者 高阳 何龙 +2 位作者 侯佳佳 陈晋川 杜小勇 《计算机研究与发展》 EI CSCD 北大核心 2015年第S1期139-142,共4页

近年来,互联网上的RDF三元组数量增长迅速,传统的单机SPARQL查询处理技术已不能满足实际需要.现有的分布式SPARQL查询处理系统可以分为2类,基于Hadoop的,或是基于数据库集群的.前者主要采用Map?Reduce来处理查询,效率较低;后者则继承了... 近年来,互联网上的RDF三元组数量增长迅速,传统的单机SPARQL查询处理技术已不能满足实际需要.现有的分布式SPARQL查询处理系统可以分为2类,基于Hadoop的,或是基于数据库集群的.前者主要采用Map?Reduce来处理查询,效率较低;后者则继承了传统数据库集群的缺陷,可扩展性较差.提出一个新颖的SPARQL查询处理系统FusionDB.该系统采用分布式查询处理引擎和HDFS,这样既可以受益于传统的分布式数据库技术,如分布式连接、流水线、负载均衡等,又从新兴的Hadoop技术中得到了良好的容错能力和高可扩展性.为了进一步加速查询处理的效率,FusionDB还在HDFS文件上增加了注入式索引.实验表明,相比于传统的系统,FusionDB在性能上具有明显的优势. 展开更多

关键词 SPARQL 查询重写 分布式查询引擎 HDFS 索引

在线阅读 下载PDF 职称材料

基于模式的贝叶斯垃圾邮件过滤的研究与实现 被引量：3

12

作者 陈晋川 陈治璋 +2 位作者 贾洪明 沈琦 杨巍 《计算机工程与应用》 CSCD 北大核心 2006年第6期172-175,共4页

运用TEIRESIAS算法从邮件中提取模式作为表示邮件的属性,在此基础上实现了一个贝叶斯垃圾邮件过滤实验系统。通过实验,比较分析了该过滤器的性能,并讨论了属性集大小、属性最少出现次数对基于模式的贝叶斯垃圾邮件过滤系统的影响。

关键词 模式 贝叶斯垃圾邮件过滤 TEIRESIAS

在线阅读 下载PDF 职称材料