Mobile computing provides useful, accurate, and timely information to any customer at any time and any place, which greatly changes the traditional way of reading data in the warehouse. The shelf layout of a warehouse center is one of the important factors affecting the efficiency of operation. Modern distribution centers use the mobile computing technology to store warehouse data, and these new layouts can significantly reduce the order turnover time and cost. This paper focuses on order picking at a storage center, a real-time communication system using data read-write devices, removes the limitation of the picking channel being a straight line and performs the curve design of the main channel of V-shaped and fishbone layouts. Using mobile computing technology, we can obtain the order position in real time and store relevant data, gather the order in time, and reduce the operating costs. Afterward, we built a storage area utilization model with the main channel selected as the curve and a stochastic model of return-type picking path with the main channel as the curve and verified the effectiveness of the mathematical model through simulation using the MATLAB software.INDEX TERMS Curved channel, mobile computing, random memory type, return-type picking,V-shaped layout.
Cyber-Physical Systems (CPSs) integrate computing, communication and control processes. Close interactions between the cyber and physical worlds occur in time and space frequently. Therefore, both temporal and spatial information should be taken into consideration when specifying properties of CPS systems for verification. However, how to formulate properties specifying spatial together with temporal features is still an unsolved problem in the CPS. In this paper, we propose an approach to analyze the spatio-temproal properties of CPS. A spatio-temporal logic is developed, including the syntax and semantics of the logic. With that logic, properties of both states, transitions and global systems could be specified, paving the way for further verification. To show the efficiency of the approach , a Train Control System is introduced as a case study. Meanwhile, more details about how to specifying properties of CPS systems with our method are elaborated.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.