分享到:

于贵桃:人生要学会转换角色

●“虽然是女性,但工作中不要想着会被别人照顾,要自强,要挑起重担。”$$●“人生要学会转换角色。”$  (本文共2页) 阅读全文>>

《南方能源建设》2019年03期
南方能源建设

多种能源联合运行控制系统的设计与应用

[目的]由于风电、光伏、小水电、煤层气发电等多种间歇性能源具备波动性、随机性等特点,大规模接入电网后将给电网的安全稳定运行及控制带来很大的影响,而传统的电网运行控制系统不能完全适应对大规模间歇性能源的运行控制,因此需要开展含间歇性能源控制...  (本文共5页) 阅读全文>>

《电子制作》2013年15期
电子制作

悬挂运行控制系统的设计

本文档主要根据"悬挂运行控制系统"题目要求进行硬件平台设计及软件算法设计。对于悬挂运行控制系统,我们采用CORTEX-M3系列STM32F103x6作为控制核心芯片,采用矩阵式键盘作为键盘输入,采用专用芯片ULN2003...  (本文共2页) 阅读全文>>

《北京交通大学学报》2011年05期
北京交通大学学报

轨道交通运行控制系统国家工程研究中心

轨道交通运行控制系统国家工程研究中心(以下简称"工程中心")于2008年...  (本文共1页) 阅读全文>>

《变流技术与电力牵引》2003年04期
变流技术与电力牵引

未来的运行控制系统

系统是一个以统一概念组成的整体。尤其是运行控制系统,在组织和技术上可用许多不同的方法实现这个要求。目前欧洲铁路上使用的运行控制系统反映了...  (本文共7页) 阅读全文>>

北京交通大学
北京交通大学

轨道交通列车运行控制系统的形式化建模和模型检验方法研究

在现代公共交通体系中,轨道交通系统具有不可替代的突出地位。目前,我国的轨道交通正处在一个史无前例的大发展时期,人们对它有着很高的期望和要求。如何实现列车安全、快速、高效地运行,是摆在相关科研人员面前的一个突出问题。列车运行控制系统作为轨道交通系统的神经中枢,担当着保障行车安全和提高列车运行效率的重任。随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的安全系统设计、分析和测试方法难以满足以计算机技术为基础的安全系统的需要。近年来,基于离散数学和形式逻辑理论的形式化方法发展迅速,为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径。论文针对轨道交通列车运行控制系统的特点,研究安全系统设计的理论和方法,尝试采用形式化方法进行系统安全设计和验证。论文主要以列车运行控制系统为研究对象,选择自动机模型和模型检验方法分别作为系统形式化建模和验证的方法,提出时间自动机网络模型和相应的模型检验算法,进而给出形式...  (本文共104页) 本文目录 | 阅读全文>>