-
公开(公告)号：CN115796166B
公开(公告)日：2023-05-09
申请号：CN202310063491.3
申请日：2023-02-06
Applicant: 华侨大学
IPC: G06F40/279 , G06Q10/08 , G06F40/253
Abstract: 本发明涉及一种智慧物流控制系统的正则表达式测试方法和系统，属于电子技术领域。本发明基于给定的正则表达式识别得到元字符后，确定元字符的优先级关系，并基于优先级关系构建优先级表，接着，基于优先级表，将正则表达式转换为后缀形式的正则表达式，以构造抽象语法树，然后，遍历抽象语法树，并在遍历过程中对访问到的结点创建字符串集合，提取字符串集合中与抽象语法树根结点对应的字符串集合，并进行整理得到测试字符串，最后，基于测试字符串正则表达式的测试，能够在提高正则表达式描述效率的同时，提高正则表达式测试的正确性，进而能够为智慧物流机器人控制系统的有效和可靠应用提供支持。
-
公开(公告)号：CN110689196B
公开(公告)日：2022-08-02
申请号：CN201910921109.1
申请日：2019-11-21
Applicant: 华侨大学
Abstract: 本发明公开了一种基于图着色的节点间能量再分配调度方法，涉及无线传感器网络技术领域。本发明包括以下阶段模式：S1能量再分配问题描述：给定一个由静态节点U组成的无线传感器网络WSNs,其中能量传输系数矩阵为C＝{c(i,j)}，能量上限列表为eU，能量下限列表为eL，能量传输功率列表为p，初始能量列表为eB，能量预期列表为eE；能量再分配问题WPTERD的任务是找一个最优能量传输调度s，使得最终总能量最大化并且时间跨度最小S2能量再分配问题分解。本发明的GCEgyTimeD算法使能量再分配过程中的能量损失最小，时间跨度最小，有利于延长无线传感器网络的寿命，有利于构建一个长期的无线传感器网络，具有较高的实际应用价值。
-
公开(公告)号：CN119294124A
公开(公告)日：2025-01-10
申请号：CN202411499548.5
申请日：2024-10-25
Applicant: 华侨大学
IPC: G06F30/20
Abstract: 本发明公开了一种基于ProB的铁路联锁系统形式化开发及仿真方法、装置及可读介质，包括：对联锁系统进行分析，得到联锁系统的结构；对联锁系统的结构进行精化分层，得到联锁系统的分层模型；采用Event‑B对联锁系统的分层模型进行形式化建模，得到联锁系统的Event‑B模型；对联锁系统的Event‑B模型进行实例化，得到实例化后的Event‑B模型，采用ProB工具对实例化后的Event‑B模型进行动态仿真，得到联锁系统的开发结果。本发明能够高效的创建和验证模型的准确性和安全性，确保联锁系统的可靠性和安全性。
-
公开(公告)号：CN118746976A
公开(公告)日：2024-10-08
申请号：CN202411111928.7
申请日：2024-08-14
Applicant: 华侨大学
Abstract: 一种轨道交通联锁系统完备性测试用例生成方法和系统，包括：应用STPA方法分析轨道交通联锁系统的安全需求，并将安全需求转换为线性时态逻辑属性；利用符号化有限状态机对轨道交通联锁系统进行建模得到参考模型，计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到参考模型中的符号迹；改良参考模型，并结合线性时态逻辑属性对参考模型的输入输出事件进行等价类划分；基于改良后的参考模型的符号迹生成测试用例，在被测系统上执行测试用例，检测被测系统是否满足轨道交通联锁系统的安全需求。本发明通过合理地划分等价类，可以有效减少测试用例的生成数量，从而缩减测试时长，提高测试效率。
-
公开(公告)号：CN118363368B
公开(公告)日：2024-10-01
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
Patent Agency Ranking
公开(公告)号：CN118387169B
公开(公告)日：2024-09-24
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号：CN118445816B
公开(公告)日：2024-09-13
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：CN117670630A
公开(公告)日：2024-03-08
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
公开(公告)号：CN117473558A
公开(公告)日：2024-01-30
申请号：CN202311785715.8
申请日：2023-12-25
Applicant: 华侨大学
IPC: G06F21/62 , G06N3/045 , G06N3/0475 , G06N20/00
Abstract: 本发明公开一种基于联邦学习的自适应DPWGAN训练方法及系统，该方法包括服务器将初始化后的WGAN中的判别器、生成器参数及噪声尺度广播至客户端；客户端利用本地数据集进行DPWGAN训练，利用自适应噪声的差分隐私方案对训练后的生成器参数进行扰动；并将扰动后的生成器参数上传至服务器；服务器对扰动后的生成器参数进行加权平均的操作，得到聚合后的全局模型，并根据聚合后的全局模型生成图像的Inception Score和FID值；不断更新，直至Inception Score和FID值达到预期目标。本发明能够解决传统GAN训练中出现数据孤岛问题以及隐私保护问题。
-
公开(公告)号：CN115973237A
公开(公告)日：2023-04-18
申请号：CN202211614179.0
申请日：2022-12-15
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: B61L27/20
Abstract: 本发明公开一种轨道交通ATP制动安全分析方法、系统及电子设备，涉及数据处理技术领域。本发明提供的轨道交通ATP制动安全分析方法，在确定好系统级事故后，将系统级事故限制到系统的可控部分以确定系统级危险，接着，根据系统级危险和构建好的控制结构模型，对控制结构模型中的控制操作进行分析识别得到不安全控制行为，最后，基于系统级危险、控制结构模型识别出潜在和不安全控制行为得到危险控制致因，以能够使分析过程条理清晰，提高安全证明的全面性和完整性。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.021 seconds)
