• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.1
• /
• pp.77-87
• /
• 1989

This paper deals with an automated storage carrousel which handles work-in-process(WIP) such as small parts for kitting. The system has been used predominately for order picking applications. Throughput performance of the system can be measured by the inverse of the expected order picking time. Analytic models are developed for approximating the expected times under the "nearest-item" sequencing rule. The performance of the models are tested through computer simulation. The gap between the two is shown to be reasonably small.

• Journal of Korean Institute of Industrial Engineers
• /
• v.21 no.2
• /
• pp.195-206
• /
• 1995

Higher utilization of warehouse space can be achieved by using automated mobile racking systems. Therefore, those systems may be employed for factories or distribution centers as a good option of increasing the storage capacity. In this paper, travel-time models are developed to estimate the average performance of the system assuming randomized storage. Expected travel times are determined for both single- and dual-command cycles. Two extreme input/output-point locations are considered. Some numerical results obtained from the models are given.

• 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 Korea Institutes of Information Security and Cryptology Conference
• /
• 1996.11a
• /
• pp.65-74
• /
• 1996

Risk analysis is time-consuming and expensive process〔1〕〔6〕. Automated risk analysis tools have been widely used in industry and government to support decision making process and reduce cost. However, difficulties in materializing impact of threats and fast-changing network environments make analysis process more complicated and less trusted since impacts are relative in network environments. HAWK system is developed to improve the accuracy of analysis result in network-oriented environment. It provides user-friendly environments and considers network environments as primary assets.

• Journal of the Korea Safety Management & Science
• /
• v.1 no.1
• /
• pp.69-77
• /
• 1999

One of the objectives of any task design is to provide a safe and helpful workplace for the employees. The safety and health module may include means for confronting the design with safety and health regulations and standards as well as tools for obstacles and collisions detection (such as error models and simulators), Virtual Reality is a leading edge technology which has only very recently become available on platforms and at prices accessible to the majority of simulation engineers. The design of an automated manufacturing system is a complicated, multidisciplinary task that requires involvement of several specialists. In this paper, a design procedure that facilitates the safety and ergonomic considerations of an automated manufacturing system are described. The procedure consists of the following major steps. Data collection and analysis of the data, creation of a three-dimensional simulation model of the work environment, simulation for safety analysis and risk assessment, development of safety solutions, selection of the preferred solutions, implementation of the selected solutions, reporting, and training. When improving the safety of an existing system the three-dimensional simulation model helps the designer to perceive the work from operators point of view objectively and safely without the exposure to hazards of the actual system.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.11
• /
• pp.527-534
• /
• 2016

The emergent information society requires the talent for creative thinking based on problem-solving skills and comprehensive thinking rather than simple memorization. Therefore, the Korean curriculum has also changed into the direction of the creative thinking through increasing short-answer questions that can determine the overall thinking of the students. However, their scoring results are a little bit inconsistency because scoring short-answer questions depends on the subjective scoring of human raters. In order to alleviate this point, an automated scoring system using a machine learning has been used as a scoring tool in overseas. Linguistically, Korean and English is totally different in the structure of the sentences. Thus, the automated scoring system used in English cannot be applied to Korean. In this paper, we introduce an automated scoring system for Korean short-answer questions using predictability and unanimity. We also verify the practicality of the automatic scoring system through the correlation coefficient between the results of the automated scoring system and those of human raters. In the experiment of this paper, the proposed system is evaluated for constructed-response items of Korean language, social studies, and science in the National Assessment of Educational Achievement. The analysis was used Pearson correlation coefficients and Kappa coefficient. Results of the experiment had showed a strong positive correlation with all the correlation coefficients at 0.7 or higher. Thus, the scoring results of the proposed scoring system are similar to those of human raters. Therefore, the automated scoring system should be found to be useful as a scoring tool.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.6
• /
• pp.685-690
• /
• 2011

This paper describes a seismic analysis of chemical pump using automated mesh generation system. The use of an automated analysis system, involving FE codes together with CAD systems and FE pre- and post-processors, has provided an important step towards shortening the design process and structural optimization. The FE model, which is a FE mesh accompanied with the analysis condition, is automatically converted from the analysis model. The FE models are then automatically analyzed using the FE analysis code. This integrated FE simulation system is applied to an analysis of three-dimensional complex solid structures such as a chemical pump.

• Journal of Korea Technology Innovation Society
• /
• v.13 no.1
• /
• pp.28-43
• /
• 2010

Recently, the establishment of Project Management System for National Research and Development Projects focusing on researchers has drawn sharp attention through revision of applicable laws and regulations, and presentation of national policy tasks for the management of national R&D projects, however, it is insufficient to say that a remarkable system has been established by researchers. In this study, a National Research Automated Registry Code Numbering System was suggested by using a National R&D Projects Human Resource Declaration System for Project Management System for National R&D Projects focusing on researchers. In addition, a National Research Automated Registry Code System was sought in order to realize this system. Through this suggestion, consolidation of personal information protection can be attainted through the national career management, and by raising the participation of researchers naturally, reduction in administrative affairs, simplification of accomplishments verification, and improvement in investigation, analysis and evaluation statistic quality can be expected.

• Environmental Analysis Health and Toxicology
• /
• v.14 no.4
• /
• pp.217-222
• /
• 1999

Changes in certain fish behaviors are known to be very sensitive indicators of sublethal exposure to environmental contaminants. Therefore, behavioral toxicity tests, if properly designed, can be very useful to assess the influence of hazardous chemicals on fish. However, quantitative analysis of xenobiotic-mediated changes in locomotor behavior in fishes are rare, due mainly to the methodological difficulties. In general, fish movement has been known to be hypertrophic or hypotrophic according to the chemicals. As a study of fish behavioral toxicities, we qualified the swimming movement of Oryzias latipes using computer-automated video tracking system. Oryzias latipes was exposed to cadmium of 128 mg/L for 1 hour in a limited aquaria, then the total swimming distance, the average swimming velocity, the histogram of turning angles, and the turning frequency were analyzed. Fish treated with cadmium showed decreased swimming activities, decreased velocity, and decreased turning frequency, which means hypotrophic activity. From these results, the computer-automated video tracking system of this study seems to be a good tool for the evaluation of the potential ecotoxicological studies.

• Journal of the Korean Society for Railway
• /
• v.12 no.4
• /
• pp.450-456
• /
• 2009

In accordance with the development of recent computer technology, the dependency of railway signaling system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of railway signaling system software became more important This thesis suggested automated an analysis tool for S/W metrics on this railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway system, such as IEC61508 and IEC 62279. This automated analysis tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.