A test sequence generation method of zone controller based on timed automata

In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.

Two-Stage Planning of Distributed Power Supply and Energy Storage Capacity Considering Hierarchical Partition Control of Distribution Network with Source-Load-Storage

Aiming at the consumption problems caused by the high proportion of renewable energy being connected to the distribution network,it also aims to improve the power supply reliability of the power system and reduce the operating costs of the power system.This paper proposes a two-stage planning method for distributed generation and energy storage systems that considers the hierarchical partitioning of source-storage-load.Firstly,an electrical distance structural index that comprehensively considers active power output and reactive power output is proposed to divide the distributed generation voltage regulation domain and determine the access location and number of distributed power sources.Secondly,a two-stage planning is carried out based on the zoning results.In the phase 1 distribution network-zoning optimization layer,the network loss is minimized so that the node voltage in the area does not exceed the limit,and the distributed generation configuration results are initially determined;in phase 2,the partition-node optimization layer is planned with the goal of economic optimization,and the distance-based improved ant lion algorithm is used to solve the problem to obtain the optimal distributed generation and energy storage systemconfiguration.Finally,the IEEE33 node systemwas used for simulation.The results showed that the voltage quality was significantly improved after optimization,and the overall revenue increased by about 20.6%,verifying the effectiveness of the two-stage planning.

Sheet Bulk Forming of Thin-Walled Components with External Gearing through Upsetting Using Controllable Deformation Zone Method

Sheet-bulk metal forming(SBMF)is a promising process for manufacturing complex sheet components with functional elements.In this study,the entire forming process for a typical thin-walled component with external gearing is investigated,including sheet forming and bulk forming processes.Deep drawn cups are prepared during sheet forming;subsequently,upsetting is performed on the sidewall to form external gearing.The upsetting method performed is known as upsetting with a controllable deformation zone(U-CDZ).Compared with the conventional upsetting method,a floating counter punch with a counter force is used in the U-CDZ method such that the forming mechanism is changed into the accumulation of the deformation zone instead of deformation throughout the entire sidewall.The effects of the counter force and material flow are investigated to understand the mechanism.The forming quality,i.e.,the formfilling and effective strain distribution,improved,whereas a high forming load is avoided.In addition,a punch with a lock bead is used to prevent folding at the inner corner during the experiment.

Evaluation of Merge Control Strategies at Interstate Work Zones under Peak and Off-Peak Traffic Conditions

Maintenance and rehabilitation projects of interstate facilities typically mandate lane closures. Lane closures require merging maneuvers that often result in reduced speeds and traffic bottlenecks. Work zone impacts on traffic operations are magnified when project durations are extended. Conventionally, work zone traffic control plans are developed to address work zone impacts. This study evaluated various merge control strategies at interstate work zones peak and off-peak traffic conditions and summarized related impacts. A comprehensive microscopic simulation model was developed in full consideration of driver/vehicle behavior at work zones. The analysis of simulation results revealed that merge control strategies, when implemented during peak and off-peak conditions, can preserve the level of service and provide favorable mobility, safety, and environmental impacts. In addition, results indicate that transportation agencies’ practice of scheduling work zone activities during the off-peak may not be the most optimum approach. Overall, the findings of this study highlight the need for evaluation of work zone scheduling practices in full consideration of agency, user, and project costs.

Zoning Control of Health of Farmland System

In addition to the quality and quantity of farmland, the health of farmland has also become an important research direction in the field of farmland protection. In order to comprehensively evaluate the relationship and distribution of health and farmland production capacity, the depression area behind the Yellow River in Henan Province is taken as the research object. Using production capacity evaluation data and system health evaluation results, the health status and production capacity of farmland in the region are coupled. The results show that high productivity farmland is most distributed in areas with moderate health risks, while low productivity farmland is more distributed in areas with low health risks. Based on their coupling characteristics, the depression area behind the Yellow River can be divided into five types, and management and protection strategies can be formulated separately.

Modeling research of train tracing based on UML sequence diagram and UPPAAL

The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.

The Future Programming of Acid Rain and SO_2 Control in China

This paper describes a programme for controlling acld rain and SO2 pollutions in the coming years in China. It embraces the control targets in some respects, such as precipitation acidity, urban SO2 pollution, SO2 emission sources and its total emission, and various control measures, such as limiting the exploitation of high sulfur coal, promoting steam coal washing, strengthening SO2 emission sources control and readjusting their special layout, enhancing total SO2 emission control, implementing the licence system of pollution discharge and the exchange system of SO2 emission and revising the SO2 emission standards.

Development of fractures in soft rock surrounding a roadway and their control

As the excavation of roadway, new fractures will be formed and the pre-existing fractures extend with the redistribution of stress in surrounding rocks. Eventually, fracture zone and bed separation are formed in rocks because of the developed fractures. Therefore, mastering the fracture evolution of surrounding rocks is very important to maintain the stability of roadway. The surrounding rocks of main haulage road- way in a certain coal mine is so broken and loose that the supporting is very difficult. Based on compre- hensive anal[ysis of the engineering geological conditions, a sight instrument was used to observe the fractures of internal surrounding rocks, Four indices, i.e., the width of fracture zone W, the number of fractures n, the width of fractures d and rock fracture designation RFD, are put forward to evaluate the fracture dewelopment. According to the evolution rules of the soft rock roadway from this paper, control principles by stages and by regions are presented through the research. At the same time, the best time of grouting reinforcement is determined on the basis of fracture saturation. Field practice shows that the roadway can satisfy normal production during service periods by suitable first support and grouting reinforcement.

Development and Prospect of Zoning Mode in the Three Rounds of Overall Land Use Planning of China

Zoning system is the basic mode of establishment of overall land use planning. In this study,the zoning mode and practice in the three rounds of overall land use planning that have been carried out in China were analyzed and summarized firstly,and then some obvious problems existing in the implementation of the zoning mode were analyzed. Finally,countermeasures and suggestions were put forward to provide necessary reference for further development and improvement of the zoning mode and the development of overall land use planning at all levels in China.

Environmental regulation and firms'performance:a quasi-natural experiment from China

This paper investigates whether environmental regulation affects firm's performance including productivity,wage and employment using firm-level data in 1996-2007.The identification uses Two Control Zones(TCZ)policy implemented by the Chinese government in 1998,in which tougher environmental regulations were imposed in TCZ cities but not others.By difference-indifferences estimation,we find that tougher environmental regulation leads to larger increase on both total factor productivity and wage,and firms tend to employ fewer workers under pressure of environmental protection.Heterogeneous tests show that the impacts are better for nonpollution intensive firms,non-exporters and SOEs.Finally,we find that R&D input and exiting firms among industry are the driving forces for enhancing TFP and increasing wage and unemployment.

Predictive Zone Control of Pressure Management for Water Supply Network Systems

In this paper we address the problem of pressure management in water supply system （WSS） network. The model-based predictive control （MPC） strategies have some important features to deal with WSS. By hydraulic analysis of WSS, the predictive model is derived from the dynamic model and static model of WSS. Through WSS, the consumers＇ demands are required to be met at all times according to some operational constraints that must be satisfied. The constraints of flow through actuators, the water level of reservoirs and the consumer areas＇ pressure demand are determined by a specific system. In this work, we develop a constrained MPC controller that considers the zone control of the pressure outputs and incorporates steady state economic targets in the control cost function. The designed management strategies are applied to a case study and simulation results, covering different aspects, are provided. The output nodal pressure can be controlled in the desired zone by optimal scheduling the actuators of the WSS. If the variation range of reservoir＇s water level is broader, the rate of flow through the actuators is gentle, and vice versa.

Wafer back pressure control and optimization in the CMP process

Chemical mechanical polishing （CMP） is the most effective wafer global planarization technology. The CMP polishing head is one of the most important components, and zone back pressure control technology is used to design a new generation of polishing head. The quality of polishing not only depends on slurry, but also depends on the precise control of polishing pressures. During the CMP polishing process, the set pressure of each chamber is usually not the same and the presence of a flexible elastic diaphragm causes coupling effects. Because of the coupling effects, the identification of multi-chambers and pressure controls becomes complicated. To solve the coupling problem, this paper presents a new method of multi-chamber decoupled control, and then system identification and control parameter tuning are carried out based on the method. Finally, experiments of multi- chambers inflated at the same time are performed. The experimental results show that the presented decoupling control method is feasible and correct.

Robust Semi-Global Leaderless Consensus and Containment Control of Identical Linear Systems with Imperfect Actuators

This paper investigates both the robust semi-global leaderless consensus problem and the robust semi-global containment control problem for a group of identical linear systems with imperfect actuators. The imperfect actuators are characterized by nonlinearities such as saturation and dead zone and there input output relationships are not precisely known. The dynamics of follower agents are also affected by the input additive disturbances. Low-and-high gain feedback consensus protocols are constructed to solve these problems. More specifically, it is shown that robust semi-global leaderless consensus can be achieved over a connected undirected graph and robust semi-global containment control can be achieved when each follower agent has access to the information of at least one leader agent. Numerical simulation illustrates the theoretical results.