Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems

Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large dimensionality of such systems. To overcome this problem, a typical approach is to decompose the net into subnets and then control the plant through hierarchical or decentralized structures. Although this concept has been widely discussed in the literature for discrete PNs, there is a lack of research for HPNs. In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced. The advantage of using the proposed approach is validated by an existing example. A sugar milling case study is analysed by using a decomposed FOHPN model and the optimization results are compared against the results of the approaches presented in other papers. Simulation results show not only an improvement in production rate, but also show the ability to control the plant online. In addition, by using the hierarchical control structure for an FOHPN model, it is possible to reduce the cost of communication links, improve the reliability of the system, maintain the plant locally, and partially redesign the system.     

The implementation of a smartphone-based fall detection system using a high-level fuzzy Petri net

The falling down problem has become one of the very important issues of global public health in an aging society. The specific equipment was adopted as the detection device of falling-down in the early studies, but it is inconvenient for the elderly and difficult for future application. The smart phone more commonly used than the specific fall detection equipment is selected as a mobile device for human fall detection, and a fall detection algorithm is developed for this purpose. What the user has to do is to put the smart phone in his/her thigh pocket for falling down detection. The signals detected by the tri-axial G-sensor are converted into signal vector magnitudes as the basis of detecting a human body in a stalling condition. The Z-axis data sets are captured for identification of human body inclination and the occurrence frequencies at the peak of the area of use are used as the input parameters. A high-level fuzzy Petri net is used for the analysis and the development of identifying human actions, including normal action, exercising, and falling down. The results of this study can be used in the relevant equipments or in the field of home nursing.     

运动会新闻发布系统的设计与实现

针对运动会比赛期间随时需要方便、快捷、高效地更新大量新闻的需求 ,研制和开发一套运动会新闻发布系统。利用微软最新推出的asp .net动态网页开发工具 ,采用web分布式三层设计模型设计实现了一套操作简单、功能完善、具有通用性的运动会新闻发布系统     

川合137井大修井工艺技术浅析

在川合137井的修井作业中，运用了多种修井工具和工艺技术。通过内捞、外捞、强提、倒扣、磨铣、套铣、开钻新井眼和铣锥通井的方法，充分解放了油气层，达到了修井目的。其独特的想法、施工和自制工具的成功应用对今后大修井作业具有很高的参考价值。     

一种弯曲抽油杆打捞工具

为安全、快速、有效地解决顶部极度弯曲、径向变形尺寸很大的落井抽油杆打捞难题,研制了一种在套管内打捞弯曲抽油杆的工具。该工具把以往从落物顶端引入打捞改为从落物侧面引入打捞,使复杂的井下故障处理简单化,从而缩短修井周期,减少修井费用,及时恢复油井生产。该项技术先后在江苏油田6口油井上应用,成功率100%,验证了工具的独特性和可靠性。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

织金县HFC双向网络设计方案

织金电视台通过对有线电视网络进行双向改造，为Internet宽带接入、数字电视、VOD等多媒体应用提供了运行平台，介绍织金县城区HFC双向网络设计方案。     

协同作战能力简析

协同作战能力(CEC)是一种充分利用网络技术的新型海岸防空技术，给系统的作战能力带来了革命性的交破。本文对协同作战能力的产生、功能、组成以及未来的发展趋势作了详细的介绍，阐述了CEC系统的总体设计思想。在此基础上，将CEC系统与传统的作战系统的性能和设计思想在各方面进行了比较，交出了CEC系统各方面的优越性能。协同作战能力是现代和未来作战系统的发展方向，CEC系统的发展必将成为衡量各国国防科技现代化的重要指标。     

分布式光纤拉曼放大器的增益平坦设计

介绍了在波分复用（WDM）系统中分布式光纤拉曼放大器（FRA）的理论分析模型。在此基础上，对增益平坦设计所需考虑的因素进行了分析；最后通过试验证明了它的有效性。     

洼60-H26水平井套铣打捞技术

洼60-H26井是一口中曲率水平井,设计井深1 922 m,由于地面条件的限制,设计采用三维井眼轨道。该井水平段在钻至井深1 801 m时,发生卡钻事故。在卡钻事故处理过程中,采用测卡、爆炸松扣技术取出上部钻具后,应用了不同规格的套铣管对被卡钻具进行套铣,采用间歇式套铣方式实现了大斜度井段(45°-90°)的安全套铣,采用短套铣管完成了时水平井段内φ215．0 mm稳定器的套铣,采用φ228．6 mm套铣管成功套铣水平井段被卡LWD仪器,最后通过震击器震击成功解卡。详细介绍了洼60-H26水平井卡钻事故的处理过程,分析了在水平段处理卡钻事故的难点。该井处理卡钻事故的经验,对以后水平井施工中处理井下事故、打捞贵重仪器具有借鉴价值。