• IE interfaces
• /
• v.22 no.1
• /
• pp.10-16
• /
• 2009

In this paper, we propose an efficient search algorithm for finding an optimal schedule to minimize makespan, while avoiding deadlock situation in Flexible Manufacturing Systems (FMS) with finite capacity, in which each job needs to be processed in several job stages for completion. The proposed algorithm uses a modeling and control method based on Petri-net. Especially, we improve the efficiency of the search algorithm by using a priority rule and an efficient bounding function during the search procedure. The performance of the proposed algorithm is evaluated through a numerical experiment, showing that it holds considerable promise for providing an optimal solution efficiently comparing to past work.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2045-2047
• /
• 2001

In this paper, we proposed the representation method of specification and the control rules fork FMS by TPL. To increase productivity and resource utilization, it is desirable to have more active jobs in the system, but the more active jobs there are, the more easily deadlock occur. Therefore, it is very important that the real-time deadlock control to disable deadlock. In this paper, we performed the system modeling by the CROPN(Colored Resource -Oriented Petri Net) and the necessary -sufficient condition check to disable deadlock. We proposed the supervisory control system that can be the real-time monitoring for deadlock free through a necessary-sufficient condition by CROPN modelling, and designed the logic controller of the extended process using TPL.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.280-283
• /
• 2015

Many construction projects have used the building information modeling (BIM) extensively considering data interoperability throughout the projects' lifecycles. However, the current approach, which is to collect the data required to support facility maintenance system (FMS) has a significant shortcoming in that there are various individual pieces of information to represent the performance of the facility and the condition of each of the elements of the facility. Since a heterogeneous external database could be used to manage a construction project, all of the conditions related to the building cannot be included in an integrated BIM-based building model for data exchange. In this paper, we proposed an ontology-based facility maintenance information model to integrate multiple, related pieces of information on the construction project using industry foundation classesbased (IFC-based) BIM data. The proposed process will enable the engineers who are responsible for facility management to use a BIM-based model directly in the FMS-based work process without having to do additional data input. The proposed process can help ensure that the management of FMS information is more accurate and reliable.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.381-385
• /
• 1996

본 연구에서는 자동화 제조 시스템 (Automatic Manufacturing System :AMS)의 설계및 구현에 있어서 물리적인 검증 (Physical Validation)을 위한 소프트웨어 시스템의 구조를 제안하고 구현하였다. 제안된 소프트웨어 시스템은 설비들과 물류 흐름에 있어서 간섭 검증과 운영 가능성을 검증하는 기능을 제공하며 크게 4개의 모듈로 나누어져 있다. : 1) 기본 형상들을 이용하여 원하는 형상을 정의하는 "Shape Modeling Module", 2) 실제 설비의 Kinematics와 기능을 모델링하는 "Facility Modeling Module", 3) AMS의 물리적인 배치를 구성하는 "Layout Design Module", 4) 모델링된 AMS를 실행시켜 볼 수 있는 "Factory Emulation Module". 이와 같은 소프트웨어 시스템을 구현하기 위해 수행된 주된 연구는 다음과 같다. : 1) AMS를 구성하는 설비들을 모델링하는 방법을 제시, 2) 표준 설비들의 Instancing Parameter 제시, 3) C++과 GL을 이용하여 소프트웨어로의 구현, 4) Flexible Manufacturing System (FMS)에의 응용.lexible Manufacturing System (FMS)에의 응용.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.24-29
• /
• 1999

Proposed in this paper is a modeling and simulation methodology for a virtual manufacturing environment. Based on DEVS formalism[Zeigler 76], the proposed model, so called GKDEVS, is designed to descript the geometrical knematic structure as well as event-driven and continuous state dynamics. In terms of abstract simulation algorithm[Zeigler 84], the simulation method of GKDEVS is proposed for combined discrete-continuous simulation. Using the GKDEVS, and FMS model consisting of a turing machine, a 3-axis machine and a RGV-mounted robot is constructed and simulated.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.195-204
• /
• 2003

Network optimization is being increasingly important and fundamental issue in the fields such as engineering, computer science, operations research, transportation, telecommunication, decision support systems, manufacturing, and airline scheduling. Networks provide a useful way to modeling real world problems and are extensively used in practice. Many real world applications impose on more complex issues, such as, complex structure, complex constraints, and multiple objects to be handled simultaneously and make the problem intractable to the traditional approaches. Recent advances in evolutionary computation have made it possible to solve such practical network optimization problems. The invited talk introduces a thorough treatment of evolutionary approaches, i.e., hybrid genetic algorithms approach to network optimization problems, such as, fixed charge transportation problem, minimum cost and maximum flow problem, minimum spanning tree problem, multiple project scheduling problems, scheduling problem in FMS.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.54 no.4
• /
• pp.127-135
• /
• 2012

This paper introduced the flow forecast modeling system that a water management agency in west central Florida, Tampa Bay Water has been operated to forecast monthly rainfall and streamflow in the Tampa Bay region, Florida. We evaluated current 1-year monthly rainfall forecasts and flow forecasts and actual observations to investigate the benefits of incorporating rainfall forecasts into monthly flow forecast. Results for rainfall forecasts showed that the observed annual cycle of monthly rainfall was accurately reproduced by the $50^{th}$ percentile of forecasts. While observed monthly rainfall was within the $25^{th}$ and $75^{th}$ percentile of forecasts for most months, several outliers were found during the dry months especially in the dry year of 2007. The flow forecast results for the three streamflow stations (HRD, MB, and BS) indicated that while the 90 % confidence interval mostly covers the observed monthly streamflow, the $50^{th}$ percentile forecast generally overestimated observed streamflow. Especially for HRD station, observed streamflow was reproduced within $5^{th}$ and $25^{th}$ percentile of forecasts while monthly rainfall observations closely followed the $50^{th}$ percentile of rainfall forecasts. This was due to the historical variability at the station was significantly high and it resulted in a wide range of forecasts. Additionally, it was found that the forecasts for each station tend to converge after several months as the influence of the initial condition diminished. The forecast period to converge to simulation bounds was estimated by comparing the forecast results for 2006 and 2007. We found that initial conditions have influence on forecasts during the first 4-6 months, indicating that FMS forecasts should be updated at least every 4-6 months. That is, knowledge of initial condition (i.e., monthly flow observation in the last-recent month) provided no foreknowledge of the flows after 4-6 months of simulation. Based on the experimental flow forecasts using the observed rainfall data, we found that the 90 % confidence interval band for flow predictions was significantly reduced for all stations. This result evidently shows that accurate short-term rainfall forecasts could reduce the range of streamflow forecasts and improve forecast skill compared to employing the stochastic rainfall forecasts. We expect that the framework employed in this study using available observations could be used to investigate the applicability of existing hydrological and water management modeling system for use of stateof-the-art climate forecasts.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.22 no.1
• /
• pp.90-101
• /
• 1998

This paper presents a scheduling method that uses Petri net modeling and heuristic search to handle the tool setup. In manufacturing systems, a tool is attached to a particular machine to process a particular operation. The activity to attach a tool to a particular machine and detach the tool from the machine requires time. The processing time of operations varies according to the attached tool and the machine used. The method proposed in this paper uses Petri net to model these characteristics and applies a search algorithm to the reachability graph of the Petri net model to generate an optimal or near-optimal schedule. New heuristic functions are developed for efficient search. The experimental results that show the effectiveness of the proposed method are presented.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2540-2542
• /
• 2005

This paper proposed the new HILS technique called Injection Method for Inertial Sensor Verification of high maneuvering missiles. The performance of Inertial Sensor is verified by Injection Method and traditional FMS Method. After all, Injection Method for Inertial Sensor has capability for various scenario and critical condition test.

• Journal of the Korea Society for Simulation
• /
• v.9 no.1
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.