简介:以和利时公司的SmartPro系统为依托,针对职业实践教学要求设计出接近生产实际的DCS系统仿真方案,其包含电厂控制系统仿真和SmartPro系统组态两部分。DCS系统仿真的训练极大地提高了学生的动手能力和工程实践能力,对其他类似实践教学设计有一定的指导意义。
简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.
简介:摘要: 本设计分析了直流高压输电的背景,对单极HVDC结构进行了分析,并对它的组成进行了分析,并进行了建模以及数据采集,最终对高压直流输电的优势进行了总结。
简介:摘要直流系统发生短路故障时,按短路点位置分为近端短路和远端短路。直流牵引供电系统近端短路会产生一个很大的暂态冲击电流,该暂态冲击电流对整流机组的正常换阀过程以及系统交直流侧相关计算参数都会产生很大的影响,而系统发生远端短路时,并不会出现与近端短路相似的一个很大的冲击电流,通常在计算其暂态情况下要考虑一个比较完备的计算模型,以减小实际短况下的误差。也就是说暂态冲击电流现象随着短路点距离的增加逐渐消失,转而呈现出相似于指数关系变化的曲线。本文简单分析了两种短路情况的仿真模型,对直流系统短路分析提供参考。