-
公开(公告)号：CN118427841B
公开(公告)日：2024-10-22
申请号：CN202410886462.1
申请日：2024-07-03
Applicant: 华侨大学
Abstract: 本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
-
公开(公告)号：CN118798457A
公开(公告)日：2024-10-18
申请号：CN202410832250.5
申请日：2024-06-26
Applicant: 华侨大学
IPC: G06Q10/047 , G06N3/006 , G06Q50/40 , G06F16/29
Abstract: 本发明公开了一种基于可满足性的铁路网络路径规划方法及装置，涉及路径规划领域，包括：获取铁路网络图和每辆列车的起始位置和目标位置，对铁路网络图进行地图建模，得到双顶点图，将每辆列车建模成智能体；确定单个智能体的路径的时间成本阈值μ；采用μSMT‑CBS算法求解每个智能体的路径规划的解决方案，并判断是否能找到有效的智能体的路径规划的解决方案；若找到有效的智能体的路径规划的解决方案，则返回解决方案，若未找到有效的智能体的路径规划的解决方案，则将μ加1，并重复上一步骤，直至找到解决方案或者无法找到任何一个智能体的路径的时间成本小于或等于μ的解决方案为止，克服路径规划中的冲突难以解决的问题。
-
公开(公告)号：CN118358631B
公开(公告)日：2024-09-20
申请号：CN202410796199.7
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 本发明公开了一种基于离散速度连续时间的多智能体轨道交通路径规划方法，涉及路径规划技术领域，包括以下步骤：地图建模和智能体建模，生成地图模型智能体模型，表示为状态st：（Tr，t，v，speed），其中，Tr为列车唯一标识符，t、v和speed分别表示列车Tr在时间t时位于位置v且速度为speed，其中，位置v通过地图中的节点或边来表示；采用基于冲突的连续搜索算法实现多智能体轨道交通路径规划，所述多智能体轨道交通路径规划表示为所有智能体在地图上的状态变化。本发明在提高铁路运输效率的同时，增强了列车运行的安全性，为实际应用场景中的复杂情况提供了更为有效的解决方案。
-
公开(公告)号：CN115808907B
公开(公告)日：2024-08-30
申请号：CN202211441041.5
申请日：2022-11-17
Applicant: 华侨大学 , 舒柏睿(厦门) 信息科技有限公司
IPC: G05B19/418 , B61L27/20
Abstract: 本发明公开一种基于通信的列车控制系统的验证方法及验证系统，所述验证方法包括：根据基于通信的列车控制系统需求，获取基于通信的列车控制系统的控制结构；然后通过采用STPA方法和Event‑B方法对该控制结构进行建模，得到验证模型，对开发生成的基于通信的列车控制系统的控制行为进行验证，以保证CBTC系统开发的正确性，避免危害事件的发生。
-
公开(公告)号：CN118427841A
公开(公告)日：2024-08-02
申请号：CN202410886462.1
申请日：2024-07-03
Applicant: 华侨大学
Abstract: 本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
-
Patent Agency Ranking
公开(公告)号：CN118358631A
公开(公告)日：2024-07-19
申请号：CN202410796199.7
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 本发明公开了一种基于离散速度连续时间的多智能体轨道交通路径规划方法，涉及路径规划技术领域，包括以下步骤：地图建模和智能体建模，生成地图模型智能体模型，表示为状态st：（Tr，t，v，speed），其中，Tr为列车唯一标识符，t、v和speed分别表示列车Tr在时间t时位于位置v且速度为speed，其中，位置v通过地图中的节点或边来表示；采用基于冲突的连续搜索算法实现多智能体轨道交通路径规划，所述多智能体轨道交通路径规划表示为所有智能体在地图上的状态变化。本发明在提高铁路运输效率的同时，增强了列车运行的安全性，为实际应用场景中的复杂情况提供了更为有效的解决方案。
-
公开(公告)号：CN116567633A
公开(公告)日：2023-08-08
申请号：CN202310833201.9
申请日：2023-07-10
Applicant: 华侨大学
IPC: H04W12/106 , H04W12/033 , H04W12/0431 , H04W12/069 , H04W4/42 , H04L9/32
Abstract: 本发明公开一种基于ECDSA签名算法的身份认证方法、系统及设备，涉及轨道交通无线通信领域，主要步骤包括：A、全球用户识别卡注册；B、初始化接入阶段：当OBU首次接入网络时，利用HSS的公钥传输请求消息，生成临时国际移动用户识别码TMSI保存用于后续的通信；C、切换认证阶段：当OBU发生位置变化，出现列车跨移动管理实体切换的场景或需要重新请求接入网络时，OBU只需使用临时国际移动用户识别码，与新旧MME之间使用认证向量进行相互认证即可。本发明使用ECDSA签名算法，可以为LTE‑R提供更加高可靠、高效率的数据通信与身份认证，为铁路行业提供了更安全、更全面、更智能的通信服务。
-
公开(公告)号：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模型进行动态仿真，得到联锁系统的开发结果。本发明能够高效的创建和验证模型的准确性和安全性，确保联锁系统的可靠性和安全性。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.029 seconds)
