-
公开(公告)号：CN112118107B
公开(公告)日：2021-08-27
申请号：CN202010808943.2
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明提供了一种实现数据可信的自适应执行方法，涉及区块链技术领域，该方法包括智能合约的启动、智能合约的执行以及智能合约执行结果的校验过程，在上述过程中本发明实施例采用基于冗余计算的随机执行模式，通过在一个网络里随机选取多个节点共同执行数据分析逻辑，实现了相对不互信环境下的执行结果的可信计算，提升了智能合约的执行效率；同时通过在多节点同步调用的过程中对合约的执行进行记录，当需要同步时，就从最新状态的节点中获取所需的合约调用的执行记录并在本地进行回放，以此可在随机多节点状态不同步时将其快速恢复，实现数据的高可用，能满足低响应时间的数据分析场景。
-
公开(公告)号：CN112100054B
公开(公告)日：2021-07-20
申请号：CN202010809497.7
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明实施例提供了一种面向数据管控的程序静态分析方法和系统，所述方法和系统生成智能合约代码的字节码；解析所述字节码，构建并打印控制流图；将所述智能合约中的污点源，添加到所述控制流图的起始块的分析结果中，遍历所述控制流图，基于污点分析技术进行数据依赖分析，持续更新所述控制流图中的基本块的分析结果，返回最终分析结果；生成并返回分析报告。本发明实施例提供的方法和系统，针对面向数据的管控需求的智能合约，实现了基于污点分析技术的静态分析算法，能基于不同的数据管控策略来定义数据约束并进行静态分析，保障面向数据管控的区块链平台上智能合约的准确运行和数据管控。
-
公开(公告)号：CN109062784B
公开(公告)日：2021-04-27
申请号：CN201810737261.X
申请日：2018-07-06
Applicant: 北京大学
Abstract: 本发明公开了一种接口参数约束代码入口定位方法与系统，先收集预设的输入参数的场景下系统客户端中的代码覆盖数据，并据此对系统客户端进行选择性插桩以插入探针，然后运行插桩后的系统客户端并演示场景，以触发读取接口参数和执行探针，通过探针打印出当前的函数调用栈和输入控件元信息，并据此定位到接口参数约束代码的入口函数。本发明有效解决了现有技术在将信息系统中的数据和功能服务化的过程中，在对接口参数约束代码定位时难以定位代码入口的问题，从而帮助开发者快速定位到接口参数约束代码入口，从而帮助开发者更快筛选出真正跟参数约束密切相关的代码。
-
公开(公告)号：CN110362363B
公开(公告)日：2021-03-12
申请号：CN201910498732.0
申请日：2019-06-10
Applicant: 北京大学
Abstract: 本发明公开了一种基于运行时模型实现对终端应用控制的方法，通过定义运行时模型上的操作以及模型片段在堆、栈区域影响的等价性，实现了复杂的应用行为模型的分解，可操作的模型片段，并基于分解的模型片段，建立行为模型与应用状态和应用代码的因果关联，实现了在终端应用运行时对其应用行为的指令级别的控制。
-
公开(公告)号：CN112118107A
公开(公告)日：2020-12-22
申请号：CN202010808943.2
申请日：2020-08-12
Applicant: 北京大学
Abstract: 本发明提供了一种实现数据可信的自适应执行方法，涉及区块链技术领域，该方法包括智能合约的启动、智能合约的执行以及智能合约执行结果的校验过程，在上述过程中本发明实施例采用基于冗余计算的随机执行模式，通过在一个网络里随机选取多个节点共同执行数据分析逻辑，实现了相对不互信环境下的执行结果的可信计算，提升了智能合约的执行效率；同时通过在多节点同步调用的过程中对合约的执行进行记录，当需要同步时，就从最新状态的节点中获取所需的合约调用的执行记录并在本地进行回放，以此可在随机多节点状态不同步时将其快速恢复，实现数据的高可用，能满足低响应时间的数据分析场景。
-
Patent Agency Ranking
公开(公告)号：CN109299004B
公开(公告)日：2020-08-25
申请号：CN201811014184.1
申请日：2018-08-31
Applicant: 北京大学
Abstract: 本发明公开了一种基于关键元素差异性分析方法及系统，通过对微服务中字节码的分析筛选出需要分析的关键元素集合，并通过对各关键元素在新旧版本安卓应用之间相似度的分析判断安卓应用在版本变化过程中相对于微服务是否发生了破坏性变化，避免了在安卓应用版本发生非破坏性变化时对微服务进行无必要的修改，减少了资源浪费。同时，本发明在安卓应用发生破坏性变化时，通过分析各关键元素在新旧版本安卓应用之间的相似度，判断各关键元素是否发生了破坏性变化，以对微服务中需要修改的关键元素进行定位，避免了对微服务中没必要修改的关键元素进行修改，提高了微服务升级效率。
-
公开(公告)号：CN110971663A
公开(公告)日：2020-04-07
申请号：CN201911032663.0
申请日：2019-10-28
Applicant: 北京大学
Abstract: 本发明提供了一种面向数据交易的可信处理方法与系统，应用于P2P网络系统中，所述P2P网络系统包括多个节点；可信处理方法包括存入方法和查询方法，首先在存入的过程中采用有向无环图帐本结构配合nRW共识机制，解决了大规模共享交换过程中的监管问题；其次，在查询的过程中，通过维护一棵高容错和负载均衡的树形结构，采用了跳数优化的方法对P2P网络系统进行优化，构造具有较为平衡网络的P2P网络系统，可在保证负载均衡的前提下，不对查询的延迟产生较大影响，保证了系统的可扩展性；以及采用了延迟优化和邻居节点管理协议的方法，可保证节点在上层节点宕机的情况下，保证查询消息被下层节点接收，可动态地将离开网络的节点替换为新的在线节点。
-
公开(公告)号：CN110866046A
公开(公告)日：2020-03-06
申请号：CN201911033551.7
申请日：2019-10-28
Applicant: 北京大学
IPC: G06F16/2458 , H04L29/08
Abstract: 本发明提供了一种可扩展的分布式查询方法及装置，应用于P2P网络系统中，所述P2P网络系统包括多个节点；本发明通过维护具有高容错和负载均衡的树形结构的P2P网络系统，将查询条件广播给P2P网络系统中的节点，节点在收到查询请求后，将本地满足查询条件的数据返回给P2P网络系统中的父节点，父节点将所有孩子节点返回的数据和本地的查询结果做去重和结算，将处理后的结果返回给该节点的父节点，以层层汇总的方式将数据返回给根节点，以此可降低代理节点的负载，保证低延迟，同时保证了系统的可扩展性。
-
公开(公告)号：CN110580307A
公开(公告)日：2019-12-17
申请号：CN201910736362.X
申请日：2019-08-09
Applicant: 北京大学
IPC: G06F16/901 , G06F16/27
Abstract: 本发明提供了一种快速统计的处理方法及装置，所述方法应用于图结构分布式账本中，所述方法包括：步骤S1：获得用户的统计需求，主节点将所述统计需求广播分发给各个数链节点；步骤S2：根据所述统计需求，在数链节点中读取相应起止序号或起止时间的第一数据集，并在第一数据集中提取相应的统计对象对应的数据作为原始数据；步骤S3：将所述原始数据作为基数估计方法的输入，设定目标参数，将原始数据哈希后，计算哈希后的原始数据对应的桶号以及所述原始数据去除桶号后的剩余位数第一个“1”出现的位置，对所述桶号的桶信息进行更新；通过本发明可以实现对图结构分布式账本数据的快速、准确、实时的统计。
-
公开(公告)号：CN110489460A
公开(公告)日：2019-11-22
申请号：CN201910735557.2
申请日：2019-08-09
Applicant: 北京大学
Abstract: 本发明提供了一种快速统计的优化方法及系统，所述方法和系统应用于图结构分布式账本中，所述方法包括统计方法和反馈制导方法，其中：所述统计方法包括：获得用户的统计需求，主节点将所述统计需求广播分发给各个数链节点；根据所述统计需求，在数链节点中读取第一数据集，并在第一数据集中提取原始数据；将原始数据哈希后，计算哈希后的原始数据对应的桶号以及所述原始数据去除桶号后的剩余位数第一个“1”出现的位置，对所述桶号的桶信息进行更新。本发明可以实现对图结构分布式账本数据的快速、准确、实时的统计，同时能在固定时间内针对生产环境的变化适当调整统计方法，以保证其高度适应性。
-
-
-
-
-
-
-
-
-
Search Results
124
records
(took 0.042 seconds)
