一种自主列车运行控制系统建模及验证方法

    公开(公告)号:CN115494829A

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

    申请号:CN202211432332.8

    申请日:2022-11-16

    Applicant: 华侨大学

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

    基于区块链的权限可控的物联网云平台及数据交互方法

    公开(公告)号:CN111988338B

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

    申请号:CN202010927145.1

    申请日:2020-09-07

    Applicant: 华侨大学

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

    一种分布式调频质量阻尼器

    公开(公告)号:CN107060131A

    公开(公告)日:2017-08-18

    申请号:CN201710451394.6

    申请日:2017-06-15

    Applicant: 华侨大学

    CPC classification number: E04B1/98 E01D19/04 E01D19/041 E04B1/985

    Abstract: 本发明提供了一种分布式调频质量阻尼器,包括:子调频质量阻尼器、盖板和基座;所述基座的上表面设有阵列分布有放置子调频质量阻尼器的孔洞;每个孔洞内对应放置一个子调频质量阻尼器;每一个孔洞的上表面为开口端,所述盖板对应放置于所述开口端处;每个子调频质量阻尼器内设置有阻尼器、弹簧、底座、基础质量块和调节质量块;所述阻尼器沿着轴向的下端与所述底座连接,上端与基础质量块连接;所述弹簧连接于基础质量块和底座之间;所述调节质量块放置于基础质量块沿着轴向的上表面。本发明提供了一种分布式调频质量阻尼器,通过调节质量块的来改变其自振频率,质量块的安装与拆卸十分方便。

    一种基于动态区间的人脸年龄估计方法

    公开(公告)号:CN105678269A

    公开(公告)日:2016-06-15

    申请号:CN201610015237.6

    申请日:2016-01-11

    Applicant: 华侨大学

    Abstract: 本发明公开了一种基于动态区间的人脸年龄估计方法,包括提取人脸的特征;用聚类算法找到每个年龄的中心人脸;根据待估计人脸与中心人脸的相似程度,选择TopK个最相似的人脸所对应的年龄作为预测年龄,定义置信区间与置信度的关联函数;根据置信区间与置信度的关联函数,对每个年龄的所有测试图像的TopK个估计年龄用矩估计法估计人脸年龄的条形统计图、正态分布曲线及正态分布的期望和标准差;根据正态分布的累积分布函数,计算出不同的置信度及对应的置信区间。本发明技术方案有效地解决了传统的单一年龄估计方法准确率不高的问题。

    分布式调频质量阻尼器
    45.
    实用新型

    公开(公告)号:CN207032554U

    公开(公告)日:2018-02-23

    申请号:CN201720695911.X

    申请日:2017-06-15

    Applicant: 华侨大学

    Abstract: 本实用新型提供了一种分布式调频质量阻尼器,包括:子调频质量阻尼器、盖板和基座;所述基座的上表面设有阵列分布有放置子调频质量阻尼器的孔洞;每个孔洞内对应放置一个子调频质量阻尼器;每一个孔洞的上表面为开口端,所述盖板对应放置于所述开口端处;每个子调频质量阻尼器内设置有阻尼器、弹簧、底座、基础质量块和调节质量块;所述阻尼器沿着轴向的下端与所述底座连接,上端与基础质量块连接;所述弹簧连接于基础质量块和底座之间;所述调节质量块放置于基础质量块沿着轴向的上表面。本实用新型提供了一种分布式调频质量阻尼器,通过调节质量块的来改变其自振频率,质量块的安装与拆卸十分方便。(ESM)同样的发明创造已同日申请发明专利

Patent Agency Ranking