• Journal of the Korean Society of Systems Engineering
• /
• v.1 no.1
• /
• pp.61-66
• /
• 2005

In executing the large scale national project, such as development of space launch vehicle, it is most important to guarantee the technological reliability. However the reliability analysis of launch vehicle is different from other mass product goods because of the limitation of budget and number of tests. In this study, the reliability analysis technique of the propulsion system, which is one of the major sub-systems of launch vehicle is illustrated and applied to the liquid rocket engine of KSR-III.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1964-1967
• /
• 2002

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.7 no.3
• /
• pp.133-139
• /
• 2007

Future MEMS systems will be composed of larger varieties of devices with very different functionality such as electronics, mechanics, optics and bio-chemistry. Integration technology of heterogeneous devices must be developed. This article first deals with the current development trend of new fabrication technologies; those include self-assembling of parts over a large area, wafer-scale encapsulation by wafer-bonding, nano imprinting, and roll-to-roll printing. In the latter half of the article, the concept towards the heterogeneous integration of devices and functionality into micro/nano systems is described. The key idea is to combine the conventional top-down technologies and the novel bottom-up technologies for building nano systems. A simple example is the carbon nano tube interconnection that is grown in the via-hole of a VLSI chip. In the laboratory level, the position-specific self-assembly of nano parts on a DNA template was demonstrated through hybridization of probe DNA segments attached to the parts. Also, bio molecular motors were incorporated in a micro fluidic system and utilized as a nano actuator for transporting objects in the channel.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.1B
• /
• pp.87-93
• /
• 2003

As Information Security Technology has become rather transparent, wide, and integrated than in part, exclusive, and separated, A necessity of the study about integrating the separated distributed security systems into one module, has grown However, there is no integrated framework which can manage all separate security systems as one integrated one yet. Accordingly, we propose a new policy based network admirustrative model in this paper which can integrate individual security systems and distributed control way into one effectively.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.54 no.2
• /
• pp.61-66
• /
• 2005

This paper presents an unified method which solves real and reactive power dispatch problems for the economic operation of power systems using evolutionary computation such as genetic algorithms(GA), evolutionary programming(EP), and evolution strategy(ES). Many conventional methods to this problem have been proposed in the past, but most of these approaches have the common defect of being caught to a local minimum solution. The proposed methods, applied to the IEEE 30-bus system, were run for 10 other exogenous parameters and composed of P-optimization module and Q-optimization module. Each simulation result, by which evolutionary computations are compared and analyzed, shows the possibility of applications of evolutionary computation to large scale power systems.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.53
• /
• pp.111-120
• /
• 1999

The advent of very large scale integration(VLSI) has had a tremendous impact on the design of fault-tolerant circuits and systems. The increasing density, decreasing power consumption, and decreasing costs of integrated circuits, due in part to VLSI, have made it possible and practical to implement the redundancy approaches used in fault-tolerant computing. The purpose of this paper is to study the many aspects of designing fault-tolerant systems in a VLSI environment. First, we expound upon the opportunities and problems presented by VLSI technology. Second, we consider in detail the importance of design mistakes, common-mode failures, and transient faults in VLSI. Finally, we examine the techniques available to implement redundancy using VLSI and the promlems associated with these techniques.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.34S no.3
• /
• pp.12-23
• /
• 1997

In this paper, we propose a new cell switch fabric for increasing the performance of ATM switching systems. Proposed switching network consists of a sorting network and a routing network. Both of these are multistage networks where each stage performs a fixed permutation on the incoming lines, and then routes them through a clumn of 2x2 switching elements. It is designed for distributing inputs and parallel processing to reduce the hardware complexity and obtain high performance of switching network. The structure and the operation of th eswitching network aredescribed and the performanceof the switching network is anlyzed under uniform traffic models. In this result, though the size of proposed network is increased the large scale, it has always the same throughput as the that of genral output queueing system with N=2. So, it is found that our proposed network is appropriate for the high apeed and lrger size of ATM switching systems.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.12 no.1
• /
• pp.60-70
• /
• 2020

The outfitting design of ships and offshore structures is mainly undertaken in a restricted space. Pipes occupying a large portion of outfitting design are normally manufactured outside the shipyard. This complicated manufacturing process results in frequent delivery delays. Inevitable design modifications and material changes have also resulted in inefficient pipe installation works. In this study, an algorithm is proposed to systematically determine the pipe installation sequence. An accurate and fast algorithm to identify the geometric relationship of piping materials is presented. To improve the calculation efficiency, the interference is gradually examined from simplified to complicated shapes. It is demonstrated that the calculation efficiency is significantly improved with successive geometric operations such as back-face culling and use of bounding boxes. After the final installation sequence is determined, the entire installation process is visualized in a virtual reality environment so that the process can be rendered and understood for a full-scale model.

• ETRI Journal
• /
• v.44 no.6
• /
• pp.966-976
• /
• 2022

Optical wireless communication, or free space optics, is a promising solution for backhauls in sixth-generation mobile systems. However, the susceptibility of optical links to weather conditions has led to FSO links being furnished with radio frequency (RF) backups. These Hybrid FSO/RF systems provide enhanced link availability but lead to RF resource wastage. Cognitive radio technology, in contrast, is well known for its optimal use of RF resources and may be combined with an FSO link to create a Cognitive Hybrid FSO/RF system. This work uses such a system to analyze a configuration for a mobile backhaul in sixth-generation mobile systems. This configuration can seamlessly coexist with established large scale RF cellular networks. The performance of this configuration is analyzed with respect to outage probability and average bit error by considering the impact of optical channel turbulence, misalignment loss, RF interference, and noise. Mathematical closed-form expressions are verified by simulations.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.890-896
• /
• 2009

In past projects, the main goal has been to enhance efficiency by reducing cost and time. However, considering the current condition of safety management in many construction companies, it can be confirmed that safety management has not been a top priority for a long time. Current safety management, which is based on safety standards and rules, is very ineffective and only emphasizes management after an incident. As well, although fewer accidents occur compared to the past, because construction projects are increasingly large in scale and complex, these accidents tend to be more serious and involve greater monetary loss. Furthermore, as the severity of these accidents increases, so does the possibility of fatalities. Therefore, improving safety management is essential. This study proposes an effective program for safety management, focusing on the processes to connect studies and systems, and the basic techniques required for program development. To realize this program, technical tools are suggested, including systems such as BIM (Building Information Modeling); additionally, the coordination of other systems such as an RTLS, a server, and an alarm system is proposed.