-
题名CTCS-3级列控系统RBC控车场景建模与验证
被引量:3
- 1
-
-
作者
盛昭君
米根锁
-
机构
兰州交通大学自动化与电气工程学院
-
出处
《铁道标准设计》
北大核心
2017年第11期143-147,共5页
-
基金
甘肃省自然科学基金项目(1310RJZA046)
-
文摘
应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。
-
关键词
CTCS-3级系统
RBC控车场景
UML
PHAVer
-
Keywords
CTCS-3 system
Train controlling of RBC scenes
UML
PHAVer
-
分类号
U238.2
[交通运输工程—道路与铁道工程]
-
-
题名CTCS-3级列控系统等级转换场景功能安全分析
被引量:2
- 2
-
-
作者
盛昭君
米根锁
-
机构
兰州交通大学自动化与电气工程学院
-
出处
《控制工程》
CSCD
北大核心
2019年第2期336-342,共7页
-
基金
甘肃省自然科学基金项目(1310RJZA046)
-
文摘
针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。
-
关键词
CTCS-3级列控系统等级转换场景
HYBRID
UML
PHAVer
功能安全分析
-
Keywords
Level transition process of CTCS-3 system
Hybrid UML
PHAVer
function safety analysis
-
分类号
U283.2
[交通运输工程—交通信息工程及控制]
-
-
题名基于FVCOM模型的海州湾纳潮量和水交换能力研究
被引量:3
- 3
-
-
作者
张鹏
张瑞瑾
黄靖茗
盛昭君
王松
-
机构
大连海洋大学海洋科技与环境学院
大连海洋大学应用海洋学研究所
设施渔业教育部重点实验室
大连海洋大学海洋与土木工程学院
-
出处
《水利水电技术(中英文)》
北大核心
2021年第7期143-151,共9页
-
基金
国家重点研发计划项目(2019YFC1407700)
国家自然科学基金资助项目(32302232)
+1 种基金
设施渔业教育部重点实验室项目(2021-MOEKLECA-KF-06)
山东省重点研发计划项目(2019JZZY020713)。
-
文摘
基于非结构化网格FVCOM海洋数值模式,开边界以8大主要分潮调和常数作为驱动,建立了海州湾三维水动力数值模型。利用潮位潮流资料对流场进行了验证,计算了海州湾纳潮量。在水动力模型基础上耦合对流扩散模型,分别对海州湾的欧拉余流场、保守物质浓度分布特征、半交换周期以及滞留时间空间分布特征进行了研究。结果表明:海州湾整体欧拉余流较弱,表现为沿岸大、湾内小,并且存在余流涡旋。在大、中和小潮时期,纳潮量分别为3.8×10^(9) m^(3)、3.0×10^(9) m^(3)、1.9×10^(9) m^(3);整体半交换周期为72 d,离湾口越近,水交换能力越强。相同距离下,岚山区水交换能力最强,连云区次之,赣榆区最差。在对海州湾开发利用过程中,应结合纳潮量、半交换周期以及滞留时间分布,合理排污,充分利用海洋的自净能力。
-
关键词
海州湾
FVCOM
纳潮量
半交换周期
滞留时间
-
Keywords
Haizhou Bay
FVCOM
tidal prism
semi-exchange cycle
residence time
-
分类号
P731.2
[天文地球—海洋科学]
-