• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.1
• /
• pp.19-26
• /
• 2013

To improve the reliability and quality of software system, many studies of the testing based on state-transition diagram have been in progress. Existing studies tried to solve the complexity problem of state-transition diagram. But the development of test case demands the better way to derive and manage the state diagram with low complexity. In this paper, the STMT(State-Transition Mapping Tree) is proposed to decrease the complexity of state diagram without changing or loosing the original state or transition information. Comparing with other methods, the proposed method turns out to be less complex.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.355-361
• /
• 1999

An application of case-based reasoning is proposed to build an influence diagram for identifying successful new ventures. The decision to invest in new ventures in characterized by incomplete information and uncertainty, where some measures of firm performance are quantitative, while some others are substituted by qualitative indicators. Influence diagrams are used as a model for representing investment decision problems based on incomplete and uncertain information from a variety of sources. The building of influence diagrams needs much time and efforts and the resulting model such as a decision model is applicable to only one specific problem. However, some prior knowledge from the experience to build decision model can be utilized to resolve other similar decision problems. The basic idea of case-based reasoning is that humans reuse the problem solving experience to solve a new decision. In this paper, we suggest a case-based reasoning approach to build an influence diagram for the class of investment decision problems. This is composed of a retrieval procedure and an adaptation procedure. The retrieval procedure use two suggested measures, the fitting ratio and the garbage ratio. An adaptation procedure is based on a decision-analytic knowledge and decision participants knowledge. Each step of procedure is explained step by step, and it is applied to the investment decision problem in new ventures.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.11
• /
• pp.173-177
• /
• 2012

This paper proposes a service which searches goods by images and finds a shopping mall site that offers referral services. In the service, images are obtained in various types. For example, paint function, images search based on pattern and shape. For this shopping mall system, it will be modeled using UML use case and class diagram. Also it will be implemented in JSP. It supports functions that searched various types of images by pattern and shape. In addition to features which were mentioned above, we aim to implement a shopping mall system to search and buy goods by improved information searching techniques, ultimately providing a space that realizes user's painting.

• The Journal of Society for e-Business Studies
• /
• v.3 no.2
• /
• pp.179-202
• /
• 1998

This study reviews the concept of Integrated Logistic Support(ILS), ILS standards, ILS elements, and the processes of developing ILS elements and Logistics Support Analysis(LSA). It also examines the potentials of applying ILS development process to building CALS systems in commercial sectors in order to accomplish business process innovation and achieve life-cycle cost savings in product and equipment management. In order to utilize the ILS approach for commercial industries, we need customizing the process of Logistics Support Analysis defined in MIL-STD-1388-lA. The success of ILS implementation depends on the determination of the range of ILS elements in relation with the application environment, and the appropriate development of those elements. During the development process, in order to analyze and design logistics flow processes and supporting activities, we suggest the object-oriented logistics process modeling approach with basic concepts and constructs embedded in objects. Several diagrams including Class Diagram, Class-Instance Diagram, and Integrated Instance Diagram, are provided. Simple Steps to follow are suggested for the analysis and design of inter-organizational logistics flow and support processes. The outcomes of the study are expected to contribute to stimulating the utilization of ILS concepts and development process during building commercial CALS systems.

• Journal of the Korean Society of Safety
• /
• v.37 no.2
• /
• pp.18-27
• /
• 2022

Construction accidents are difficult to prevent because several different types of activities occur simultaneously. The current method of accident analysis only indicates the number of occurrences for one or two variables and accidents have not reduced as a result of safety measures that focus solely on individual variables. Even if accident data is analyzed to establish appropriate safety measures, it is difficult to derive significant results due to a large number of data variables, elements, and qualitative records. In this study, in order to simplify the analysis and approach this complex problem logically, data preprocessing techniques, such as latent class cluster analysis (LCCA) and predictor importance were used to discover the most influential variables. Finally, the correlation was analyzed using an alluvial flow diagram consisting of seven variables and fourteen elements based on accident data. The alluvial diagram analysis using reduced variables and elements enabled the identification of accident trends into four categories. The findings of this study demonstrate that complex and diverse construction accident data can yield relevant analysis results, assisting in the prevention of accidents.

• Journal of the Korea Safety Management & Science
• /
• v.19 no.2
• /
• pp.63-68
• /
• 2017

Safety flight training can be done, through the platform proposed in this paper. This paper designed a flight dynamic model and identified essential functions in order to enable pilots to simulate a training environment similar to the actual. It also design activity diagram, concept as well as class diagram. This paper presents the main features and direction of aircraft to be equipped in the future standard platforms. By design main class of flight dynamic and description. it will help developer to setup the standard platform for aircraft simulation.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2670-2679
• /
• 1999

XML documents which are used for exchanging structured documents between heterogeneous distributed system are increasing recently. It needs an object-oriented visualization tool for XML documents. So, we propose rules and an algorithm to represent structure of XML documents using UML Class Diagram. It helps to generate XML documents which are included links by understanding easily constructs of them and reduce gap of schema for them between heterogeneous databases. We propose formal models and modeling functions of XML links which provide an efficient environment for processing object-oriented documents.

• Proceedings of the KIEE Conference
• /
• 2002.07a
• /
• pp.419-421
• /
• 2002

This paper presents a methodology for the application of Unified Modeling Language (UML) to develop the new load management system. Development of new load management system in competitive electricity market is very complex since it requires too much data of power system. For the efficient and flexible design to develop of new load management system, a UML approach in applied which is composed of a class diagram, package diagram using Rational Rose Unified Process.

• Journal of Korean Society of Disaster and Security
• /
• v.16 no.1
• /
• pp.1-11
• /
• 2023

The comprehensive natural disaster reduction plan, the highest plan in the disaster prevention field, was implemented by local governments. second plan is currently being formulated. In order to minimize human and property damage, structural and non-structural measures for each of the nine disaster types are established and implemented for 10 years. Structural measures are based on engineering and quantitative analysis, and the criteria for setting reduction measures are clear. Non-structural measures, however, currently lack the set criteria. the basic disaster and safety management law included the safety vulnerable class in 2018. Currently, the safety vulnerable class of the detailed establishment criteria of the comprehensive natural disaster reduction plan is being established, including children, the elderly, and the disabled. However, due to the lack of data securing and database construction by local governments, it is difficult to prepare a location map for establishing reduction measures for the safety vulnerable. Therefore, in this study, OPEN API data of the safety vulnerable class were collected and statistical information and GIS of SGIS information services were used. The distribution diagram of the safety vulnerable class in Samcheok, Gangwon-do, which is a sample area, and the distribution diagram of the safety vulnerable class in units of the output area (OA) in Geundeok-myeon were prepared.

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.