期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
安全输入输出平台在深圳龙华现代有轨电车道岔控制器中的应用
1
作者 董高云 王建涛 陈宜航 《城市轨道交通研究》 北大核心 2023年第6期188-191,共4页
简述了VIOP(安全输入输出平台)的架构,对双系冗余VIOP的系统接口、模块组成、内外部通信连接状况,以及通过VIOP的双系热备AM(采集模块)实现对同一继电器节点状态的分时采集原理,通过双系热备DM(驱动模块)实现双断驱动原理等关键技术进... 简述了VIOP(安全输入输出平台)的架构,对双系冗余VIOP的系统接口、模块组成、内外部通信连接状况,以及通过VIOP的双系热备AM(采集模块)实现对同一继电器节点状态的分时采集原理,通过双系热备DM(驱动模块)实现双断驱动原理等关键技术进行了介绍。简述了VIOP的整体冗余网络架构以及VIOP诊断维护功能。重点对采用VIOP的iLOCK-200T型道岔控制器在深圳龙华现代有轨电车示范线项目SmarTram信号系统中的应用情况进行了介绍。描述了龙华现代有轨电车大和站的1个主逻辑单元带多个VIOP的架构配置情况和工作原理。对后续VIOP迭代的技术方案进行了展望,指出未来可以考虑通过远程更新、网络通信远程部署等方式降低成本,实现道岔控制器的精简与高效控制。 展开更多
关键词 现代有轨电车 道岔控制器 安全输入输出平台
下载PDF
铁路信号系统安全输入输出平台 被引量:2
2
作者 王建涛 陈宜航 +1 位作者 方圆 董高云 《铁道通信信号》 2019年第3期53-55,共3页
介绍了一种新的铁路信号系统安全输入输出平台,该平台可以适应不同规模车站的需求,提高了系统的灵活性,且逻辑运算部分和输入输出部分各自独立。平台中采集模块基于编码技术,驱动模块和通信处理模块基于非编码技术进行设计,可以进一步... 介绍了一种新的铁路信号系统安全输入输出平台,该平台可以适应不同规模车站的需求,提高了系统的灵活性,且逻辑运算部分和输入输出部分各自独立。平台中采集模块基于编码技术,驱动模块和通信处理模块基于非编码技术进行设计,可以进一步降低系统成本,提高系统可靠性。 展开更多
关键词 铁路信号系统 冗余编码 平台 安全输入输出
下载PDF
基于ARM+FPGA架构的安全数字量输入输出信号系统设计
3
作者 马茗岗 《铁路通信信号工程技术》 2023年第4期21-25,共5页
采用ARM+FPGA架构方案,构建安全数字量输入/输出系统的设计,能够高效、实时、准确地处理安全输入/输出信号,其设计思想是对输入信号进行安全编码,且生成唯一预期的编码,并对其进行故障检测;对输出信号进行安全编码码序的匹配输出,并回... 采用ARM+FPGA架构方案,构建安全数字量输入/输出系统的设计,能够高效、实时、准确地处理安全输入/输出信号,其设计思想是对输入信号进行安全编码,且生成唯一预期的编码,并对其进行故障检测;对输出信号进行安全编码码序的匹配输出,并回读状态反馈信号,判断是否异常;通过安全性和故障防御分析,该设计在铁路产品的应用中通过采用56位编码的码序,危险失效率均能满足安全认证标准中安全完整性等级四级SIL4的要求。 展开更多
关键词 安全数字量输入/输出信号 数字量输入/输出 ARM+FPGA ARM FPGA
下载PDF
CTCS3-300T列控车载设备安全数字输入输出模块可靠性研究 被引量:6
4
作者 高雪峰 《铁路通信信号工程技术》 2014年第1期15-19,共5页
重点对车载安全数字输入输出模块进行故障导向安全部分的分析,从理论分析到模拟仿真,到各种测试方法,研究了VDX模块的可靠性。
关键词 安全数字输入输出 VDX 可靠性 CTCS3-300T车载
下载PDF
一种符号化执行的实时系统一致性测试生成方法 被引量:3
5
作者 万勇兵 徐中伟 梅萌 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2276-2284,共9页
系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于... 系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性. 展开更多
关键词 实时系统 一致性测试 时间安全输入输出符号变迁系统 符号执行 测试用例生成
下载PDF
CTCS3-300T车载设备VDX时序问题分析与解决措施
6
作者 常斌 《铁路通信信号工程技术》 2023年第1期105-109,共5页
安全数字输入/输出单元(VDX)在CTCS3-300T列控车载ATP系统中至关重要,列车在运行中发生VDX故障,将直接导致故障停车。为保障300T型ATP系统的正常运行,提高运营维护效率,结合VDX单元的功能原理,针对VDX时序问题,分析产生的原因,探讨解决... 安全数字输入/输出单元(VDX)在CTCS3-300T列控车载ATP系统中至关重要,列车在运行中发生VDX故障,将直接导致故障停车。为保障300T型ATP系统的正常运行,提高运营维护效率,结合VDX单元的功能原理,针对VDX时序问题,分析产生的原因,探讨解决措施,得到处理VDX时序问题的方案。 展开更多
关键词 停车故障 安全数字输入/输出单元 冗余系统 时序问题
下载PDF
一种基于时间自动机的实时系统测试方法 被引量:14
7
作者 陈伟 薛云志 +1 位作者 赵琛 李明树 《软件学报》 EI CSCD 北大核心 2007年第1期62-73,共12页
基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟... 基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量. 展开更多
关键词 时间安全输入/输出自动机 实时系统测试 最简稳定符号状态迁移图 测试用例生成
下载PDF
DMS监测系统监测功能的改进探讨
8
作者 张耀回 《铁道通信信号》 2015年第11期26-28,共3页
为了完善现有DMS监测系统中ATP设备关键信息的不足,通过加装非接触式传感器采集电源开关和继电器等关键数据的方式,实现正常情况下对动车组列控车载设备控制接口监测数据的实时传输和异常情况下故障的智能定位,为列控车载设备故障情况下... 为了完善现有DMS监测系统中ATP设备关键信息的不足,通过加装非接触式传感器采集电源开关和继电器等关键数据的方式,实现正常情况下对动车组列控车载设备控制接口监测数据的实时传输和异常情况下故障的智能定位,为列控车载设备故障情况下,应急指挥人员指导应急处置提供有效技术手段。 展开更多
关键词 监测系统 采集继电器 安全输入输出模块 励磁电流
下载PDF
WiFi芯片的高速SDIO接口设计与验证 被引量:3
9
作者 刘衡祁 《无线互联科技》 2020年第1期14-16,61,共4页
近年来,随着互联网技术的发展,WiFi技术具有较强的稳定性,而且具备数据传输速度快、功能消耗较低等优点,目前在无线通信中已经具有十分重要的作用。随着时代发展进步,对WiFi芯片的要求越来越高,对研发者来说,快速高效拓展WiFi芯片外部... 近年来,随着互联网技术的发展,WiFi技术具有较强的稳定性,而且具备数据传输速度快、功能消耗较低等优点,目前在无线通信中已经具有十分重要的作用。随着时代发展进步,对WiFi芯片的要求越来越高,对研发者来说,快速高效拓展WiFi芯片外部功能是当前面临的主要问题。文章提出外部拓展接口,即SDIO接口,可在WiFi芯片架构中集成,能够为该芯片提供快速信息传输接口,阐述了该芯片总体架构,分析了SDIO Host仿真模型搭建仿真平台,能够完成相应的仿真验证,最后通过芯片测试表明该SDIO接口不同的子功能,设计合理,具有较强的可操作性。 展开更多
关键词 WiFi芯片 高速 安全数字输入输出 接口 设计 验证
下载PDF
Building Taiwan Aeropolis of Airports through Infrastructuring Care and Integrity
10
作者 Li-Yen Hsu 《Journal of Civil Engineering and Architecture》 2017年第6期608-615,共8页
Global changes, including the rise of the sea level and frequent terrible disasters, are apparently threatening the living environment. For environmental mitigation, security, and sustainability, Taiwan should have re... Global changes, including the rise of the sea level and frequent terrible disasters, are apparently threatening the living environment. For environmental mitigation, security, and sustainability, Taiwan should have reliable, incorporative area-based security-information networks to protect their environments. Plural (dual) surveillance which is rooted in biologic senses, e.g., from two-eyes, can have the feature of fault-tolerance, availability and maintainability in monitoring tasks. Further, it can fit the contemporary wireless communication methods being incorporated with MIMO (multi-in multi-out), to prevent information loss, interference, unexpected changes caused by such as clogged water and chemical reactions. Consequently, network prototypes, including SW (spider-web)network and CCC (cube-connected cycle), are proactively suggested. More reliable capabilities, including those encouraging local ferries and drones, for efficient logistic operation and mixed-use buildings with quality assured performance, can be good for smart urban growth, resource utilization in Taiwan, which is aimed as an aerotropolis--a means for placemaking. 展开更多
关键词 Clogged water dual (plural) surveillance environmental mitigation MIMO smart growth.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部