基于隐性边合约的团队合作激励机制

针对团队激励内在的搭便车问题,以动态博弈论为分析工具,通过引入团队生产中存在横向监督这一合理假设条件,研究设计了一种基于隐性边合约的团队合作动态激励机制．理论分析表明,这种在第一阶段采用严格群体激励相容合约,在第二阶段采用个体激励相容合约的动态激励机制．通过两阶段重复博弈就能够在风险回避和随机生产过程的一般条件下唯一地实施团队合作．     

基于横向监督的联合激励合约

标准委托代理理论给出的独立激励合约只能实现二级最优努力,针对这一问题,分析了横向监督下即当独立代理人之间能够相互监督时的最优激励合约,指出同时基于个人产出和他人产出的联合激励合约能够在横向监督下实现一级最优努力．结果表明,横向监督使代理人之间能够签订隐性边合约,而第一阶段采用严格团体激励相容合约,第二阶段采用个体激励相容合约的动态联合激励合约机制,使得隐性边合约规定的报复机制既是可行的也是可信的,因此能够实现最优激励．     

智能合约安全综述:漏洞分析

加密货币比特币的出现带动了区块链技术的蓬勃发展,智能合约技术则是区块链技术中的一个技术高地.目前以太坊中的智能合约应用受到大量的关注,创造了海量的价值应用,同时也带来了密集的攻击活动.随着智能合约的数量越来越多,尤其是智能合约中的代码漏洞也逐渐被许多研究人员和恶意攻击者发现,造成了一系列重大的经济损失案件.为了对智能合约技术的稳定性发展提供理论研究基础,文章针对以太坊上已知的智能合约漏洞进行了介绍、分类和总结,并对智能合约安全漏洞进行详细的原理阐述与场景代码复现.     

特许权合约中政府的收入担保水平分析

在特许权合约设计中,当政府对特许权企业的收入水平进行担保时,由于单位政府财政资金的成本总是大于零,当担保产生的消费者剩余增加不能大于因担保支付的财政资金成本时,社会福利水平就会降低．因此,政府担保水平的确定,需要权衡消费者剩余和财政资金成本．笔者将特许权合约看作一个委托代理框架下的报酬合约,通过利用动态博弈中的逆推归纳法,对在政府担保水平最优条件下特许权人为风险中性的特许权合约进行分析,指出特许权项目的用户付费定价取决于财政资金成本和产品需求弹性．     

基于博弈论与系统动力学的企业人力资本定价

构建人力资本定价对企业合约牢固度影响的系统动力学模型，运用博弈论对该模型进行动静态分析，发现只有当定价使人力资本与非人力资本对投资回报率均满意时，企业合约才是稳定牢固的．在对假设进行修正的基础上，得到定价应当遵循的三大原则：双赢原则；间接、多次、动态原则；鼓励再投资原则．     

混杂动态系统理论及其在电力系统中的应用

混杂系统是计算机技术和控制理论相结合的产物，是近年来新兴的领域．介绍了混杂动态系统的建模、分析与综合以及仿真及其在电力系统中的应用，并分析了这些应用中一些技术和理论上的难点和研究方向，探讨了混杂系统在电力系统中的应用前景．     

对动态IP地址进行捕获和应用的一般方法

接入Interner的计算机用户都对应一个唯一的IP地址．本文旨在提出如何对动态IP地址进行捕获及应用．介绍动态IP地址捕获工具Dynamlp，以及Dynamlp的主要功能和安装设置，并以实例来证明．     

人力资本出资的合理性

传统公司法理论一般坚持以物力资本作为出资的重要形态,以求发挥资本的信用与担保功能．在新经济条件下,随着人力资本在企业发展中的作用日益显,现代企业已成为一个由人力资本与物力资本共同组成．并且人力资本日益占主导地位的特别合约．从人力资本出资这一视角出发,运用比较分析、辨证分析等方法,详细考察了人力资本出资的合理性．     

楔横轧机模拟液压压下系统自适应控制

介绍了针对楔横轧机采用液压压下进行辊缝调节基于Popov-Landau超稳定理论设计电液模型参考自适应控制系统．给出了算法，设计方法，理论分析及数字仿真结果，表明这种MRAC系统具有良好的静、动态性能，并具备一定的跟随性及抗干扰能力，控制器形式简单，易于现场应用．     

混沌投资时间序列的分形维数谱的相变

利用与热力学的相变理论进行类比的方法，对混沌投资时间序列的分形维数谱的静态相变和动态相变及其应用进行了探讨和介绍．     

考虑过度自信的薪酬合同实验分析

用实验分析的方法探索不同风险态度时,股东对过度自信CEO的最优薪酬合同设计问题.通过建立股东和过度自信CEO的委托代理关系模型,并构造具体的数值实例解出最优薪酬合同后,在实验室的环境下控制CEO的风险态度及过度自信程度,检验理论模型中的最优解是否实现,从而为股东设计CEO的薪酬合同提供更加有效的参考和借鉴.实验结果表明,通过学习效应,股东和CEO的选择都向最优行动收敛,而且都显著水平地选择了理论预测的最优行动.最优的薪酬合同设计是,当CEO风险厌恶时,对低过度自信和高过度自信的CEO提供的薪酬分享系数较低,而中过度自信CEO的薪酬分享系数较高;当CEO风险中性时,对低过度自信和中过度自信的CEO提供的薪酬分享系数较高,而高过度自信CEO的薪酬分享系数较低.     

论合同相对性原则的例外

作为合同规则和制度赖以存在的基础和前提,合同相对性理论在合同制度中的地位尤为重要,整部合同法也贯穿了这一原则。但随着商业交易的不断发展,合同相对性理论被不断突破：第三人利益合同、附保护第三人作用之契约、利益第三人担保责任、第三人侵害债权制度、合同保全及租赁物权化等制度共同体现了合同的涉他效力,对传统合同相对性理论提出了挑战。     

违约责任中的精神损害赔偿

随着人权保护的力度不断加大，各国的立法、判例开始呈现出对因违约引发的精神损害给予赔偿的发展趋势。并非所有的违约所造成的精神损害都是不可预见的，精神损害的产生也并非与侵权有必然的联系，因此违约并不当然排斥精神损害赔偿。在一些订立合同时即可预见到精神损害的场合，特别是以获取精神利益为目的的合同中，在一定条件下可以允许受害方请求精神损害赔偿。     

Study on the Application of Economic and Trade Law to International Cargo Contracts

In economic and trade transactions, lawsuits of contractsfor international sale of goods are unavoidable. On theseinternational commercial lawsuits, how to use the law ofeconomic and trade suitably and how to strive for the ini-tiative are rather important links in settling the disputesof contracts for international sale of goods. Around aconcrete contract dispute, this article will investigate andanalyse those relevant legal problems, so as to help theself - protection consciousness and the trade practice ofthe parties.     

基于变更的最优承包合同的研究

建设项目承包合同的不完全性、信息的非对称性以及承发包双方的信用危机共同作用,产生了隐藏信息的道德风险以及由此引起的非效率性问题、本研究采用动态博弈理论,建立了以政府机构为主导地位的,承发包双方针对施工条件变化,围绕着工期、合同价变更的不完全合同模型．研究表明,通过确定合理的施工条件、工期、承包价及合同变更规则,承包合同可以引导承发包双方投资,避免隐藏信息的道德风险,实现社会福利最优、     

电力合约市场中零售商的策略行为研究

在电力市场中发电商利用其寡头垄断地位施行市场力以谋取超额利润,但零售商与发电商之间的远期合约可以抑制这种市场力.在两个零售商与两个发电商的电力市场中,运用博弈论,建立了零售商之间竞争发电商合约的签约博弈模型和领导者-随从博弈模型,分析了在现货市场前的合约市场中零售商主动采取合约竞标策略,提供经济激励,鼓励发电商进入合约市场,并解释了"当发电商具有市场力时,远期价格高于现货市场价格"的现象,证明了零售商这种主动合约策略行为能够实现社会福利最大化.     

集群中知识密集型服务业创新扩散及补偿机制

基于国际贸易中的技术差距理论,提出知识密集型服务业创新扩散过程.针对已有研究的局限性,利用动态博弈的激励设计理论,构建鼓励创新及其专有知识溢出的补偿机制.研究结果表明,在不同的扩散成本下,补偿合同具有不同形式.     

结合多尺度特征和多维注意力的人脸风格转换

针对StarGANv2模型生成的人脸图像存在风格重建效果不佳、人脸纹理不够自然等现象,该文提出结合多尺度特征和多维注意力的人脸风格转换模型.1)将多尺度特征融合模块PSConv嵌入StarGANv2生成器内,提高了模型对图像特征的提取能力;2)提出了多维注意力模块MDConv,并将该模块嵌入StarGANv2判别器内,从而提高了模型对真假人脸图像的判别能力.与StarGANv2方法在CelebA-HQ数据集上进行对比实验的结果表明：该方法生成的人脸图像风格更美观,纹理细节更自然,学习感知图像相似度(LPIPS)的值也得到了提升.     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.