-
公开(公告)号：CN113034120A
公开(公告)日：2021-06-25
申请号：CN202011446462.8
申请日：2020-12-09
Applicant: 电子科技大学
IPC: G06Q20/06 , G06Q40/04 , G06F16/9536
Abstract: 本发明涉及机器学习、区块链和智能合约技术领域。其提供了一种基于区块链的抵押评价方法，建立了一种全新的、可信的评价系统。本发明包括一种利用抵押得到权重并进行评价的方法，然后系统使用链上评价信息，采用机器学习等手段，过滤掉机器生成的批量无效评价，并调整评价权重，最终展示校正前后的综合评分和评价。此外系统还需要提供过滤和校正权重的算法以及合理性说明。本发明可以提供一种利用机器学习算法辅助提高系统评价可信度的方法。由于通过区块链，合约的状态和存在变得明显，这提供了永久的、公开的和不可更改的记录，用户能够完全的监督系统的校正工作，提高了系统和评论的可信度。
-
公开(公告)号：CN112465641A
公开(公告)日：2021-03-09
申请号：CN202011447232.3
申请日：2020-12-09
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于GCN的区块链交易风险分析方法，包括：步骤S1：对目标交易进行溯源，获得其资金来源的交易；步骤S2：对比资金来源交易中的地址和地址库，计算已知地址的风险值，按照资金比例汇总得到已知风险值；步骤S3：将未知地址涉及的交易输入GCN得到风险值，按照资金比例汇总计算估计风险值；步骤S4：合并S2中的已知风险值和S3中的估计风险值。本发明通过比对地址库对已知地址分析风险值，并对未知地址结合GCN估计其所属交易的风险，对比传统机器学习的估计方法，加强了对交易图的点和关系的利用，提高了区块链交易风险分析的准确率。
-
公开(公告)号：CN112685315A
公开(公告)日：2021-04-20
申请号：CN202110007064.4
申请日：2021-01-05
Applicant: 电子科技大学
Abstract: 本发明公开了面向C源码的自动化形式化验证工具及方法，将编写好的代码功能规范插入C源码中，然后将功能规范和C源码自动转换成程序验证器可处理的中间表示，接着程序验证器将中间表示转换成中间验证语言代码，供形式化验证输入使用；采用形式化方法，可对转换的源代码进行自动化的形式化验证，以验证源代码的功能性和安全性。在各接口函数通过代码功能正确性验证的基础上，利用行为建模语言和组合验证技术构建抽象模型；然后利用模型仿真引擎和属性检测引擎模拟交互行为，验证安全属性，判断代码是否满足安全属性规范。本发明能够以自动化的形式，实现对C源码的形式化验证，其中使用的中间表示生成器可以自动化生成中间表示，程序验证器可以自动化生成中间验证语言代码，模型仿真引擎和属性检测引擎可以自动化验证安全属性，这些措施可以极大的提高C源码验证的效率，减少人工参与度。
-
-
Search Results
3
records
(took 0.014 seconds)
