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.     

多运营商高铁隧道移动网络覆盖方案

高铁移动网络覆盖是国内三大通信运营商的一个重点,而高铁隧道内移动网络覆盖更是运营商的一大难点痛点。文章根据我国中部省份某高铁线路覆盖规划实例,采用“设备+POI+泄漏电缆”模式,即三家运营商信号源设备通过同一POI(point of interface,多系统接入平台)接入,信号输出到泄漏电缆进行隧道覆盖,隧道口场坪站安装宽频切换天线对隧道外进行延伸覆盖,通过链路预算合理布置各运营商主设备信号源,从而实现隧道到室外的无缝覆盖。最后,根据已有成熟网络覆盖解决方案,对未来5G高铁隧道移动网络覆盖方案进行了探讨。     

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.     

Experimental and numerical analysis of the influence of cable tray arrangements on the resulting mass loss rate and fire spreading

In the context of industrial buildings and power plants, electrical installations and cable trays represent a main fuel load and a potential initial fire source due to possible short circuits or comparable malfunction. Furthermore, a fire can spread from one tray to additional trays mounted above and/or horizontally on one tray. Because of the high significance of cable fires, several research projects have been carried out, investigating the fire behaviour of cables from small‐scale tests, eg, the cone calorimeter, up to large‐scale tests, analysing complete cable tray constructions. The goal of the work presented in this paper is the extension of the knowledge regarding the influence of geometrical parameters like the packing density and tray distance on the burning behaviour and fire spread of cable tray installations. The results are considered, together with test results from the literature, to quantify the main physical parameters describing the burning behaviour. In a next step, the general applicability of these parameters as input data for the parametrization of the source term of numerical simulations is shown. The test results show that the burning behaviour and the fire spreading highly depend on the cable arrangement of the cables on the cable tray, in combination with other boundary conditions. By applying the results as input for a fire simulation, the mass loss rate is considered appropriately.     

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

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

辐射型漏泄同轴电缆的设计

总结了漏泄同轴电缆的理论研究现状。围绕使用频带和耦合损耗这两个重要电气参数，讨论辐射型漏泄同轴电缆的设计方法。基于周期性槽孔结构的空间谐波的分析，讨论了抑制高次谐波以拓展使用频带的方法。利用时域有限差分方法和Matlab软件计算耦合损耗。     

城域网中光纤光缆的探讨

城域网的建设是今后光纤网络建设的一个热点，根据城域网的特点和系统技术要求选择光纤光缆是网络设计的重要组成部分。本根据城域网的特点和需求，对市场上现有的光纤光缆做了详细的分析和探讨，提出了城域网规划中光纤光缆选择的原则和具体的建议。     

有线电视工程建设流程再造设计

从理论与实际工作相结合的角度出发,以淄博广电青鸟公司为研究对象,对有线电视网络工程建设流程的现状、存在的问题和原因进行细致深入分析,然后按照提出的再造方案的设计原则,设计了工程建设流程的再造方案,并对新旧流程进行比较。     

浅谈亚欧海底光缆S2段远供电源(PFE)及其维护管理

以亚欧海底光缆S2段为例,介绍亚欧海底光缆远供电源(PFE)的供电方式,以及其在正常运行时和故障维修时的维护管理方法。探讨在实际维护中如何贯彻落实及灵活运用系统联合维护文档,总结适合中国国情的远供电源维护经验,确保亚欧海底光缆远供电源安全稳定运行。     

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.