“合约理论”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果108844个，建议您升级VIP下载更多相关专利

[发明专利]一种基于合约理论的认知无线电网络资源分配方法-CN201810725777.2有效
发明人：李立欣;颜文仲;张会生;高昂;李旭;梁微 -专利权人：西北工业大学
申请日： 2018-07-04 - 公布日： 2019-07-30 - 主分类号： H04W16/14 文献下载
摘要：本发明公开了一种基于合约理论的认知无线电网络资源分配方法，引入合约理论来解决强不完全信息条件下结合反向散射的射频的时间资源分配问题：在合约中，主用户PU和次用户SU分别作为合约的拟定方和签订方；在强不完全信息条件下，PU依照不同类型SU出现的概率为每个SU拟定最优合约；若拟定的合约能够同时满足SU的激励通用性IC和个体合理性IR条件，则SU会将该合约作为最有合约并签订该合约；即最优化合约问题化简为在同时满足IC和
合约理论认知无线电网络信息条件资源分配时间资源分配反向散射效用函数性能优化次用户问题化主用户最优化求解射频合理性引入概率

[发明专利]一种基于证据理论图学习的智能合约代码安全性检测方法-CN202211322557.8在审
发明人：彭浩;冉沛筠;刘明生;邹东成;黄翔;黄永建;张紫霓;李建欣 -专利权人：北京航空航天大学
申请日： 2022-10-27 - 公布日： 2023-03-07 - 主分类号： G06F21/57 文献下载
摘要：本发明公开一种基于证据理论图学习的智能合约代码安全性检测方法，包括步骤：对智能合约代码进行双构图处理，分别为函数视角构图和变量视角构图；对函数视角构图和变量视角构图进行归一化处理；用图神经网络分别对两种构图的节点信息处理本发明在智能合约的构图方面，通过采用两种不同的构图方式独立地得到漏洞检测结果，由于构图方法不同，得到的检测结果应当是互相独立的，符合DS证据理论的使用条件；在得到独立检测结果的基础上，利用DS证据理论将结果综合
一种基于证据理论学习智能合约代码安全性检测方法

[发明专利]基于区块链的智能合约逻辑漏洞检测方法及装置-CN202210296277.8在审
发明人：马爱莲;周颖;夏琼;刘彦平 -专利权人：中国工商银行股份有限公司
申请日： 2022-03-24 - 公布日： 2022-06-28 - 主分类号： G06F11/36 文献下载
摘要：本申请公开了一种基于区块链的智能合约逻辑漏洞检测方法及装置，涉及区块链领域。该方法包括：确定区块链中智能合约的状态机模型，其中，状态机模型是基于智能合约的目标条款信息和承诺模型生成的模型，其中，承诺模型是由多个承诺信息生成的模型；基于状态机模型结合博弈理论，确定智能合约的纳什均衡，并计算纳什均衡的收益；依据纳什均衡的收益，确定智能合约的逻辑漏洞检测结果。通过本申请，解决了相关技术中采用人工方式检测区块链中的智能合约的逻辑漏洞，导致逻辑漏洞的检测效率较低的问题。
基于区块智能合约逻辑漏洞检测方法装置

[发明专利]一种基于区块链智能合约的异构频谱动态共享方法及系统-CN202211131229.X在审
发明人：李红宁;孙禄;裴庆祺 -专利权人：西安电子科技大学广州研究院
申请日： 2022-09-15 - 公布日： 2022-12-16 - 主分类号： G06Q30/08 文献下载
摘要：本发明公开了一种基于区块链智能合约的异构频谱动态共享方法及系统，通过拍卖理论结合区块链智能合约将闲置的频谱资源进行动态共享，并通过频谱干扰图来确定获胜用户复用频谱；针对后出价投标人易获取有利信息，设定公开竞标价以保证智能合约拍卖的公平性本发明基于拍卖理论和区块链频谱共享方法，通过建立买家干扰图和公开投标价掩盖投标信息解决了分布式频谱共享场景下安全与效益难以兼顾的问题；提出的按需灵活的频谱拍卖方案解决了区块链频谱共享中因用户之间恶意共谋导致的整体效益低下和频谱利用率低下的问题；利用区块链技术促进异构频谱的共享，智能合约则保证了分布式无中心节点参与的可靠运行机制。
一种基于区块智能合约频谱动态共享方法系统

[发明专利]辅助工业区块链智能合约的数据预言机架构及其运行方法-CN202111472017.3在审
发明人：李骏;夏鹏程;时龙;王喆;杜禹 -专利权人：南京理工大学
申请日： 2021-12-06 - 公布日： 2022-04-12 - 主分类号： H04L67/10 文献下载
摘要：本发明公开了一种辅助工业区块链智能合约的数据预言机架构及运行方法，采用分布式的预言机网络来桥接链下环境与智能合约，扩展智能合约的链下数据空间；所述数据预言机架构包括链上预言机系统和去中心化的链下数据预言机网络，链上预言机系统包括注册预言机合约、监控预言机合约、支付预言机合约和代理预言机合约；预言机合约表示链上的预言机智能合约，非预言机合约表示链下智能合约。方法为：设计基于拍卖理论的数据预言机激励机制，保证系统中预言机参与方的诚实可靠，仿真结果证明本发明能够使数据预言机系统满足个体理性与激励相容性。本发明针对工业互联网的大数据场景，保证了链上智能合约能够可信地获取链下工业数据和扩展链下数据空间。
辅助工业区块智能合约数据预言机架及其运行方法

[发明专利]一种基于能量效率与频谱效率的联合折中优化方法-CN201810706823.4在审
发明人：李同强;李璇 -专利权人：浙江工商大学
申请日： 2018-07-02 - 公布日： 2020-01-10 - 主分类号： H04B7/026 文献下载
摘要：采用一种基于合约制的协作频谱共享新模型。在此框架下引入合约理论，将主次用户间的协作问题建模为合约设计问题，并建立了主次用户评价合约收益的效用函数，将提高主用户的能效和谱效问题转换为设计合约使主用户获得最大效用的优化问题，并利用差分进化算法进行求解
主用户次用户信道差分进化算法干扰约束共享频谱合约理论能量效率频谱效率问题建模问题转换效用函数协作频谱用户评价优化问题中继服务最大效用求解能效谱效共享回报收益引入协作优化联合

[发明专利]一种波动率指数编制方法-CN201410042263.9在审
发明人：胡政 -专利权人：中国金融期货交易所股份有限公司
申请日： 2014-01-28 - 公布日： 2015-07-29 - 主分类号： G06Q40/04 文献下载
摘要：本发明公开了一种波动率指数编制方法，该方法需依次进行选择期权合约月份、分别计算所选月份的剩余期限、分别计算当月和次月无风险利率、确定期权合约价格、分别计算当月和次月的远期价格、筛选合约、分别计算两个月份的波动率和计算波动率指数步骤该方法由于引入了波动率曲面的方法计算无成交合约的理论价格，保证了波动率指数计算公式中拥有足够的样本数量，从而极大程度上降低了波动率指数的编制误差，满足了中国的期权市场需求。
一种波动指数编制方法

[发明专利]考虑电力交易合约下的碳排放流分析方法及装置-CN202210382247.9在审
发明人：康重庆;蔡啸;张宁;李姚旺;杜尔顺;王鹏;张世旭 -专利权人：清华大学
申请日： 2022-04-12 - 公布日： 2022-06-24 - 主分类号： G06Q30/02 文献下载
摘要：本申请公开了一种考虑电力交易合约下的碳排放流分析方法及装置，其中，方法包括：基于电网运行潮流数据以及电力合约履行情况，将单个节点进行拆分处理，得到拆分结果；基于拆分结果，分别针对合约的供需双方构建等值电厂、等值负荷，对部分占用的外送线路构建等值外送线路；以及基于等值外送线路，计算目标中长期电力合约的等值线路的对应潮流，并根据潮流修正原有的碳排放流计算结果，得到目标地区的全部负荷电力等效碳排放。由此，解决了相关技术基于传统碳排放流理论，无法在大规模电力交易合约下，进行有效的碳排放分析，适用性较差的技术问题。
考虑电力交易合约排放分析方法装置

[发明专利]一种基于区块链的随机数生成方法-CN201910665963.6在审
发明人：黄步添;卢瑞瑞;周伟华;刘振广;陈建海;高翠霞 -专利权人：杭州云象网络技术有限公司
申请日： 2019-07-23 - 公布日： 2019-11-08 - 主分类号： G06F21/64 文献下载
摘要：本发明公开了一种基于区块链的随机数生成方法，包括步骤：(1)在区块链上部署随机数生成合约，所述随机数生成合约利用随机数生成博弈协议定义，其中包括随机数生成函数、退款函数、激励函数、输出函数；(2)所述随机数生成合约接收节点的随机数生成请求，启动随机数生成过程为所述请求生成随机数，并公布随机数的哈希值；(3)根据生成随机数的哈希值，调用输出函数向所述节点客户端输出随机数生成结果，本发明通过引入博弈理论在区块链网络中部署基于随机数生成合约，并基于智能合约的原有属性的基础上，该智能合约可在任何图灵完备的可编程区块链中实现，增加激励及安全机制，生成防篡改、安全有效的随机数。
随机数生成随机数区块输出函数哈希随机数生成函数可编程区块安全机制博弈理论接收节点请求生成博弈智能防篡改客户端图灵调用部署输出引入网络安全

[发明专利]一种基于多核架构的智能合约执行优化方法-CN202010467552.9在审
发明人：王建荣;吴彤;刘志强;李雪威;赵满坤;侯庆志;张克兴 -专利权人：天津大学
申请日： 2020-05-28 - 公布日： 2020-09-29 - 主分类号： G06Q40/04 文献下载
摘要：本发明涉及一种基于多核架构的智能合约执行优化方法，包括两个阶段：1)并行挖矿阶段；2)并行验证阶段。本发明针对智能合约执行的两个阶段，分别设计并实现并行挖矿和并行验证策略。在并行挖矿阶段，通过引入Spinlock和MVCC解决了线程的频繁的上下文切换及读写锁的阻塞问题；同时，在并行验证阶段，通过对冲突交易进行分组利用双端队列实现交易的并行化；提出的智能合约并行化策略，为智能合约的执行提供了新的解决方案，同时也是对多线程环境下任务执行顺序可恢复性的探索，可以为有效解决并发问题，具有一定的理论价值和研究意义。
一种基于多核架构智能合约执行优化方法

[发明专利]智能合约安全交易序列生成方法、装置、介质和设备-CN202110066361.6在审
发明人：谢智健;邹邦祺;聂瑞华;赵淦森 -专利权人：华南师范大学
申请日： 2021-01-19 - 公布日： 2021-05-07 - 主分类号： G06Q40/04 文献下载
摘要：本发明公开了一种智能合约安全交易序列生成方法、装置、介质和设备，包：首先将智能合约二进制形式转换成为指令集序列，基于智能合约的指令集序列构建程序控制流程图GFC，从中定位出其中的数据交互指令；根据数据交互指令进行执行路径构造；收集构造的各条执行路径中的跳转约束指令；由约束求解器求解智能合约交易序列的输入；根据各交易序列的输入，确定程序控制流程图GFC中所触发的路径，得到交易序列；针对各交易序列，通过冲突可串行化理论判定安全性本发明不需要收集特定漏洞的特征即可生成交易序列，针对所有的智能合约，都可生成安全的交易序列。
智能合约安全交易序列生成方法装置介质设备

[发明专利]一种面向灵活性负荷的智能合约交易方法、设备及介质-CN202310209442.6在审
发明人：杨轲皓;周永智 -专利权人：浙江大学
申请日： 2023-03-07 - 公布日： 2023-06-23 - 主分类号： G06Q50/06 文献下载
摘要：本发明公开了一种面向灵活性负荷的智能合约交易方法、设备及介质，该方法包括：首先明确智能合约的内容，并根据签订的智能合约确定新能源发电商与蓄热式电采暖聚合商的收益模型；再确定收益模型的约束条件；最后将收益模型进行归一化以将收益模型转化为单目标优化问题本发明依靠区块链技术，利用新能源发电商与蓄热式电采暖聚合商之间签订的智能合约，弥补新能源出力的波动性与不确定性，从而增加新能源发电商与电采暖聚合商的收益，促进新能源的消纳；对促进当地电力交易市场发展，以及促进新能源与电采暖的发展具有重要意义，为新能源、电采暖等多元市场主体参与现货市场的行为决策提供理论指导。
一种面向灵活性负荷智能合约交易方法设备介质

[发明专利]一种新能源年度交易电量优化分解方法及系统-CN201911157261.3在审
发明人：许彦平;黄越辉;耿天翔;王跃峰;蔡乾;王晶;李峰;刘志斌;马天东 -专利权人：中国电力科学研究院有限公司;国家电网有限公司;国网宁夏电力有限公司
申请日： 2019-11-22 - 公布日： 2020-04-21 - 主分类号： G06Q10/04 文献下载
摘要：本发明提供了一种新能源年度交易电量优化分解方法，所述方法包括：基于电网的来风、来光资源情况，以及新能源布局情况，预测新能源年度理论发电量；采用时序生产模拟方法结合所述新能源年度理论发电量计算新能源各月可接纳电量，并基于所述新能源各月可接纳电量的比例分解给定的年度合约电量，得到月度分解计划；在满足由所述月度分解计划构建的电量供需平衡约束下，基于交易电量执行度、月度电量分解因子和给定的年度合约电量计算各月的分解电量
一种新能源年度交易电量优化分解方法系统

[发明专利]定价新奇期权的方法和系统-CN200580028862.4无效
发明人： K·史密斯 -专利权人：科汀科技大学
申请日： 2005-06-28 - 公布日： 2007-08-01 - 主分类号： G06Q40/00 文献下载
摘要：一种用于计算新奇期权的市值的系统，包括：用于接收市场和期权合约输入数据(112)的输入装置(102)；用于根据输入数据计算新奇期权的理论值的装置(104)；用于以新奇期权的预期停止时间为函数，计算对理论值的市场补充调整的装置(104)；用于应用对理论值的市场补充调整以生成市值的装置(104)；以及用于输出计算的市值的输出装置(106)。
定价新奇期权方法系统

[发明专利]全局与局部融合约束的航空宽基线立体像对线段匹配方法-CN202011059002.X有效
发明人：姚国标;张力;艾海滨;孟飞;满孝成 -专利权人：山东建筑大学
申请日： 2020-09-30 - 公布日： 2022-07-05 - 主分类号： G06V10/74 文献下载
摘要：针对宽基线摄影过程中各影像视点的位置与姿态发生较大变化导致给线段特征提取及匹配工作增添的难度，本发明提供一种全局与局部融合约束的航空宽基线立体像对线段特征匹配方法，以立体匹配同名像点及线段特征检测算法为研究基础，以线段特征提取、描述及立体匹配为研究主线，以全局与局部多层次互补信息融合约束为研究思路，包括提取顾及全局与局部的高质量线段特征、构建顾及全局与局部的互补描述符及匹配测度、全局与局部信息融合约束的线段特征多层次迭代匹配三个步骤，来提高获得精确的线段特征匹配率，促进宽基线摄影测量理论体系的完善与发展。
全局局部融合约束航空基线立体线段匹配方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条