-
公开(公告)号：CN1791028A
公开(公告)日：2006-06-21
申请号：CN200510132548.2
申请日：2005-12-26
Applicant: 北京航空航天大学
IPC: H04L12/24
Abstract: 本发明涉及一种网格信息监控系统，其包括：监控引擎模块，用于对监控系统的运行进行控制；事件收集模块，与监控引擎模块相连，用于从服务器获取网络节点的监控事件信息；服务接口模块，与事件收集模块相连，用于提供查询或者接收网络侧的服务端信息的接口；事件消费模块，与事件收集模块相连，用于将事件收集模块收集的原始信息进行处理和保存。本发明采用完善的节点事件记录，能提供整个网格系统拓扑结构的变化状况以及网格中每个节点的信息以进行观测和分析；本发明采用易于扩展的事件收集结构，为网络系统的行为分析、系统优化等提供了数据支持和分析依据；本发明采用多图层的可视化展现，能够更直观的理解整个网格网络的运行状态和历史状态。
-
公开(公告)号：CN1791023A
公开(公告)日：2006-06-21
申请号：CN200510132534.0
申请日：2005-12-26
Applicant: 北京航空航天大学
Abstract: 本发明涉及一种网格信息服务系统，包括：由资源定位描述服务设备组成的树状结构自治域、交换设备及管理设备。又涉及一种网格信息服务系统的子节点状态信息的处理方法，子节点向父节点报告状态信息；父节点根据状态信息判断子节点的状态，若子节点失效则删除父子关系。还涉及一种网格信息服务系统的信息查询方法，收到查询请求的节点先查询本地信息能否满足请求，若不能则在以该节点为根的子树内查询，如果还不能，则继续向父节点转发查询请求，若已经到自治域根节点，则将可跨自治域的查询请求转发给其他自治域。本发明实现了资源可方便地加入网格环境，避免了信息冗余及不一致，系统具有相对稳定和健壮的结构，提高了分布式结构的信息查询效率。
-
公开(公告)号：CN1790982A
公开(公告)日：2006-06-21
申请号：CN200510132543.X
申请日：2005-12-26
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于协商通信实现信任认证的方法，信任协商服务端检验协商参数和服务提供端的协商策略匹配，则创建一个服务会话，否则结束；服务请求端判断协商继续，则提取满足访问控制策略的信任证集，否则结束；服务提供端判断信任证满足访问服务提供端的要求，则建立服务提供端和服务请求端之间的安全通信通道，协商完成；否则判断是否继续协商，是则重新执行协商过程，否则结束。本发明还公开了一种基于协商通信实现信任认证的系统。通过本发明的方法和系统，实现了跨越多个安全域动态的建立信任关系，避免了预先注册产生大规模用户数据信息及维护；分级别对服务提供端和服务请求端的信息进行了保护；有效保证了网格环境的隐私性和有效性。
-
公开(公告)号：CN120031146A
公开(公告)日：2025-05-23
申请号：CN202510093217.X
申请日：2025-01-21
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于局部搜索算法的高效量子电路映射方法，其中方法包括：S1获取量子设备的连接图和待映射的逻辑电路作为输入数据；S2随机生成新的初始映射函数；S3基于初始映射函数和输入数据执行探索搜索模式，得到满足约束和评分函数评估的探索物理电路及对应的第一映射函数；S4循环执行多次贪心搜索模式，每一次贪心搜索模式基于输入数据和第一映射函数或上一次贪心搜索模式生成的相应第二映射函数执行，对应得到多个满足约束和评分函数评估的贪心物理电路及对应的第二映射函数；S5基于探索物理电路和贪心物理电路进行对比，基于对比结果返回S2或S4；S6循环上述步骤直至满足结束条件，输出最优物理电路。提高了量子电路映射的效率和质量。
-
公开(公告)号：CN119396724A
公开(公告)日：2025-02-07
申请号：CN202411447179.5
申请日：2024-10-16
Applicant: 北京航空航天大学
IPC: G06F11/3668 , G06N3/126
Abstract: 本发明实施例提供了一种机载软件安全性建模及自动化测试的方法，包括：根据机载软件所属的领域，利用安全性质抽取模块抽取安全性测试所需的安全性质描述，同时对SysML模型进行设计，将SysML模型的XML文件和安全性质描述上传至模型自动扩展模块；模型自动扩展模块依据上传的安全性质描述对SysML模型的XML文件进行扩展，并对SysML模型的节点类型和路径信息进行补充，生成扩展后模型；测试用例自动生成模块依据模型自动扩展模块输出的扩展后模型，生成扩展后模型的全面测试路径和测试数据。由于该方案通过安全性质抽取模块、模型自动扩展模块和测试用例自动生成模块，追加了安全性测试，提高了测试用例生成的效率。
-
Patent Agency Ranking
公开(公告)号：CN119166278A
公开(公告)日：2024-12-20
申请号：CN202411187004.5
申请日：2024-08-28
Applicant: 北京航空航天大学
Abstract: 本公开提供一种面向在线训练的算力资源弹性分配系统。包括用户端、集群资源管理器、弹性调度器以及使用待分配的GPU的工作节点，弹性调度器包括三个组件：工作负载预测器、工作节点估计器和在线学习自动伸缩器；工作节点估计器在对未来的工作负载预测的基础上，采用一个资源吞吐量模型来确定分布式训练最合适的工作节点数量；在线学习自动伸缩器对工作节点进行扩展或缩减，并在通过集群资源管理器的后续审批后，为工作节点分配更多的GPU或将GPU回收到资源池中。借此，本公开实现了更好地保证在线训练模型的性能和更加节约算力资源的效果。
-
公开(公告)号：CN119047451A
公开(公告)日：2024-11-29
申请号：CN202411232857.6
申请日：2024-09-04
Applicant: 北京航空航天大学
IPC: G06F40/186 , G06F40/253 , G06F40/211 , G06F40/151 , G06F40/194 , G06F40/30 , G06F40/205
Abstract: 本发明涉及一种基于大语言模型的需求精化方法，属于软件工程技术领域。包括：基于原始需求文档、用例设计知识库、用例设计提示词模板生成精化需求文档；基于原始需求文档生成原始性质规约文档，基于精化需求文档、模式设计提示词模板生成模式设计文档，基于模式设计文档、性质规约知识库生成精化性质规约文档并对其进行语法验证以及原始性质规约文档与精化性质规约文档的一致性验证，得到验证后的精化性质规约文档及其对应的精化需求文档。该方法基于大语言模型对原始需求进行精化及性质规约一致性验证迭代生成验证后的精化需求与精化性质规约，解决了目前对需求文档的修改依赖人工完成，易出错且效率低的问题。
-
公开(公告)号：CN118938939A
公开(公告)日：2024-11-12
申请号：CN202411412695.4
申请日：2024-10-11
Applicant: 北京航空航天大学杭州创新研究院
IPC: G05D1/43 , G05D1/633 , G05D1/693 , G05D1/648 , G05D105/20
Abstract: 本发明提出一种多移动机器人调度方法、装置、存储介质及电子设备，获取目标任务路径上的各个节点的申请占用时间，其中，目标任务路径为目标任务对应的规划路径；基于各个节点的申请占用时间，申请占用目标任务对应的节点资源；在目标任务路径上的下一个节点为已申请节点时，控制目标移动机器人从当前节点驶向下一个节点，其中，目标移动机器人为用于执行目标任务的移动机器人，已申请节点为目标任务已经申请占用的节点。本发明提供的多移动机器人调度方法基于延迟时间申请各个堵塞节点所对应的节点资源，实现动态资源分配，完成移动机器人动态调度，保障移动机器人的运行效率。
-
公开(公告)号：CN117492997A
公开(公告)日：2024-02-02
申请号：CN202311476475.3
申请日：2023-11-08
Applicant: 北京航空航天大学
Abstract: 本发明实现了一种面向深度推荐系统训练任务的资源调度方法和系统。首先由用户提交训练任务并指定数据集，根据任务模型定义与数据库创建Pod模型，进而根据Pod模型定义，预测任务GPU资源需求，并根据资源需求预测结果，执行调度算法；所述调度算法为GPU最小争用共享资源算法和面向训练数据依赖低延迟优化的调度策略，综合两种调度算法选定Pod指定节点，之后将Pod绑定至对应节点进行训练数据缓存；之后运行Pod，如果成功运行结束，则结束资源调度过程，否则重新根据任务模型定义与数据库创建Pod模型。能够实现面向深度推荐训练任务资源需求预测和有效的资源调度。
-
公开(公告)号：CN111339214B
公开(公告)日：2023-09-15
申请号：CN202010100129.5
申请日：2020-02-18
Applicant: 北京航空航天大学
IPC: G06F16/28
Abstract: 本发明通过知识图谱领域的方法，实现了一种知识库自动构建方法与系统，系统架构分为：实体类标签上传、表达体系定义、多源数据获取、消歧融合和图谱构建与展示五个步骤。通过上述步骤所构成的系统，能够利用用户上传的数据文档，自动读取其中信息，并依据用户需求定义出相关数据之间的关系，将实体属性与用户上传数据间的映射关系显示出来供用户核实，进而构建知识库。系统能够减少在知识库构建过程中的精力成本和时间成本的消耗，让用户可以更快捷、更便利、更有效率的去构建定制化的知识图谱。
-
-
-
-
-
-
-
-
-
Search Results
214
records
(took 0.07 seconds)
