-
公开(公告)号：CN118445816B
公开(公告)日：2024-09-13
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：CN118627940A
公开(公告)日：2024-09-10
申请号：CN202411111929.1
申请日：2024-08-14
Applicant: 华侨大学
IPC: G06Q10/0637 , G06F40/205 , G06N20/00 , G06Q50/20 , G06F18/22 , G09B5/14 , G09B7/02
Abstract: 本发明涉及智能教学技术领域，具体涉及一种正则语言和自动机理论的辅助教学交互方法及装置，包括：若获取的参考答案和/或学生答案的类型为正则表达式或自动机，则将参考答案和/或学生答案经过正则语言与自动机处理模型和字符串列表生成模型处理，生成对应的正例字符串列表和反例字符串列表，并将参考答案对应的正例字符串列表、反例字符串列表与学生答案对应的正例字符串列表、反例字符串列表分别进行比对，得到第一比对结果并反馈；若获取的参考答案和/或学生答案的类型为自然语言，则将二者进行相似度比对，得到第二比对结果并反馈，解决了在正则语言和自动机的理论教学中学生自我学习评估难、教学反馈延迟、学习效率低的问题。
-
公开(公告)号：CN118627717A
公开(公告)日：2024-09-10
申请号：CN202411107282.5
申请日：2024-08-13
Applicant: 华侨大学
IPC: G06Q10/047 , G06N3/006 , G06Q50/43 , G06F16/29 , B61L27/10
Abstract: 本发明公开了一种基于MDD‑SAT的轨道交通列车智能体路径规划方法，涉及路径规划技术领域，包括以下步骤：S1，对轨道交通系统进行地图建模和智能体建模；S2，分别对所有智能体进行单独的路径规划，将所有路径规划方案中最大的时间成本设置为#imgabs0#；将所有智能体的成本总和设置为#imgabs1#；初始化#imgabs2#；S3，运行#imgabs3#算法求解路径规划方案，无解则进入S4，有解则进入S5；S4，令#imgabs4#，返回S3；S5，输出路径规划方案；所述S3采用的#imgabs5#算法基于多值决策图构建命题公式，基于布尔可满足性求解命题公式，获得路径规划方案。本发明通过建模将地铁系统抽象为MAPF问题，并利用MDD‑SAT算法解决路径规划中的冲突，以找到高速铁路系统的最优路径规划解决方案。
-
公开(公告)号：CN117670630A
公开(公告)日：2024-03-08
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
公开(公告)号：CN117473558A
公开(公告)日：2024-01-30
申请号：CN202311785715.8
申请日：2023-12-25
Applicant: 华侨大学
IPC: G06F21/62 , G06N3/045 , G06N3/0475 , G06N20/00
Abstract: 本发明公开一种基于联邦学习的自适应DPWGAN训练方法及系统，该方法包括服务器将初始化后的WGAN中的判别器、生成器参数及噪声尺度广播至客户端；客户端利用本地数据集进行DPWGAN训练，利用自适应噪声的差分隐私方案对训练后的生成器参数进行扰动；并将扰动后的生成器参数上传至服务器；服务器对扰动后的生成器参数进行加权平均的操作，得到聚合后的全局模型，并根据聚合后的全局模型生成图像的Inception Score和FID值；不断更新，直至Inception Score和FID值达到预期目标。本发明能够解决传统GAN训练中出现数据孤岛问题以及隐私保护问题。
-
Patent Agency Ranking
公开(公告)号：CN117056691A
公开(公告)日：2023-11-14
申请号：CN202311112472.1
申请日：2023-08-31
Applicant: 华侨大学
IPC: G06F18/20 , G06F18/243 , G06N3/0464 , G06N3/08
Abstract: 本发明公开了一种基于序列数据差分和随机森林的网络异常流量检测方法及装置，该方法包括：获取一维网络流量数据，对一维网络流量数据进行差分处理，得到差分处理数据；构建CNN‑RandomForest网络并训练，得到网络异常流量检测模型，CNN‑RandomForest网络包括依次连接的CNN网络和随机森林分类器；将差分处理数据输入网络异常流量检测模型，经过CNN网络进行特征提取，得到高级特征，将高级特征输入随机森林分类器，得到分类检测结果，该方法具有结构简单、成本低、检测精度高等优点。
-
公开(公告)号：CN116029734B
公开(公告)日：2023-06-13
申请号：CN202310286233.1
申请日：2023-03-23
Applicant: 华侨大学
IPC: G06Q20/40 , G06F16/901 , G06F16/903 , G06F16/2458
Abstract: 本发明公开一种银行交易欺诈行为检测方法、系统及电子设备，涉及金融大数据分析技术领域。本发明提供的银行交易欺诈行为检测方法以基于银行交易记录整理得到资金交易表以客户为节点，以交易流水为边构建超图、超图的邻接表结构以及有序边列表后，采用有向环求解算法按照有序边列表中存储数据的顺序对初始化后的全局数据结构进行深度优先搜索遍历操作得到环路，使得在循环检测的基础上加上了时间维度的概念，充分利用了欺诈交易在时间维度上的“连续的方式”，从而增加检测结果的准确性，并且，本发明利用深度优先遍历的遍历方式，减少重复访问，能够显著提高检测效率。
-
公开(公告)号：CN115973237A
公开(公告)日：2023-04-18
申请号：CN202211614179.0
申请日：2022-12-15
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: B61L27/20
Abstract: 本发明公开一种轨道交通ATP制动安全分析方法、系统及电子设备，涉及数据处理技术领域。本发明提供的轨道交通ATP制动安全分析方法，在确定好系统级事故后，将系统级事故限制到系统的可控部分以确定系统级危险，接着，根据系统级危险和构建好的控制结构模型，对控制结构模型中的控制操作进行分析识别得到不安全控制行为，最后，基于系统级危险、控制结构模型识别出潜在和不安全控制行为得到危险控制致因，以能够使分析过程条理清晰，提高安全证明的全面性和完整性。
-
公开(公告)号：CN115689761B
公开(公告)日：2023-03-21
申请号：CN202310000332.9
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种电子商务流向路径多线程并行检测方法及设备，涉及电子商务交易检测技术领域。所述提供的电子商务流向路径多线程并行检测方法，基于获取的电商平台交易记录生成有向图后，基于获取的待检测账号流水信息得到流入流出账户对，然后，采用并行检测方法基于流入流出账户对检测有向图得到交易路径，以实现电子商务交易的快速检测，进而避免出现底层硬件资源大幅度浪费的问题出现。
-
公开(公告)号：CN115689762A
公开(公告)日：2023-02-03
申请号：CN202310000333.3
申请日：2023-01-03
Applicant: 华侨大学
Abstract: 本发明公开一种银行交易资金流向路径检测方法、系统、设备及存储介质，涉及银行交易检测技术领域。本发明构建银行交易记录的有向图，有向图中每个顶点为并发的无锁共享数据结构，根据流入流出账户对，采用多线程并行检测方法检测有向图，获得待检测账号的交易路径。本发明通过多线程并行的方式处理数据，充分利用底层多核处理器的高并发性缩短算法执行时间，提高交易路径检测的效率。
-
-
-
-
-
-
-
-
-
Search Results
85
records
(took 0.023 seconds)
