柔性制造系统活性监督控制器设计的算法优化

针对区域法设计系统控制器时存在求解线性规划次数过多、算法复杂和状态爆炸等问题,提出了一个能有效降低计算复杂度的优化算法,解决了由状态爆炸引起的求解线性规划次数指数级递增的问题;证明了任何普通网系统需要添加的控制库所的数量不超过事件分离事例个数和|T|+1中的最小者。通过所提算法,最终获得结构简单、状态最大许可的柔性制造系统活性监督控制器。

安全Petri网事件分离状态的BDD算法

基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率.

《金属-有机框架》专辑序言──金属-有机框架:新型多功能材料

金属-有机框架是由金属离子与有机配体通过配位键形成的三维框架材料,是近几十年来配位化学领域中发展较快的新型多功能材料。自上世纪90年代以来,金属-有机框架的研究呈现空前的增长,目前已有大于20000例的金属-有机框架被报道。金属-有机框架可变的金属中心及有机配体使其结构与功能具有多样性。金属中心的选择几乎覆盖了所有金属,包括主族元素、过渡元素和镧系金属。而配体的选择,除了传统的氮杂环和羧酸类配体外,还可以引入一些官能团对其进行修饰,