您的位置： 专家智库 > >

梁茨

作品数：4 被引量：16H指数：1
供职机构：北京交通大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 2篇交通运输工程

主题

  • 2篇优选算法
  • 2篇有色PETR...
  • 2篇证据理论
  • 2篇资源成本
  • 2篇自动化
  • 2篇自动化测试
  • 2篇网络
  • 2篇网络模型
  • 2篇像素
  • 2篇像素点
  • 2篇不确定度
  • 2篇不确定性
  • 1篇优化算法
  • 1篇列车
  • 1篇列车运行
  • 1篇列车运行控制
  • 1篇路径优化算法
  • 1篇轨道交通

机构

  • 4篇北京交通大学

作者

  • 4篇梁茨
  • 3篇郑伟
  • 2篇王睿
  • 1篇唐涛
  • 1篇李开成

传媒

  • 1篇铁道学报

年份

  • 1篇2022
  • 1篇2021
  • 2篇2013
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种基于证据推理的语义分割网络模型不确定性量化方法
本发明提供了一种基于证据推理的语义分割网络模型不确定性量化方法。该方法包括：构建FCN网络模型，利用训练数据集对FCN网络模型进行训练，得到用于图像数据的语义分割的训练后的FCN网络模型；将D‑S证据理论移植于所述训练后...
王睿梁茨郑伟
文献传递
一种基于证据推理的语义分割网络模型不确定性量化方法
本发明提供了一种基于证据推理的语义分割网络模型不确定性量化方法。该方法包括：构建FCN网络模型，利用训练数据集对FCN网络模型进行训练，得到用于图像数据的语义分割的训练后的FCN网络模型；将D‑S证据理论移植于所述训练后...
王睿梁茨郑伟
文献传递
基于路径优化算法的测试序列自动生成及验证被引量：15
2013年
随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法。制定与系统CPN模型、测试序列相关的定义;利用本文提出的全路径覆盖优化算法和序列优选算法生成XML测试序列;以CTCS-3级列控系统下RBC的切换为例,自动生成测试案例与测试序列,并在RBC测试平台上进行验证。结果表明:本文提出的测试生成方法可实现测试的自动化,针对RBC切换场景生成的测试序列重复度降低了75%,完全覆盖《CTCS-3级列控系统功能需求规范》中的相关内容。
梁茨郑伟李开成唐涛
关键词：有色PETRI网自动化测试
基于全路径覆盖优化和序列优选算法的自动化测试方法及应用
作为典型安全苛求系统的中国高速铁路列车运行控制CTCS-3级系统正朝着高速度、高密度列车运营的目标不断前进。CTCS-3列控系统的应用大大提高了列车运行速度，及运输效率，但同时在安全方面也提出了更高的要求，为保证CTCS...
梁茨
关键词：有色PETRI网自动化测试轨道交通列车运行控制
文献传递
全选 清除 导出
共1页<1>
聚类工具0