【摘 要】
：
根据STAMP理论分析需求阶段的RBC交接危险因素,利用分层控制框图对RBC交接过程的控制关系进行描述;使用混成自动机对其中的控制算法、组件状态变化进行建模;给出控制结构中过
【机 构】
：
北京交通大学国家轨道交通安全评估研究中心,北京交通大学轨道交通控制与安全国家重点实验室
【基金项目】
：
国家自然科学基金(U1434209);中央高校基本科研业务费专项资金(2015JBZ006)
论文部分内容阅读
根据STAMP理论分析需求阶段的RBC交接危险因素,利用分层控制框图对RBC交接过程的控制关系进行描述;使用混成自动机对其中的控制算法、组件状态变化进行建模;给出控制结构中过程模型的形式化定义,并使用对象约束语言OCL对过程模型进行构建。根据需求阶段的控制缺陷分类,利用人工分析和形式化分析相结合的方式,分别对与输入相关、与功能模块相关以及与系统需求规范相关的危险因素进行分析。通过结果对比发现,本文所提基于STAMP理论的方法适用于需求阶段的RBC交接危险因素分析。
其他文献
聚甘油脂肪酸酯作为一种新型乳化剂,因具有天然、安全性高、HLB值范围宽、乳化稳定性好、肤感独特等诸多优点,目前在食品、日化、医药等领域应用广泛。观察其分子结构中含有
随着我国经济的高速发展，我国各行各业也呈现出良好的发展趋势。不动产档案管理主要是对土地、房屋、林地等定着物的登记管理，随着经济的发展不动产的开发、变更、交易的项目越
环境意识高低是衡量一个国家和民族文明进程的一个重要标志．开展环境宣传教育工作．对实施科教兴国战略和可持续发展战略至关重要。1970年代以来．我国开展了普遍的环境宣传教育．公
在BOD-DO模型中,牛顿法通过VB编程实现,在求解河流起始点BOD值将起到核心作用;文章指出了牛顿法在运用过程中可能存在的局限性,并提出进一步利用数控技术实现计算机与环境监测仪器之间通信的设想。
国际商法作为高职高专国际经济与贸易专业的专业课，其学科重要性不容忽视。该文结合教学实践，对国际商法课程教学改革提出了一些新的方案。
以甜槠群落6个样地调查资料为基础,对该群落的区系组成和不同样地、不同层次的物种多样性进行了分析,结果表明:(1)甜槠群落中有维管植物59科85属116种(含变种);属的地理成分
油封是农业机械上重要的密封件,油封漏油不仅浪费机油,污染环境,而且还会加速零件的磨损,影响机械的使用寿命。因此,分析了农业机械油封渗漏油的原因,提出了预防措施。
从工程设计层面出发,总结了"四所一中心"调度所CTC/TDCS系统设计过程中的一些经验,便于后续新建和扩建路局级调度所工程、独立建设的区域性调度中心工程,以及高铁/普速线路引
本文对分子电子学器件的发展历程作了简要回顾,着重阐述了基于有机噻吩的分子器件的研究进展,指出了噻吩分子器件研究过程中有待解决的一些问题,希望对噻吩分子器件的研究提