法律智能合约平台模型的研究与设计

现有的智能合约技术本质上只是一段链上代码,而真正的智能合约应是法律合约的数字化,可以实现合约条款的自动执行.为此,介绍了法律智能合约的重要科技,包括法律考量、预言机、事件模型等基础设施,在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤,通过对法律流程标准的研究提出了设计智能合约模版的方法.为解决智能合约模...     

基于EPC联合体的绩效评价模型研究

对EPC项目中的联合体这一组织结构进行了分析,指出了其中的特殊性与复杂性,提出双层矩阵式组织结构的概念,并在此基础上提出了相应的绩效评价模型,最后以一个石化项目为例进行了实证分析.     

基于量子博弈的产学研协同创新激励机制研究

本文引入了量子博弈的分析范式来研究产学研协同创新的激励机制,构建了产学研协同创新的量子博弈模型.对是否考虑纠缠态的情形做了比较研究,结果表明,考虑了纠缠态后,努力的一方不必再承担对方"背叛"的风险,在一定程度上解决了经典博弈中的"囚徒困境"问题.在产学研协同创新的情境下,协同双方需要在协同开始前商榷并委托第三方确定可被观测到的、易于量化的相关绩效指标,并签订"纠缠合同",确保协同双方均没有动机去采取非量子策略,这时采用最大努力程度的完全量子策略对协同双方来说均是最优的.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

试论劳动合同期满终止劳动合同的经济补偿

《中华人民共和国劳动合同法》第四十六条规定了劳动合同期满终止劳动合同的经济补偿,该条款引起了社会上的较大争议。规定劳动合同期满终止的经济补偿符合劳动合同法的立法宗旨,符合我国劳工标准不断提高的要求,但是《劳动合同法》关于劳动合同期满终止劳动合同的经济补偿仍有几点值得商榷。     

如何恰当激励零售商的过程创新行为

回购契约可以协调单供应商单零售商组成的供应链系统的订货行为,然而本文研究发现这一契约将过份地激励零售商的过程创新行为,从而损害供应商及整个供应链的利益．在零售商的过程创新行为不可被供应商观察和测量的条件下,利用数量折扣契约机制修正了原有回购契约,并利用这种综合契约机制恰当地激励了零售商的过程创新行为,使得供应链在创新行为下达到协调．     

基于重复博弈的集群企业间社会关系构建分析

针对我国外生模式及混合内生模式集群中核心企业与依附企业间的主从支配关系,将核心企业与依附企业间的社会关系收益进行量化,讨论了核心企业与依附企业间的社会关系构建及维持的影响因素及内在机制.研究表明,核心企业与依附企业间的社会关系构建与维持取决于核心企业对双方社会关系价值的预期以及依附企业的市场价格;核心企业依据依附企业的市场价格来分割双方的社会关系收益;而依附企业可以通过提高自身的价值,获取更高的社会关系收益分割值,缔结和维持有利于自身和集群成长的社会关系.     

行政合同概念之检讨与重塑

行政合同概念的界定是研究进而规范行政合同的基础。长期以来,学界关于行政合同概念的界定多有分歧,主要表现在行政合同主体的范围、行政合同法律关系的归属、行政合同主体的意思自治程度、行政合同主体的地位等方面。从行政合同的主体要素、内容要素、意思要素、目的要素、地位要素和形式要素等方面进行综合分析,可以对行政合同作如下界定,即所谓"行政合同",是指为了公共目的,行政主体与行政相对人依法设立、变更、终止行政法上权利义务关系的协议及以之为载体实施行政行为的方式。     

数字图书馆版权问题初探

阐述了数字图书馆的定位和版权问题的由来,介绍了我国数字图书馆版权问题的现状,提出了解决数字图书馆版权问题的初步设想和办法,并呼吁有关各方采取合作的态度促进数字图书馆的健康发展。     

技术交易的契约特征研究

从新制度经济学的一个角度——契约理论来探讨技术产权交易的契特征,先从实践角度提出问题,再从理论角度探讨技术产权交易契约不同特征的原因,最后从实践角度给出具体说明。调查了上海市1991-2003年的技术产权交易契约特征,提出行业及其行业知识的特性对技术产权交易契约的特征有极大影响。