分享到:

MRPⅡ/JIT 混合系统的协调与控制

MRPⅡ/JIT混合系统的协调与控制李健1)顾培亮2)(1)天津理工学院,天津,3001912)天津大学,天津,300072)摘要在分析MRPⅡ与JIT两者制造哲理、处理逻辑及其关系的基础上,阐明了MRPⅡ与JIT的结合是制造哲理的发展和完善,而不是对MRPⅡ的否定。进而分析了MRPⅡ/JIT混合系统环境下MRPⅡ与JIT的各自功能,以及如何对两者进行协调和控制。关键词MRPⅡ;JIT;MRPⅡ/JIT混合系统中图资料法分类号F273;F274CoordinationandControlonMRPⅡ/JIT-HybridSystemLiJian1)GuPeiliang2)(1)TianjinInstituteofTechnology,Tianjin,3001912)TianjinUniversity,Tianjin,300072)AbstractItisproposedthathybridsystemofMRPⅡ/JITcanb...  (本文共5页) 阅读全文>>

《西北工业大学学报》1989年02期
西北工业大学学报

混合系统的最优镇定

、混合系统的数学描述 由离散系统和分布参数系统所组成的系统称为混合系统, U“口‘(t)+v。(P,r) P=(x,y,2)这里。。表示的是离散状态向量,。。表示的是分布状态向量。形式为.它的状态向量可写为(1)、、‘;、混合系统运动微分方程的一般”=:(,,。,万牙厂百歹_……_宜丝生、 C‘,(2)这里犷是一矢量函数,p是一整数,。。满足某些边界条件。可不失一般性地假设 犷(t,0,……,0)=0(3)定义”的范数为 11 01}二.}一(,)}.+L,!二(p,‘,,!dA‘p,(4)A表示分布状态向量有定义的区域。定义了范数后,可以和离散系统类似引入稳定性的定义,同样也可引入李亚普诺夫泛函来直接判断稳定性,这个泛函的一般形式为u二。(,,v,刁口。刁v。落死~,万歹.,日p口。刁zp(5)U(t,0,……,0)“0西北工业夫学学报第7卷它沿方程(2)执线的导数为。二、二、·+.{,二二厂·““+万(6)甲是拉普拉斯算子。...  (本文共6页) 阅读全文>>

吉林大学
吉林大学

多模型混合系统的稳定性分析与最优控制

本文分析了多模型混合系统MHS (Multi-model Hybrid System)。建立了多模型混合系统的模型并分析了多模型混合系统的运动规律。对多模型混合系统的稳定性等问题进行了讨论分析。提出并讨论了多模型混合系统的最优控制问题,利用动态规划方法和哈密顿-雅克比方程理论分析讨论最优解的存在性问题。通过最优控制问题的值函数构造出最优控制以及相应的最优轨迹。最后根据多模型混合系统离散状态的切换特点提出离散状态是Markov 链的混合动态系统。结合随机过程理论分析讨论该类混合系统的稳定性、随机稳定性和最优控制等问题。  (本文共139页) 本文目录 | 阅读全文>>

西安电子科技大学
西安电子科技大学

混合系统的形式化验证

混合系统是连续变量和离散事件非平凡混合的计算系统,典型的例子有空中交通管制,汽车控制,机器人,载人航天等等。特别是对安全性要求极高的应用领域,混合系统的形式化验证逐渐成为一种保证系统正确性的重要方法。混合系统的形式化验证主要包括定理证明和模型检查。其中,可达性分析是模型检查的基础。由于混合系统是无穷状态空间上的复杂系统,目前关于混合系统的模型检查问题的研究还集中在可达性分析领域。因为即便是可达性问题,也只有很小的一类混合系统子集(矩形混合系统)是可判定的。对于混合系统的可达性问题,大多数研究者都采用普通多面体或类似于普通多面体的结构来表示状态集,用量词消去运算计算可达集。量词消去运算的计算复杂度是双指数级的。对于混合系统模型检查问题的研究,还集中在实时系统(可以看作是最简单的混合系统)领域。本文主要包含如下四个方面的工作。首先解决了有界整数域上的一阶投影时序逻辑的可满足性问题。同时,定义了一种基于稠密时间的时间区间时序逻辑来描述...  (本文共121页) 本文目录 | 阅读全文>>

浙江大学
浙江大学

APF与TSC混合系统控制方法研究

随着电力电子设备的应用日益广泛,其产生的谐波电流和无功功率会对电网造成污染,引发额外的功率损失和设备故障,带来严重危害,因此,谐波抑制与无功补偿的研究得到越来越广泛的重视,电力系统对能够同时进行谐波抑制和大容量无功补偿的电力电子设备也有着广泛需求。本文设计一种基于小容量有源电力滤波器(APF)和多组晶闸管投切电容器(TSC)的混合补偿系统,结合了APF响应迅速、补偿精度高和TSC容量大、成本低的优点,通过APF和TSC的协同配合,实现连续、精确的谐波抑制和无功补偿,并对混合系统的控制方法进行了深入探讨和研究。首先建立了混合系统的数学模型,并对TSC电抗率的选取进行了讨论,在此基础上分析了电流补偿系数、TSC电抗率和电网电感对系统稳定性的影响。然后介绍了常用电流控制方法的基本原理,并设计两种应用于混合系统的电流分频控制方法。针对三相对称的情况,设计一种基于PI和PR的电流分频控制方法,将谐波与无功电流按照频率和性质使用独立的PI或...  (本文共84页) 本文目录 | 阅读全文>>

《南京大学学报(自然科学版)》1990年10期
南京大学学报(自然科学版)

线性混合系统的一种验证方法

引言混合系统(HybridSystem)是指嵌入于物理环境中的数字实时系统.由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用.对于混合系统在汽车、飞机、核电站、航天航空等一些安全性第一工业控制领域中的应用,人们需要采用严格的数学分析方法—形式化方法—来保证这些混合系统运行的正确性.由于混合系统往往涉及连续时间,因此传统验证方法已不能胜任,于是人们采用近年来出现的模型检验方法对混合系统进行验证.模型检验是通过对验证的系统构造有限状态模型并且检验该模型是否具有系统要求特性的一种验证方法.模型检验方法最早应用于与时间无关的有限状态系统和并发系统,由E.Clark和A.Emerson[1,2]首先提出的,稍后Quiele和Sifakis[3]也独立地提出了类似的方法.模型检验的基本思想是:从模型的状态空间中的初始状态开始,对状态空间进行遍历搜索,寻找满足系统要求的可达状态.由于模型检验是采用状态遍历的方法,因此它最初只是应用...  (本文共8页) 阅读全文>>