城市轨道交通运力与客流适应性评估方法、系统及设备

    公开(公告)号:CN117236790B

    公开(公告)日:2024-01-26

    申请号:CN202311490207.7

    申请日:2023-11-10

    Abstract: 本发明提供了一种城市轨道交通运力与客流适应性评估方法、系统及设备,涉及城市轨道交通列车运行图评价领域。该方法需要的数据基础包括:线路基本信息、该线路全天的乘客刷卡信息、列车时刻表、列车定员、列车额定容量,利用交互匹配算法获得所需的列车载客量、车站滞留人数、上车人数、候车时间四类微观指标,在评估层面,建立了线路平均满载率、平均乘车舒适度、平均候车时间、车站滞留总人次四个评估指标,根据得到的微观指标计算出全天各时段对应的评估指标,然后采用CRITIC法对各指标进行赋权,最后基于TOPSIS法对全天各时段的运力客流适应性程度进行评估,得到各时段的评估结果。

    基于BIM平台的GIS坐标与CAD坐标转换方法

    公开(公告)号:CN110502839A

    公开(公告)日:2019-11-26

    申请号:CN201910783665.7

    申请日:2019-08-23

    Abstract: 本发明提供基于BIM平台的GIS坐标与CAD坐标转换方法,涉及BIM技术领域。该基于BIM平台的GIS坐标与CAD坐标转换方法,包括以下步骤:1)首先数据导入BIM平台,包括GIS影像图(WGS1984坐标系)导入BIM平台,CAD平面图导入BIM平台;2)按照步骤1的方式将数据导入后,然后设置GIS影像图为基准图;3)将步骤2基准图设置完成后,再设置CAD平面图为转换图;4)将步骤3设置完成后,然后再基于GIS影像图配准;5)按照步骤4中配准后计算同名点坐标修正值。通过本方法可达到基于BIM平台的GIS坐标与CAD坐标转换,可实现基于不同CAD平面坐标系与WGS1984坐标系之间的转换,解决BIM与GIS之间融合应用关键性问题。

    基于BIM平台实现突发事件处置资源匹配方法

    公开(公告)号:CN109447515A

    公开(公告)日:2019-03-08

    申请号:CN201811356878.3

    申请日:2018-11-15

    Abstract: 本发明公开基于BIM平台实现突发事件处置资源匹配方法,包括以下步骤:事件发生时触发报警;事件空间定位;按照规则进行级别判定;根据事件级别获取预案;将事件坐标资源坐标按照预案规则计算直线距离;根据预获取资源数据、坐标距离、模型数据进行资源匹配;判断资源是否满足;若步骤6中资源不满足,进行基础数据录入与维护;若步骤6中资源满足,应急资源与突发事件位置通过BIM平台展示空间关系以及资源数据。本发明实现突发事件处置过程中应急资源匹配方法,突发事件发生时按照应急预案利用BIM模型直观展示资源与事件位置之间关系以及资源信息,提高处置效率降低突发事件造成的损失的有益效果。

    基于BIM实现盾构施工多源安全风险数据集成方法

    公开(公告)号:CN109101668A

    公开(公告)日:2018-12-28

    申请号:CN201811356879.8

    申请日:2018-11-15

    Abstract: 本发明公开了基于BIM实现盾构施工多源安全风险数据集成方法,从视频平台获取的摄像机视频监控数据进入到逻辑加工层中;从盾构系统获取盾构机数据、从安全管理系统和隐患排查系统获取数据到平台前置接口处理层;其他系统数据可获取到平台前置接口处理层;以上四种数据依次从平台前置接口处理层进入逻辑加工层、数据持久层、数据库进行处理和存储,然后再返回至逻辑加工层;所有数据会同后进入盾构管理平台进行应用展示。该方法集成多种数据方式,在同一平台进行可视化展示与对比,有效综合了安全隐患数据,为施工提供预警及处置措施建议。

    基于Event-B的Java代码自动生成中内存安全验证方法

    公开(公告)号:CN119782124A

    公开(公告)日:2025-04-08

    申请号:CN202510272147.4

    申请日:2025-03-10

    Abstract: 本发明公开了一种基于Event‑B的Java代码自动生成中内存安全验证方法,首先明确内存管理系统的功能需求、环境需求和安全需求,然后对内存管理系统进行抽象建模,定义系统的核心功能,包括内存分配、回收和状态管理等,通过形式化描述内存管理过程,确保系统行为的可验证性,精化策略从初始抽象模型开始,逐步引入不同的功能需求和安全需求进行精化,在每一步精化过程中,均对模型进行验证;构建从Event‑B到JML,再到Java代码的安全转换规则,并使用Isabelle/HOL定理证明器对系统行为的语义进行验证,确保了代码转换过程中内存操作的正确性,实现了从Event‑B模型到Java代码的安全转化。

    城市轨道交通运力与客流适应性评估方法、系统及设备

    公开(公告)号:CN117236790A

    公开(公告)日:2023-12-15

    申请号:CN202311490207.7

    申请日:2023-11-10

    Abstract: 本发明提供了一种城市轨道交通运力与客流适应性评估方法、系统及设备,涉及城市轨道交通列车运行图评价领域。该方法需要的数据基础包括:线路基本信息、该线路全天的乘客刷卡信息、列车时刻表、列车定员、列车额定容量,利用交互匹配算法获得所需的列车载客量、车站滞留人数、上车人数、候车时间四类微观指标,在评估层面,建立了线路平均满载率、平均乘车舒适度、平均候车时间、车站滞留总人次四个评估指标,根据得到的微观指标计算出全天各时段对应的评估指标,然后采用CRITIC法对各指标进行赋权,最后基于TOPSIS法对全天各时段的运力客流适应性程度进行评估,得到各时段的评估结果。

    基于BIM平台的GIS坐标与CAD坐标转换方法

    公开(公告)号:CN110502839B

    公开(公告)日:2023-05-02

    申请号:CN201910783665.7

    申请日:2019-08-23

    Abstract: 本发明提供基于BIM平台的GIS坐标与CAD坐标转换方法,涉及BIM技术领域。该基于BIM平台的GIS坐标与CAD坐标转换方法,包括以下步骤:1)首先数据导入BIM平台,包括WGS1984坐标系GIS影像图导入BIM平台,CAD平面图导入BIM平台;2)按照步骤1的方式将数据导入后,然后设置GIS影像图为基准图;3)将步骤2基准图设置完成后,再设置CAD平面图为转换图;4)将步骤3设置完成后,然后再基于GIS影像图配准;5)按照步骤4中配准后计算同名点坐标修正值。通过本方法可达到基于BIM平台的GIS坐标与CAD坐标转换,可实现基于不同CAD平面坐标系与WGS1984坐标系之间的转换,解决BIM与GIS之间融合应用关键性问题。

Patent Agency Ranking