-
公开(公告)号：CN115102899A
公开(公告)日：2022-09-23
申请号：CN202211015896.1
申请日：2022-08-24
Applicant: 北京航空航天大学 , 北京航空航天大学云南创新研究院
IPC: H04L45/488 , H04L45/16 , H04L47/125 , H04L9/32 , H04L12/18 , H04L67/1074
Abstract: 本发明涉及区块链技术领域，具体涉及一种基于负载均衡的区块链节点树形分片方法，根据打分函数确定最大得分的节点为群组树的根节点，并以根节点为起点，选择前多个最大得分节点作为孩子节点，随机选择一个节点，该节点广播群组树，若其他节点收到群组树消息且验证通过，则生成部分门限签名，该节点若接收到超过预设门限值个部分门限签名，则生成完整门限签名并广播给其他节点，若其他节点验证通过，则确定为有效的群组树，所有节点在同一视图下具有相同的群组树。将区块链节点划分到树形分片中，可以把网络广播、签名验证的任务分散到树形结构的不同分片中取执行，减少了节点之间消息广播和签名验证的工作量，实现了区块链系统的负载均衡。
-
公开(公告)号：CN115102899B
公开(公告)日：2022-10-28
申请号：CN202211015896.1
申请日：2022-08-24
Applicant: 北京航空航天大学 , 北京航空航天大学云南创新研究院
IPC: H04L45/488 , H04L45/16 , H04L47/125 , H04L9/32 , H04L12/18 , H04L67/1074
Abstract: 本发明涉及区块链技术领域，具体涉及一种基于负载均衡的区块链节点树形分片方法，根据打分函数确定最大得分的节点为群组树的根节点，并以根节点为起点，选择前多个最大得分节点作为孩子节点，随机选择一个节点，该节点广播群组树，若其他节点收到群组树消息且验证通过，则生成部分门限签名，该节点若接收到超过预设门限值个部分门限签名，则生成完整门限签名并广播给其他节点，若其他节点验证通过，则确定为有效的群组树，所有节点在同一视图下具有相同的群组树。将区块链节点划分到树形分片中，可以把网络广播、签名验证的任务分散到树形结构的不同分片中取执行，减少了节点之间消息广播和签名验证的工作量，实现了区块链系统的负载均衡。
-
公开(公告)号：CN118966381A
公开(公告)日：2024-11-15
申请号：CN202411023432.4
申请日：2024-07-29
Applicant: 北京航空航天大学
Abstract: 本发明涉及一种基于区块链的联邦学习模型共享训练系统，包括：交互层、接口层、应用层、智能合约层、区块功能层和和存储层，存储层设置有LevelDB和StateDB，并采用MySQL来实现数据的双写策略，应用层和接口层定义和实现了系统与外界环境进行交互的规则手段。该联邦学习模型共享训练系统，包含模型上链流程所需的各类数据结构，实现了模型贡献度计算合约以及激励机制，并通过结合Client&Server分离式训练架构，实现了合约内部多点执行验证的分布式参数服务器，Server的去中心化能够增加模型参数的安全，与此同时解决了目前联邦学习中心化参数服务器带来的信任危机，减少了信任成本。
-
公开(公告)号：CN114153422A
公开(公告)日：2022-03-08
申请号：CN202111427479.3
申请日：2021-11-29
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于Event‑B形式化模型的智能合约代码设计生成方法，包括：步骤1，进行智能合约的需求分析，需求分析需要多方协调，用自然语言或领域特定语言DSL来描述智能合约的功能、属性和场景；步骤2，基于形式化模型Event‑B的语言准确地建立智能合约形式化模型并规约智能合约的属性；步骤3，基于形式化模型Event‑B，对智能合约形式化模型进行验证，对于没有通过验证的智能合约形式化模型进行反向校正和模型修改，直到通过验证；步骤4，基于EB2S运算子，将输入EB2S运算子的智能合约形式化模型对应输出Solidity智能合约代码。还公开了相应的基于Event‑B形式化模型的智能合约代码设计生成系统和电子设备，解决智能合约现有安全问题以及形式化方法与智能合约结合的不足。
-
公开(公告)号：CN104217097B
公开(公告)日：2018-06-19
申请号：CN201410331869.4
申请日：2014-07-14
Applicant: 北京航空航天大学
Abstract: 一种惯性稳定平台不平衡扰动的建模方法，通过将摩擦模型和基座角运动模型代入到建立的平台简化动力学模型中，求出摩擦和基座角运动作用下平台框架的偏转角，然后利用平台框架的偏转角求出平台水平和垂直方向上不平衡力臂的变化规律，根据平台框架的偏转角以及由于偏转角而引起的不平衡力臂的变化规律，建立惯性稳定平台不平衡扰动的模型。本发明通过分析平台框架的偏转角，以及由于偏转角而产生的不平衡力臂的变化规律，实现对惯性稳定平台不平衡扰动的建模。该不平衡扰动的建模方法省去了专门的实验过程，具有更好的直观性，可以进行各种情况下不平衡扰动对惯性稳定平台的影响分析，有助于不平衡扰动抑制方法的设计与实现。
-
Patent Agency Ranking
公开(公告)号：CN117729213A
公开(公告)日：2024-03-19
申请号：CN202311679114.9
申请日：2023-12-08
Applicant: 北京航空航天大学
IPC: H04L67/104 , H04L67/60
Abstract: 本发明涉及一种基于中继链的多方跨链系统，包括业务链、中继链和跨链网关，先确定跨链请求执行顺序，然后跨链网关从中继链上监听跨链触发条件的更新，开始监听链交易，跨链网关将满足跨链触发条件的应用链交易发送到中继链上生成跨链请求，中继链的跨链管理合约先进行相关验证，跨链请求建立后，由中继链上的跨链管理合约控制跨链请求的执行，跨链管理合约管理待执行链调用信息存储，跨链网关监听该存储有没有相关的链调用，有的话则验证跨链触发条件签名并执行链调用。本发明提供的多方跨链系统支持业务链上不同用户之间的跨链请求，跨链请求使用用户指定的链账户完成，跨链的规则也是双方共同制定的，从而增加跨链通道的可靠性。
-
公开(公告)号：CN104374390A
公开(公告)日：2015-02-25
申请号：CN201410465207.6
申请日：2014-09-12
Applicant: 北京航空航天大学
IPC: G01C21/18
CPC classification number: G01C21/18
Abstract: 一种惯性稳定平台不平衡扰动的抑制方法，包括前馈控制器和扰动观测器。其中，前馈控制器由比例环节组成，将平台的不平衡扰动转变为补偿电流并前馈到平台电流回路中，驱动电机产生与不平衡扰动大小相等、方向相反的控制力矩；扰动观测器包括低通滤波器和平台的标称模型，低通滤波器可以在抑制低频的不平衡扰动的同时消除高频噪声的影响。本发明利用已经建立的不平衡扰动模型，使用前馈+扰动观测器的综合控制方法实现对不平衡扰动的抑制，该控制方法综合利用了前馈和扰动观测器两种方法的优点，降低了不平衡扰动对平台性能的影响，显著提高了惯性稳定平台的稳定精度。本发明简便易行，适用于惯性稳定平台不平衡扰动的抑制。
-
公开(公告)号：CN114153435A
公开(公告)日：2022-03-08
申请号：CN202111438865.2
申请日：2021-11-29
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种用于智能合约代码设计生成的EB2S系统，包括：EB2S插件以及Rodin平台，EB2S插件为Rodin的插件，EB2S插件调用Rodin平台提供的API输入一个Event‑B模型，获取Event‑B模型中的元素，元素包括集合、常量、公理、变量、事件；然后EB2S工具应用转换规则得到对应的Solidity合约文件。还公开了EB2S系统的使用方法，包括：安装Rodin平台，并同时安装该EB2S插件；打开EB2S插件后，会弹出一个交互界面，用户通过中间的下拉菜单选择需要转换的项目名称，然后可以选择“全部转换”或“部分转换”模式；输入指定的项目文件，在项目所在路径上生成一个Solidity文件夹，里面保存着生成的日志文件和Solidity合约文件，通过选择的“全部转换”或“部分转换”模式进行转换。
-
公开(公告)号：CN119445234A
公开(公告)日：2025-02-14
申请号：CN202411529052.8
申请日：2024-10-30
Applicant: 北京航空航天大学
IPC: G06V10/764 , G06V10/82 , G06N3/098 , G06V10/40 , G06F21/60 , G06F21/62 , G06F16/23 , G16H50/20 , G16H30/40
Abstract: 本发明公开了一种基于区块链和联邦学习的糖网识别系统，包括：数据采集模块，用于采集眼底图像数据以及相关的医疗数据；联邦学习模块，与所述数据采集模块连接，该模块包括多个参与方节点，各参与方节点基于本地数据进行模型训练；区块链模块，与所述联邦学习模块相连，用于存储联邦学习过程中的模型参数、训练数据摘要、数据访问记录关键信息；糖网识别模块，接收联邦学习模块训练好的全局糖网识别模型；结果输出与反馈模块，与所述糖网识别模块连接。本发明通过联邦学习整合数据协同训练模型，提高糖网识别准确率，减少误诊漏诊，区块链保障数据安全可信，创新公式助力优化，系统应用广泛，利于临床、远程医疗，提升糖网诊断服务质量。
-
公开(公告)号：CN104217097A
公开(公告)日：2014-12-17
申请号：CN201410331869.4
申请日：2014-07-14
Applicant: 北京航空航天大学
Abstract: 一种惯性稳定平台不平衡扰动的建模方法，通过将摩擦模型和基座角运动模型代入到建立的平台简化动力学模型中，求出摩擦和基座角运动作用下平台框架的偏转角，然后利用平台框架的偏转角求出平台水平和垂直方向上不平衡力臂的变化规律，根据平台框架的偏转角以及由于偏转角而引起的不平衡力臂的变化规律，建立惯性稳定平台不平衡扰动的模型。本发明通过分析平台框架的偏转角，以及由于偏转角而产生的不平衡力臂的变化规律，实现对惯性稳定平台不平衡扰动的建模。该不平衡扰动的建模方法省去了专门的实验过程，具有更好的直观性，可以进行各种情况下不平衡扰动对惯性稳定平台的影响分析，有助于不平衡扰动抑制方法的设计与实现。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.233 seconds)
