公开(公告)号：CN115796166A

公开(公告)日：2023-03-14

申请号：CN202310063491.3

申请日：2023-02-06

Applicant: 华侨大学

Inventor： 郑黎晓 ,  陈祖希 ,  骆翔宇 ,  周长利

IPC: G06F40/279 ,  G06Q10/08 ,  G06F40/253

Abstract: 本发明涉及一种智慧物流控制系统的正则表达式测试方法和系统，属于电子技术领域。本发明基于给定的正则表达式识别得到元字符后，确定元字符的优先级关系，并基于优先级关系构建优先级表，接着，基于优先级表，将正则表达式转换为后缀形式的正则表达式，以构造抽象语法树，然后，遍历抽象语法树，并在遍历过程中对访问到的结点创建字符串集合，提取字符串集合中与抽象语法树根结点对应的字符串集合，并进行整理得到测试字符串，最后，基于测试字符串正则表达式的测试，能够在提高正则表达式描述效率的同时，提高正则表达式测试的正确性，进而能够为智慧物流机器人控制系统的有效和可靠应用提供支持。

公开(公告)号：CN115494829B

公开(公告)日：2023-03-14

申请号：CN202211432332.8

申请日：2022-11-16

Applicant: 华侨大学

Inventor： 陈祖希 ,  牛传军 ,  梅萌 ,  骆翔宇 ,  郑黎晓 ,  周长利 ,  徐中伟

IPC: G05B23/02 ,  G06F30/20 ,  G06F30/15

Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法，属于轨道交通系统建模领域。该方法包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型（ADT）与Event‑B方法的精化策略对自主列车运行控制系统进行建模，利用ADT的抽象概念，能够有效弥补单一使用精化策略的不足之处。

公开(公告)号：CN115729210A

公开(公告)日：2023-03-03

申请号：CN202211441023.7

申请日：2022-11-17

Applicant: 华侨大学 ,  舒柏睿(厦门)信息科技有限公司

Inventor： 牛传军 ,  陈祖希 ,  梅萌 ,  骆翔宇 ,  郑黎晓 ,  周长利 ,  徐中伟

IPC: G05B23/02 ,  H04L67/125

Abstract: 本发明公开一种基于通信的轨道交通列车控制系统危险分析方法及设备，涉及列车控制系统危险分析技术领域。所述基于通信的轨道交通列车控制系统危险分析方法，在基于列车运行工况和运行环境构建系统级安全约束表之后，基于构建得到的这一系统级安全约束表，采用STPA方法对CBTC系统中各控制环路的控制行为进行分析生成控制行为危险数据表，以精确、快速完成对CBTC系统的危险性分析，进而解决现有技术存在的难以体现CBTC系统内不同组件之间联系等问题。

公开(公告)号：CN115494829A

公开(公告)日：2022-12-20

申请号：CN202211432332.8

申请日：2022-11-16

Applicant: 华侨大学

Inventor： 陈祖希 ,  牛传军 ,  梅萌 ,  骆翔宇 ,  郑黎晓 ,  周长利 ,  徐中伟

IPC: G05B23/02 ,  G06F30/20 ,  G06F30/15

Abstract: 本发明公开了一种自主列车运行控制系统建模及验证方法，属于轨道交通系统建模领域。该方法包括：对自主列车运行控制系统进行分析，得到自主列车运行控制系统分析图；基于所述自主列车运行控制系统分析图对所述自主列车运行控制系统进行非形式化描述；基于所述非形式化描述对所述自主列车运行控制系统进行建模；采用Event‑B形式化方法对所述自主列车运行控制系统的模型进行优化；通过Rodin平台中的定理证明器对优化后的自主列车运行控制系统的模型进行证明。本发明基于抽象数据类型（ADT）与Event‑B方法的精化策略对自主列车运行控制系统进行建模，利用ADT的抽象概念，能够有效弥补单一使用精化策略的不足之处。

公开(公告)号：CN111988338B

公开(公告)日：2022-06-24

申请号：CN202010927145.1

申请日：2020-09-07

Applicant: 华侨大学

Inventor： 陈祖希 ,  曹子昱 ,  杜振博 ,  缑锦 ,  刘杰 ,  骆翔宇

IPC: H04L9/40 ,  H04L67/12 ,  H04L9/08 ,  G06F16/27 ,  H04L67/568

Abstract: 本发明涉及一种基于区块链的权限可控的物联网云平台及数据交互方法。该云平台包括：权限管理系统，用于管理每个部门的用户对物联网的产品及设备进行管理的权限；每个产品对应多个设备；产品管理模块，用于通过边缘计算节点与区块链进行交互，对物联网的产品进行管理；边缘计算节点采用分布式部署的方式接入区块链；设备管理模块，用于通过边缘计算节点与区块链进行交互，对物联网的设备进行管理；区块链，用于按照智能合约存储产品和设备的数据。本发明可以提高物联网数据处理的安全性和时效性。