-
公开(公告)号：CN117215544B
公开(公告)日：2024-02-09
申请号：CN202311483233.7
申请日：2023-11-09
Applicant: 中国科学院软件研究所
Abstract: 本申请提供了一种智能合约专用指令集的实现及运行方法，涉及区块链智能合约技术领域，方法包括：根据智能合约专用指令集对智能合约源码进行编译处理，得到智能合约中间表示，智能合约中间表示包括由多个原生功能指令和多个专用功能指令形成的指令序列；保持原生功能指令不变，将每个专用功能指令转译为对应的专用功能方法调用指令，以得到智能合约源码对应的智能合约编译结果；利用智能合约执行引擎将智能合约编译结果实例化为可执行智能合约程序，以实现智能合约在区块链中的运行。本申请通过预设专用功能指令集简化智能合约执行程序，保证智能合约在区块链中的传输性能和加载执行性能降低运行成本。
-
公开(公告)号：CN113139209B
公开(公告)日：2023-09-26
申请号：CN202110404903.6
申请日：2021-04-15
Applicant: 中国科学院软件研究所
Abstract: 本发明提供了一种基于原子性签名的可验证凭据实现方法和系统。所述方法包括：凭据属性结构创建者定义和创建可验证凭据属性结构；凭据颁发者根据可验证凭据属性结构，基于原子性签名机制构建可验证凭据；凭据持有者对可验证凭据的正确性进行验证；凭据持有者向凭据验证者选择性披露可验证凭据属性信息及其对应原子签名信息；凭据验证者对接收到的可验证凭据进行真实性和有效性验证；凭据颁发者更新整个可验证凭据或者只更新部分可验证凭据属性。基于本发明实现的可验证凭据方案，在支持更方便和更安全地选择性披露信息之外，还能更灵活高效地更新可验证凭据属性。
-
公开(公告)号：CN108897760A
公开(公告)日：2018-11-27
申请号：CN201810496215.5
申请日：2018-05-22
Applicant: 贵阳信息技术研究院(中科院软件所贵阳分部) , 中国科学院软件研究所
Abstract: 本发明公开了一种基于默克尔树的电子证据链完整性验证方法，在电子证据存证的场景中，利用存储在区块链上的默克尔树对电子证据链进行快速比对的完整性验证方法。该方法利用电子证据链中的电子证据文件构建默克尔树，将生成的默克尔树存储在区块链系统中,验证时，验证人员利用电子证据链生成新的默克尔树，将其与区块链上的默克尔树进行比对，从而保证电子证据链的完整性。
-
公开(公告)号：CN104268599B
公开(公告)日：2017-05-10
申请号：CN201410514768.0
申请日：2014-09-29
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种基于车辆轨迹时空特征分析的黑车智能发现方法。本发明首先提取城市小型车车辆列表，并剔除合法运营出租车，其次对于特定排查期，提取车辆列表中所有车辆在排查期的卡口过车记录数据，进而从过车记录数据中初步筛选得出嫌疑黑车列表；然后选择数据挖掘分析样本，提取车辆时空特征数据，接着采用支持向量机算法训练黑车分类器模型，最后将嫌疑黑车列表中的所有嫌疑黑车特征数据作为测试集输入训练的分类器模型进行分类判定。本发明改变了传统黑车人工排查方法，分析更加智能高效，对车辆行为特征进行多维度提取，通过对训练样本数据进行样本交叉训练消除过拟合问题。
-
公开(公告)号：CN116149671B
公开(公告)日：2023-07-04
申请号：CN202310437229.0
申请日：2023-04-23
Applicant: 中国科学院软件研究所
Abstract: 本申请提出一种用于翻译智能合约语言的方法和装置、电子设备、计算机可读存储介质，所述方法包括响应于加载的所述智能合约语言编写的源代码，生成规范化的抽象语法树；根据所述智能合约语言的类型定义，对所述抽象语法树中的复合数据类型表达式节点进行翻译；根据所述智能合约语言的函数定义，对所述抽象语法树中的函数节点进行翻译；根据可信编译工具的源语言规范，对所述抽象语法树中的其他节点进行翻译，其中，所述其他节点包括所述抽象语法树中除去复合数据类型表达式节点和函数节点外的节点。根据本申请的实施例，实现了对支持复合数据类型和多返回值函数的智能合约语言所编写的程序的翻译，以及对复合数据类型和函数翻译过程的形式化验证。
-
Patent Agency Ranking
公开(公告)号：CN104268599A
公开(公告)日：2015-01-07
申请号：CN201410514768.0
申请日：2014-09-29
Applicant: 中国科学院软件研究所
CPC classification number: G06K9/6269 , G06K9/6256
Abstract: 本发明提供一种基于车辆轨迹时空特征分析的黑车智能发现方法。本发明首先提取城市小型车车辆列表，并剔除合法运营出租车，其次对于特定排查期，提取车辆列表中所有车辆在排查期的卡口过车记录数据，进而从过车记录数据中初步筛选得出嫌疑黑车列表；然后选择数据挖掘分析样本，提取车辆时空特征数据，接着采用支持向量机算法训练黑车分类器模型，最后将嫌疑黑车列表中的所有嫌疑黑车特征数据作为测试集输入训练的分类器模型进行分类判定。本发明改变了传统黑车人工排查方法，分析更加智能高效，对车辆行为特征进行多维度提取，通过对训练样本数据进行样本交叉训练消除过拟合问题。
-
公开(公告)号：CN103942095A
公开(公告)日：2014-07-23
申请号：CN201410101628.0
申请日：2014-03-18
Applicant: 中国科学院软件研究所
Abstract: 本发明设计了一种基于异构加速平台的二维相位解缠绕方法。在Branch cut步骤中加入了局部匹配，克服了并行实现的瓶颈；在算法的FloodFill步骤中使用Block的动态组织方式，解决了数据依赖；通过合并和压缩存储、创造数据的伪边界等优化方法，提高了执行速度，更大化地利用了硬件资源。本发明满足了二维相位解缠绕算法的实时性要求，也对并行编程和克服数据依赖提供了一定的指导意义。
-
公开(公告)号：CN118550688A
公开(公告)日：2024-08-27
申请号：CN202410507923.X
申请日：2024-04-25
Applicant: 中国科学院软件研究所
IPC: G06F9/50
Abstract: 本申请提供一种智能合约资源消耗计量方法、装置、电子设备以及介质，涉及区块链智能合约领域。本申请提供的智能合约资源消耗计量方法包括：基于外部代码对应的第一资源消耗计量规则，对外部代码的所有第一指令进行指令资源消耗计算，得到第一指令资源消耗总量；基于调用的内存资源消耗映射表和智能合约的内存页对应的第二资源消耗计量规则，对智能合约的内存页进行内存资源消耗计算，得到内存资源消耗总量；基于第一指令资源消耗总量、内存资源消耗总量至少一种以及预设总资源消耗量上限值确定智能合约的执行状态。本申请能够计算智能合约的外部代码的资源消耗量，更准确的得到智能合约的资源消耗计量结果，并节省计算机存储资源。
-
公开(公告)号：CN117215544A
公开(公告)日：2023-12-12
申请号：CN202311483233.7
申请日：2023-11-09
Applicant: 中国科学院软件研究所
Abstract: 本申请提供了一种智能合约专用指令集的实现及运行方法，涉及区块链智能合约技术领域，方法包括：根据智能合约专用指令集对智能合约源码进行编译处理，得到智能合约中间表示，智能合约中间表示包括由多个原生功能指令和多个专用功能指令形成的指令序列；保持原生功能指令不变，将每个专用功能指令转译为对应的专用功能方法调用指令，以得到智能合约源码对应的智能合约编译结果；利用智能合约执行引擎将智能合约编译结果实例化为可执行智能合约程序，以实现智能合约在区块链中的运行。本申请通过预设专用功能指令集简化智能合约执行程序，保证智能合约在区块链中的传输性能和加载执行性能降低运行成本。
-
公开(公告)号：CN116149671A
公开(公告)日：2023-05-23
申请号：CN202310437229.0
申请日：2023-04-23
Applicant: 中国科学院软件研究所
Abstract: 本申请提出一种用于翻译智能合约语言的方法和装置、电子设备、计算机可读存储介质，所述方法包括响应于加载的所述智能合约语言编写的源代码，生成规范化的抽象语法树；根据所述智能合约语言的类型定义，对所述抽象语法树中的复合数据类型表达式节点进行翻译；根据所述智能合约语言的函数定义，对所述抽象语法树中的函数节点进行翻译；根据可信编译工具的源语言规范，对所述抽象语法树中的其他节点进行翻译，其中，所述其他节点包括所述抽象语法树中除去复合数据类型表达式节点和函数节点外的节点。根据本申请的实施例，实现了对支持复合数据类型和多返回值函数的智能合约语言所编写的程序的翻译，以及对复合数据类型和函数翻译过程的形式化验证。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.032 seconds)
