-
公开(公告)号：CN112947370B
公开(公告)日：2022-04-22
申请号：CN202110148981.4
申请日：2021-02-03
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种蒸汽锅炉系统的安全分析方法及系统，本发明通过对蒸汽锅炉系统的控制结构和控制流程分析，获得控制结构的分析结果到控制流程的映射关系和蒸汽锅炉系统到Event‑B模型的建模元素的映射关系，进而建立了用于蒸汽锅炉系统的安全预防的初始的Event‑B模型，并进一步对初始的Event‑B模型进行了修正，利用修正后的Event‑B模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。
-
公开(公告)号：CN112668012A
公开(公告)日：2021-04-16
申请号：CN202011640279.1
申请日：2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种自动驾驶人机界面安全性验证方法及系统，所述验证方法包括如下步骤：通过对自动驾驶系统的人机界面进行分析，确定人机界面的安全需求；根据人机界面的安全需求建立人机界面的Event‑B模型；基于Rodin平台验证所述Event‑B模型的安全性，获得验证结果，本发明基于安全需求建立Event‑B模型，提高了自动驾驶系统的人机界面的安全分析的全面性。
-
公开(公告)号：CN106970835B
公开(公告)日：2021-03-09
申请号：CN201710165339.0
申请日：2017-03-20
Applicant: 华侨大学
Abstract: 本发明公开一种固定优先级资源受限系统层次能耗优化方法，包括：计算任务Ti的系统层次最优速度；计算任务Ti执行的低速度SL且将其与比较；计算任务Ti执行的高速度；计算设备Di的设备空闲时间I(Di)；利用相对截止期限单调策略和抢占阈值策略调度任务；根据设备空闲时间I(Di)降低设备能耗。本发明利用动态功耗管理技术和动态电压调节技术，有效地降低系统层次能耗。
-
公开(公告)号：CN106951056B
公开(公告)日：2019-08-30
申请号：CN201710165505.7
申请日：2017-03-20
Applicant: 华侨大学
IPC: G06F1/329 , G06F1/3215
Abstract: 本发明公开一种CPU和IO设备低能耗调度方法，包括：建立资源受限周期任务设备能耗调度模型；计算任务Ti执行的低速度SL；计算任务Ti执行的高速度；计算设备Di的设备空闲时间I(Di)；利用最早截止期限优先策略和栈资源协议调度任务；根据设备空闲时间I(Di)降低设备能耗。本发明利用动态功耗管理技术和动态电压调节技术，有效地降低CPU和IO设备能耗。
-
-
Patent Agency Ranking
公开(公告)号：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模型进行动态仿真，得到联锁系统的开发结果。本发明能够高效的创建和验证模型的准确性和安全性，确保联锁系统的可靠性和安全性。
-
公开(公告)号：CN118627940B
公开(公告)日：2024-10-29
申请号：CN202411111929.1
申请日：2024-08-14
Applicant: 华侨大学
IPC: G06Q10/0637 , G06F40/205 , G06N20/00 , G06Q50/20 , G06F18/22 , G09B5/14 , G09B7/02
Abstract: 本发明涉及智能教学技术领域，具体涉及一种正则语言和自动机理论的辅助教学交互方法及装置，包括：若获取的参考答案和/或学生答案的类型为正则表达式或自动机，则将参考答案和/或学生答案经过正则语言与自动机处理模型和字符串列表生成模型处理，生成对应的正例字符串列表和反例字符串列表，并将参考答案对应的正例字符串列表、反例字符串列表与学生答案对应的正例字符串列表、反例字符串列表分别进行比对，得到第一比对结果并反馈；若获取的参考答案和/或学生答案的类型为自然语言，则将二者进行相似度比对，得到第二比对结果并反馈，解决了在正则语言和自动机的理论教学中学生自我学习评估难、教学反馈延迟、学习效率低的问题。
-
公开(公告)号：CN118746976A
公开(公告)日：2024-10-08
申请号：CN202411111928.7
申请日：2024-08-14
Applicant: 华侨大学
Abstract: 一种轨道交通联锁系统完备性测试用例生成方法和系统，包括：应用STPA方法分析轨道交通联锁系统的安全需求，并将安全需求转换为线性时态逻辑属性；利用符号化有限状态机对轨道交通联锁系统进行建模得到参考模型，计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到参考模型中的符号迹；改良参考模型，并结合线性时态逻辑属性对参考模型的输入输出事件进行等价类划分；基于改良后的参考模型的符号迹生成测试用例，在被测系统上执行测试用例，检测被测系统是否满足轨道交通联锁系统的安全需求。本发明通过合理地划分等价类，可以有效减少测试用例的生成数量，从而缩减测试时长，提高测试效率。
-
公开(公告)号：CN118363368B
公开(公告)日：2024-10-01
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
公开(公告)号：CN118387169B
公开(公告)日：2024-09-24
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
-
-
-
-
-
-
-
-
Search Results
85
records
(took 0.018 seconds)
