• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.8 no.11
• /
• pp.69-77
• /
• 1985

The queue theory is based on the assumption that most system are normally assigned to stay under steady state. Therefore, the initial problem can be represented by a symbolic model but such a representation does not permit analysis of all the interesting alternatives. When the solution to the problem is thus restricted to a particular subclass of available alternatives, the symbolic model can be solved by mathematics to deduce which alternative is optimal. However, when be consider slightly more complicated alternatives, the analytic procedures become interactable. The purpose of this study is to show how a simulation model enable us to handle the more complicated system after examining the characteristics of the complications that negate more complicated system. Then construct a simulation model and compare the solution of simulation models with analytic methods.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.725-730
• /
• 1996

In this work, the software behavior under memory faults in operation phase is modeled and simulated using the stochastic activity network, generalized stochastic Petri nets. This networks permit the representation of concurrency, timeliness, fault tolerance, and degradable performance of system and provide a means for determining the stochastic behavior of a complex system. We estimate the reliability of an application software in the digitized system in nuclear power plants and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in normal operation phase. We found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.34 no.1
• /
• pp.153-165
• /
• 2009

This paper apollos an ant colony system (ACS) for the vehicle routing problem with time window (VRPTW). The VRPTW is a generalization of the VRP where the service of a customer can begin within the time windows defined by the earliest and latest times when the customer will permit the start of service. The ACS has been applied effectively in geographical environment such as TSP or VRP by meta-heuristic that imitate an ant's biologic special duality in route construction, 3 saving based ACS (SB-ACS) is introduced and its solution is improved by local search. Through iterative precesses, the SB-ACS is shown to drive the best solution. The algorithm has been tested on 56 Solomon benchmarking problems and compared to the best-known solutions on literature. Experimental results shows that SB-ACS algorithm could obtain food solution in total travel distance minimization.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.7
• /
• pp.116-124
• /
• 2002

The planning of part feeder and other manufacturing automation equipments is almost always underestimated. Planning ahead for those crucial pitfalls can permit steps to take to minimize heir impacts, especially if the problems can be discovered in the planning phase, not on the shop floor. Planning process is an engineering process, namely a series of trade-offs. The effective trade-offs in the shortest amount of time can be possible with the help of a computer-aided ngineering (CAE) technique. The main parts of CAE fur part feeder are database system of fabricated workpiece parts, part feeders, part feeder components. In this study, a planning process of part feeder is presented. Especially, a systematic analysis of workpiece parts and part feeders is performed for the design of databases of CAE system.

• Journal of Ocean Engineering and Technology
• /
• v.26 no.6
• /
• pp.1-6
• /
• 2012

The purpose of this paper is to present a rational method for analyzing, designing, or evaluating the spread mooring systems used with floating drilling units. This paper presents a validated model to calculate the catenary static configuration. A semi-resolution approach is presented in this paper that is capable of predicting the static performance of a caisson mooring system. The solution is derived as a function of only three parameters, which can be solved numerically by implementing different kinds of boundary conditions. The efficiency and accuracy of the method permit quick parametric studies for the optimal selection of the system particle, which is undoubtedly useful for a preliminary design. A number of numerical examples demonstrate the validity of the adopted approach. The paper contains a complete description of the test cases and reports the results in such a way that it can provide a "benchmark" test for users and programmers of computer codes for flexible riser analysis.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.10 no.5
• /
• pp.71-77
• /
• 2001

On-machine measuring system of Numerically Control(NC) machines permit computer control of basic material cutting processes of moulds. A part of mould designed within a CAD/CAM system can be manufactured by generation of tool paths by the measuring systems. Since the three-dimensional geometry by AutoCAD of the part is contained in the data base, the manufacturing specialist combined with the appropriate software simulation, can not only create the commands to drive the virtual measuring and standardization of measuring modules but also can check for mistakes by viewing the computer graphics simulation of the tool cutting sequence.

• Structural Engineering and Mechanics
• /
• v.33 no.3
• /
• pp.307-323
• /
• 2009

This article presents the differential system that governs the mechanical behaviour of a curved-beam element, with varying cross-section area, subjected to generalized load. This system is solved by an exact procedure or by the application of a new numerical recurrence scheme relating the internal forces and displacements at the two end-points of an increase in its centroid-line. This solution has a transfer matrix structure. Both the stiffness matrix and the equivalent load vector are obtained arranging the transfer matrix. New structural matrices have been defined, which permit to determine directly the unknown values of internal forces and displacements at the two supported ends of the curved-beam element. Examples are included for verification.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.1
• /
• pp.7-14
• /
• 2002

In power system study, relibility assessment has been an important topic during past several decards because sudden power interruption can bring about enormous economic loss. although the size of a substation is smaller than that of generation system or transmission system, switching actions after fault(s) make reliability assessment of substation rather complex situations such as switching actions easily and permit various probability distributions in describing substation elements. Despite this ability of Monte Carlo simulation, one-parameter exponential distribution is still popular in this reliability assessment. This paper examines the characteristics of several two-parameter probability distributions, and offers new parameter decision rule based on average and variance of the target to be modelled. In case study, this paper shows the profits by using Weibull distribution which is one of two-parameter probabilistic distributions instead of exponential one.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.34 no.12
• /
• pp.31-38
• /
• 2018

The number of share houses has increased in Korea, and social recognition of this type of housing is also growing. In order to review current conditions and housing systems for share houses, an analysis of rooming house, a type of share house that is built overseas, was carried out. This study focused on studying rooming houses of Canada. Residents occupy in rooms and share common spaces with other tenants in rooming houses. The purpose of this research is to study planning guidelines, systems, operation management of rooming houses and the process and role of public and citizen participation. Based on characteristics of planning guidelines and operation management for rooming houses, implications which can be used for setting institutional and planning foundations for share houses in Korea have been presented through this research.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.34 no.10
• /
• pp.63-73
• /
• 2018

As the life cycle of buildings is expected to increase, new constructions will decrease and the proportion of remodeling and repair will increase. Therefore, there is an increasing need for overall performance management of old buildings. In 2020, the proportion of buildings over 30 years old is expected to reach a half. As a result, the demand for securing and improving the performance in the stage of using the building is increasing due to the change in the demand for the building, such as the decrease in the construction permit and the increase in the use of the existing building. From this perspective, the study sought to consider institutional measures to organize the preventive and conservative maintenance of buildings. For this purpose, the conceptual goals of inspection for building maintenance were set through a literature review, and the status and problems associated with building maintenance were analyzed to suggest ways to improve the inspection system for building maintenance.