期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
基于NDT和特征点检测的点云配准算法研究 被引量:17
1
作者 杨宜林 李积英 +1 位作者 王燕 俞永乾 《激光与光电子学进展》 CSCD 北大核心 2022年第8期188-194,共7页
针对传统的迭代最近点(ICP)算法计算量较大、效率较低、易受点云初始位姿影响等缺点,提出一种基于normal distribution transform(NDT)和特征点检测的点云配准算法。该算法采用“粗细结合”的配准策略,首先对点云进行预处理;然后采用ND... 针对传统的迭代最近点(ICP)算法计算量较大、效率较低、易受点云初始位姿影响等缺点,提出一种基于normal distribution transform(NDT)和特征点检测的点云配准算法。该算法采用“粗细结合”的配准策略,首先对点云进行预处理;然后采用NDT算法对处理后的点云进行粗配准,为精配准提供较理想的初始位姿;再利用3D-Harris特征点检测算法提取点云特征点;最后利用ICP算法对提取特征点后的点云集进行精细配准,得到最优解。仿真结果显示,与传统算法对比,所提算法进一步提高了点云配准的效率和精确度。 展开更多
关键词 图像处理 点云配准 ICP算法 NDT 3DHarris角点 特征点提取
原文传递
基于活动图和HTCPN的列控系统等级转换建模分析 被引量:1
2
作者 周游 何涛 《计算机应用与软件》 北大核心 2020年第6期119-125,共7页
在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3... 在CTCS-3级列控系统中,为了保证C2级向C3级场景转换的过程中列控系统实时性和安全性,采用统一建模语言(UML)活动图和分层赋时有色Petri网Hierarchical Timed Colored Petri Net(HTCPN)对等级转换过程进行建模。利用UML活动图对C2级向C3级转换过程中车载设备、GSM-R网络、无线闭塞中心(RBC)之间信息流的传递过程进行建模,再从UML活动图中提取节点信息转换成HTCPN模型进行动态验证。通过对模型提取的数据仿真,分析列车行车速度和消息重发时间间隔对等级转换场景转换成功率的影响,验证模型的有效性。在CTCS-2级控车模式下,以顶棚速度(250 km/h)进行场景等级转换,转换成功率提高了0.2%。 展开更多
关键词 等级转换场景 UML建模 HTCPN 模型验证
下载PDF
基于改进的N-gram模型和知识库的文本查错算法 被引量:9
3
作者 王琼 旷文珍 许丽 《计算机应用与软件》 北大核心 2021年第10期310-315,320,共7页
针对语音识别引擎识别后文本容易发生散串错误和同音字错误,提出一种基于改进的N-gram模型和专业术语查错知识库的查错算法。采用Witten-Bell平滑算法解决N-gram模型训练过程中数据稀疏问题,并对N-gram模型增加权重分配,增强模型对散串... 针对语音识别引擎识别后文本容易发生散串错误和同音字错误,提出一种基于改进的N-gram模型和专业术语查错知识库的查错算法。采用Witten-Bell平滑算法解决N-gram模型训练过程中数据稀疏问题,并对N-gram模型增加权重分配,增强模型对散串错误的查错率。针对铁路特殊用语规定和同音字错误,构建一种适应关键字的专业术语查错知识库,实现知识库的自动更新。经过实验对比,该算法查错确率为87.9%,相比通用的N-gram查错模型提高52.8百分点。该算法的提出为后续的纠错以及语音识别准确率的提高奠定了基础,并对铁路车务系统语音识别技术的应用具有重要意义。 展开更多
关键词 N-GRAM模型 铁路车务标准用语 散串错误 专业术语查错知识库 同音字错误
下载PDF
基于车车通信的列控系统后备模式研究 被引量:11
4
作者 李强 陈子健 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2022年第11期3407-3416,共10页
多模列控系统的模式切换时延是影响城市轨道交通列车运行效率的重要因素,基于车车通信的列控系统是下一代城市轨道交通列控系统的主要发展方向。由于系统结构的改变,传统的CBTC列控系统后备模式无法适用于新型列控系统,目前,尚无合理的... 多模列控系统的模式切换时延是影响城市轨道交通列车运行效率的重要因素,基于车车通信的列控系统是下一代城市轨道交通列控系统的主要发展方向。由于系统结构的改变,传统的CBTC列控系统后备模式无法适用于新型列控系统,目前,尚无合理的后备模式能保障新型列控系统列车在车车通信故障情况下行车的安全与效率。根据车车通信列控系统的结构和特点,分析系统的模式切换功能及过程,提出适用于车车通信列控系统的后备模式。当车车通信出现故障时,列车将切换为车地通信的运行模式,从地面设备中获取前方列车的位置信息,利用有色Petri网理论建立基于层次赋时有色Petri网(HTCPN)的新型列控系统模式切换模型,描述列车在车车通信故障情况下由车车模式(T2T)切换为车地模式(T2G)的过程,研究后备模式下不同的设计间隔对列车模式切换成功率和运行效率的影响。仿真结果表明,当列车车车通信出现故障时,列车能有效切换为车地模式运行,得出了不同后备模式设计间隔下列车模式切换成功次数和切换运行时间分布图。列车模式切换的成功率随着后备模式设计间隔的增大而增大,将后备模式间隔设计为240 s时能有效将列车运行晚点时间控制在3 min之内,所建立的HTCPN模型也可为其他多模列控系统模式切换的建模与验证分析提供参考。 展开更多
关键词 车车通信 有色PETRI网 模式切换 实时性
下载PDF
CTCS-N等级转换场景形式化建模与验证
5
作者 高卓凡 何涛 +1 位作者 姜飞 吴永成 《兰州交通大学学报》 CAS 2024年第1期73-82,共10页
新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与... 新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与验证的方法。首先,选取等级转换场景为主要建模场景,提取规范中的功能与性能需求,梳理信息交互图,基于UPPAAL建立车载设备、应答器、临时限速服务器、无线闭塞中心的时间自动机模型;然后,使用模拟器进行模型的仿真,生成对应的消息顺序图;最后,以自动机语言为基础,验证正常模式和故障模式下车载设备转换是否满足要求。验证结果表明:所建立的模型满足等级转换场景的需求,其功能符合对应的技术规范,证明了该形式化建模的可行性,为新型列控系统测试、其他场景或功能的建模与验证提供了参考。 展开更多
关键词 新型列控系统 时间自动机 等级转换场景 建模与验证 消息顺序图
下载PDF
铁路车站信号联锁系统本地化仿真试验平台的研究 被引量:5
6
作者 马广元 张燕 +1 位作者 周游 张锐 《现代信息科技》 2019年第19期84-87,92,共5页
为了提高联锁仿真试验的质量和效率,本文采用图形处理、数据库等计算机技术与联锁试验相结合,研究建立集团公司本地化信号联锁仿真试验平台,解决联锁试验问题。本文通过对联锁功能、原理的分析设计进行仿真试验平台的研究开发说明。
关键词 联锁系统 图形处理 数据库 本地化
下载PDF
一种基于改进YOLOv3-tiny的轻量级轨道紧固件检测算法 被引量:4
7
作者 卢艳东 李积英 王筱婷 《铁道标准设计》 北大核心 2022年第7期41-47,共7页
为解决传统铁路轨道养护中人工巡检等工作的低效率和准确率不足等问题,提出一种改进的YOLOv3-tiny轻量级轨道紧固件检测算法。首先,其网络结构通过在深度和点方向的卷积来降低网络的计算复杂度;其次,采用具有反向残差的线性瓶颈结构设... 为解决传统铁路轨道养护中人工巡检等工作的低效率和准确率不足等问题,提出一种改进的YOLOv3-tiny轻量级轨道紧固件检测算法。首先,其网络结构通过在深度和点方向的卷积来降低网络的计算复杂度;其次,采用具有反向残差的线性瓶颈结构设计主干网络,并在检测层采用深度可分离卷积提取紧固件的深度特征;然后,增加1个尺度在3个尺度上预测,从而有效提取紧固件的特征;最后,对目标框坐标定位过程的损失函数进行优化。实验结果表明:改进后的YOLOv3-tiny算法检测精度达98.81%,检测速度25.1 frame/s,满足其实时性的要求。 展开更多
关键词 铁路轨道 扣件 神经网络 轻量级 YOLOv3-tiny 深度特征
下载PDF
CBTC区域控制器切换场景的建模与验证 被引量:3
8
作者 孙维正 旷文珍 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2022年第4期1081-1091,共11页
区域控制器(Zone Controller,ZC)通过与联锁系统(Computer Interlocking,CI)、车载控制器(Vehicle On Board Controller,VOBC)和列车自动监督系统(Automatic Train Supervision,ATS)等其他子系统信息交互来为列车计算移动授权,是基于通... 区域控制器(Zone Controller,ZC)通过与联锁系统(Computer Interlocking,CI)、车载控制器(Vehicle On Board Controller,VOBC)和列车自动监督系统(Automatic Train Supervision,ATS)等其他子系统信息交互来为列车计算移动授权,是基于通信的列车运行控制系统(Communication Based Train Control,CBTC)重要的地面安全设备。研究区域控制器的功能需求,构建满足边界切换实时性、安全性特点的模型有助于保证列车在线路上高效、安全的运行。在现有建模方式的基础上,采用统一建模语言(Unified Modeling Language,UML)和层次时间有色Petri网(Hierarchical Timed Colored Petri Net,HTCPN)相结合的方法对ZC边界切换场景下的区域控制器和车载子系统之间的信息交互过程进行分析。从车载VOBC状态变化的角度构建用于验证切换场景安全性的UML模型和HTCPN模型,并以CPN Tools作为仿真平台对其进行验证。根据CPN Tools状态空间报告可知,转换后HTCPN模型的各种动态属性正常且模型不存在死锁和活锁。仿真结果表明:采用UML向HTCPN转换的方法构建的模型既能清晰描述整个ZC切换的过程,又保证了模型在数学上的严谨性。转换后的HTCPN模型符合ZC切换功能的需求,证明了该集成建模方法的可行性,为CBTC系统其他功能或场景的建模与验证提供了思路。 展开更多
关键词 列控系统 区域控制器 UML 有色PETRI网
下载PDF
基于半实物仿真的铁路叉车实训装置研究
9
作者 全莹 王荆石 郑博文 《科技创新与应用》 2023年第4期51-54,共4页
铁路货运叉车作业存在着操作量大、操作内容复杂等特点,将铁路货运叉车作业培训与虚拟现实技术和先进智能计算机技术结合,给货运职工带来身临其境的存在感。与以往铁路现场培训技术不同,开发半实物仿真技术在室内就可以满足对员工的技... 铁路货运叉车作业存在着操作量大、操作内容复杂等特点,将铁路货运叉车作业培训与虚拟现实技术和先进智能计算机技术结合,给货运职工带来身临其境的存在感。与以往铁路现场培训技术不同,开发半实物仿真技术在室内就可以满足对员工的技术培训。利用3D建模技术与Unity引擎编写技术,对系统软件进行开发,并构建与实物相同比例的叉车模型,在虚拟现实环境下完成铁路货运叉车的操作培训,并对操作数据进行同步记录。 展开更多
关键词 铁路 叉车实训 自动培训 VR技术 3D建模技术
下载PDF
基于灰色预测的LTE-R越区切换算法 被引量:3
10
作者 温强 李积英 +1 位作者 杨永红 王磊 《激光与光电子学进展》 CSCD 北大核心 2020年第19期55-63,共9页
针对高速铁路LTE-R(long term evolution for mobile communications-railway)越区切换过程中,基于A3事件判决的越区切换算法容易出现乒乓切换频繁和切换成功率较低的问题,提出了基于改进的模糊预测优化切换算法。该算法对切换过程中的... 针对高速铁路LTE-R(long term evolution for mobile communications-railway)越区切换过程中,基于A3事件判决的越区切换算法容易出现乒乓切换频繁和切换成功率较低的问题,提出了基于改进的模糊预测优化切换算法。该算法对切换过程中的参考信号接收功率(RSRP)进行采集,并通过改进的GM(1,1)灰色预测算法对采集的RSRP值进行优化处理,处理之后的测量参数值经3次循环预测和加权平均后,被送入判决公式进行判决。在MATLAB上的仿真结果表明所提算法降低了切换过程中的参数波动值,从而减少了乒乓切换的次数,提高了越区切换的成功率。 展开更多
关键词 光通信 LTE-R 测量参数 灰色预测 乒乓切换 切换成功率
原文传递
语音识别后文本纠检错算法研究 被引量:3
11
作者 马文晖 冯国斌 +1 位作者 刘为民 张锐 《铁道通信信号》 2020年第11期55-58,共4页
为解决铁路信号领域专业用语语音识别率低的问题,提出了一种基于统计与理解的语音识别后文本查错和纠错算法,以优化语音识别结果。经试验可得,该算法纠错准确率达81.8%,可有效纠正语音识别后文本中存在的错误,实现语音识别技术在铁路信... 为解决铁路信号领域专业用语语音识别率低的问题,提出了一种基于统计与理解的语音识别后文本查错和纠错算法,以优化语音识别结果。经试验可得,该算法纠错准确率达81.8%,可有效纠正语音识别后文本中存在的错误,实现语音识别技术在铁路信号领域的应用。 展开更多
关键词 语音识别 铁路信号 查错纠错 统计
下载PDF
基于梦境蚁群算法的车载VOBC测试案例约减策略研究 被引量:2
12
作者 何涛 王婧 《铁道科学与工程学报》 CAS CSCD 北大核心 2020年第4期832-840,共9页
测试案例作为CBTC通用测试平台的基础,研究其约减策略,构建高效完备的测试案例集更加有助于CBTC系统的测试。提出梦境蚁群算法,在传统蚁群算法的信息素更新方式中引入做梦因子,并将其运用在车载VOBC的测试案例约减中,利用CBTC通用测试... 测试案例作为CBTC通用测试平台的基础,研究其约减策略,构建高效完备的测试案例集更加有助于CBTC系统的测试。提出梦境蚁群算法,在传统蚁群算法的信息素更新方式中引入做梦因子,并将其运用在车载VOBC的测试案例约减中,利用CBTC通用测试平台所用的有关测试案例集以matlab作为仿真平台对其进行验证,结果表明梦境蚁群算法能有效地减少测试案例数量,减少测试时间,节约测试成本,且减少比例比使用蚁群算法提高了10%。该算法为测试案例约减研究提供了新的方法,同时该算法扩大了解的搜索空间,能很好改善传统方法易产生局部最优的缺点,而且考虑了需求覆盖度和测试代价两重因素,使最后所得的测试案例集易行全面。 展开更多
关键词 CBTC通用测试平台 车载VOBC 梦境蚁群算法 测试案例 约减
下载PDF
列控系统RBC测试序列优化生成方法
13
作者 齐凡瑞 李强 《北京交通大学学报》 CAS CSCD 北大核心 2022年第2期11-19,28,共10页
目前,列控系统测试序列大多由人工编写而成,在测试项的有效性和测试案例覆盖的全面性等方面存在较多问题.针对传统蚁群算法收敛速度慢和易发生停滞现象等缺点,提出一种基于改进蚁群算法(Modified-Ant Colony Optimization,M-ACO)的测试... 目前,列控系统测试序列大多由人工编写而成,在测试项的有效性和测试案例覆盖的全面性等方面存在较多问题.针对传统蚁群算法收敛速度慢和易发生停滞现象等缺点,提出一种基于改进蚁群算法(Modified-Ant Colony Optimization,M-ACO)的测试序列优化生成方法,以RBC单电台切换场景为例,根据CTCS-3级列控系统技术规范构建RBC切换有色Petri网(Colored Petri Net,CPN)模型,由该模型生成状态空间可达图和可扩展标记语言(Extensible Markup Language,XML)文件,采用路径搜索算法生成满足全节点覆盖的测试案例集,根据各测试案例的开始条件和结束条件将测试案例串联后生成测试序列,再应用M-ACO算法生成优化测试序列.最后与序列优选算法及传统蚁群算法进行对比,结果表明:该方法降低了测试的复杂程度,测试利用率较未改进的蚁群算法提高了38.53%,适合复杂系统的测试. 展开更多
关键词 改进蚁群算法 CTCS-3 RBC 测试序列 CPN
下载PDF
建立局级计算机联锁仿真试验中心的重要性探讨 被引量:1
14
作者 张燕 方峰 张锐 《铁道运营技术》 2019年第4期50-52,共3页
计算机联锁系统是保证行车安全和效率的重要信号设备,本文通过分析铁路运输安全的现实需求,提出了一种建立原铁路局现铁路局集团公司级(以下简称局级)计算机联锁仿真试验中心的可行性方案。通过建设和有效运行本地化的联锁试验中心,旨... 计算机联锁系统是保证行车安全和效率的重要信号设备,本文通过分析铁路运输安全的现实需求,提出了一种建立原铁路局现铁路局集团公司级(以下简称局级)计算机联锁仿真试验中心的可行性方案。通过建设和有效运行本地化的联锁试验中心,旨在提高铁路运输生产单位测试联锁关系的质量和效率,为运输安全安全提供新的保障。 展开更多
关键词 计算机联锁 仿真试验 本地化
下载PDF
基于短区间车站接车电码化电路分析与改进
15
作者 郭少雄 李延红 +1 位作者 孙蛟龙 张锐 《铁路通信信号工程技术》 2022年第8期111-115,共5页
列车在运行过程中接收到错误电码化信息,存在巨大的安全隐患。结合电码化电路原理,从设计方案出发,按实际线路情况,对短区间车站接车电码化电路进行分析和研究,提出一种解决车载信号出现跳变、错码、掉码等问题的方法,通过修改站间联系... 列车在运行过程中接收到错误电码化信息,存在巨大的安全隐患。结合电码化电路原理,从设计方案出发,按实际线路情况,对短区间车站接车电码化电路进行分析和研究,提出一种解决车载信号出现跳变、错码、掉码等问题的方法,通过修改站间联系电路从根本上解决了现场问题,避免潜在风险。通过深度分析车载信号突变的原因,阐述站间联系电路的修改思路,为后续工程设计和应急处置提供参考。 展开更多
关键词 车载信号 接车电码化 站间联系 继电器
下载PDF
高速铁路CTC仿真培训系统的设计与应用 被引量:1
16
作者 马文晖 杨斐 冯国斌 《高速铁路技术》 2021年第1期26-28,69,共4页
调度集中系统(CTC系统)是我国高速铁路运输的核心调度指挥系统。本文针对当前高速铁路现场人员的工作实际和铁路局的迫切需求,通过分析CTC系统的功能需求,在CTCS-3级仿真培训系统的平台上,设计开发了高速铁路CTC仿真培训系统,并将其应... 调度集中系统(CTC系统)是我国高速铁路运输的核心调度指挥系统。本文针对当前高速铁路现场人员的工作实际和铁路局的迫切需求,通过分析CTC系统的功能需求,在CTCS-3级仿真培训系统的平台上,设计开发了高速铁路CTC仿真培训系统,并将其应用到员工培训中,为高速铁路调度指挥人员提供了较为真实的培训环境,有助于保障高速铁路的安全高效运行。 展开更多
关键词 高速铁路 CTC系统 功能需求 仿真培训 安全运行
下载PDF
CBTC测试平台车辆仿真子系统接口适配器的设计
17
作者 何涛 马洁 《铁道科学与工程学报》 CAS CSCD 北大核心 2020年第2期485-491,共7页
针对目前CBTC测试平台中各仿真子系统存在接入难和复用性差等问题,以车辆仿真子系统为例,设计一种基于Linux的车辆仿真子系统接口适配器。首先根据接口适配器的通用性,提出硬件接入层和软件逻辑层的设计模型;然后在硬件接入层部分完成... 针对目前CBTC测试平台中各仿真子系统存在接入难和复用性差等问题,以车辆仿真子系统为例,设计一种基于Linux的车辆仿真子系统接口适配器。首先根据接口适配器的通用性,提出硬件接入层和软件逻辑层的设计模型;然后在硬件接入层部分完成接口适配器和车辆仿真子系统与CBTC测试平台之间的信息配置和交互过程;其次在软件逻辑层部分,设计基于Linux平台的BSP驱动开发流程,实现信息转换和传递功能。最后将车辆仿真子系统的接口适配器接入到CBTC测试平台中,通过使用试验线的数据以及动车组数据进行调试,研究结果表明:接口适配器输出的速度脉冲误差在2%以内,满足CBTC测试仿真平台的性能要求。 展开更多
关键词 CBTC测试平台 车辆仿真子系统 接口适配器 功能 调试
下载PDF
计算机联锁试验分析记录平台的研究
18
作者 马广元 张燕 +1 位作者 杨斐 马东 《现代信息科技》 2020年第14期12-14,共3页
近年来,计算机联锁逐步成为车站联锁系统的重要组成部分和关键技术,它不仅提高了铁路电务系统的工作效率,还对列车的运行安全起着至关重要的作用。计算机联锁试验作为计算机联锁的理论基础和技术保障,需要不断提高其全面性和准确性。文... 近年来,计算机联锁逐步成为车站联锁系统的重要组成部分和关键技术,它不仅提高了铁路电务系统的工作效率,还对列车的运行安全起着至关重要的作用。计算机联锁试验作为计算机联锁的理论基础和技术保障,需要不断提高其全面性和准确性。文章在比较和分析了计算机联锁和继电联锁的差异之后,介绍了联锁试验方法及原则,并指出了建立联锁试验分析记录平台的重要性和具体措施。 展开更多
关键词 计算机联锁 继电联锁 联锁试验
下载PDF
基于云模型和组合赋权法的CBTC系统可靠性评价 被引量:6
19
作者 何涛 马洁 《重庆大学学报》 CAS CSCD 北大核心 2023年第2期130-139,共10页
由于目前对CBTC系统的可靠性分析较少,提出一种基于云模型和组合赋权法的CBTC系统的可靠性评价方法。首先根据CBTC系统的结构和功能,建立了系统的功能型层次模型,并采用组合赋权法确定底层设备的主观和客观权重值,根据加法合成法得到系... 由于目前对CBTC系统的可靠性分析较少,提出一种基于云模型和组合赋权法的CBTC系统的可靠性评价方法。首先根据CBTC系统的结构和功能,建立了系统的功能型层次模型,并采用组合赋权法确定底层设备的主观和客观权重值,根据加法合成法得到系统的综合权重值;然后,计算CBTC系统底层设备的可靠度,并使用云模型表示;最后,将虚拟云计算的CBTC系统可靠性综合指标新云和可靠性评价集的云模型进行相似度比较,输出评价结果。结果表明,基于云模型和组合赋权法的CBTC系统可靠性评价方法可以正确客观地描述该城市的CBTC系统完成规定功能的能力,为研发和评估CBTC系统提供借鉴。 展开更多
关键词 CBTC系统 可靠性评价 云模型 组合赋权法
下载PDF
CTCS-3 级列控车载设备的形式化建模与验证
20
作者 何涛 韩敬佳 《重庆大学学报》 CAS CSCD 北大核心 2023年第9期120-129,共10页
CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Pe... CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。 展开更多
关键词 列控系统 车载设备 模式转换 有色PETRI网
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部