【摘 要】
：
自动化制造系统属于资源分配系统,在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器,达到避免死锁之目的.另外,良好的受控系统应具有最大许可行为.为了便于实现,控
【基金项目】
：
国家自然基金资助项目(U1401240).
论文部分内容阅读
自动化制造系统属于资源分配系统,在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器,达到避免死锁之目的.另外,良好的受控系统应具有最大许可行为.为了便于实现,控制器通常由线性约束综合表达.在现有的工作中,基于可达性分析,将处理对象缩减为一个小集合,仅包含少数可达非法标识.然后,对每标识构造一个混合整数线性规划问题并求解.由于求解整数规划固有NP-hard特征,该策略计算开销巨大.本文研究死锁的预防控制器设计.在可达图分析的基础上,结合标识的结构特点,对非法标记识别分类,建立代数条件,构造线性约束,确
其他文献
流体中标量场的混合输运是自然界和工程领域中十分重要的基本现象.然而一直以来存在多种量化描述混合程度的测度和建模方法.近年来,一种类Sobolev范数的多尺度混合测度成为了
近日,国际原油价格大幅回升,截至5月21日收盘,WTI、Brent近月期货合约收盘价格分别达到33.92美元/桶和36.05美元/桶,较年内低点相比累计上涨幅度分别达到190.14%和86.55%,行
"什么是爱国?我理解,爱国就是在自己的岗位上报效祖国。爱岗位就该像我老爹深爱他的那几亩地一样。"说这番话的是吴文清。57岁的吴文清,立足岗位39年,只专注聚烯烃这一件事。
湛茂地区石化产业基地不但具备新设立石化产业基地各项条件,而且从产品结构和发展规划来看,能够代表我国石化产业高质量发展的方向。与已经列入规划的七大石化基地相比,湛茂