• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• pp.139-149
• /
• 2002

This paper presents an approach to derive probability models for use in structural reliability studies. Two main points are made. First, that it is possible to translate engineering and physics knowledge into a requirement on the form of a probability model. And second, that making assumptions about a probability model for structural failure implies either explicit or hidden assumptions about material and structural properties. The work is foundational in nature, but is developed with explicit examples taken from planar and general stress problems, the von Mises failure criterion, and a modified Weibull distribution.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.36-45
• /
• 1993

This paper presents a model and a heuristic procedure to design production planning and transportation scheduling systems of critical items, components and products on the basis of material requirement planning concept and transportation planning model. These systems are stemmed from a multi-site multi-product production company in a international economic zone. An example is provided to validate the heuristic procedure developed.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.2
• /
• pp.11-22
• /
• 1989

The problem of scheduling n-jobs on m-uniform parallel machines is considered, in which each job has a release time, a deadline, and a processing requirement. The job processing requirements are allocated to the machines so that the maximum of the load differences between time periods is minimized. Based on Federgruen's maximum flow network model to find a feasible schedule, a polynomially bounded algorithm is developed. An example to show the effectiveness of our algorithm is presented.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.1108-1115
• /
• 2003

This paper Introduces a method to automate process design using Case Based Reasoning technique. A case is represented hierarchically through functional requirement, behavioral model, and process mechanism model Specifically, a case retrieval algorithm to use function and behavior, case adaptation method to use hierarchical case representation, and a machine selection method are presented.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2004.04a
• /
• pp.76-81
• /
• 2004

Kano distinguishes between three types of quality requirement which influence customer satisfaction in different ways when met in his model and proposes fulfilling attractive requirements leads to more than proportional satisfaction. However each of attractive requirements do not influence customer satisfaction equally Thus, this study will present a model using AHP(Analysis Hierarchy Process) which priorities over quality requirements objectively

• Spatial Information Research
• /
• v.10 no.4
• /
• pp.515-532
• /
• 2002

Planning Support System (PSS), an alternative framework of computer-aided planning system combining geographic information system (GIS), urban models, and visualization tools, has been actively researched and applied in many developed countries. This paper introduces a PSS-based land use change model, What if\ulcorner PSS, by applying it to Chongju City, Korea. This model application study used the spatial database, Restricted Development Zone (RDZ), and other hypothetical land supply- and demand-related policies of Chongju City. The collaborative PSS model supported land use planning process by helping users to speedily and easily create and test policy-oriented scenarios. The study found that the fully operational PSS model was readily applicable and useful to Korean local land use planning. The paper discusses the conceptual model framework, data requirement, application process, model output, and practical usage. This study would be considered as a prototypical approach of PSS-based land use plan making for Korean cities.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.910-917
• /
• 2011

CBTC(Communication Based Train Control) car-borne equipment, a part of the communication based train control system, mainly consists of automatic train protection(ATP) functions, automatic train operation(ATO) functions as well as the interface functions with other equipment including CBTC wayside equipment and train control management system etc. The CBTC car-borne software implementing ATP/ATO functions is a real-time embedded software requiring a high level of safety and reliability. To satisfy the requirements of the CBTC car-borne software, the model-based design techniques are applied with SCADE(Safety-Critical Application Development Environment) to the development of the CBTC car-borne software. In this paper, we illustrate the process modeling the car-borne ATP/ATO functions satisfying system requirement specification with system requirement management, modeling and document generation tools etc. supported by SCADE. In addition, the developed models corresponding to the ATP/ATO functions are applied to the train with CBTC car-borne equipment through its corresponding EN-50128 standards-compliant C code generated by the code generator. It is shown from the test result that the ATP/ATO models developed by SCADE work well while the trains are running in driverless operation mode.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.3
• /
• pp.247-253
• /
• 2013

This paper analyzes ship area network(SAN) with integrated gateway. For the analysis, this paper analyzes reference network architecture, end-to-end connection model, traffic model, and requirement of SAN. Also, the type of network element and minimum performance of integrated gateway is derived by ship area network simulator. The performance evaluation results show that a integrated gateway operating as network switch with performance over than 30,000 packets/sec can provides end-to-end connection with satisfaction of requirement of each end-to-end connection.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.9 no.4
• /
• pp.216-224
• /
• 2009

The endless scaling down of the semiconductor process made the impact of the power network noise on the performance of the state-of-the-art chip a serious design problem. This paper compares the performances of two popular circuit reduction approaches used to improve the efficiency of power network noise analysis: moment matching-based model order reduction (MOR) and node elimination-based MOR. As the benchmarks, we chose PRIMA and R2Power as the matching-based MOR and the node elimination-based MOR. Experimental results indicate that the accuracy, efficiency, and memory requirement of both methods very strongly depend on the structure of the given circuit, i.e., numbers of the nodes and sources, and the number of moments to preserve for PRIMA. PRIMA has higher accuracy in general, while the error of R2Power is also in the acceptable range. On the other hand, PRIMA has the higher efficiency than R2Power, only when the numbers of nodes and sources are small enough. Otherwise, R2Power clearly outperforms PRIMA in efficiency. In the memory requirement, the memory size of PRIMA increases very quickly as the numbers of nodes, sources, and preserved moments increase.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.18 no.3
• /
• pp.34-41
• /
• 2010

'Aviation Safety' is the state in which the risk of harm to persons or of property damage is reduced to, and maintained at or below, an acceptable level through a continuing process of hazard identification and risk management in the aviation field. 'Risk' is the assessed potential for adverse consequences resulting from a hazard and 'Risk assessment' involves consideration of both the frequency and the severity of any adverse consequence. This study focused on the risk frequency about a case airport which does not meet the 'Runway end safety area' requirement of ICAO SARPs and Korea standards and used 'RSA risk model' for estimating the risk frequency. As results of this study, risk frequency of the runway end safety areas in the case airport is higher than that of 'Runway end safety area' requirement of ICAO SARPs and Korea standards, which means that alternatives for risk frequency mitigation to a level as low as reasonably practicable is required in the case airport. The optimum solution analysed from this study is to impose restriction of aircraft operation when the runway condition is poor(icing condition) and also it snows in the case airport.