-
公开(公告)号：CN117036684A
公开(公告)日：2023-11-10
申请号：CN202310488471.0
申请日：2023-05-04
Applicant: 华侨大学
Abstract: 本发明提供了一种医学小样本的分割方法、装置、设备及可读存储介质，通过先接收并处理支持图像和查询图像，以生成支持特征和查询特征；接着基于所述支持特征和支持图像掩码生成类原型，并根据所述类原型和查询特征的负余弦相似度构建异常分数；再接着获取自适应阈值与所述异常分数进行阈值化，以生成预测掩码，最后，获取平衡因子，并根据所述平衡因子将所述第一尺度的预测掩码和第二尺度的预测掩码进行融合，以生成分割掩码，其中，所述分割掩码用于对医学图像中与所述分割掩码相关联的部位进行标注，解决了小样本医学分割存在精度和准确度不高的问题。
-
公开(公告)号：CN116760712A
公开(公告)日：2023-09-15
申请号：CN202310712381.5
申请日：2023-06-15
Applicant: 华侨大学
IPC: H04L41/0897 , G06F9/50 , G06N5/04 , G06N3/045 , G06N3/047 , G06N3/048 , G06N3/08 , H04L41/0895 , H04L41/0894 , H04L67/1004 , H04L67/12
Abstract: 本发明公开了一种基于车联网的端边云自适应分割任务的迁移方法及装置，通过求解多主多从Stackelberg博弈模型，得到资源丰富的车辆预留的空闲计算资源，并将预留有空闲计算资源的资源丰富的车辆包含在端边云架构的迁移节点中；将车辆的计算任务按任务分割比例分割成若干个子任务，并将若干个子任务分别迁移至端边云架构的迁移节点；将车辆的任务分割比例、计算资源分配和通信资源分配建模成多约束问题，最小化车辆的各子任务在不同的迁移模式下的最大时延之和，根据多约束问题构建MADDPG模型并进行集中式训练，得到经训练的MADDPG模型，获取车辆的状态，并输入经训练的MADDPG模型，得到最佳动作，根据最佳动作选择迁移节点，并确定迁移任务比例，能够显著降低通信时延。
-
公开(公告)号：CN115982207B
公开(公告)日：2023-07-28
申请号：CN202310264829.1
申请日：2023-03-20
Applicant: 华侨大学
IPC: G06F16/2453 , G06F16/2458 , G06F16/901 , G06F9/54
Abstract: 本发明涉及一种银行交易资金回流多线程并行检测方法及系统，属于大数据分析处理领域。方法包括：根据银行交易记录构建有向图及其邻接表存储结构，并增加一个虚拟顶点来指向有向图中每一个顶点；基于有向图创建线程间共享内存数据结构，定义并初始化线程内局部数据结构；调用多个线程同时从虚拟顶点出发进行深度优先搜索遍历执行有向环路求解算法；所有线程运行结束之后，利用线程间共享内存数据结构中的环路集合输出检测到的资金回流环路。本发明方法通过将计算任务分解到多个线程上并行执行，充分利用了底层多核处理器的高并发性缩短了算法执行时间，提高了存在回流预警的交易环路的挖掘效率。
-
公开(公告)号：CN115808907B
公开(公告)日：2024-08-30
申请号：CN202211441041.5
申请日：2022-11-17
Applicant: 华侨大学 , 舒柏睿(厦门) 信息科技有限公司
IPC: G05B19/418 , B61L27/20
Abstract: 本发明公开一种基于通信的列车控制系统的验证方法及验证系统，所述验证方法包括：根据基于通信的列车控制系统需求，获取基于通信的列车控制系统的控制结构；然后通过采用STPA方法和Event‑B方法对该控制结构进行建模，得到验证模型，对开发生成的基于通信的列车控制系统的控制行为进行验证，以保证CBTC系统开发的正确性，避免危害事件的发生。
-
公开(公告)号：CN116957598A
公开(公告)日：2023-10-27
申请号：CN202310649500.7
申请日：2023-06-02
Applicant: 华侨大学
IPC: G06Q30/018 , G06Q40/02
Abstract: 本发明公开一种基于路径束的可疑资金流向追溯方法及系统，涉及金融大数据分析技术领域，交易拓扑图中两个节点之间的若干条用户交易记录形成一条有向边，在找环路时即可用一条有向边代替多条交易边，显著提高环路查找效率。对于每一环路，根据用户账号交易信息表将环路中两个节点之间的有向边替换为若干条交易边，并以交易时间升序原则作为路径约束，对环路交易图中的交易边进行删除，得到单环路交易图，节省环路存储空间，后续进一步基于单环路交易图进行可疑资金流向追溯，从而能够在提高环路查找效率以及节省环路存储空间的同时降低可疑资金流的误判率。
-
Patent Agency Ranking
公开(公告)号：CN116187104B
公开(公告)日：2023-08-01
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
公开(公告)号：CN115796166B
公开(公告)日：2023-05-09
申请号：CN202310063491.3
申请日：2023-02-06
Applicant: 华侨大学
IPC: G06F40/279 , G06Q10/08 , G06F40/253
Abstract: 本发明涉及一种智慧物流控制系统的正则表达式测试方法和系统，属于电子技术领域。本发明基于给定的正则表达式识别得到元字符后，确定元字符的优先级关系，并基于优先级关系构建优先级表，接着，基于优先级表，将正则表达式转换为后缀形式的正则表达式，以构造抽象语法树，然后，遍历抽象语法树，并在遍历过程中对访问到的结点创建字符串集合，提取字符串集合中与抽象语法树根结点对应的字符串集合，并进行整理得到测试字符串，最后，基于测试字符串正则表达式的测试，能够在提高正则表达式描述效率的同时，提高正则表达式测试的正确性，进而能够为智慧物流机器人控制系统的有效和可靠应用提供支持。
-
公开(公告)号：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模型，提高了自动驾驶系统的人机界面的安全分析的全面性。
-
公开(公告)号：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: 本发明涉及智能教学技术领域，具体涉及一种正则语言和自动机理论的辅助教学交互方法及装置，包括：若获取的参考答案和/或学生答案的类型为正则表达式或自动机，则将参考答案和/或学生答案经过正则语言与自动机处理模型和字符串列表生成模型处理，生成对应的正例字符串列表和反例字符串列表，并将参考答案对应的正例字符串列表、反例字符串列表与学生答案对应的正例字符串列表、反例字符串列表分别进行比对，得到第一比对结果并反馈；若获取的参考答案和/或学生答案的类型为自然语言，则将二者进行相似度比对，得到第二比对结果并反馈，解决了在正则语言和自动机的理论教学中学生自我学习评估难、教学反馈延迟、学习效率低的问题。
-
-
-
-
-
-
-
-
-
Search Results
45
records
(took 0.019 seconds)
