• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.1
• /
• pp.88-96
• /
• 1989

General measure in the reliability is the k-terminal reliability, which is the probability that the specified vertices are connected by the working edges. To compute the k-terminal reliability components are usually assumed to be statistically independent. In this study the modeling and analysis of the k-terminal reliability are investigated when dependency among components is considered. As the size of the network increases, the number of the joint probability parameter to represent the dependency among components is increasing exponentially. To avoid such a difficulty the structured-event-based-reliability model (SERM) is presented. This model uses the combination of the network topology (physical representation) and reliability block diagram (logical representation). This enables us to represent the dependency among components in a network form. Computational algorithms for the k-terminal reliability in SERM are based on the factoring algorithm Two features of the ractoring algorithm are the reliability preserving reduction and the privoting edge selection strategy. The pivoting edge selction strategy is modified by two different ways to tackle the replicated edges occuring in SERM. Two algorithms are presented according to each modified pivoting strategy and illustrated by numerical example.

• International Journal of Quality Innovation
• /
• v.10 no.1
• /
• pp.37-51
• /
• 2009

The purpose of TQM (Total Quality Management)-centered organizational culture is to enhance the efficiency of business through the proper allocation and concentration of restricted resources. In order to maximize the corporate profitability through customer satisfaction, what kind of, when and how many resources should be allocated and managed to the preventive TQM activities and corrective TQM activities have become a very important decision making factors at the point of high management. This study aims to identify the causal relationships of quality-centered organizational culture on service quality and customer satisfaction relating to service failure in food service industry. And this study is intended to discover the factors of quality-centered organizational culture which impacts on service recovery justice after service failure happens, and it can be helpful for the top managers to make a decision to how to form corporate structural culture.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.1
• /
• pp.123-132
• /
• 1993

This paper presents the segmentation of sentence area and diagram area from docwnent image. For extracting the sentence area, we perform the Dilation, basic operation of Morphology, to the document image and obtain the smeared document image. After the smeared docwnent image is blocked, we determine the writing form by the vertical and horizontal characteristics of the document image and calculate the skew from it. And then, we relocate the document image and extract the chatacter string from the relocated docwnent. 11 document images of three classes are considered and the character string has been well extracting from 11 document images.

• Journal for History of Mathematics
• /
• v.36 no.4
• /
• pp.61-78
• /
• 2023

By virtue of the characteristics inherent in diagrams, diagrammatic reasoning has potential and limitations that distinguish it from general thinking. It is natural that diagrams rarely appeared in Joseon mathematical books, which were heavily focused on computation and algebra in content, and preferred linguistic expressions in form. However, as the late Joseon Dynasty unfolded, there emerged a noticeable increase in the frequency of employing diagrams, due to the educational purposes to facilitate explanations and the influence of Western mathematics. Analyzing the role of diagrams included in Jo Taegu's 'JuseoGwangyeon', an exemplary book, this study includes discussions on the utilization of diagrams from the perspective of mathematics education, based on the findings of the analysis.

• Journal of the Korean Society for Railway
• /
• v.6 no.2
• /
• pp.87-93
• /
• 2003

Serving a function of transportation information and geographic information together with proper composition of design elements, railway route maps have to be designed to easily recognized to the concerning passengers as they offer users to access to the guide information. This study analyzed visual aspects of the maps of 8 underground routes linking Seoul and urban cities(D1 - D8) and the maps of 8 different cities overseas (A1 - A8). As a source of information with condition of easy recognition, universality and aesthetics, route maps should be designed and consistently managed by the manual which establishes the principle of the logical system and the standardized form.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1997.10a
• /
• pp.181-188
• /
• 1997

This work proposes possible use of the hyperdocument as a companion for structural steel designers and also as a part of any expert system to be used for the design of steel structures. AISC Specification for Structural Steel Buildings - Allowable Stress Design and Plastic Design, June 1, 1989-has been thoroughly hyperdocumented. Database for the most of AISC standard sections has been built for easier reference to sectional properties and even for search for the relevant sections. Hardy and wxCLIPS from AIAI, The University of Edinburgh were used as development tools. Hardy is integrated with NASA's rule-based and object-oriented language CLIPS 6.0 to enable users to rapidly develop diagram-related applications. Currently this work does not include any sophisticated rule-bases. Rather, this work will form a part of the expert systems for the steel structural design to be developed later. Nevertheless, the hyperdocument of this work will make a good companion for structural steel designers in its own right.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2003.10a
• /
• pp.4-4
• /
• 2003

A large number of in-vitro experiments on the inhibition of kinases and pretenses are reported in literature, and compiled by ProLINT database. Using this powerful wealth of knowledge, we have carried our an analysis of ligand specificity of these two classes of proteins. Each of the pretenses and kinases included in the database has been assigned a consensus ligand fragment signature, based on the available information about its interaction with different ligands. A set of 43 fragments efficiently represent every ligand. We have then organized the consensus fragment signatures for every protein in form of a cluster-tree diagram. This tree is also constructed from other sequence, structure and physical considerations. Cluster-cluster comparison between these analyzes provide a valuable information about ligand specific interactions and similarities between proteins.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.34C no.3
• /
• pp.11-22
• /
• 1997

This paper presents the design and implementation of an efficient algorithm for detecting untestable paths in multi-level circuits. Transforming multi-level circuit into a multiplexor-based one through BDD(binary decision diagram)construction, the proposed algorithm detects untestable paths in the transformed circuits. By constructing ENF (equivalent normal form) only for reconvergent paths, the proposed system detects and removes untestable paths efficiently in terms of the run-time and memory usage. Experimental results for MCNC/ISCAS benchmark circuits show that the system efficiently detects and removes untestable paths. The run-time and memory usage have been reduced by 37.7% and 60/9%, respectively, comapred to the previous methods.

• Geomechanics and Engineering
• /
• v.9 no.2
• /
• pp.145-167
• /
• 2015

Digital simulation has recently become the preferred method for designing complex and dynamic systems. Simulation packages provide interactive, block-diagram environment for modeling and simulating dynamic models. The block diagrams in simulation models are flowcharts which describe the components of dynamic systems and their interaction. This paper is the first part of the study for determining the seismic behavior of soil systems. The aim of this part is to present the constructed block diagrams for discrete-time analysis of seismic site amplification in layered media for vertically propagating shear waves. Detailed block diagrams are constructed for single and multiple soil layers by considering wave propagation with and without damping, respectively. The block diagrams for recursive filter to model attenuation in discrete-time form are also constructed. Finite difference method is used for strain calculation. The block diagrams are developed by utilizing Simulink which is a software add-on to Matlab.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2003.07a
• /
• pp.256-258
• /
• 2003

Two Si wafers are bonded with indium-silver alloy using diffusion bonding method. When silver and indium thin films are contacted, they diffuse into each other and form inter-metallic compounds like $AgIn_2$, $Ag_2In$, $Ag_3In$ etc. These compounds are determined by ratio of two metals. From phase diagram of Ag-In alloy, we can get the ratio of $Ag_2In$, that has high melting point about 700$^{\circ}C$, approximately 2:1. This ratio was made by controlling of film thickness. And bonding was executed by annealing and adding pressures at a time. The joint of these wafers had been observed by SEM. And we had also seen the EDS (Energy Dispersive Spectroscopy) data to analysis the component of samples.