期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
基于区块链的众筹智能合约设计 预览 被引量:1
1
作者 张帅 延安 贾敏智 《计算机工程与应用》 CSCD 北大核心 2019年第8期220-225,共6页
众筹是当前热门的一种互联网融资模式,目前的众筹平台存在违规经营、公信力不足、监管不善等诸多问题。智能合约是一种由事件驱动的、具有状态的代码合约和算法合同,随着区块链技术的深入发展而受到广泛关注和研究。基于区块链的智能合... 众筹是当前热门的一种互联网融资模式,目前的众筹平台存在违规经营、公信力不足、监管不善等诸多问题。智能合约是一种由事件驱动的、具有状态的代码合约和算法合同,随着区块链技术的深入发展而受到广泛关注和研究。基于区块链的智能合约技术具有去中心化、自治化、可观察、可验证、可信息共享等特点,可以有效构建可编程金融,为解决众筹平台的问题提供了新的途径。在区块链和智能合约理论的基础上,搭建了众筹区块链(CrowdfundingBlockchain,CBC),并基于以太坊实验环境开发了众筹合约系统,将传统的众筹合约文本代码化,合约的存储与执行均在区块链上进行,这不仅保证了众筹项目的自治化和可靠性,而且提高了项目可信性和公信力。 展开更多
关键词 区块链 智能合约 众筹 以太坊 合约验证
在线阅读 下载PDF
基于区块链的可公开验证分布式云存储系统 预览 被引量:1
2
作者 黑一鸣 刘建伟 +1 位作者 张宗洋 喻辉 《信息网络安全》 CSCD 北大核心 2019年第3期52-60,共9页
大数据时代,用户将有价值的数据上传云端以实现资源共享,这对云存储服务的安全性和可靠性提出了更高要求。目前云存储服务通过分布式存储来保证数据安全性,但云端数据仍集中于存储服务商,且完整性验证基于第三方。此外,传统云存储模式... 大数据时代,用户将有价值的数据上传云端以实现资源共享,这对云存储服务的安全性和可靠性提出了更高要求。目前云存储服务通过分布式存储来保证数据安全性,但云端数据仍集中于存储服务商,且完整性验证基于第三方。此外,传统云存储模式依赖于服务商的设备,没有充分利用用户闲置存储。文章基于区块链共识机制及其去中心化等特点提出一种分布式存储系统。该系统设置奖励机制促使全网节点参与数据存储服务,提高全网存储空间利用率,并引入智能合约保证数据服务交易公平。相比于现有基于区块链的分布式存储系统,文章系统的存储证明简洁高效,可实现链上链下相结合的数据查询和数据完整性公开验证,并保证了链下微支付的公平性。安全性分析和合约测试实验表明,文章系统能实现公平的数据存储、查询和完整性公开验证。 展开更多
关键词 分布式云存储 区块链 智能合约 公平支付 公开验证
在线阅读 下载PDF
国境口岸外贸合同备案核销系统的开发及其应用 预览
3
作者 姜晓龙 《计算机应用与软件》 北大核心 2019年第3期116-120,179共6页
满洲里检验检疫部门建立进口法检商品外贸合同电子备案和计算机快速核销制度。大力推行报检无纸化办公和电子化通关工作,全面实现进口法检商品外贸合同电子化的业务管理。这使报检差错率、核销差错率和签证差错率等均大幅下降,并能够与... 满洲里检验检疫部门建立进口法检商品外贸合同电子备案和计算机快速核销制度。大力推行报检无纸化办公和电子化通关工作,全面实现进口法检商品外贸合同电子化的业务管理。这使报检差错率、核销差错率和签证差错率等均大幅下降,并能够与中国电子检验检疫e-CIQ主干系统有效结合,极力做到外贸合同电子通关工作的规范性、高效性和科学性。最大程度地实现口岸通关的自动化、电子化和便利化,为推进满洲里口岸大通关、服务地方外贸事业发展发挥出了积极的作用。 展开更多
关键词 e-CIQ 合同备案 电子核销 检验检疫 差错率
在线阅读 下载PDF
Blockchain for Corporate Renewable Energy Procurement-Potential for Verification of Renewable Energy Certificates 预览
4
作者 Jerry I.-H. Hsiao 《美中法律评论:英文版》 2018年第2期75-82,共8页
关键词 净能量 社团 证书 Google 社会责任 市场 播放器 技术
在线阅读 下载PDF
“国标”三大原则导向的学习契约设计与实施 预览
5
作者 李涛 段斌 旷怡 《计算机工程与科学》 CSCD 北大核心 2018年第A01期89-93,共5页
传统教育通常以科学逻辑来规划学科内容,掌握学习进度,忽略了学习者及个人原有的经验与生活世界。新一轮的教学改革强调以学生为主体,强调培养学生的自主学习能力。契约学习是一种以学习契约为载体的教育教学形式。以“国标”三大原... 传统教育通常以科学逻辑来规划学科内容,掌握学习进度,忽略了学习者及个人原有的经验与生活世界。新一轮的教学改革强调以学生为主体,强调培养学生的自主学习能力。契约学习是一种以学习契约为载体的教育教学形式。以“国标”三大原则为导向,通过对学习契约的设计与实施,并结合人工智能的方法提出了学习契约代码分类模型,以及对学习契约的验证模型,结合具体案例分析,最终实现产出导向学习。同时学习契约的设计将服务于学习产出区块链。 展开更多
关键词 国标 学习契约 学习产出 代码分类 代码验证
在线阅读 下载PDF
智能合约的形式化验证方法 预览 被引量:13
6
作者 胡凯 白晓敏 +1 位作者 高灵超 董爱强 《信息安全研究》 2016年第12期1080-1089,共10页
智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程... 智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程,以支持规模化智能合约的生成.研究提出了一个应用于智能合约生命周期的形式化验证框架和验证方法,针对一个智能购物场景,采用Promela建模语言对智能购物合约进行建模,用SPIN进行了模型检测,验证了形式化方法对智能合约的作用. 展开更多
关键词 智能合约 形式化方法 建模 验证 SPIN模型检测工具
在线阅读 下载PDF
盈余质量对自愿性信息披露的影响及作用机理 预览 被引量:7
7
作者 汪炜 袁东任 《统计研究》 CSSCI 北大核心 2014年第4期89-96,共8页
自愿性信息披露是管理层对外传递公司价值,缓解信息不对称的重要手段,是强制性财务报告的有益补充.财务报告的盈余信息不但通过契约制定约束了管理层行为,其盈余质量也反映了管理层可信度并影响自愿披露的估值作用,这些都会影响公司自... 自愿性信息披露是管理层对外传递公司价值,缓解信息不对称的重要手段,是强制性财务报告的有益补充.财务报告的盈余信息不但通过契约制定约束了管理层行为,其盈余质量也反映了管理层可信度并影响自愿披露的估值作用,这些都会影响公司自愿披露行为.本文以上市公司自愿披露的前瞻性信息为对象,分析了盈余质量对自愿性信息披露的影响及作用机理.实证结果证实了盈余质量对自愿性信息披露有契约作用和鉴证作用;契约作用表现为盈余质量可通过降低代理成本提高自愿披露水平;而鉴证作用体现在盈余质量为自愿披露信息提供了可鉴证性保障,提高了公司价值与自愿披露水平的相关性. 展开更多
关键词 自愿披露 前瞻性信息 盈余质量 契约作用 鉴证作用
在线阅读 下载PDF
劳务派遣员工心理契约结构探析 预览 被引量:3
8
作者 黄乾 熊壮 《湖南财政经济学院学报》 2012年第5期128-133,共6页
在文献研究和对271名劳务派遣员工问卷调查的基础上,对劳务派遣员工心理契约的结构进行了探索性和验证性因子分析。研究结果表明,劳务派遣员工心理契约结构包括派遣机构与员工、用工单位与员工两个心理契约关系层面,其中派遣机构与员工... 在文献研究和对271名劳务派遣员工问卷调查的基础上,对劳务派遣员工心理契约的结构进行了探索性和验证性因子分析。研究结果表明,劳务派遣员工心理契约结构包括派遣机构与员工、用工单位与员工两个心理契约关系层面,其中派遣机构与员工心理契约关系层面中的派遣机构责任和员工责任均含有交易型责任、关系型责任两个维度;用工单位与员工心理契约关系层面中的用工单位责任和员工责任均含有规范型责任、人际型责任、发展型责任三个维度。 展开更多
关键词 劳务派遣员工 心理契约 结构 探索性分析 验证性分析
在线阅读 下载PDF
高管薪酬契约激励缘何失效?——基于契约全流程视角的整合分析 预览
9
作者 陈邑早 白智奇 于洪鉴 《东北财经大学学报》 2019年第3期55-62,共8页
契约理论一直以来被公认为是解决委托代理问题的有效治理框架,但是由于现实情景的权变性和行为个体的异质性,契约安排并非总是有效的。本文基于契约理论框架,从契约全流程视角切入,对契约激励的缘起以及已知的实施效果进行回顾,而后从... 契约理论一直以来被公认为是解决委托代理问题的有效治理框架,但是由于现实情景的权变性和行为个体的异质性,契约安排并非总是有效的。本文基于契约理论框架,从契约全流程视角切入,对契约激励的缘起以及已知的实施效果进行回顾,而后从契约激励的设定偏差、执行偏差与核定偏差三个维度对高管薪酬契约激励偏差的内在成因进行探讨和分析,尝试性地回答了“高管薪酬契约激励机制缘何失效”的问题。总之,契约安排的有效性需要纳入多方因素予以考量,否则将会产生适得其反的激励效用。 展开更多
关键词 高管薪酬 契约激励失效 设定偏差 执行偏差 核定偏差
在线阅读 下载PDF
信息验证成本与P2P三方担保合约:一个比较金融组织的分析 预览
10
作者 王剑锋 《华中师范大学学报:人文社会科学版》 CSSCI 北大核心 2018年第6期61-73,共13页
在揭示信用的合约意涵的经济史分析基础上,本文通过构建一个考虑三阶交易成本的比较金融组织分析框架,将P2P合约选择的差异性问题归因于信息验证成本因素。主要研究结论如下:第一,基于中国相对薄弱的征信基础设施,为满足投资者的参与约... 在揭示信用的合约意涵的经济史分析基础上,本文通过构建一个考虑三阶交易成本的比较金融组织分析框架,将P2P合约选择的差异性问题归因于信息验证成本因素。主要研究结论如下:第一,基于中国相对薄弱的征信基础设施,为满足投资者的参与约束条件,平台不仅要生产出较多的信息量,还必须解决其可置信问题。第二,P2P合约包括投资者验证与专业机构验证两种类型,后者在平台生产信息量较高的情形下具有成本优势。以三方担保形式出现的专业机构验证型P2P合约,不仅具有本土化创新的理论含义,也很可能是趋向纯信息中介模式过程中的过渡形态。第三,理论与数值模拟分析表明,随着经营实践的展开,平台很可能会以市场自发的方式逐步实现“去担保化”。 展开更多
关键词 P2P三方担保合约 信息验证成本 交易成本 比较金融组织分析
在线阅读 下载PDF
一个高效的基于RSA签名的合同签署协议 预览
11
作者 张慧芳 王晓峰 +1 位作者 杨瑞兰 武晓峰 《计算机工程与应用》 CSCD 北大核心 2011年第11期 75-77,117,共4页
公平交换在电子商务活动中起着越来越重要的作用,合同签署协议是公平交换的一种具体实例。基于可转化签名思想和非交互的认证技术,提出一个新的合同签署协议,分析表明,新协议不仅具有优化性、公平性、实时终止性、无滥用性、TTP的无状... 公平交换在电子商务活动中起着越来越重要的作用,合同签署协议是公平交换的一种具体实例。基于可转化签名思想和非交互的认证技术,提出一个新的合同签署协议,分析表明,新协议不仅具有优化性、公平性、实时终止性、无滥用性、TTP的无状态性等优点,而且具有高效性的特点。 展开更多
关键词 公平交换 合同签署 可转化签名 非交互认证
在线阅读 下载PDF
全过程建筑合同能源管理 预览 被引量:1
12
作者 龙惟定 梁浩 《电力需求侧管理》 2011年第4期 5-10,共6页
阐述了建筑合同能源管理的概念、国内发展情况、运作模式、融资平台、节能量认证方法以及建筑节能服务公司的分类及经营流程,分析了制约我国建筑合同能源管理发展的主要因素和电网公司进行建筑合同能源管理的必要性以及相关优势,最后给... 阐述了建筑合同能源管理的概念、国内发展情况、运作模式、融资平台、节能量认证方法以及建筑节能服务公司的分类及经营流程,分析了制约我国建筑合同能源管理发展的主要因素和电网公司进行建筑合同能源管理的必要性以及相关优势,最后给出了政策建议。 展开更多
关键词 建筑合同能源管理 运作模式 节能量认证
在线阅读 下载PDF
大截面导线耐张线夹压接工艺 被引量:12
13
作者 吴国洪 袁志平 《电力建设》 2010年第5期126-129,共4页
大截面导线与耐张线夹在发电厂、变电站使用的较多,其具体的压接工艺各有不同,压接的效果评定不很严格。经过对NY-1400耐张线夹压接工艺进行分析、计算和试验验证,提出大截面导线与耐张线夹压接工艺应遵循的原则以及压接过程中应避免的... 大截面导线与耐张线夹在发电厂、变电站使用的较多,其具体的压接工艺各有不同,压接的效果评定不很严格。经过对NY-1400耐张线夹压接工艺进行分析、计算和试验验证,提出大截面导线与耐张线夹压接工艺应遵循的原则以及压接过程中应避免的质量隐患,为大截面导线的压接质量提供保证。 展开更多
关键词 大截面导线 耐张线夹 压接工艺 压接设备 工艺检查 试验验证
支持契约式设计的Java静态验证器的研究 预览 被引量:1
14
作者 章程 赵建军 +1 位作者 沈备军 陈昊鹏 《计算机应用与软件》 CSCD 北大核心 2008年第5期 134-136,共3页
基于对Java编译器的扩展和静态验证技术提出了VefiJava项目,与相关工作相比,它的优点在于从语言层面扩展了Java,并且全面支持动态和静态的契约检查。首先介绍了VefiJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨... 基于对Java编译器的扩展和静态验证技术提出了VefiJava项目,与相关工作相比,它的优点在于从语言层面扩展了Java,并且全面支持动态和静态的契约检查。首先介绍了VefiJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。 展开更多
关键词 契约式设计(DBC) JAVA 静态验证
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈