模糊需求依赖价格的回购契约协调模型研究

运用可信理论分别建立了分散、集中决策和回购契约下的供应链协调模型，对3个模型分别进行求解．通过比较最优解，得到回购契约下能够使系统达到最优．并通过实例进行分析，结果表明：回购契约下供应链的整体利润相对于分散决策下提高了19．9％，实现了供应商和零售商的双赢，验证了模型的正确性．     

基于博弈论的供应链价格协调研究

在博弈论框架下针对一个由单一买方和单一卖方组成的供应链系统,研究了在需求具有价格弹性时两阶段供应链的定价协调问题,该问题以整个供应链渠道的总利润最大化为目标,把买卖双方的个体理性作为约束条件.研究了两个非合作博弈模型和一个合作博弈模型,通过比较分析建立了可转移效用(返利)形式的协调机制,该机制能有效改善供应链渠道和成员的利润,数值实例表明该协调机制达到双赢的结果是稳定可行的,对供应链协调具有指导意义.     

政府激励条件下的闭环供应链协调应对突发事件研究

考虑由单个制造商和单个零售商组成的闭环供应链,制造商负责产品的制造与再制造,零售商负责产品的销售和废旧品的回收,并将回收来的废旧品卖给制造商进行再制造,政府将对制造商回收废旧品进行激励.首先分析了正常情况下回馈与惩罚契约对闭环供应链的协调作用;然后分析了突发事件导致顾客需求及废旧品回收两个市场规模同时变化对闭环供应链的影响,研究表明闭环供应链在原回馈与惩罚契约下的协调将失效,为此给出了闭环供应链应对突发事件的策略,指出调整后的回馈与惩罚契约具有抗突发事件性.     

闭环供应链的契约协调比较研究

文章着眼于零售商回收模式,研究分析了零售商回收模式下的闭环供应链的二部定价契约和收益共享契约对闭环供应链的协调作用。通过逆向求导法分别求出了二部定价契约和收益共享契约下闭环供应链的收益。研究发现二部契约和收益共享契约均对零售商回收模式下的闭环供应链起到了协调作用,但是二部定价契约决策下的回收转移支付要低于收益共享契约决策下的回收转移支付。再者,二部定价契约下,制造商需向支付零售商货位补贴,进而达到供应链协调;而在收益共享契约下,零售商因为从批发价和回收转移支付中获得了好处,进而使得供应链获得协调。     

零售商广告投资对双渠道参与者的影响研究

研究考虑了由一个制造商和一个零售商组成的动态博弈模型,制造商通过零售商和直销渠道销售商品的双渠道供应链。其中,制造商与零售商均通过广告投资影响商誉进而影响销量,制造商投资全国性广告对双渠道都起促进作用,零售商可以选择对双渠道都促进作用的广告也可以选择只对自身零售渠道起促进作用的广告。研究结果表明,零售商做的广告对制造商的直销渠道的影响是积极的,并且积极作用越大的时候制造商能得到更多的利润,而零售商的收益却与其广告的类型及作用大小无关。     

供应链网络均衡中的利润协调问题

分析并建立了供应链网络均衡模型,指出供应链中的均衡状态往往是不可能达到的,因为均衡时制造商和零售商的利润是固定的,而这种固定的利润分配未必使双方都满意。在供应链网络均衡中引进回收合约,克服了上述弊端。即通过回收合约的协调,使得在制造商和零售商都满意的利润分配下达到均衡状态。     

农产品供应链中的农企契约关系强化研究

市场经济飞速发展的今天,农产品供应链合作企业间违约风险越来越多,企业在生产经营过程中受到经济利益的诱惑已经越来越难以做到"诚信为本",最典型的表现为企业与农户间的互相违约行为。农企契约关系变得很不稳定,对农户、企业及社会都造成了很大危害。本文通过分析弱化的契约关系的危害及成因,提出强化农企契约关系的若干途径。     

基于双边道德风险的公路工程监理关系契约模型

基于委托代理理论,构建了公路工程监理关系契约模型,得出仅在正式契约条件下不能引导委托代理双方共同努力,不能使项目系统收益最大.公路工程监理关系契约能有效地促进项目业主和公路工程监理双方建立长久的合作关系,促进契约双方"自我履约性"行为的实施,有效地激励公路工程监理努力程度提高,减少契约双方的机会主义及自利行为倾向,达到控制和消除契约双方道德风险的目的.     

闭环回收供应链中牛鞭效应量化分析

环保和资源的问题关系到整个社会和环境,现代制造越来越注重资源的可持续化应用。将牛鞭效应的量化与控制引入闭环供应链的研究中,有效测量了有回收的供应链中的牛鞭效应。结合传统制造业的制造及分销渠道,运用运筹学及数学理论建立了一个由生产者、销售者及回收渠道组成的供应链模型,并进行数值实验计算和分析。结果表明:牛鞭效应仍存在于具有回收途径的供应链中,减少回收产品直接销售并重新加工能够降低整体供应链的牛鞭效应。     

基于学习契约的CSCL系统设计

应用学习契约来提高计算机支持的协作学习(CSCL)中学习者的学习绩效.论述了学习契约和CSCL的内涵,设计了基于学习契约的CSCL系统.结合系统的使用流程,论述了该系统各功能模块.     

论电子商务合同的法律适用

本文主要研究了电子商务对传统冲突法的冲击,电子商务合同的连接点确定以及电子商务合同的法律适用原则,并就此提出了自己的一些观点和看法。     

一种基于区块链的电子合同共享方案

为解决电子合同在存储、共享过程中出现的数据被篡改或泄露等问题,提出了一种基于区块链的电子合同共享方案。首先,将智能合约与代理重加密技术相结合,构造出一个代理智能合约来代替传统代理重加密过程中的代理商,去中心化地实现了电子合同的安全共享。其次,利用星际文件系统（inter planetary file system, IPFS）存储电子合同密文,区块链存储电子合同索引地址,有效缓解了区块链的存储压力。最后,从方案对比、安全性等方面对所提方案进行分析。     

异构多链场景下跨境海产品供应链平台的架构设计与实现

对于传统海产品供应链中存在的数据造假、透明度低、难以追踪等问题,可以使用区块链技术解决;如果供应链上各组织采用无法进行数据交换和功能互补的异构区块链,就会带来价值孤岛问题。为此,选择基于中继机制的BitXHub跨链解决方案,设计并实现了一个支持主流区块链Hyperledger Fabric和Ethereum互操作的跨境海产品供应链平台。实验结果表明：该设计方案可以使系统每秒处理的交易数量达到937,能够满足实际场景下的业务需求。     

SlightDetection：一种以太坊智能合约安全漏洞的静态分析工具

以太坊智能合约若存在安全漏洞，则会导致无可估量的损失。为缓解该问题，提出了一种以静态程序分析技术实现代码全覆盖的智能合约漏洞检测工具SlightDetection。该工具将智能合约源代码转化为对应的抽象语法树，并翻译为XML中间表示；以几个经典漏洞的特征为例，书写自定义的XPath规则库；将XML中间表示与XPath库作为输入不断遍历XPath规则库并进行匹配，最终得到漏洞检测的报告。该文测试了3个经典合约，充分展示了SlightDetection具有更快、更准确的检测特性；对Etherscan上提供的大量智能合约进行测试并对其中100多份合约进行了手动验证，进一步证明了该工具的有效性。     

基于承诺方案的去中心化可信众包平台设计与实现

为去除传统众包对第三方中心机构的依赖,同时保障众包任务的公平分配和结果的可信提交,提出了一种基于区块链智能合约的可信众包平台设计方案。首先提出了一种基于承诺的两阶段提交机制,并将其运用至接包者的数据提交过程中,以解决区块链上的数据透明度问题,使接包者之间无法相互窃取数据;其次设计了一种无偏随机选择算法,从分散的接包者池中选择相对独立的接包者,杜绝了接包者之间可能的串谋;最后通过模拟选人实验和以太坊上原型系统的实现,验证了选人算法的随机性和整体方案的可行性。     

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

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

试论合同解除的法律后果

合同解除的法律后果包括合同解除的溯及力和合同解除后的财产处理。合同解除可以具有溯及力,但这只是一种可能性,具体到某一特殊合同时,要使这种可能性转化为现实性,必须综合考虑各种因素,具体合同具体分析。合同解除后的财产处理包括恢复原状、不当得利返还和损害赔偿等。     

带时间约束的智能合约验证

在现实生活中有一类智能合约与时间紧密相关，而合约是否满足这类时间性质将直接影响应用的正确性。为了避免合约部署后出现严重的问题，将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义，再将智能合约转换为时间自动机模型，接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质。最后对竞拍合约以及飞机保险购买合约进行了实例研究，其结果可以展示合约的实时性质是否得以满足。若不满足则可以根据反例定位合约出现的问题点，显示了该工作的有效性。     

牌类游戏可信存证链系统

目前，市面上棋牌类游戏的信任问题一直得不到有效解决，外挂等作弊手段层出不穷.为此，基于当下区块链去中心化、防篡改的特点提出了一种牌类游戏防作弊方法.通过API接入玩家的牌面信息，使用Huffman Merkle Hash tree （HuffMHT）算法对牌面信息进行数据压缩，采用多种加密算法对压缩后的数据进行加密，并编写智能合约将加密信息锚定在区块链上.任何人只需对比区块链上的发牌信息和出牌信息即可发现是否作弊.实验结果表明，该方法能有效解决牌类游戏的信任问题，确保牌类游戏的安全.