合约设计

摘要： 客户企业在实施SaaS云外包时,面临因云服务提供商(cloud service provider,CSP)成本结构信息不完全所带来的风险.针对CSP成本结构中服务质量可验证,而效率参数不可观测所引发的不完全信息问题,以客户企业期望收益最大化为目标,设计外包合约激励CSP显示真实成本结构信息,提供最优服务质量及努力水平,并与完全信息下的外包合约激励效果进行比较分析.研究表明,客户企业在设计外包合约时,效率参数较高情况下,可忽略CSP的激励相容约束,反之参与约束;效率参数较高时CSP的边际成本不低于效率参数较低时CSP的边际成本,其服务质量不高于效率参数较低时CSP提供的服务质量;效率参数较高时,不完全信息下CSP提供的最优努力水平、服务质量,以及所获得的服务报酬均不高于完全信息下的取值;效率参数较低时,CSP提供的服务质量及努力水平与完全信息下相同,客户企业向CSP支付的服务报酬不低于完全信息下的服务报酬.

摘要： 中证期是国内横跨证券与期货两大市场的专业期刊,基于"十四五"规划和二〇三五年远景目标的建议以及资本市场的前沿趋势,2021年拟策划重点选题方向如下,欢迎专家、学者和业内人士踊跃投稿。(1)"两新一重"建设与资本市场研究(2)以促进实现碳达峰、碳中和为目标完善绿色金融体系(3)期货市场助力提高粮食、重要农产品等现货供给保障能力(4)加强债券市场建设,更好地发挥多层次资本市场作用(5)积极推进期货市场法治建设,为深化改革、扩大开放保驾护航(6)丰富完善我国期货市场体系的新品种合约设计与解读(7)全面推广"保险+期货"试点,精准发力农村振兴(8)数字金融转型发展及其对资本市场的影响(9)金融机构高质量转型发展的绩效及考核研究(10)地方政府债务情况及风险防范问题研究(11)金融安全与现代金融监管体系建设(12)区块链技术与数字金融革命(13)资本市场助力"双循环"新发展格局(14)国债期权市场建设与金融体系风险管理(15)科技创新助推资本市场发展同时,本刊按照国际及国内有关编排规范,对来稿形式及内容进行如下约定。

摘要： 在国际期货市场上,生鲜类期货品种是具有创新性的期货类别,其中芝加哥商品交易所的生猪、活牛期货品种是运行成功的畜类期货品种.在中国,生猪品种关乎国计民生,并已获批开展期货交易.通过分析国际期货市场上生鲜类期货品种合约设计与修订的经验,总结生鲜类期货合约设计中需要注意的原则与细节上的问题,同时结合我国生猪期货市场的现状,从合约特点、交割等级、升贴水的制定和调整、交割方式几个方面研究我国生猪期货成功运行的相关策略.

摘要： 针对国内场外期权研究存在理论定价远离真实案例,案例分析更多的仅是罗列事实的问题,本文以看跌玉米期货期权为例,阐明场外期权在设计逻辑、合约条款的确定、定价和风险对冲上的一般性原理.结论表明,场外期权的设计逻辑为价格风险的转移;合约条款中的有效期必须落在标的资产仍旧是主力合约的时期;利用蒙特卡洛模拟可以得到合理的期权费,但前提是要用GARCH(1,1)模型准确地算出历史波动率;利用固定区间风险对冲可获得对冲收益和转移风险.

摘要： 针对复杂创新型项目的投资合约中出现的道德风险与逆向选择问题,建立双臂赌博机模型,研究最优的监督技术设计,使监督在项目的开发阶段发挥双重作用以降低委托代理冲突,为委托人设计合约提供参考.一方面,监督代理人的项目报告可以激励其报告项目的真实进展,从而优化了实验效率,委托人的项目收益得以提高.另一方面,由于监督使委托人更准确地了解项目的技术进展,委托人可以通过延长实验了解更多项目信息以提高生产效率.此外,监督技术在实验阶段的前期引入效果最佳.

摘要： 天然气是中国的第3大支柱能源,天然气行业是保障我国能源安全和城市平稳运行的关键领域.然而,稳定供应所要求的气量盈余与气温偏差带来的消费量不确定性为燃气企业的经营管理带来了很大的不确定性,参考国外的经验,天气期货可以有效对冲上述经济风险.介绍天气期货的定义及交易原理,简述其在国内外的发展历程.结合气温变化对天然气行业造成的特定风险,借鉴国际上成熟的芝加哥商品交易所的天气指数期货进行了天气指数期货合约设计.提出推出天气期货有助于完善我国天然气价格体系、对冲进口商贸易风险以及更好地实现市场的价格发现功能.

摘要： 资产证券化融资过程中由于对发行机构缺少激励机制,致使进入资产池的资产具有很高的违约率,这一现象引发了最近的全球金融危机。为此,考虑投资者的收益依赖于资产池的质量合约设计模型。假设投资者时间偏好一致,而发行机构时间偏好不一致。基于资产证券化最优合约设计和时间偏好不一致理论,构建了动态的委托代理模型,解析地给出了合约的执行时刻、激励费用与平均激励成本表达式,并分析了时间偏好不一致特质对其影响。进一步分析了最优激励费用执行时刻、激励费用和平均激励成本与资产池的资产规模之间的关系。结论表明:时间偏好不一致特性不影响合约的最优执行时刻,但增加了激励费用与平均激励成本;本文的结论与从信息角度研究的结论类似,时间偏好不一致特质也解释了资产池的"风险分散效应"和"信息成本效应"之间的效应权衡规律。

摘要： 外汇期货具有微观、宏观等风险规避和经济调节功能,我国的人民币国际化战略通过外汇管理体制的改革,逐步从严格的外汇头寸管制和汇率控制,向市场化方向推进.人民币外汇期货在人民币国际化的过程中,为境内外的市场主体提供了汇率波动的避险工具,也为国家的汇率管理者提供了价格管理的市场化工具.人民币国际化是一个渐进的过程,外汇期货的合约设计和监管制度必须符合该过程的基本特点,反应市场对该进程中汇率风险的管理要求,合理的人民币外汇期货的推出对人民币国际化具有正面作用.

摘要： 分析了我国大宗商品期货市场话语权缺失的原因，建议完善我国期货交易合约的设计，扩大我国期货市场的开放程度，引入机构投资者，丰富套期保值品种、引入期权交易。

摘要： 分析了我国大宗商品期货市场话语权缺失的原因，建议完善我国期货交易合约的设计，扩大我国期货市场的开放程度，引入机构投资者，丰富套期保值品种、引入期权交易。

摘要： 分析了我国大宗商品期货市场话语权缺失的原因，建议完善我国期货交易合约的设计，扩大我国期货市场的开放程度，引入机构投资者，丰富套期保值品种、引入期权交易。

摘要： 分析了我国大宗商品期货市场话语权缺失的原因，建议完善我国期货交易合约的设计，扩大我国期货市场的开放程度，引入机构投资者，丰富套期保值品种、引入期权交易。

摘要： 分析了我国大宗商品期货市场话语权缺失的原因，建议完善我国期货交易合约的设计，扩大我国期货市场的开放程度，引入机构投资者，丰富套期保值品种、引入期权交易。

摘要： 分析了我国大宗商品期货市场话语权缺失的原因，建议完善我国期货交易合约的设计，扩大我国期货市场的开放程度，引入机构投资者，丰富套期保值品种、引入期权交易。

摘要： 介绍了中国东方电气集团东方电机有限公司在抽水蓄能机组引进技术方面所做的工作和消化吸收再创新的部分成果,以及所承担项目的执行情况.

摘要： 介绍了中国东方电气集团东方电机有限公司在抽水蓄能机组引进技术方面所做的工作和消化吸收再创新的部分成果,以及所承担项目的执行情况.

摘要： 介绍了中国东方电气集团东方电机有限公司在抽水蓄能机组引进技术方面所做的工作和消化吸收再创新的部分成果,以及所承担项目的执行情况.

摘要： 在保持1个交易中具有1个电子签名的方式的同时，一边在相关人员间取得合意一边以简单的方法将合约的证据留在区块链中。另外，在保持1个交易中具有1个电子签名的方式的同时，一边在相关人员间取得合意一边以简单的方法将合约的证据保持可靠性地留在区块链中。使与合约合意有关的发行者侧终端(1)、合意者侧终端(3a)以及合意者侧终端(3b)的各交易链接，最后的合意者侧终端(3b)以合约发行源的发行者侧终端(1)为目的地生成交易。另外，这些各终端预先生成用于加密合约书的密钥对，并将其加密密钥发送到交易的发送方的终端，该发送方的终端使用该接收方的加密密钥对包含在本终端用户的交易中的合约书进行加密。

摘要： 本发明提出一种智能合约预言机设计原则，包括：（1）预言机的数据来源为多个单位组织或物联网提交到区块链上的包含签名的原始数据；（2）预言机获得多个数据来源方提交的链上数据后记录关键属性或采取生物信息；（3）预言机将获取到的信息进行交互验证，得到可靠性评分，交互验证通过率越大、越可靠的数据评分越高；（4）完成可靠性评分后，预言机将包括可靠性评分在内的数据放到区块链上存储；（5）预言机与其他区块链或智能合约连接，向其提供包含可靠性评分的数据，并对数据签名；（6）不同的智能合约、区块链可设置自己的可靠性评分阈值k，当预言机传输数据的可靠性评分大于等于k时，才可被智能合约或区块链接收。

摘要： 在保持1个交易中具有1个电子签名的方式的同时，一边在相关人员间取得合意一边以简单的方法将合约的证据留在区块链中。另外，在保持1个交易中具有1个电子签名的方式的同时，一边在相关人员间取得合意一边以简单的方法将合约的证据保持可靠性地留在区块链中。使与合约合意有关的发行者侧终端(1)、合意者侧终端(3a)以及合意者侧终端(3b)的各交易链接，最后的合意者侧终端(3b)以合约发行源的发行者侧终端(1)为目的地生成交易。另外，这些各终端预先生成用于加密合约书的密钥对，并将其加密密钥发送到交易的发送方的终端，该发送方的终端使用该接收方的加密密钥对包含在本终端用户的交易中的合约书进行加密。

摘要： 本发明公开了一种基于Event‑B形式化模型的智能合约代码设计生成方法，包括：步骤1，进行智能合约的需求分析，需求分析需要多方协调，用自然语言或领域特定语言DSL来描述智能合约的功能、属性和场景；步骤2，基于形式化模型Event‑B的语言准确地建立智能合约形式化模型并规约智能合约的属性；步骤3，基于形式化模型Event‑B，对智能合约形式化模型进行验证，对于没有通过验证的智能合约形式化模型进行反向校正和模型修改，直到通过验证；步骤4，基于EB2S运算子，将输入EB2S运算子的智能合约形式化模型对应输出Solidity智能合约代码。还公开了相应的基于Event‑B形式化模型的智能合约代码设计生成系统和电子设备，解决智能合约现有安全问题以及形式化方法与智能合约结合的不足。

摘要： 本发明公开了一种用于智能合约代码设计生成的EB2S系统，包括：EB2S插件以及Rodin平台，EB2S插件为Rodin的插件，EB2S插件调用Rodin平台提供的API输入一个Event‑B模型，获取Event‑B模型中的元素，元素包括集合、常量、公理、变量、事件；然后EB2S工具应用转换规则得到对应的Solidity合约文件。还公开了EB2S系统的使用方法，包括：安装Rodin平台，并同时安装该EB2S插件；打开EB2S插件后，会弹出一个交互界面，用户通过中间的下拉菜单选择需要转换的项目名称，然后可以选择“全部转换”或“部分转换”模式；输入指定的项目文件，在项目所在路径上生成一个Solidity文件夹，里面保存着生成的日志文件和Solidity合约文件，通过选择的“全部转换”或“部分转换”模式进行转换。

摘要： 本发明涉及一种特高压桥臂电抗器包封参数的混合约束设计方法，提出交直流复合工况下的等效电磁模型，以工频下得到的结构参数为准，在此基础上求解其他频次的包封电流，并在计算时考虑到实际的过负荷、谐波工况；提出基于权系数的混合约束设计方法，形成包封电流密度、电阻电压和温升混合的约束条件，提出权系数调整策略，并建立目标函数量化比较不同设计算例，在此基础上，针对不同的电抗器实际需求，构建三种目标函数，明确优化流程，利用梯度下降法对包封结构进一步优化。针对800kV桥臂电抗器实例，采用混合约束设计在各项指标中取“折中”，通过样机的系列测试验证了设计方法的有效性。本设计方法对提高桥臂电抗器运行可靠性具有一定意义。

摘要： 本发明公开了一种基于合约设计的移动边缘计算任务卸载最优合约设计方法，包括以下步骤：A：建立移动边缘计算网络模型、本地计算模型、边缘云计算模型、用户的效用函数和云服务商效用函数；B：根据步骤A中建立的模型和函数，将保证用户利益前提下的云服务商利润最大化问题转化为合约设计问题P1的目标函数；C：对于步骤B中的合约设计问题P1的目标函数进行求解，得到针对用户类型的基于合约设计的移动边缘计算任务卸载的最优合约，即用户类型的合约CPU循环周期数、合约存储量和合约价格。本发明能够将移动用户的任务合理地卸载到边缘服务器上，在保证每个用户的非负效益的同时又能最大化云服务商的利润。

摘要： 一种基于区块链合约范式的智能合约模板设计方法，它包括以下步骤：步骤1，通过合约范式生成器生成区块链合约范式；步骤2，通过智能合约设计器学习区块链合约范式；步骤3，通过区块链合约范式生成智能合约模板；步骤4，通过智能合约模板设计智能合约；步骤5，运行智能合约转换价值物凭证；步骤6，由数字货币发生器支付数字货币；步骤7，通过区块链在区块中记账；步骤8，智能合约执行结果返回合约范式生成器。本发明的目的是为解决基于区块链智能合约设计缺乏模板和范式的问题而提出的设计方法，通过合约范式和合约模板提升智能合约设计的标准化和安全性。

摘要： 本申请公开了一种集群式供应链下的混合合约设计方法和系统，本包括：根据目标函数和关键参数，构建若干个规划合约；再根据规划合约中的所述关键参数，构建每个规划合约的运输方案组合；基于适应度函数和改进的遗传算法，分别对每个规划合约的运输方案组合进行筛选更新，得到规划合约各自的最优匹配方案，进而得到最优合约和次优合约；再次基于适应度函数和改进的遗传算法，得到最优合约匹配方案和次优合约匹配方案；最终得到混合合约方案。本申请深入考虑了集群式供应链的特点和供应链上企业数量，选择最优的混合合约实现供给和需求的高效匹配，同时提高供应链整体利润和匹配率。本申请具有广阔的推广空间和使用价值。

摘要： 本发明公开了一种面向端对端电力交易的智能合约设计方法，涉及电力系统自动化技术领域，包括以下步骤：S1，将每个交易日划分为多个交易周期，购电方与售电方在每个交易周期开始时通过交易平台调用P2P交易智能合约实现下一个周期双边电能交易合约的签署，进入到交易交割时段；S2，在交易交割时段中，若购电方未能消费P2P交易智能合约签署的交易电量或售电方未能生产P2P交易智能合约签署的交易电量时，交易平台通过调用能量平衡智能合约实现实时电能的补充，保证P2P交易智能合约签署的交易电量正常执行；S3，当交易交割时段结束后，交易平台通过调用交易结算智能合约完成双边交易的货币结算。