首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2篇
  完全免费   29篇
  自动化技术   31篇
  2022年   6篇
  2021年   7篇
  2020年   5篇
  2019年   6篇
  2018年   3篇
  2017年   3篇
  2016年   1篇
排序方式: 共有31条查询结果,搜索用时 78 毫秒
1.
区块链技术发展现状与展望   总被引:8,自引:0,他引:8       下载免费PDF全文
袁勇  王飞跃 《自动化学报》2016,42(4):481-494
区块链是随着比特币等数字加密货币的日益普及而逐渐兴起的一种全新的去中心化基础架构与分布式计算范式, 目前已经引起政府部门、 金融机构、 科技企业和资本市场的高度重视与广泛关注. 区块链技术具有去中心化、 时序数据、 集体维护、 可编程和安全可信等特点, 特别适合构建可编程的货币系统、 金融系统乃至宏观社会系统. 本文通过解构区块链的核心要素, 提出了区块链系统的基础架构模型, 详细阐述了区块链及与之相关的比特币的基本原理、 技术、 方法与应用现状, 讨论了智能合约的理念、 应用和意义, 介绍了基于区块链的平行社会发展趋势, 致力于为未来相关研究提供有益的指导与借鉴.  相似文献
2.
区块链技术与应用前瞻综述   总被引:2,自引:0,他引:2       下载免费PDF全文
区块链技术是一种去中心化、去信任化的分布式数据库技术方案。该数据库由参与系统的所有节点集体维护,具有去中心化、不可篡改、透明、安全等特性。区块链技术归功于比特币应用,它作为比特币的底层技术支持,是比特币系统的核心支撑。区块链技术 具有广阔的 发展前景,从关键技术、内容、原理、瓶颈、应用和前景几个方面进行介绍,对相关研究问题进行探讨。  相似文献
3.
The creative introduction of the smart contracts in Ethereum, which are Turing-complete programs, boosted blockchain to the second generation. Meantime, the specifically designed young and fast-evolving programming languages, such as Solidity, become the key factors behind smart contracts being the breeding ground of ubiquitous defects. As many contract defects occur within certain compiler versions, knowing the specific compiler version used to generate the contract's bytecode, facilitates the design of more targeted defect detection approaches, and provides ways to estimate the risks faced of invoking it. To this end, we propose VSmart (compiler Version identification for Smart contract), which takes in the bytecode of the smart contract to be analyzed and outputs the major compiler version used to produce it. The basic idea is to leverage deep neural networks to grasp version-indicative features from contracts' normalized opcode sequences, and train classifiers on a data set consisting of 131,546 smart contracts with ground-truth labels we collected from Etherscan. The performance evaluation conducted shows that VSmart achieves nearly 98% accuracy in identifying major Solidity compiler versions. Further, on the basis of VSmart, we perform an empirical study on the distribution of the Solidity compiler versions on a wild data set consisting of 15,326,672 nontrivial smart contracts actually deployed on the Ethereum blockchain. The landscape estimation results show that the Solidity version distribution is rather imbalanced, with Solidity 0.4 being the most popular one; and the developers' Solidity usage practices conflict with the official's suggestion of always using the latest version, while they tend to gradually switch to newer versions.  相似文献
4.
智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果,智能合约程序语言的形式化必不可少.本工作对以太坊中间语言Yul进行形式化,首次给出了其类型系统和小步操作语义的形式化定义.该语义为可执行语义(executable semantics),由120个Yul语言程序组成的测试集进行测试.本工作在Isabelle/HOL证明辅助工具中完成,为基于定理证明的智能合约正确性、安全性验证奠定了基础.  相似文献
5.
王小兵  杨潇钰  舒新峰  赵亮 《软件学报》2021,32(6):1849-1866
智能合约是运行在区块链上的计算机协议,被广泛应用在各个领域中,但是其安全问题层出不穷,因此在智能合约部署到区块链上之前需要对其进行安全审计,然而,传统的测试方法无法保证智能合约所需的高可靠性和正确性.说明了如何使用建模、仿真与验证语言(MSVL)和命题投影时序逻辑(PPTL)对智能合约进行建模和验证,首先介绍了MSVL与PPTL的理论基础;之后通过分析和对比了Solidity与MSVL语言的特性,开发了能够将Solidity程序转换为MSVL程序的SOL2M转换器,并详细介绍了SOL2M转换器的设计思路;最终通过投票智能合约和银行转账智能合约两个实例,给出了SOL2M转换器的执行结果,使用PPTL从功能一致性、逻辑正确性以及合约完备性三个方面描述了合约的性质,给出了使用统一模型检测器(UMC4M)对合约进行验证的过程.  相似文献
6.
区块链具有分布式、不可篡改、去中心化、历史可追溯等特点,但难以落地.智能合约的引入,有效地解决了这一难题.然而,智能合约的开发和运维存在部署效率低、监控工具不成熟等问题.受DevOps自动化工具支持微服务持续交付、持续监控的启发,针对上述问题,提出了一种用于智能合约微服务化改造的框架.随后,结合支持DevOps的工具设计原型平台Mictract,完成智能合约的部署和监控.在Hyperledger Fabric官方链码Marbles上的案例研究表明,该框架和原型平台能够显著提升智能合约部署和监控的自动化水平.  相似文献
7.
为了推动能源交易公平以及区块链技术在电力交易领域的应用, 实现P2P电能交易平台与配电网高效配合, 提出一种基于区块链技术的P2P电能交易平台与配电网的协同仿真框架. 根据区块链去中心化、安全性强、可追溯的特点, 提出分布式双边拍卖机制, 结合智能合约, 建立了能源交易模型并进行了仿真分析. 最后, 根据建立的协同仿真模型, 通过两个场景下配电网参数的比较分析, 得出了P2P电能交易机制对配电网影响的相关结论, 为实现能源高效利用, 电能交易安全稳定以及区块链技术在电能交易领域的落地推广提供了理论基础和技术支撑.  相似文献
8.
现如今的慈善领域总会面临着数据无法公开透明的问题, 人们无法对不公开数据的慈善组织报以信任, 即使公开了数据, 也要面临着数据造假的质疑. 针对现有慈善组织存在的公信力不足、便捷性低, 以及善款流向不透明等问题, 本系统采用区块链技术, 通过设计新型数据存储模型, 将上传的项目数据按照所需的要求进行加解密等操作, 使得数据具有保密性; 同时将交易数据进行链上存储, 利用区块链不可篡改可追溯等特性, 将所有经过本系统的交易数据进行上链操作, 使得交易数据变得公开透明, 同时无法对已经完成的交易的数据进行修改, 从而使整个系统具有足够的公信力, 有效地弥补了传统慈善系统的数据不公开, 同时可能存在数据造假的不足.  相似文献
9.
针对现有微认证系统架构依靠中心化的管理模式, 不能够保证微认证安全性的弊端, 本研究利用了区块链的分布式结构, 透明性与不可篡改性的特点, 探讨了如何将区块链技术引入微认证系统的架构设计中. 本文首先阐明了当前微认证系统中存在的弊端, 介绍了区块链生态系统的基本概念; 其次, 设计并提出了基于区块链的微认证系统架构, 以提供高效率且简单直观的微认证相关服务; 最后, 实现了解决方案的原型, 验证了系统原型的性能表现, 并进行了安全性探讨. 实验结果表明, 本文方法能很好地应用于微认证系统, 以促进设计和实现基于区块链的微认证系统.  相似文献
10.
区块链作为一种新兴的技术, 由于其去中心化, 透明性和不可篡改性而受到广泛关注. 对区块链的研究还处于早期阶段, 应用程序开发过程中仍然存在大量的数据管理问题, 如数据隐私、可伸缩性和延迟. 在本文中, 我们提出了区块链数据管理的设计模式, 即数据隐私保护模式, 哈希完整性模式, 状态通道模式, 帮助开发者易用区块链进行应用开发. 上述所有模式都在一个基于区块链的溯源系统——originChain中实现并验证, 并对其效果进行了讨论.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号