水磨沟倒虹吸管工程设计

水磨沟倒虹吸管是甘肃省引大入秦灌溉工程总干渠上的大型跨沟建筑物，为双管桥式倒虹吸，具有工作水头高，输水流量大，管线长，管径大的特点，其综合工程规模位居国前列，6年的运行实践证明，工程设计合理，运行可靠。其工程设计的成功经验对类似工程具有参考价值。     

A Polynomial Algorithm for Computing Elementary Siphons in a Class of Petri Nets

A set of elementary siphons plays a key role in the development of deadlock prevention policies for automated manufacturing systems. This paper addresses the computation problem for elementary siphons in a subclass of Petri nets which are basic systems of simple sequential processes with resources (BS³PR) and can model many automated manufacturing systems. An algorithm for enumerating elementary siphons is established by the one‐to‐one relationship between maximal perfect resource‐transition circuits (MPCs) and strict minimal siphons. A set of MPCs is first computed, followed by a set of elementary siphons in a BS³PR. The presented algorithm is proved to have polynomial‐time complexity. An example is used to illustrate the algorithm.     

信标可控性定义及问题

死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri 网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.     

严寒地区大型倒虹吸工程管道应力及水力安全控制

新疆北疆供水工程跨越吉拉沟大洼槽的三个泉倒虹吸,跨度11 km,内径2.8 m,工作水头160m,是国内外同类工程中综合难度较高的大型倒虹吸工程,在结构强度、材料工艺、安装敷设、工程质量方面都有极高的要求,特别是高水头管道运行、充水、放空、水锤防护等各种工况下的水力安全控制问题,高温差与严寒条件下管道的应力应变问题尤为突出。对该工程设计、科研、施工及运行管理方面的经验进行介绍,对其在新技术、新材料、新工艺等方面取得的理论研究和技术创新成果进行总结,研究认为:工程总体布置合理,工程运行后监测资料及工程安全评价表明各项性状指标良好,通过模型试验研究确定的闸门开度、关闭速率、充水排气、放空排水等水力安全控制关键技术科学合理,为严寒地区大型倒虹吸工程的技术发展提供借鉴。     

常减压蒸馏装置配剂方法比较

对常减压装置的三种配剂方法进行分析比较，从而选出经济、合理的配剂方法。     

幸福河倒虹吸基坑降水方法

根据倒虹吸基坑降水实际效果,总结了不同地质情况下的基坑降水方法.比较了截渗墙与管井降水方案,考虑施工要求及降水方案造价,选择管井降水方案.降压采用压力平衡法计算,抽水量采用流量法计算.     

一种直接计算空间弯管转折角的新公式

提出了一种直接计算空间弯管转折角的新公式。为了验证新公式的正确性,将传统的解析计算公式进行恒等变形后所得出的公式与新公式进行了比较分析,证明了新公式具有计算简便、涉及参数少、实用性强等优点。以宝鸡市石头河水库引水工程为例,将新公式与传统公式进行了对比计算分析,进一步证实了新公式的正确性。     

柔性制造系统非阻塞监督控制器优化设计

针对一类含有并发执行装配过程的柔性制造系统G-systems,提出一种新的死锁预防策略保证该系统的非阻塞性,即在控制下,受控系统从任意可达状态都可以到达理想状态.首先对Petri网模型中基本信标实施控制,保证了基本信标的最大可控,然后通过线性规划算法求取所有从属信标满足可控性的条件,即获得基本信标的控制深度变量.与现有方法相比,该策略优点在于只需加入少量的控制库所,就可避免不必要的迭代过程;其次是提出控制器输出弧位置优化策略,得到了结构更为简单、许可行为更多的非阻塞Petri网控制器.     

Design of liveness‐enforcing supervisors via transforming plant petri net models of FMS

This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, S³PR for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted S³PR (WS³PR) that is behaviorally equivalent to the plant model. The WS³PR is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self‐max'‐controlled. The resulting WS³PR can serve as a liveness‐enforcing Petri net supervisor for the plant model after removing some idle and operation places. A live controlled system can be accordingly obtained by synchronizing a plant model and the places whose weights are regulated. This research shows that a small number of monitors is obtained, leading to more permissive behavior of the controlled system. Examples are used to demonstrate the proposed concepts and methods. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

引大总干渠先明峡倒虹吸水平管段复位施工方法

引大入秦工程总干渠先明峡倒虹吸管水平段钢管因温度变化引起上下游伸缩节的预留伸缩量发生了较大的变化,造成支承环的底座与支墩上的四氟滑块产生了较大错位,支墩出现了偏心受压,大部分四氟滑块出现断裂、脱胶和翘曲等破坏。通过水平管段支承环底座的摩阻力、伸缩节橡胶棒摩阻力计算,水平管段采用箱型定向滑动导轨和滑动钢球的复位措施、施工方法、步骤。采用该施工方法复位后,工程运行情况良好。