固废基无筋芯柱约束互锁砌块墙体抗震性能研究 被引量：1

1

作者 熊凯 夏多田 缪丰羽 《自然灾害学报》 北大核心 2025年第2期209-220,共12页

为解决传统砌体结构自重大,施工工序复杂的问题,因地制宜地提出了固废基无筋芯柱约束互锁砌块墙体。为研究其抗震性能,对6片墙体试件进行了拟静力试验,分析了竖向压应力、高宽比和芯柱类型等因素对墙体抗震性能的影响。结果表明:增大竖... 为解决传统砌体结构自重大,施工工序复杂的问题,因地制宜地提出了固废基无筋芯柱约束互锁砌块墙体。为研究其抗震性能,对6片墙体试件进行了拟静力试验,分析了竖向压应力、高宽比和芯柱类型等因素对墙体抗震性能的影响。结果表明:增大竖向压应力和高宽比使墙体破坏形态发生转变,增大竖向压应力使刚度退化减缓,最大提升35.9%的耗能能力,增大高宽比使延性系数提升8.1%,但当竖向压应力大于0.45 MPa或高宽比大于2.03时对墙体抗震不利;掺入纤维的固废基芯柱在承载力方面比普通无筋墙体最大提升122.7%,与配筋墙体最小仅3.4%的差距,而且延性更好;竖向砂浆层的缺少,降低了互锁砌块墙体的初裂荷载和初始刚度,但是互锁砌块墙体在耗能和延性方面比普通砌块墙体要好。给出了基本完好、严重破坏、倒塌破坏对应的层间位移角建议限值以评估墙体抗震性能。根据GB 50003—2011《砌体结构设计规范》提出了适合该类型墙体的抗剪承载力计算公式,以期为后续的新型砌块墙体的抗震性能研究及工程应用提供了科学依据。 展开更多

关键词 棉秆纤维 煤基灰渣 互锁砌块 无筋芯柱 抗震性能

在线阅读 下载PDF 职称材料

面向联锁功能测试的模型转换方法

2

作者 叶晨雨 梁志国 +2 位作者 张宏扬 齐志华 王海峰 《铁道学报》 北大核心 2025年第11期127-135,共9页

基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题,提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模,描述联锁软件子... 基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题,提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模,描述联锁软件子模块之间的交互以及联锁条件的执行顺序;采用ATLAS转换语言将UML序列图转换为分层时间自动机,得到形式化的联锁功能模型;将分层时间自动机导入UPPAAL工具生成测试用例。研究结果表明,该方法具备通用性,可以实现多个联锁功能模型的自动化转换,生成有效的联锁测试用例,且测试用例覆盖了UML序列图的所有场景。 展开更多

关键词 模型转换 计算机联锁 基于模型的测试 UML序列图 自动机

在线阅读 下载PDF 职称材料

高速铁路信号云联锁系统数据容错技术研究 被引量：2

3

作者 何志彬 邢科家 +2 位作者 张宏扬 魏东冬 孔嘉铖 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2024年第7期2592-2602,共11页

为适应铁路信号系统的数字化发展需求,将云计算技术引入铁路信号联锁系统(云联锁),有助于为联锁系统提供更高的灵活性、可扩展性和计算性能。目前,研究如何确保云联锁系统的安全性问题极具挑战性。为了解决目前商用云计算平台尚不能提... 为适应铁路信号系统的数字化发展需求,将云计算技术引入铁路信号联锁系统(云联锁),有助于为联锁系统提供更高的灵活性、可扩展性和计算性能。目前,研究如何确保云联锁系统的安全性问题极具挑战性。为了解决目前商用云计算平台尚不能提供满足铁路信号系统安全苛求等方面的技术保障措施,针对云联锁系统的安全性,提出一种用于云联锁系统的数据容错恢复方案,确保云平台可以运行联锁应用,并保障云联锁功能的安全性和正确性。首先,对既有计算机联锁系统的安全措施和目前针对云平台的安全技术手段进行分析,找出云联锁系统的安全保障措施的难点,提出一种云联锁系统结构,分析进路控制过程,探索适合于针对云联锁的监控方法。然后,根据进路控制过程,使用特征编码方法对联锁进路和输入信息进行编码。运用基于矩阵算法的容错技术,检测联锁运算数据错误,通过监控软件的运行行为来检测云联锁系统潜在的设计缺陷和计算错误等。对多节点的联锁运算故障进行分析,提出针对云联锁可能发生的多重故障的故障恢复方案,并对采取的措施进行详细分析。最后,通过平均危险失效概率定量计算分析云平台的安全性。研究结果表明:与传统技术相比,提出的监控方案具备更高的安全性能。研究结果可为进一步研究类似的高安全铁路信号系统、铁路信号系统数字化和信息化研究提供参考。 展开更多

关键词 铁路信号联锁 云计算 基于算法的容错 数据恢复 安全

在线阅读 下载PDF 职称材料

联锁停电非正常接发车进路准备设计与分析 被引量：2

4

作者 王万兵 《中国铁路》 北大核心 2024年第2期110-115,共6页

联锁是保障车站列车安全控制的重要信号系统。为了解决联锁系统故障停电状态下,办理非正常接发车作业过程中产生大量人工纸质作业和反复沟通确认作业的问题,提出一种用户通过按钮选排非正常进路、自动获取进路设备状态并生成确认表的改... 联锁是保障车站列车安全控制的重要信号系统。为了解决联锁系统故障停电状态下,办理非正常接发车作业过程中产生大量人工纸质作业和反复沟通确认作业的问题,提出一种用户通过按钮选排非正常进路、自动获取进路设备状态并生成确认表的改进方案。通过模拟联锁环境,设计系统功能与结构,开发一套能够依据真实数据独立运行的软件系统,系统同时实现将行车安全控制卡电子化的控制流程形式。相比于传统作业方式,所提方案能够减轻行车人员的劳动强度,提高非正常接发车进路的组织效率,具有一定的普适性和高效性。 展开更多

关键词 计算机联锁 故障停电 非正常接发车 行车安全控制卡 电子化流程 进路确认

在线阅读 下载PDF 职称材料

TYJL-TR2000型容错计算机联锁控制系统设计和实现 被引量：7

5

作者 杨扬 潘明 +1 位作者 卢佩玲 何梅芳 《铁道学报》 EI CAS CSCD 北大核心 2002年第4期50-54,共5页

在铁路车站信号计算机联锁控制系统中 ,对系统的可靠性、可用性和实时性要求较高。本单位自行设计研制了一个满足这种高可靠性、可用性和实时性要求的三模冗余容错计算机联锁控制系统 TYJL- TR2 0 0 0 。

关键词 TYJL-TR2000型 容错计算机联锁 控制系统 铁路信号 三模冗余

在线阅读 下载PDF 职称材料

联锁软件的Petri网形式化定义 被引量：10

6

作者 杨扬 潘明 何梅芳 《中国铁道科学》 EI CAS CSCD 北大核心 2002年第3期49-54,共6页

用Petri网对联锁系统中的核心部分———联锁机中的联锁软件进行形式化定义和分析 ,以减少联锁系统中的不确定性因素 ,降低联锁软件的复杂性 ,保证联锁软件定义的正确性 ,并对该定义进行了形式化验证。同时以进路建立过程作为事例 ,说... 用Petri网对联锁系统中的核心部分———联锁机中的联锁软件进行形式化定义和分析 ,以减少联锁系统中的不确定性因素 ,降低联锁软件的复杂性 ,保证联锁软件定义的正确性 ,并对该定义进行了形式化验证。同时以进路建立过程作为事例 ,说明了用Perti网形式化定义联锁软件的具体过程。采用分层模型化技术对联锁软件中的各个变迁 (模块 )进行逐级分解和验证 ,最终得到经过验证的、足够详细的联锁软件模型。利用该模型能对系统的一些重要性能 (如安全性和实时性 ) 展开更多

关键词 联锁软件 铁路信号 计算机联锁 PETRI网 形式化定义 形式化验证

在线阅读 下载PDF 职称材料

SWJTU-II型计算机联锁控制系统设计和实现 被引量：9

7

作者 杨扬 邹少文 郭进 《铁道学报》 EI CAS CSCD 北大核心 2005年第3期118-123,共6页

铁路信号计算机联锁系统是一个有着高可靠性、故障安全性和实时性要求的安全关键系统。本单位自行设计研制了一个满足这种高可靠性、故障安全性和实时性要求的容错计算机联锁系统SWJTUII。计算机联锁系统SWJTUII,硬件结构上,采用SIEMEN... 铁路信号计算机联锁系统是一个有着高可靠性、故障安全性和实时性要求的安全关键系统。本单位自行设计研制了一个满足这种高可靠性、故障安全性和实时性要求的容错计算机联锁系统SWJTUII。计算机联锁系统SWJTUII,硬件结构上,采用SIEMENS公司PLC作为主要控制部件,双机热备冗余结构,能实现无扰动的故障切换;联锁软件采用Petri网模型化,面向对象方法设计,Step7STL语言实现;通过仿真软件模拟列车运行来对系统进行仿真测试并取得良好效果。该系统已开发完成并投入应用。 展开更多

关键词 铁路信号 计算机联锁 PLC PETRI网 面向对象

在线阅读 下载PDF 职称材料

CBTC系统与车辆段联锁系统接口研究 被引量：9

8

作者 冲蕾 马子彦 杨明来 《城市轨道交通研究》 北大核心 2013年第12期64-66,73,共4页

对正线处于CBTC(基于通信的列车控制)系统控制下的列车出入车辆段过程中的信号系统控制进行了分析。给出在不同控制区之间,进路安全控制的联锁条件,以及为了实现这种安全控制,正线与车辆段之间的信息交换内容。提出了利用安全继电器,实... 对正线处于CBTC(基于通信的列车控制)系统控制下的列车出入车辆段过程中的信号系统控制进行了分析。给出在不同控制区之间,进路安全控制的联锁条件,以及为了实现这种安全控制,正线与车辆段之间的信息交换内容。提出了利用安全继电器,实现正线与车辆段之间安全可靠传输信息的方法。 展开更多

关键词 基于通信的列车控制系统 车辆段 联锁接口

在线阅读 下载PDF 职称材料

基于关键字驱动脚本的安全软件自动测试系统 被引量：6

9

作者 王铁江 郦萌 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第6期719-722,共4页

提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法 .使用关键字驱动脚本欲将大量有效测试案例形式化 ,建立测试案例专家知识库 ,并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测... 提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法 .使用关键字驱动脚本欲将大量有效测试案例形式化 ,建立测试案例专家知识库 ,并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统 .此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率 . 展开更多

关键词 脚本 知识库 软件测试 计算机联锁

在线阅读 下载PDF 职称材料

铁路信号安全关键软件形式化建模 被引量：6

10

作者 李耀 郭进 +1 位作者 杨扬 马亮 《铁道学报》 EI CAS CSCD 北大核心 2017年第9期74-80,共7页

针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了... 针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。 展开更多

关键词 安全关键软件 形式化建模 时钟约束 TIMED SyncCharts Kripke 计算机联锁

在线阅读 下载PDF 职称材料

计算机联锁控制系统的进路生成算法研究 被引量：6

11

作者 徐洪泽 燕永田 徐立新 《北方交通大学学报》 CSCD 北大核心 1998年第5期94-98,共5页

提出了一种有效分解车站站场图形的方法．构造出由股道区段组成的子集链．在此基础上进路生成问题转化为变约束条件的优化问题．通过对子集的处理消除了约束条件．给出了适于生成进路的遗传算法．理论分析及仿真实验结果表明给出的进路... 提出了一种有效分解车站站场图形的方法．构造出由股道区段组成的子集链．在此基础上进路生成问题转化为变约束条件的优化问题．通过对子集的处理消除了约束条件．给出了适于生成进路的遗传算法．理论分析及仿真实验结果表明给出的进路生成算法的有效性及实用性． 展开更多

关键词 计算机联锁 进路生成算法 遗传算法

在线阅读 下载PDF 职称材料

一种嵌入式二乘二取二容错计算机联锁系统设计 被引量：10

12

作者 齐志华 王海峰 《北京交通大学学报》 EI CAS CSCD 北大核心 2006年第5期96-100,共5页

基于嵌入式系统理论和容错系统体系结构,结合故障_安全电路的设计理念,给出了一种嵌入式二乘二取二容错计算机联锁系统的硬件设计.深入阐述了系统硬件电路的设计理论依据和工作原理,同时给出了设计中的元件选型.通过功能测试,系统设计... 基于嵌入式系统理论和容错系统体系结构,结合故障_安全电路的设计理念,给出了一种嵌入式二乘二取二容错计算机联锁系统的硬件设计.深入阐述了系统硬件电路的设计理论依据和工作原理,同时给出了设计中的元件选型.通过功能测试,系统设计符合故障_安全的设计原则,理论计算表明,其可靠性、安全性达到铁路信号系统要求. 展开更多

关键词 计算机联锁系统 故障-安全 容错 嵌入式系统

在线阅读 下载PDF 职称材料

计算机联锁系统操作表示机双机热备的实现 被引量：5

13

作者 吴江娇 张松涛 张源 《北方交通大学学报》 CSCD 北大核心 2003年第5期69-72,共4页

操作表示机是计算机联锁系统中关键的人机界面设备,硬件上利用继电器组成的逻辑电路,实现双机热备的倒机逻辑控制和设备接口电缆的动态切换.同时提供人工切换手段;软件上采用TCP/IP协议完成主备机之间的数据同步和操作信息的传送,并控... 操作表示机是计算机联锁系统中关键的人机界面设备,硬件上利用继电器组成的逻辑电路,实现双机热备的倒机逻辑控制和设备接口电缆的动态切换.同时提供人工切换手段;软件上采用TCP/IP协议完成主备机之间的数据同步和操作信息的传送,并控制继电器电路完成自动切换,从而实现了操作表示机双机热备. 展开更多

关键词 铁路信号 计算机联锁 操作表示机 双机热备

在线阅读 下载PDF 职称材料

计算机联锁控制系统安全性保障体系的一种模型 被引量：3

14

作者 单冬 燕永田 《北方交通大学学报》 CSCD 北大核心 1998年第5期83-86,共4页

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性、安全性、故障－安全等概念及其之间关系的基础上，提出了一种计算机联锁控制系统安全性保障体系的描述模型．从这一模型可以清楚地了解到计算机联锁控制系统安... 根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性、安全性、故障－安全等概念及其之间关系的基础上，提出了一种计算机联锁控制系统安全性保障体系的描述模型．从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵．该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础． 展开更多

关键词 安全性 计算机联锁 控制系统 铁路车站信号

在线阅读 下载PDF 职称材料

采用智能单元式控制台实现计算机联锁系统的人机交互 被引量：3

15

作者 吴江娇 高文洪 《北京交通大学学报》 CAS CSCD 北大核心 2004年第6期107-110,共4页

智能单元式控制台具有抗干扰能力强等特点,是一种可选的计算机联锁人机交互设备.本文在比较控制台与标准计算机设备两种操作方式的优缺点后,提出了与操作表示机实现双通道以太网连接的硬件方案,给出了完整的通信内容及在定时发送、即时... 智能单元式控制台具有抗干扰能力强等特点,是一种可选的计算机联锁人机交互设备.本文在比较控制台与标准计算机设备两种操作方式的优缺点后,提出了与操作表示机实现双通道以太网连接的硬件方案,给出了完整的通信内容及在定时发送、即时发送和心跳检测相结合的通信策略下的异常处理机制和双机切换逻辑.同时采用增加模式切换按钮的方法实现了控制台和鼠标两种操作模式的人工切换和有效隔离. 展开更多

关键词 铁路信号 计算机联锁系统 操作表示 控制台 铁路通信 智能单元式

在线阅读 下载PDF 职称材料

京津冀、长三角和珠三角地区的城市体系比较研究——基于企业关联网络的分析方法 被引量：43

16

作者 唐子来 李涛 《上海城市规划》 2014年第6期37-45,共9页

城市群不仅是地理上的相邻性,更重要的是经济上的关联性,而企业是城市关联网络的"作用者"。在全球、国家和地区3个空间层面上,采用企业关联网络的分析方法,揭示了京津冀、长三角和珠三角地区的城市体系的主要异同所在。北京... 城市群不仅是地理上的相邻性,更重要的是经济上的关联性,而企业是城市关联网络的"作用者"。在全球、国家和地区3个空间层面上,采用企业关联网络的分析方法,揭示了京津冀、长三角和珠三角地区的城市体系的主要异同所在。北京、上海、广州和深圳既是全国的核心城市,也分别是3个地区的"门户城市",发挥向外连接全球经济网络和向内辐射区域腹地的"两个扇面"作用。3个地区的门户城市、主要城市和一般城市在各个层面的关联网络中都形成明显的梯度格局。在地区层面上,珠三角地区的城市体系以两个核心和单一层级(省域)为特征,显然不同于京津冀地区和长三角地区的城市体系以单一核心和两个层级(区域和省域)为特征。 展开更多

关键词 京津冀地区 长三角地区 珠三角地区 城市体系 企业关联网络

在线阅读 下载PDF 职称材料

三模冗余计算机联锁系统可靠性安全性分析 被引量：5

17

作者 沈洁 单冬 《北方交通大学学报》 CSCD 北大核心 1998年第5期111-114,共4页

铁路运输事业的发展已经给车站联锁技术提出了更高的要求，随着计算机技术的飞速发展，以计算机为核心的联锁系统已得到了很大的发展和完善．对于计算机联锁系统来说，提高可靠性和安全性是非常重要的问题，利用计算机容错技术则是提高... 铁路运输事业的发展已经给车站联锁技术提出了更高的要求，随着计算机技术的飞速发展，以计算机为核心的联锁系统已得到了很大的发展和完善．对于计算机联锁系统来说，提高可靠性和安全性是非常重要的问题，利用计算机容错技术则是提高计算机联锁系统的可靠性和安全性的有效手段． 展开更多

关键词 计算机联锁系统 可靠性 三模冗余 铁路车站信号

在线阅读 下载PDF 职称材料

电气化干扰对计算机联锁系统的影响和防护 被引量：3

18

作者 杨世武 吴运熙 《北方交通大学学报》 CSCD 北大核心 1998年第5期103-106,共4页

分析了电气化铁道的电磁干扰对计算机联锁系统产生的影响，结合目前的现状和有关测试数据，重点讨论了对电源和地电位升等干扰的防护措施，并提出了电磁兼容性设计的基本要求．

关键词 电磁干扰 计算机联锁系统 电气化铁道 防护

在线阅读 下载PDF 职称材料

轻型木质基互锁格栅夹芯胞元结构的力学性能 被引量：2

19

作者 杨冬霞 范长胜 +2 位作者 丁宝荣 戴冰 胡英成 《森林工程》 北大核心 2023年第1期92-100,共9页

为减少材料和制造技术对环境的不利影响,研究木质基夹芯胞元结构的力学性能,对于适应快速增长的改造房屋和预制建筑场所具有重要的现实意义。该文设计并制备3种结构形式相同组成材料不同的木质基互锁格栅夹芯胞元结构,对其进行静态压缩... 为减少材料和制造技术对环境的不利影响,研究木质基夹芯胞元结构的力学性能,对于适应快速增长的改造房屋和预制建筑场所具有重要的现实意义。该文设计并制备3种结构形式相同组成材料不同的木质基互锁格栅夹芯胞元结构,对其进行静态压缩实验,并采用理论分析及数值模拟方法,分析其压缩强度、质量载荷比和比能量吸收特性。研究结果表明,3种胞元的力学性能均高于其组成材料的力学性能,属于轻质高强的材料结构。得到结论为,木质基互锁格栅夹芯胞元结构的芯层是承受外部作用力的主体,面板材料对胞元结构的承载能力起着重要作用。 展开更多

关键词 木质基 互锁格栅结构 夹芯结构 胞元结构 力学性能

在线阅读 下载PDF 职称材料

城市轨道交通信号系统联锁控制权交接研究 被引量：3

20

作者 严建鹏 魏源 高昕 《铁道标准设计》 北大核心 2017年第9期138-143,共6页

城市轨道交通信号系统中,调度人员通过列车自动监控系统中心工作站和车站工作站都可以向联锁机发送控制命令,但是同一时刻联锁机只能有一个指令源。因此在设计联锁系统软件结构时,需要采用合理的联锁控制权交接机制,防止控制权交接错误... 城市轨道交通信号系统中,调度人员通过列车自动监控系统中心工作站和车站工作站都可以向联锁机发送控制命令,但是同一时刻联锁机只能有一个指令源。因此在设计联锁系统软件结构时,需要采用合理的联锁控制权交接机制,防止控制权交接错误。从联锁控制权交接问题入手,总结联锁控制权交接原则,详细分析各个设备之间采用不同互联方式时的联锁控制权交接方案,并对不同方案的影响和优缺点进行比较,为联锁系统的软件设计提供理论依据。 展开更多

关键词 城市轨道交通 信号系统 计算机联锁 控制权交接 通信状态

在线阅读 下载PDF 职称材料