-
公开(公告)号：CN117555217B
公开(公告)日：2024-04-12
申请号：CN202410029921.4
申请日：2024-01-09
Applicant: 华侨大学
Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。
-
-
公开(公告)号：CN117577312A
公开(公告)日：2024-02-20
申请号：CN202311721992.2
申请日：2023-12-14
Applicant: 华侨大学
Abstract: 本发明公开一种肺炎辅助诊断系统及方法，涉及人工智能医疗技术领域，服务器和各个客户端采用联邦学习进行模型训练，服务器生成合成数据后，将相同的合成数据下发给客户端进行训练，通过引入合成数据，解决各个医院肺炎数据异质性带来的影响，通过在客户端训练的目标函数中引入一个条件分布不匹配惩罚来达到特征校准的效果，通过引入迁移学习，通过私有数据校准合成数据的特征信息，从而提高准确性，达到解决在联邦医疗场景下的肺炎数据异质性，从而提升模型性能，进而提高肺炎辅助诊断结果的准确性的效果。
-
公开(公告)号：CN117555217A
公开(公告)日：2024-02-13
申请号：CN202410029921.4
申请日：2024-01-09
Applicant: 华侨大学
Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。
-
公开(公告)号：CN116343249A
公开(公告)日：2023-06-27
申请号：CN202310300980.6
申请日：2023-03-27
Applicant: 华侨大学 , 河南高辉教育科技有限公司
IPC: G06V30/413 , G06V10/82 , G06V30/146 , G06V30/414
Abstract: 本发明公开一种表格识别方法及系统，涉及表格识别技术领域，获取对待识别表格进行拍摄所得到的图片，利用文字检测模型对图片进行识别，确定图片中的文本区域，利用文字识别模型对文本区域进行文字识别，得到文本识别结果，文本识别结果包括文本区域内每个元素的顶点坐标及文本内容，通过先识别文本区域再进行文字识别的方式能够快速确定待识别表格的文本内容。根据文本识别结果对文本区域内每个元素进行位置定位，确定文本区域内每个元素的位置，从而可以得到待识别表格中各个元素的位置及文本内容，准确、高效的对表格内容进行识别。
-
Patent Agency Ranking
公开(公告)号：CN116187104A
公开(公告)日：2023-05-30
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
公开(公告)号：CN116029734A
公开(公告)日：2023-04-28
申请号：CN202310286233.1
申请日：2023-03-23
Applicant: 华侨大学
IPC: G06Q20/40 , G06F16/901 , G06F16/903 , G06F16/2458
Abstract: 本发明公开一种银行交易欺诈行为检测方法、系统及电子设备，涉及金融大数据分析技术领域。本发明提供的银行交易欺诈行为检测方法以基于银行交易记录整理得到资金交易表以客户为节点，以交易流水为边构建超图、超图的邻接表结构以及有序边列表后，采用有向环求解算法按照有序边列表中存储数据的顺序对初始化后的全局数据结构进行深度优先搜索遍历操作得到环路，使得在循环检测的基础上加上了时间维度的概念，充分利用了欺诈交易在时间维度上的“连续的方式”，从而增加检测结果的准确性，并且，本发明利用深度优先遍历的遍历方式，减少重复访问，能够显著提高检测效率。
-
公开(公告)号：CN115982207A
公开(公告)日：2023-04-18
申请号：CN202310264829.1
申请日：2023-03-20
Applicant: 华侨大学
IPC: G06F16/2453 , G06F16/2458 , G06F16/901 , G06F9/54
Abstract: 本发明涉及一种银行交易资金回流多线程并行检测方法及系统，属于大数据分析处理领域。方法包括：根据银行交易记录构建有向图及其邻接表存储结构，并增加一个虚拟顶点来指向有向图中每一个顶点；基于有向图创建线程间共享内存数据结构，定义并初始化线程内局部数据结构；调用多个线程同时从虚拟顶点出发进行深度优先搜索遍历执行有向环路求解算法；所有线程运行结束之后，利用线程间共享内存数据结构中的环路集合输出检测到的资金回流环路。本发明方法通过将计算任务分解到多个线程上并行执行，充分利用了底层多核处理器的高并发性缩短了算法执行时间，提高了存在回流预警的交易环路的挖掘效率。
-
公开(公告)号：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: 本发明公开一种银行交易资金流向路径检测方法、系统、设备及存储介质，涉及银行交易检测技术领域。本发明构建银行交易记录的有向图，有向图中每个顶点为并发的无锁共享数据结构，根据流入流出账户对，采用多线程并行检测方法检测有向图，获得待检测账号的交易路径。本发明通过多线程并行的方式处理数据，充分利用底层多核处理器的高并发性缩短算法执行时间，提高交易路径检测的效率。
-
-
-
-
-
-
-
-
-
Search Results
85
records
(took 0.024 seconds)
