李加良
- 作品数：4 被引量：1H指数：1
- 供职机构：合肥工业大学电气与自动化工程学院更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 线性混合系统的验证方法及其应用
- 混合系统主要研究由连续性子系统和离散性子系统相互作用而构成的一类动态系统。连续性子系统和离散性子系统二者相互作用，使系统的运行轨迹整体上呈现离散状态的迁移，局部上呈现连续状态渐进演化，表现出更加复杂的动态行为，这就给混合...
- 李加良
- 关键词：计算树逻辑
- 文献传递
- 常压炉加热系统形式建模的验证
- 2010年
- 文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压炉加热系统设定的燃料流量是否满足生产工艺要求;经多次验证,最终得到了燃料流量的取值范围。
- 刘震方敏罗来豹李加良
- 关键词：常压炉混合自动机
- 基于MSP430的差压流量变送器的研发
- 2009年
- 介绍了压差流量计的测量原理,以TI公司生产的MSP430F149单片机为核心的差压流量变送器的设计。变送器采用支持HART通信协议的HT2012作为通信芯片,并介绍了HART通信的软件设计。
- 李加良
- 关键词：MSP430HART协议差压变送器
- 基于CheckMate的混合系统建模和验证被引量：1
- 2010年
- 形式验证是混合系统中的重要研究方向,Checkmate是基于MATLAB/Simulink和Stateflow工具箱开发的一种混合系统建模、仿真和形式验证工具。文章首先介绍了混合系统形式验证的概念和验证过程,从用户的角度介绍了CheckMate的每个自定义模块的设置及其功能原理,通过一个三维线性混合系统的例子,说明了使用CheckMate进行建模、仿真以及验证的方法,最后指出了CheckMate验证工具的局限性。
- 李健方敏李加良
- 关键词：形式化验证
