-
公开(公告)号：CN118733058A
公开(公告)日：2024-10-01
申请号：CN202411232515.4
申请日：2024-09-04
申请人： 中铁第六勘察设计院集团有限公司 , 中国国家铁路集团有限公司
摘要： 本发明公开了一种基于Event‑B的可靠Java程序自动生成方法，采用操作符EB2Prog将EB翻译成带JML注释的Java程序，EB2Prog使用操作符EB2Java获取翻译的Java部分，使用操作符EB2Jml获取JML部分；将机器翻译为Java类，翻译规则为：将机器翻译为事件的翻译E和机器本身的翻译两部分，机器本身被翻译成一个包含JML类和方法规范的Java类，包括声明的变量和所观看的上下文的翻译；每个事件被翻译成一个单独的Java类，包含对机器类的对象引用。该方法确保在保持事件和机器语义一致性的前提下，实现了抽象到代码的无缝过渡，高效地将EB事件中的复杂结构准确地翻译为Java。
-
公开(公告)号：CN117236790A
公开(公告)日：2023-12-15
申请号：CN202311490207.7
申请日：2023-11-10
申请人： 中铁第六勘察设计院集团有限公司 , 北京交通大学
IPC分类号： G06Q10/0639 , G06Q50/26 , G06Q50/30
摘要： 本发明提供了一种城市轨道交通运力与客流适应性评估方法、系统及设备，涉及城市轨道交通列车运行图评价领域。该方法需要的数据基础包括：线路基本信息、该线路全天的乘客刷卡信息、列车时刻表、列车定员、列车额定容量，利用交互匹配算法获得所需的列车载客量、车站滞留人数、上车人数、候车时间四类微观指标，在评估层面，建立了线路平均满载率、平均乘车舒适度、平均候车时间、车站滞留总人次四个评估指标，根据得到的微观指标计算出全天各时段对应的评估指标，然后采用CRITIC法对各指标进行赋权，最后基于TOPSIS法对全天各时段的运力客流适应性程度进行评估，得到各时段的评估结果。
-
公开(公告)号：CN109492311B
公开(公告)日：2023-05-30
申请号：CN201811356897.6
申请日：2018-11-15
申请人： 中铁第六勘察设计院集团有限公司
IPC分类号： G06F30/13
摘要： 本发明公开了盾构隧道BIM参数化建模与轻量化处理方法，首先建立REVIT隧道族库模型，然后将REVIT隧道族库模型进行参数化处理，对隧道中心线坐标进行坐标转换，将城建坐标系转换为WGS84坐标系，再将REVIT隧道族库模型通过算法转换为WebGL模型，并进行轻量化处理，对管片自定义参数进行保留，最终将生成的隧道整体轻量化信息模型导入平台应用，展现管片参数。该盾构隧道BIM参数化建模与轻量化处理方法，在保留管片编号、环号等属性参数的基础上，使隧道整体模型达到轻量化标准，满足应用需求，并能在浏览器以及移动端上流畅运行，有效的解决隧道模型过大造成的系统运行不畅的问题。
-
公开(公告)号：CN110502839B
公开(公告)日：2023-05-02
申请号：CN201910783665.7
申请日：2019-08-23
申请人： 中铁第六勘察设计院集团有限公司
摘要： 本发明提供基于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之间融合应用关键性问题。
-
公开(公告)号：CN112016152A
公开(公告)日：2020-12-01
申请号：CN202011028620.8
申请日：2020-09-25
申请人： 中铁第六勘察设计院集团有限公司
IPC分类号： G06F30/13 , G06F30/20 , G06F16/29 , G06F119/02
摘要： 本发明提供了一种隧道施工BIM管理平台大数据辅助施工决策方法，包括以下步骤：S100获取隧道施工管理数据；S200基于大数据隧道施工BIM管理平台进行数据存储和整理；S300根据业务需求获取某一个时间段下的施工数据，并对施工数据进行预警判断；将施工数据和判断结果进行BIM+GIS二三维关联展示；S400通过关联展示辅助施工决策。本发明通过大数据分析整合，实现对重点关注施工数据预警分析处置，并进行BIM+GIS二三维关联展示，从而在盾构隧道施工过程中，起到辅助施工决策，提高施工安全管理水平。
-
公开(公告)号：CN117934819A
公开(公告)日：2024-04-26
申请号：CN202410315833.0
申请日：2024-03-20
申请人： 中铁第六勘察设计院集团有限公司 , 北京交通大学
IPC分类号： G06V10/25 , G06Q10/20 , G06Q50/40 , G06Q50/50 , G06V10/774 , G06V10/776 , G06V10/82
摘要： 本发明提供了一种轨道缺陷检测系统鲁棒性提升方法，首先对采集到的轨道缺陷数据进行预处理，按照8:1:1的比例划分为训练集、验证集和测试集；基于YOLOv5目标检测模型生成轨道缺陷检测模型，采用一系列指标对轨道缺陷检测模型性能进行评估，通过训练集进行初训练得到初训练模型；采用变异生成算法生成更具多样性的训练样本，将训练集上生成的多样性数据与原始训练集合并来对初训练模型进行重训练，最大化模型在多样性测试样本上的性能，以此提高轨道缺陷检测系统的鲁棒性。结果显示相较于初训练模型，重训练模型在不同扰动下各方面性能都有所提升，重训练轨道缺陷检测模型在测试集上表现出更好的效果。
-
公开(公告)号：CN112016166A
公开(公告)日：2020-12-01
申请号：CN202011028619.5
申请日：2020-09-25
申请人： 中铁第六勘察设计院集团有限公司
IPC分类号： G06F30/15
摘要： 本发明提供了一种地铁设计三维模型差异化对比方法，包括以下步骤：上传初始版本模型信息及属性，系统获取初始模型构件编码清单及属性，并保存至数据库；上传新版本模型信息及属性；系统读取数据库中前一版本的模型构件编码清单及属性，对比、判定此版本模型构件编码及属性是否发生变化；如版本模型构件编码及属性有变化，则根据变化类型变更构件信息，然后系统获取新版本模型构建编码清单及属性；将新版本模型构建编码清单及属性保存至数据库；基于系统选择不同对比版本，二三维关联展示不同三维模型差异化构件。本发明实现了地铁设计三维模型差异化对比，可以更加直观的展示不同版本三维模型的差异化构件及属性，提高地铁设计效率。
-
公开(公告)号：CN109493006A
公开(公告)日：2019-03-19
申请号：CN201811357074.5
申请日：2018-11-15
申请人： 中铁第六勘察设计院集团有限公司
摘要： 本发明公开基于BIM平台对项目进度对比展示的方法，包括以下步骤：获取设计进度资料；获取盾构机施工数据；将步骤1、2中获取的信息导入数据库存储；对步骤3中的数据按照盾构机施工环号判断；获取步骤4中判断后的状态代表颜色信息并获取环片模型；将步骤5中的环片模型按照步骤4中判断状态的代表颜色在三维引擎中渲染；将步骤6中渲染后的模型进行三维展示；将步骤3中信息进行二维数据展示；将步骤7、8中的二三维数据在平台中进行关联展示。本发明可达到通过三维模型结合二维数据，直观展示实际与设计进度差异，为后期施工提供数据支撑，确保项目按进度完成的有益效果。
-
公开(公告)号：CN109492311A
公开(公告)日：2019-03-19
申请号：CN201811356897.6
申请日：2018-11-15
申请人： 中铁第六勘察设计院集团有限公司
IPC分类号： G06F17/50
摘要： 本发明公开了盾构隧道BIM参数化建模与轻量化处理方法，首先建立REVIT隧道族库模型，然后将REVIT隧道族库模型进行参数化处理，对隧道中心线坐标进行坐标转换，将城建坐标系转换为WGS84坐标系，再将REVIT隧道族库模型通过算法转换为WebGL模型，并进行轻量化处理，对管片自定义参数进行保留，最终将生成的隧道整体轻量化信息模型导入平台应用，展现管片参数。该盾构隧道BIM参数化建模与轻量化处理方法，在保留管片编号、环号等属性参数的基础上，使隧道整体模型达到轻量化标准，满足应用需求，并能在浏览器以及移动端上流畅运行，有效的解决隧道模型过大造成的系统运行不畅的问题。
-
公开(公告)号：CN117273468A
公开(公告)日：2023-12-22
申请号：CN202311540188.4
申请日：2023-11-20
申请人： 中铁第六勘察设计院集团有限公司 , 北京交通大学
IPC分类号： G06Q10/0635 , G06Q10/20 , G06Q50/26
摘要： 本发明提供了一种铁路信号设备检修作业风险评估方法、系统及设备，属于轨道交通人因可靠性分析技术领域，该方法将模糊综合评价法和基于云模型的系统效能评估相结合，所述的模糊综合评价法是首先按照信号设备检修作业的一般工作流程，构建相关人员作业安全风险评估体系，再通过建立模糊对象的因素集及相关权重，结合评语集确定各级指标的权重，最后得出整项作业的安全风险评估等级；所述的基于云模型的系统效能评估首先是确立信号设备检修作业的各级指标、各指标的权重及评语集，然后通过逆向云发生器生成评语集云模型，再通过正向云发生器生成足够数量的云滴形成云图，最后通过观察云图得出作业安全风险评估等级。
-
-
-
-
-
-
-
-
-
搜索结果
22 条记录 (耗时 0.055 秒)