-
公开(公告)号：CN108829591B
公开(公告)日：2021-05-04
申请号：CN201810552504.2
申请日：2018-05-31
Applicant: 北京理工大学
Abstract: 本发明涉及一种基于Web的协同调试系统及方法，用户可以在浏览器界面上直接操作调试远端程序，不仅具有支持良好的图形化界面，而且能够实时获取调试信息，以更加清晰直观的方式完成调试工作；另一方面，协同调试功能使得调试用户可以不安装配置本地调试环境，只要向远端服务器发出调试请求，一旦获得调试权限，就可以像本地一样进行调试，这样大大降低了调试成本，提高了调试效率；同时该基于Web的协同调试系统及方法，可以扩展到除了操作系统内核级调试之外的其他调试应用，满足不同调试需求，具有可扩展性强，适用范围广的特点，结合了Web技术和调试技术的优点，为实现Web跨平台、可视化调试提供了较好的解决方案。
-
公开(公告)号：CN112698960A
公开(公告)日：2021-04-23
申请号：CN202011575492.9
申请日：2020-12-28
Applicant: 北京理工大学
Abstract: 本发明涉及基于子图分类传输数据的基三核间网络防死锁方法，属于众核处理器体系结构技术领域。该方法包括：A)子图划分，将所述网络的拓扑TCF分解为基于尖端节点的子图及其平行子图。B)传输分类，选定任一尖端子图及平行子图和数据传输创建时所对应的边属于的为2型数据、属于的为3型数据、其它为1型数据；C)当1型数据因通信进入所属边时数据类型转变为2型、进入所属边时数据类型转变为3型；D)使用拓扑为TCF的3个物理网络或者一个物理网络的3个逻辑/虚拟网络分别用于3种类型数据的传输。该方法可用于所有与TriBA‑cNoC拓扑同构的网络或子网防止共享存储转发缓冲区通信死锁。
-
公开(公告)号：CN108829591A
公开(公告)日：2018-11-16
申请号：CN201810552504.2
申请日：2018-05-31
Applicant: 北京理工大学
Abstract: 本发明涉及一种基于Web的协同调试系统及方法，用户可以在浏览器界面上直接操作调试远端程序，不仅具有支持良好的图形化界面，而且能够实时获取调试信息，以更加清晰直观的方式完成调试工作；另一方面，协同调试功能使得调试用户可以不安装配置本地调试环境，只要向远端服务器发出调试请求，一旦获得调试权限，就可以像本地一样进行调试，这样大大降低了调试成本，提高了调试效率；同时该基于Web的协同调试系统及方法，可以扩展到除了操作系统内核级调试之外的其他调试应用，满足不同调试需求，具有可扩展性强，适用范围广的特点，结合了Web技术和调试技术的优点，为实现Web跨平台、可视化调试提供了较好的解决方案。
-
公开(公告)号：CN113221384B
公开(公告)日：2024-05-28
申请号：CN202110625050.9
申请日：2021-06-04
IPC: G06F30/20 , G06F111/20
Abstract: 本发明公开了一种可回溯仿真模型形式化描述方法及系统，该方法包括：将整个仿真系统的状态空间进行自定义；状态空间包括各个模型组件状态；根据仿真系统中的组成元素，采用仿真进程演化算子和状态采集函数，对仿真状态进行形式化描述；组成元素包括：模型实例、仿真引擎和事件。该方法可实现对状态空间所包括的各个模型组件状态的形式化描述，便于建立对模型实例、仿真引擎和事件的形式表达；将仿真回溯从抽象的时间表述转变为更具有针对性的事件表述；为后续构建基于仿真事件设置检查点提供了有力的保证。进一步地，而使用本发明的方法后在回溯时可根据需要选择特定的事件进行回溯操作；更加适合仿真场景，具有更强的实用性。
-
公开(公告)号：CN116361295A
公开(公告)日：2023-06-30
申请号：CN202310361889.5
申请日：2023-04-06
Applicant: 北京理工大学
IPC: G06F16/22 , G06F16/23 , G06F16/215 , G06F16/21
Abstract: 本发明涉及计算机数据库领域和可验证计算领域，更具体地说是涉及一种针对高读写争用工作负载的可验证索引构建、更新与验证方法。包括基于默克尔并行树的可验证索引结构以及构建方法，可验证索引的并发更新方法，基于可验证索引的查询验证方法；本发明在支持数据可验证的同时，解决读写冲突的无锁并发控制，批量并行可以在查询和批处理更新方面带来非常好的性能，多版本索引的特性使得历史版本能被保留，因此可以支持对历史版本数据进行验证。
-
Patent Agency Ranking
-
公开(公告)号：CN111125697B
公开(公告)日：2022-03-04
申请号：CN201911113284.4
申请日：2019-11-14
Applicant: 北京理工大学 , 工业和信息化部计算机与微电子发展研究中心(中国软件评测中心)
Abstract: 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。
-
公开(公告)号：CN113221384A
公开(公告)日：2021-08-06
申请号：CN202110625050.9
申请日：2021-06-04
IPC: G06F30/20 , G06F111/20
Abstract: 本发明公开了一种可回溯仿真模型形式化描述方法及系统，该方法包括：将整个仿真系统的状态空间进行自定义；状态空间包括各个模型组件状态；根据仿真系统中的组成元素，采用仿真进程演化算子和状态采集函数，对仿真状态进行形式化描述；组成元素包括：模型实例、仿真引擎和事件。该方法可实现对状态空间所包括的各个模型组件状态的形式化描述，便于建立对模型实例、仿真引擎和事件的形式表达；将仿真回溯从抽象的时间表述转变为更具有针对性的事件表述；为后续构建基于仿真事件设置检查点提供了有力的保证。进一步地，而使用本发明的方法后在回溯时可根据需要选择特定的事件进行回溯操作；更加适合仿真场景，具有更强的实用性。
-
公开(公告)号：CN108920641B
公开(公告)日：2021-05-11
申请号：CN201810710487.0
申请日：2018-07-02
Applicant: 北京理工大学
IPC: G06F16/9535
Abstract: 本发明涉及一种信息融合个性化推荐方法，属于互联网信息推荐技术领域；该方法首先对数据集进行预处理提取物品形态信息：确定物品间关系种类、构建物品间关系网络，确定物品文本信息，确定物品图像信息；然后利用网络表示学习方法提取网络关系特征、利用文本表示学习方法提取文本特征、利用图像特征提取方法提取图像特征；接下来计算各维度下用户对物品的偏好特征值；最后将偏好特征输入排序模型中，取备选集中分数TOP‑N的物品推荐给用户。对比现有技术，本发明通过发掘和利用物品的属性信息补充稀疏的用户主动交互数据，提高了推荐结果准确率；同时物品属性信息的融入可以使得推荐不仅限依赖于评分数据，帮助解决新物品冷启动的问题。
-
公开(公告)号：CN109408389B
公开(公告)日：2020-10-16
申请号：CN201811278355.1
申请日：2018-10-30
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于深度学习的代码缺陷检测方法及装置，选取多个代码缺陷检测工具，分别对被检测代码进行检测，相应生成多个检测结果；将所述被检测代码通过预设的转换方法，转换为所述被检测代码的特征向量；所述特征向量包括所述被检测代码的结构特征和语义特征；将所述特征向量分别输入多个所述代码缺陷检测工具各自相对应的评估模型，输出多个所述代码缺陷检测工具分别对所述被检测代码检测缺陷结果的置信度；并结合检测工具对被检测代码的检测结果，可以有效判定代码是否真实存在某种缺陷，能够解决现有代码缺陷检测中误报较高的问题，有效提升代码审查的工作效率。
-
-
-
-
-
-
-
-
-
Search Results
48
records
(took 0.019 seconds)
