• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.23-28
• /
• 1997

We discuss development of a simulator for automated manufacturing systems (AMSs) which have sophisticated automated material handling equipments and complicated work flows. The simulator is designed to satisfy the following requirements. A user should be able to easily configure or specify an AMS through a graphical user interface (GUI) and minimal data input. The user should be able to model diverse and complied control logic for automated material handling systems like automated guided vehicle (AGV) systems, robot workcell systems and conveyor systems as well as complicated job flow program. Real time animation is desired. Finally, the simulator should be easily maintained and extended. To satisfy the requirements, we use an object-oriented paradigm for modeling, designing, and programming of the simulator. We use an object-oriented modeling framework to design the modeling elements library, and take the process interaction approach for scheduling processes and events. To model a user-defined diverse control logic, we also develop a script language and its interpreter. We explain design and implementation strategies. We implement the simulator using Visual C++ 4.2 and Open GL on Windows NT and the Windows95. Some modeling examples will be demonstrated.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.2
• /
• pp.34-46
• /
• 1988

This paper deals with design problem of unit load automated storage/retrieval systems (AS/RS). We propose an optimal design model in which the investment and maintenance costs of AS/RS, operating under dual command model is minimized over a time horizon satisfying the warehouse dimensional constraints. The model is formulated as an integer nonlinear program and an algorithm is proposed to find an optimum solution. The valididty of the solution algorithm is illustrated through an example.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.1353-1357
• /
• 2005

A CAM program for forming design Automated of CAM for Spring using car was developed in this study. This program was written in AUTO-LISP on the AUTO-CAD system with a personal. An approach to the system is based on the kinemateic of the object function. We make a determination of an cam programming. A cam spline is continuous in displacement, velocity and acceleration. The best cam curve is obtained by changing the kinemateic of the object function. The result has improved all characteristics such as velocity, acceleration and displacement compared with that of the modified cycloid curve.

• Proceedings of the KSR Conference
• /
• 2002.10b
• /
• pp.1106-1111
• /
• 2002

The design of sleeper in high-speed railway turnouts is complicated and time-consuming because the length and loading position of sleepers change continuously along the turnout line. It is, therefore, necessary to develop an automated design program which can design automatically the PSC sleepers in turnout region. In this study, a computer program for automatic design of turnout sleepers was developed based on graphic user-interface(GUI) environment. The structural analysis is performed considering the varying loading position of vehicular wheels. The sleepers are treated as located on elastic supports. The user can choose the desirable shape of sleepers before starting the detail design. The present study allows more realistic and automatic design of PSC sleepers in high-speed railway turnouts.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.3
• /
• pp.176-185
• /
• 2009

Modern manufacturing systems consist of highly automated manufacturing devices, and they are controlled by complicated PLC programs. To make sure the achievement of the control objectives of a manufacturing system, it is very important to monitor the dynamic system behaviors of the manufacturing system. In this paper, we propose a monitoring methodology of a PLC program based on the Software In the Loop Simulation(SILS), which makes use of the time gap information between PLC signals. The errors relevant with PLC signals can be found using the proposed methodology, comparing a normal PLC signal trajectory with a target PLC signal trajectory. The proposed methodology has been implemented and tested with simple examples.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.7
• /
• pp.152-157
• /
• 2014

Pro-program function of Pro/E has been utilized to expedite the design process of bellows. Design parameters selected for bellows design are manipulated to obtain the shapes user specified. User-oriented function may automate the bellows design process and this function may enable to reduce the design time remarkably. Generated bellows solid model has been applied to study of design sensitivity and optimum design. Among the selected design parameters, thickness of bellows affects system response most. Control-ring installed bellows may reduce the stress and prove to be an effective element for heavy load. The finite element analysis results combined with 3D model generated by pro-program may provide the feasible design directions to the bellows designer.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.2
• /
• pp.292-300
• /
• 1987

This paper, realizes the design of the sequential controller of a reinforced warehousing-delivery and unmanned transportation system for automated warehouse system. The system is composed of ware housing delivery adn transportation system using two unmanned vehicles with hierachical structure. It is described by GRAFCET and realized by programmed logic with microprocessor. Being described by GRAFCET, the system is able to divide it into subsystems and to synchronize them. Defining the concept of program module, one can easily program the system with the microprocessor instruction language.

• Educational Technology International
• /
• v.12 no.2
• /
• pp.71-94
• /
• 2011

How can an automated essay scoring (AES) program, which provides feedback for essays, be a formative tool for improving ESL writing? In spite of the increasing demands for English writing proficiency, English writing instruction has not been effective for teaching and learning because of a lack of timely and accurate feedback. In this context, AES as a possible solution has been gaining the attention of educators and scholars in ESL/EFL writing education because it can provide consistent and prompt feedback for student writers. This experimental study examined the impact of different types of feedback for a college ESL writing program using the Criterion AES system. The results reveal the positive impact of AES in a college-level ESL course and differences between the teacher's feedback and the AES feedback. The findings suggest that AES can be effectively integrated into ESL writing instruction as a formative assessment tool.

• Journal of Biomedical Engineering Research
• /
• v.23 no.3
• /
• pp.235-241
• /
• 2002

The detection of tubercle bacilli (TB) from sputum smear is one of the fast and inexpensive methods for diagnosis of tuberculosis. For this method. sputum smears are usually flexed by heating and stained by acid-fast staining method, and then examined under an optical microscope. Two Procedures are commonly used fur TB staining. One is hot staining and the other is cold staining method. The Ziehl-Neelsen method which is a hot staining method is widely used in Korea because its stained color is more vivid However, the conventional automated stainer has to fix the sputum smear on a slide manually and the stain is not so vivid because it has not heating function. In an effort to save labor and minimize variations in manual staining Procedure. we developed an automated stainer with heating function. The entire staining process is fully automated. from fixation to final washing and drying. With the automated methods, five slides can be flexed and stained in 21 minutes at consistent high quality We compared the concordance rate between the two methods for 91 sputum samples to validate the stain quality of the developed automated stainer. As the results, the concordant rate between the two methods was 95% and there was no significant difference (p>0.05)