张学军
- 作品数:14 被引量:118H指数:6
- 供职机构:上海交通大学电子信息与电气工程学院自动化系更多>>
- 相关领域:自动化与计算机技术建筑科学化学工程机械工程更多>>
- 混合系统的建模及在Matlab环境下的仿真研究被引量:11
- 2000年
- 针对混合系统既包含连续变量又存在离散事件的特点 ,给出了混合自动机的建模方法和在Matlab环境下的仿真过程 。
- 张学军张苗苗谢剑英
- 关键词:MATLAB仿真化工过程
- 具有定时器连续系统的阈值切换面划分离散近似
- 2001年
- 若混合系统的连续部分存在定时器 ,则无法应用基于阈值切换面划分的验证方法。为此 ,首次提出了综合流管道近似和阈值切换面划分的方法以及过渡状态的概念。在流管道近似过渡状态集合时 ,扩大其在时间上的分析范围 ,便可自动得到定时器的合理设定范围。最后通过实例验证了上述方法的可行性 。
- 张苗苗谢剑英张学军
- 关键词:定时器
- 面向对象的电梯控制系统建模和电梯群控策略被引量:18
- 1999年
- 随着现代化城市的高速度发展,电梯的需求量越来越大。电梯控制系统的分析与设计的问题随之越来越突出。控制系统变得十分庞大,调度算法日趋复杂。面对新的设计任务,电梯设计者难于充分利用已有的模块来加快设计过程,而且程序的修改、维护困难,造成了人力、物力、资源的浪费。利用Coda&Yourdon的面向对象分析和设计技术,我们开发了电梯控制系统的演示软件。其中所用到的思想与方法对于实际电梯控制系统分析与设计有一定的借鉴之处。另外对于电梯的群控控制策略,结合实际情况,我们提出了一个最优分配指标,以期达到合理调度的目的。
- 张学军张苗苗谢剑英
- 关键词:面向对象电梯群控电梯控制系统
- 基于模糊神经网络的电梯群控系统的智能调度被引量:19
- 2000年
- 提出一种新的电梯群控系统(EGCS)的评价函数,综合考虑电梯运行的评价标准并建立了相应的模糊规则。同时把这些规则映射到模糊神经网络中进行学习,提高了调度的智能性。为保证神经网络每层权值的物理意义和改善规则间的重要性,提出了部分层学习算法,并推导了中心值、宽度学习算法。最后利用面向对象的方法实现了电梯群控系统的仿真软件,结果表明此调度策略的优越合理性。
- 张苗苗张学军谢剑英
- 关键词:电梯群控系统模糊神经网络智能调度
- 混合系统的形式验证原理
- 针对PLC等逻辑控制器控制连续对象的可靠性问题,给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过对其商迁移的可达性分析,证明控制程序的正确性,最后结合化工过程控制中的应用实例做了说明。
- 张学军谢剑英
- 关键词:过程控制化工过程逻辑控制器
- 文献传递
- 具有模糊接口的智能控制系统混合模型被引量:6
- 2001年
- 针对智能控制系统既包含连续变量又包含离散事件的特点 ,给出了统一的混合模型结构。下层受控对象的状态演化导致事件的发生 ,并由上层的离散事件系统控制器做出监督决策 ,发出相应的控制命令。上下层之间的接口设计采用模糊逻辑的表示方法 ,具有一定的智能性 ,可处理受控对象的多模型结构以及对象模型的不确定性。
- 张苗苗谢剑英张学军
- 关键词:离散事件系统
- 基于模糊推理的电梯群控系统的研究与仿真实现被引量:36
- 2000年
- 随着现代化城市的高速度发展 ,电梯的需求量越来越大 ,电梯群控系统 (EGCS)的分析与设计问题也越来越突出 ,控制系统变得十分复杂庞大。为达到合理调度的目的 ,提出了一种新的控制策略 ,综合考虑电梯运行的评价标准并利用模糊方法推出各电梯响应层站召唤信号的可信度 ,从而决定电梯的分配。最后利用面向对象的方法实现了电梯群控系统的仿真软件 。
- 张苗苗张学军谢剑英
- 关键词:电梯群控系统模糊规则面向对象
- 基于切换表面状态划分的倒立摆模型验证被引量:2
- 2001年
- 针对仿真对不存在或难以寻找的问题 ,利用商迁移系统 ,给出了混合系统的验证过程 .结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法 ,相对于常规验证所采用的离散整个连续状态空间的方法 ,降低了系统分析的维数 .提出将阈值切换面分为两类 ,明确了切换面的划分方式 .
- 张苗苗谢剑英张学军
- 关键词:自动化设备
- 混合动态系统的模糊接口设计被引量:2
- 2000年
- 利用模糊逻辑控制的思想 ,给出了混合系统的模糊接口设计 .该接口通过其内部参数的学习把连续状态空间划分成多个子空间 ,使受控对象的非线性系统在每个子空间内可由一基于模糊逻辑的线性模型逼近 ,从而简化了对象模型和设计任务 .当连续状态穿越空间边界时 ,则由上层离散事件控制器进行模式切换 。
- 张苗苗张学军谢剑英
- 基于区间计算的混合系统定时器设定范围的实例验证
- 2001年
- 针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题 ,提出了一种结合阈值切换面划分和变步长区间计算的解决方案 .应用区间计算方法能很容易地得出复杂连续动态的过渡状态 ,不仅可以很好地对具有定时器的混合系统在某一时刻上进行验证 ,还可对定时器处在某一范围内的情况进行验证 .化工过程控制中混合系统的实例验证过程 ,证明了上述思想的可行性 .
- 张苗苗谢剑英张学军
- 关键词:定时器