-
公开(公告)号：CN115933485A
公开(公告)日：2023-04-07
申请号：CN202211646028.3
申请日：2022-12-21
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: G05B19/042
Abstract: 本发明涉及一种基于控制结构层次划分的安全攸关系统控制方法及装置，属于工业控制领域。方法包括：对安全攸关系统进行需求提取，提取出系统需求描述并梳理出系统组件之间的关系；根据系统组件之间的关系建立控制结构图；基于STPA方法对控制结构图进行组件层次划分，划分出多层嵌套控制结构；基于STPA方法对多层嵌套控制结构中每一层控制结构的控制行为进行不安全控制行为识别，得到相应的安全约束；基于安全约束，利用Event‑B方法对多层嵌套控制结构中的每一层控制结构进行建模验证，得到安全攸关系统的验证模型；采用验证模型对安全攸关系统进行安全控制。本发明方法能够保证安全攸关系统验证模型的正确性和系统控制的安全性，有效避免危险事件的发生。
-
公开(公告)号：CN115689762B
公开(公告)日：2023-04-07
申请号：CN202310000333.3
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种银行交易资金流向路径检测方法、系统、设备及存储介质，涉及银行交易检测技术领域。本发明构建银行交易记录的有向图，有向图中每个顶点为并发的无锁共享数据结构，根据流入流出账户对，采用多线程并行检测方法检测有向图，获得待检测账号的交易路径。本发明通过多线程并行的方式处理数据，充分利用底层多核处理器的高并发性缩短算法执行时间，提高交易路径检测的效率。
-
公开(公告)号：CN115796166A
公开(公告)日：2023-03-14
申请号：CN202310063491.3
申请日：2023-02-06
Applicant: 华侨大学
IPC: G06F40/279 , G06Q10/08 , G06F40/253
Abstract: 本发明涉及一种智慧物流控制系统的正则表达式测试方法和系统，属于电子技术领域。本发明基于给定的正则表达式识别得到元字符后，确定元字符的优先级关系，并基于优先级关系构建优先级表，接着，基于优先级表，将正则表达式转换为后缀形式的正则表达式，以构造抽象语法树，然后，遍历抽象语法树，并在遍历过程中对访问到的结点创建字符串集合，提取字符串集合中与抽象语法树根结点对应的字符串集合，并进行整理得到测试字符串，最后，基于测试字符串正则表达式的测试，能够在提高正则表达式描述效率的同时，提高正则表达式测试的正确性，进而能够为智慧物流机器人控制系统的有效和可靠应用提供支持。
-
公开(公告)号：CN115494829B
公开(公告)日：2023-03-14
申请号：CN202211432332.8
申请日：2022-11-16
Applicant: 华侨大学
Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法，属于轨道交通系统建模领域。该方法包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型（ADT）与Event‑B方法的精化策略对自主列车运行控制系统进行建模，利用ADT的抽象概念，能够有效弥补单一使用精化策略的不足之处。
-
公开(公告)号：CN115729210A
公开(公告)日：2023-03-03
申请号：CN202211441023.7
申请日：2022-11-17
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: G05B23/02 , H04L67/125
Abstract: 本发明公开一种基于通信的轨道交通列车控制系统危险分析方法及设备，涉及列车控制系统危险分析技术领域。所述基于通信的轨道交通列车控制系统危险分析方法，在基于列车运行工况和运行环境构建系统级安全约束表之后，基于构建得到的这一系统级安全约束表，采用STPA方法对CBTC系统中各控制环路的控制行为进行分析生成控制行为危险数据表，以精确、快速完成对CBTC系统的危险性分析，进而解决现有技术存在的难以体现CBTC系统内不同组件之间联系等问题。
-
Patent Agency Ranking
公开(公告)号：CN115494829A
公开(公告)日：2022-12-20
申请号：CN202211432332.8
申请日：2022-11-16
Applicant: 华侨大学
Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法，属于轨道交通系统建模领域。该方法包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型（ADT）与Event‑B方法的精化策略对自主列车运行控制系统进行建模，利用ADT的抽象概念，能够有效弥补单一使用精化策略的不足之处。
-
公开(公告)号：CN112311078B
公开(公告)日：2022-03-22
申请号：CN202011215257.0
申请日：2020-11-04
Applicant: 华侨大学
Abstract: 本发明提供一种基于信息融合的太阳能负载调节方法和装置，方法包括：通过通信接口向服务器发送数据请求；基于所述请求，通过通信接口获取服务器提供的天气预报数据和实时天气数据；根据获取的天气预报数据生成数据矩阵，实时天气数据生成行向量；将所述数据矩阵和所述行向量分别进行向量归一化；基于归一化的天气预报数据矩阵和实时天气数据向量生成目标状态的控制权值向量；根据所述目标状态的控制权值向量和当前目标状态确定下一时刻目标状态进而控制输出值，以实现对负载的调节。本发明实现太阳能负载的合理持续供电，以尽可能避免未来几天阴雨天气无可用太阳能时对负载供电的间断，实现负载的科学合理调配。
-
公开(公告)号：CN112337070A
公开(公告)日：2021-02-09
申请号：CN202011215262.1
申请日：2020-11-04
Applicant: 华侨大学
IPC: A63B69/00
Abstract: 本发明公开了一种身体反应灵敏度测试装置及测试方法，包括测试面板与驱动控制电路。所述测试面板上具有多个按键LED灯，排列成LED按键矩阵；所述驱动控制电路包括控制器以及LED矩阵驱动模块，所述LED矩阵驱动模块可用于控制LED按键矩阵的任一按键LED灯亮起和熄灭；所述控制器与所述LED矩阵驱动模块电连接，所述控制器与所述按键LED灯电连接以获取按键LED灯的被触摸信息。所述控制器包括处理器以及存储器，所述存储器内存储有计算机程序，处理器被配置为执行计算机程序以实现测试方法的步骤。本测试装置既可以起到测试身体反应灵敏度的作用，由于其采用随机亮起按键LED灯的模式，还可以作用长期的身体反应灵敏度训练装置。
-
公开(公告)号：CN108965168A
公开(公告)日：2018-12-07
申请号：CN201811133021.5
申请日：2018-09-27
Applicant: 华侨大学 , 厦门传邮智能科技有限公司
IPC: H04L12/927 , H04W4/40 , H04W24/02
CPC classification number: H04L47/805 , H04W4/40 , H04W24/02
Abstract: 本发明公开了一种基于效用函数的车联网占优资源公平分配优化方法，首先构造了以服务质量QoS指标(分组时延和丢包率等)为自变量的效用函数；然后利用M/D/1排队模型建立QoS指标与无线网络资源数量(带宽和缓存等)二者间的函数映射关系；接着设计一种占优资源公平机制的分配算法，以最大化车辆用户效用为目标，并辅以用户权重优先级对用户的占优资源进行公平合理的分配。本发明的效用函数能够有效的代表用户对服务的满意程度，通过对QoS指标与资源数量建立映射模型，可以将用户的QoS性能需求转化为所需分配的资源数量，在实现满足占优资源公平按需分配的同时最大化用户对QoS需求的满意程度，提高了用户优先级最大化资源的利用率。
-
公开(公告)号：CN105893148A
公开(公告)日：2016-08-24
申请号：CN201610190341.9
申请日：2016-03-30
Applicant: 华侨大学
CPC classification number: Y02D10/22 , Y02D10/24 , Y02D10/36 , G06F9/5038 , G06F1/329
Abstract: 本发明公开了一种基于RM策略的偶发任务低能耗调度方法，包括在任务集调度之前，分配任务的初始优先级和执行优先级；计算任务的最大阻塞时间和最坏情况下的处理器需求；将任务集划分为有资源需求的任务集和没有资源需求的任务集，计算有资源需求任务集的最低运行速度，计算没有资源需求的任务集的最低运行速度；计算任务集离线阶段的运行速度；建立空闲时间管理队列，计算任务的空闲时间，利用DVS技术，调节处理器运行速度，确保最后的运行速度不低于关键速度。本发明考虑了通用的功耗模型、任务的执行时间与处理器速度成非线性关系情形及处理器速度切换开销，同时结合了DVS技术和DPM技术，较大地降低了能耗。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.024 seconds)
