公开(公告)号：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的抽象概念，能够有效弥补单一使用精化策略的不足之处。

公开(公告)号：CN104219284A

公开(公告)日：2014-12-17

申请号：CN201410391320.4

申请日：2014-08-11

Applicant: 华侨大学

Inventor： 王成 ,  赖雄鸣 ,  谢维波 ,  缑锦 ,  郑黎晓 ,  李静 ,  官威

IPC: H04L29/08 ,  G06F9/52 ,  G06F9/50

Abstract: 本发明提供一种基于半同步半异步和管道过滤器模式的服务器设计方法，所述方法包括：步骤1、将所述半同步层设计成包括复数个数据处理模块；步骤2、将管道过滤器模式应用到半同步层的数据处理模块中；步骤3、将所述复数个数据处理模块通过一链表顺序地链接在一起；步骤4、将二进制指数退避策略应用到所述客户端的应用层中。采用本设计方法后，整个服务器体系将具备以下优点：系统的并发性得到了很大的提高，且具有良好的扩展性；可以动态添加或者删除数据处理模块，使数据处理更具高效性、灵活性；可以通过二进制指数退避策略有效缓解服务器压力，同时也提高了服务器的运行能力。