广义2一D系统Roess er模型的可接受输入序列研究

通过将有限矩形上的广义２－Ｄ Ｓｏｅｓｓｅｒ模型转化为等价的代数方程，给出了有限矩形上所有输入均为该系统的可接受输入的充要条件；利用２－Ｄ Ｚ－变换以及多项式矩阵的性质，给出了无限矩形上所有输入均可接受的充要条件。证明了当系统的输入矩阵行满秩时，只要系统在某个有限矩形上的所有输入均为可接受输入，则在无限矩形上的所有输入也均为可接受输入。基于矩阵的初等行变换，提出了确定广义２－Ｄ系统Ｒｏｅｓｓｅｒ模     

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

基于矩阵的装配过程建模方法

装配型生产是一种典型的离散型生产,装配生产过程是装配状态在装配作业的驱动下不断发生转移而持续更新至完成状态的一个过程,本文提出了一种基于矩阵运算的装配过程建模方法,对这种由装配状态转移组织起来的生产过程进行了建模。文中给出了装配作业、装配状态以及作业有序关系等元素对象的矩阵表示方法;以矩阵的运算过程来表述生产流程,包括作业可操作性测试、装配状态转移、作业有序矩阵更新等;产品结构的层次性使得装配过程也会具有一定的层次性,对装配过程进行子装配划分,用分块矩阵表达装配过程与其子装配之间的层次关系,建立分层的装配过程模型。该模型通过装配过程的矩阵表示,最终可获得装配体的可行装配序列,为装配序列选优提供数据基础。