• Journal of the Korean Society of Safety
• /
• v.27 no.6
• /
• pp.54-58
• /
• 2012

This paper is purposed to analyze electric leakage component which can prevent electrical fires on breaker capacity expansion and power failure by operation of ELB(Earth leakage breaker) for stable sizes. In order to analysis for electric leakage component for stable sizes, this paper studied field state investigation which are at stable companies( 10 companies) in cheong-won location to deduce the problems of electric leakage component is analyzed. The field state experiment method is measured with electric leakage component which load part of ELB detected by electric loads(electrical fan, lighting, auto waterer, feeder and halogen lighting) and stable sizes. Results show that electric leakage component suggested in this paper are valuable and usable to electrical fire in leakage current based on environment factor, which will prevent severe damage to human beings and properties and reduce the electrical fires in stable.

• Journal of Information Processing Systems
• /
• v.8 no.4
• /
• pp.539-554
• /
• 2012

Model-driven and component-oriented development is increasingly being used in the development of embedded systems. When combined, both paradigms provide several advantages, such as higher reuse rates, and improved system quality. Performing model-driven and component-oriented development should be accompanied by a component model and a method that prescribes how the component model is used. This article provides an overview on the MARMOT method, which consists of an abstract component model and a methodology for the development of embedded systems. The paper describes a feasibility study that demonstrates MARMOT's capability to alleviate system design, verification, implementation, and reuse. Results indicate that model-driven and component-based development following the MARMOT method outperforms Agile development for embedded systems, leads to maintainable systems, and higher than normal reuse rates.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.3
• /
• pp.808-817
• /
• 2000

Component specification languages in consideration of reuse are essential factor in classification, verification and retrieval of components. A number of legacy specification languages have already been used, however, they are complex and include many necessary elements in the specification for implementation. In this paper, we present XML-based component specification and software architecture specification language to solve these problems of legacy specification languages. The presented specification languages consist of component specification, which is composed of signature specification, interface specification and message specification, and software architecture specification providing graphical notations and textural notations. Component specification supports component retrieval with behavioral match and black-box reuse of component. In addition to this, it improves the efficiency of retrieval and document management with XML-based component specification. Software architecture specification supports the structural reuse of architecture, which is white-box reuse, through mesage-based architecture specification.

• International Journal of Computer Science & Network Security
• /
• v.21 no.7
• /
• pp.365-373
• /
• 2021

Covid-19 posed a serious threat to public health worldwide, especially in the absence of vaccines or medicines. The only viable strategies to combat a virus with a high infection rate were to apply lock-down strategies, transport ban, social and physical distancing. In this work, we provide a domain-specific component model for crisis management. The model allows for building a plan for managing Covid-19 crisis and use the plan as a template to generate a system specific for managing that crisis. The crisis component model is derived from X-MAN II, a generic component model that we have developed for the aircraft industry

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.52-55
• /
• 2011

Embedded system developers use design and testing tools to make their product faster. Previously developed a virtual development environment for embedded software (VDEES) using open source software, mainly the SID simulation framework for a simulator engine and the Eclipse platform for a development platform. VDEES enables developers to develop SID Component in C++. A bridge module for developing SID Component in Java has been developed and available. However, using this module, developers have to build their SID Java component from scratch. In this work, we developed SID Java Component Builder Plug-in as an additional features to VDEES. This tools enables developers to build SID Component in Java faster and easier.

• Proceedings of the IEEK Conference
• /
• 2001.06c
• /
• pp.195-198
• /
• 2001

Components are abstractions of system level computational entities, connectors are abstractions of component interrelationships. we propose connectors as transferable abstractions of system level component interconnection and inter-operation. Connectors are architectural abstractions of component coordination in the abstract architecture of a system only. Connectors describe a collaboration rationale for component adaptations, which are then modeled in the concrete architecture of a system.

• Bulletin of the Korean Chemical Society
• /
• v.24 no.6
• /
• pp.809-811
• /
• 2003

This brief review contains surveys of both four-component and two-component relativistic molecular theories. First the four-component relativistic approach is reviewed. Emphasis is placed on efficient computational schemes for the four-component Dirac-Hartree-Fock and Dirac-Kohn-Sham methods. Next, in the twocomponent relativistic framework, two relativistic Hamiltonians, RESC and higher-order Douglas-Kroll (DK), are introduced. An illustrative application is shown for the relativistic study on valence photoelectron spectrum of OsO₄. The developing four-component relativistic and approximate quasi-relativistic methods have been packed in a program suite named REL4D.

• Journal of Navigation and Port Research
• /
• v.34 no.7
• /
• pp.577-585
• /
• 2010

This paper analyzes the efficiency of Korean Ship Component Part Manufacturer firms using DEA model. We evaluated the CCR, BCC efficiency and RTS of 30 Korea Ship Component Part Manufacturer firms. We also suggested the Korean Ship Component Part Manufacturer firms that can be benchmarked based on analyzed information. The result showed five enterprises whose values of CCR efficiency are 1, and eleven enterprises whose values of BCC efficiency are 1. RTS indicated IRS of 1 firms, DRS of 24 firms and CRS of 5 firms.

• Communications for Statistical Applications and Methods
• /
• v.11 no.1
• /
• pp.49-58
• /
• 2004

In this talk we proposed an asymptotic test for dimensionality in the latent variable model for probabilistic principal component analysis with missing values at random. Proposed algorithm is a sequential likelihood ratio test for an appropriate Normal latent variable model for the principal component analysis. Modified EM-algorithm is used to find MLE for the model parameters. Results from simulations and real data sets give us promising evidences that the proposed method is useful in finding necessary number of components in the principal component analysis with missing values at random.

• 한국데이터정보과학회:학술대회논문집
• /
• 2002.06a
• /
• pp.89-95
• /
• 2002

This paper considers the problem of estimating paramaters of the bivariate exponential distribution with a loaction parameter for a two-component shared parallel system using component data from system-level life test terminated at the time of the prespecified number of system failure. In the system-level life testing, there are three patterns of failure types; 1) both component failed 2) both component censored 3) one is failed and the other is censored. In the third case, we assume that the failure time might be known or unknown. The maximum likelihood estimators are obtained for the case of known/unknown failure time when the other component is censored.