关键词： 嵌入式技术   电力市场   现货交易   采集   改进聚类算法  

摘要： 为了解决电力市场交易采集困难的问题,设计了基于嵌入式技术的电力市场交易采集系统。基于TMS320VC5416-160芯片的控制器实现电力市场交易数据的采集控制,实现采集数据的管理、处理以及存储,提高了电力市场交易采集能力。基于内容整合商(Master Content Provider MCP)技术,实现电力市场交易数据信息的状态估计和数据通信。通过CAN总线实现多种数据信息通信,并基于改进聚类算法模型提高电力市场交易分析能力。实验结果验证该方法可以提高电力市场交易采集和用户用电信息评估方法,采用本研究方法的现货交易采集准确率高达96%,评估准确性可靠性高达97%,大大提高了电力市场交易评估能力。

关键词： 区块链   安全   共识机制   智能合约  

摘要： 伴随着区块链技术的快速发展和应用,导致区块链项目相关的诸多网络安全事件。由此,区块链技术的安全分析尤为重要。本文始于对区块链技术本身的剖析,进而研究其各个层面的安全隐患。同时结合对区块链相关的安全事件的分析,给出相应的应对策略。本文会从应用端、共识机制、智能合约、基础公钥机制等诸多层面进行分析。希望能给出区块链安全相关的宏观全貌。

关键词： 智能合约   区块链   漏洞检测   自动化工具  

摘要： 智能合约是去中心化生态中的重要组件,它降低了多方合作的信任成本,因而广泛应用于数字货币和金融等领域。智能合约在区块链上自动执行,具有不可修改和不可中止的特性,合约常常持有大量数字资产,一旦存在漏洞就有可能会造成巨大损失。随着智能合约技术的发展,合约漏洞开始从简单的语法漏洞向复杂的逻辑漏洞转变,触发漏洞的条件也可能从单一的交易演变为特定的交易序列。目前,各种针对合约的攻击层出不穷,因此开发出有效的合约漏洞检测工具显得尤为重要。为此,首先介绍了11个著名的智能合约漏洞;然后从静态分析和动态分析2个方面介绍了21个合约漏洞检测技术和工具,并从检测方法、研究对象、检测能力等方面对比这些工具,讨论了它们的优点和不足;最后,结合当前合约的安全现状展望了未来的研究工作。

关键词： 品牌故事   智能合约   传统品牌   区块链   耐克   去中心化   唯一性  

摘要： 区块链具有的不可篡改、唯一性、智能合约和去中心化的特点,这些特点品牌也几乎完全具有:品牌的不可篡改性是毫无疑问的,最简单的如品牌的灵魂——品牌故事和VI。耐克和阿迪的logo可能间或有微调,有升级,但是再怎么改,耐克也不会变成阿迪,阿迪也不会变成耐克。唯一性就更不用说了,所有品牌都应是唯一的。智能合约这一点稍微牵强,传统品牌在形式上也许缺乏智能合约,但是内在运行是高度依赖合约的。

关键词： 区块链   水利数据共享   共享平台   智能合约   数字签名   跨部门协同  

摘要： 针对水利政务各部门存在的业务纵向独立、跨部门数据共享与业务协同困难等问题,为提升水利政务办事效率与群众满意度,研究并实现一种基于区块链技术的水利数据共享平台。利用区块链分布式共享、不可篡改等特性,将水利数据去中心化存储;采用应用服务与数据管理分离的架构模型与一致性访问接口,解决各水利应用间的数据共享问题;结合智能合约与数字签名技术,实现数据访问与共享的信任化和智能化。该研究已应用于电子采砂证照的水利数据共享场景中,应用分析表明:平台可实现水利数据去中心化存储与访问,实现水利数据的跨部门安全可信共享,提高水利政务协同工作效率,研究成果可为各地方、部门和层级间政务数据的安全互通起示范作用。

关键词： 区块链   智能合约   应收账款管理  

摘要： 受疫情影响,企业的应收账款管理问题日益严峻,传统合约下的应收账款管理存在管理成本高、坏账风险大等问题,而智能合约能够有效降低应收账款管理成本并防范坏账风险。首先,购销双方注册成为区块链的用户;其次,购销双方共同拟定协议,智能合约再次把拟定的协议转换成数字表达式来生成合约,随后金融机构和监管部门进行审批和监管;最后,智能合约等待执行条件并自动更新。智能合约应用过程可能存在误解参与者意图、去中心化降低交易的安全性、不可修改制约合同的灵活性等挑战,应通过提高智能合约分析的准确性、保证参与者的可靠性以及规定录入合约执行的优先性这三个策略来推进智能合约在企业应收账款管理中的应用。

关键词： 智能合约   形式化方法   模型检查   CPN   供应链  

摘要： 智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存在难点。因此,提出在编写合约前基于CPN(Coloured Petri Net)对供应链业务逻辑进行形式化规范并构建双层仿真模型,以图形化界面描述交易状态变化,进行形式化验证和状态分析,从而在建模阶段就减少逻辑漏洞。最后,提供了一种从CPN建模语言到Solidity编写的合约的转换方法,以提高智能合约的安全性和可靠性。

关键词： 区块链   Serverless   函数即服务   智能合约  

摘要： 由于区块链应用的发展常常受到性能、存储瓶颈和技术门槛的制约,本文提出一种基于Serverless的区块链系统:通过在区块链中引入分布式哈希表和Serverless微服务云存储,保障区块链存储的性能和安全性;通过函数计算服务进行链下协同计算,实现区块链事务分类处理,大幅降低用户成本的同时提高了系统的效率;提出Serverless框架下的智能合约开发和部署模式,相比传统DAPP开发有效降低技术门槛和维护成本。为利用Serverless技术解决区块链安全、性能、存储和合约开发问题提供方案。

关键词： 区块链   用户标签   就业推荐   智能合约  

摘要： 设计了基于区块链和用户标签的大学生就业推荐系统。该系统通过将毕业生就业过程和行为上链进行存储,解决了就业数据的真实性问题,通过设计智能合约实现数据操作的安全授权和高效共享。同时,设计基于用户标签的推荐方法,实现就业岗位的精准推荐。系统测试结果表明,设计的系统具有正确性和实用性。

关键词： 监管重点   智能合约   监管科技   底层技术   区块链   塑造功能   监管模式   履行职能  

摘要： 数字人民币搭载以区块链作为底层技术的智能合约,是最为重要的创新之一,随着数字人民币试点的不断推进,智能合约的应用场景也越来越广泛。智能合约具有信用塑造功能,央行借助智能合约可以巩固货币的国家信用,提升履行职能的效率。文章通过梳理货币智能合约的技术架构与运行逻辑,发现治理货币智能合约存在的难题,据此从监管模式、监管重点、监管科技等方面提出对策,以提升数字人民币的治理水平。