杨启亮
- 作品数：97 被引量：316H指数：9
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术建筑科学电气工程交通运输工程更多>>
- 设备自动巡检控制逻辑的层级时间自动机建模与验证
- 2017年
- 地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。
- 孙程邢建春杨启亮韩德帅
- 关键词：UPPAAL
- 一种基于开放技术的DCS设计及其在电厂中的应用被引量：2
- 2005年
- PC-Based Control及现场总线技术是当今工业控制技术发展的两种开放新技术,893-DCS在设计和实现时充分融合了这两种技术,可靠度高,开放性强。简要讨论了PC-Based Control及现场总线技术,重点分析了基于这两种技术的893-DCS的设计思想、系统的软硬件结构,结合实例阐述了893-DCS在电厂的工程应用情况。
- 杨启亮邢建春王平
- 关键词：电厂PC-BASEDDCS现场总线技术软硬件结构
- 基于改进蚁群算法的新型PID整定方法研究
- PID参数是影响PID控制器控制效果的重要参数基于基本蚁群算法的PID参数整定方法存在全局搜索能力低、易早熟停滞等不足.针对这一问题,本文提出一种基于最大-最小蚂蚁系统(MMAS)进行PID参数整定的新型算法MPID.在...
- 何灿邢建春杨启亮王荣浩王书怀
- 关键词：蚁群算法最大-最小蚂蚁系统PID控制参数整定
- 文献传递
- 基于PC及Profibus现场总线技术的DCS设计
- 本文结合当前工业自动化领域出现的新技术和新的控制方案,提出了基于PC-Based Control和Profibus现场总线技术的DCS的设计方案.这种DCS,以高性能的工业PC作为硬件平台,以太网作为车间级的通信网络,用...
- 李研杨启亮邢建春王平
- 关键词：现场总线技术分散控制系统冗余结构可扩展性
- 文献传递
- 设备自动巡检控制逻辑的层级时间自动机建模与验证
- 地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠的运行,需对设备定期进行自动巡检在自动巡检过程中,设备自动巡检控制逻辑起到了举足轻重的作用为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了...
- 孙程邢建春杨启亮韩德帅
- 文献传递
- 安全关键系统及其软件方法被引量：4
- 2011年
- 安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统。软件系统是安全关键系统研究的核心和难点。阐明了安全关键系统及其软件的基本概念、主要研究内容、起源与现状,重点讨论了安全关键软件方法,特别是形式化方法的原理、相关标准和典型应用。在分析当前安全关键系统的新变化及其软件面临的挑战的基础上,提出并讨论了形式化方法可能的应对对策和发展方向。
- 杨启亮邢建春王平
- 关键词：安全关键系统安全关键软件形式化方法
- 地下建筑工程设备健康集中式自动巡查系统及方法
- 本发明公开了一种地下建筑工程设备健康集中式自动巡查系统及方法，用于地下建筑工程设备的集中自动巡查。该系统由设备巡查控制逻辑模块、人机交互模块、设备基本库和封装的EDA交互接口构成；所述设备巡查控制逻辑模块包含巡查调度算法...
- 杨启亮邢建春王平王双庆韩德帅谢立强王荣浩
- 文献传递
- 防护工程低成本自动化系统研究
- 2013年
- 针对大量早期建设的防护工程维护管理的需要，提出了防护工程低成本自动化系统的建设思路，分析了系统的功能需求，提出了系统组成和结构。重点探讨了适用于防护工程的施工简单、维护方便的自动化系统通信网络技术，分析了低压电力线载波通信和无线传感器网络的技术特点和用于防护工程需要重点研究解决的问题。
- 邢建春袁玲王平杨启亮王双庆
- 关键词：自动化系统电力线载波通信无线传感器网络
- KingView与893-IDCN网络通信接口驱动实现
- 2006年
- KingView和893-IDCN分别是一种流行的国产工控组态软件和高性能远程I/O网络。本文分别从KingView驱动程序的工作机制、实现原理、驱动程序设计及优化等方面讨论了KingView与893-IDCN网络的接口驱动的实现方法和过程。该接口驱动程序已随KingView一同发布,并已在众多工矿企业获得成功应用。
- 杨启亮邢建春王平
- 关键词：KINGVIEW驱动程序
- 国防工程智能信息系统效能评估研究被引量：1
- 2011年
- 在简要介绍国防工程智能信息系统组成和功能的基础上,提出了系统效能评估指标体系,分别用BP神经网络和AHP法建立了国防工程智能信息系统效能评估模型,并对系统的设备监控管理能力进行了评估。仿真结果表明,BP神经网络法克服了传统评估方法精度低、模型复杂和计算量大的缺点,可将以往的专家经验知识进行分析学习,能够实现实时方便的在线评估;AHP法对多层次的指标体系具有较强的处理能力,但是存在指标权重确定主观性强,计算量大的问题。
- 杜小飞李决龙刘占民杨启亮何灿
- 关键词：国防工程指标体系BP神经网络AHP
