• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.104-107
• /
• 2007

Web2.0 의 비동기식 웹 페이지 전환기술이 주목을 받으면서 기존의 웹사이트들이 동적인 웹 사이트로 바뀌어 가고 있다. 그러나 웹 애플리케이션 개발에 적용 가능한 설계모델인 UML2.0은 정적인 웹 페이지 설계 모델로 국한되어 있다. 따라서 본 논문에서는 UWE의 항해모델에서 뷰 관점 항해모델과, 데이터 전송 항해 모델을 State Machine, Communication Diagram을 이용하여 비동기식 웹 페이지 항해 모델 개선과 기존의 동기식 웹 페이지 모델과의 호환성 방안을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.667-669
• /
• 2002

해킹사고가 증가하면서 시스템이 스캐닝(Scanning)당하는 사례도 증가하고 있다. 이는 해커들이 해킹의 전단계로 해킹하고자 하는 호스트(목적호스트)의 취약점을 파악하기 위하여 스캐닝하기 때문이다. 따라서 호스트가 스캐닝 당하는 것을 정확하게 탐지할 수 있다면 해킹이 이루어지는 것을 미연에 방지 할 수 있다. 또한 스캐닝 단계에서 해커는 목적호스트와 패킷을 계속 주고받아야함으로 자신의 IP 주소 등의 정보를 속이기 어렵다. 그래서 목적호스트는 차후 스캐닝한 해커의 IP를 이용해서 해커를 추적할 수도 있다. 하지만 기존의 스캐닝 대응 및 탐지방법은 이러한 정보를 사용하지 못하고 있다. 기존의 탐지 방법은 단순히 단시간 내에 발생하는 SIN, FIN패킷의 양을 바탕으로 스캐닝을 판단한다. 하지만 단시간 내에 대량의 패킷을 사용하여 스캐닝을 하는 경우는 대부분 홀을 이용한 경우이며 소량의 패킷만을 사용하여 스캐닝을 하는 경우는 탐지하지 못한다. 본 논문에서는 이러한 정교한 스캐닝을 탐지하기 위해서 들어온 패킷의 양이 적더라도 TCP 상태 다이어그램(TCP state diagram)의 순서에 맞지 않게 들어올 경우, 닫힌 포트로 들어오는 경우를 파악하여 스캐닝을 탐지하는 방법을 제시하고자 한다.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.551-558
• /
• 2005

Although OMG gives a textual semantics for UML activity diagrams, some ambiguities can be caused due to the lack of rigorous semantics. That is to say it is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the n activity diagram. In this paper, the alternative approach of using Abstract State Machine(ASM) to formalize UML activity diagrams is presented. It suggested that ASM semantics is extended corresponding the workflow system characteristics.

• International Journal of Internet, Broadcasting and Communication
• /
• v.11 no.3
• /
• pp.49-58
• /
• 2019

Efficient evidential reasoning is an important issue in the development of advanced knowledge based systems. Efficiency is closely related to the design of problems solving methods adopted in the system. The explicit modeling of problem-solving structures is suggested for efficient and effective reasoning. It is pointed out that the problem-solving method framework is often too coarse-grained and too abstract to specify the detailed design and implementation of a reasoning system. Therefore, as a key step in developing a new reasoning scheme based on properties of the problem, the problem-solving method framework is expanded by introducing finer grained problem-solving primitives and defining an overall control structure in terms of these primitives. Once the individual components of the control structure are defined in terms of problem solving primitives, the overall control algorithm for the reasoning system can be represented in terms of a finite state diagram.

• East Asian mathematical journal
• /
• v.37 no.3
• /
• pp.333-354
• /
• 2021

A support vector machine (SVM) is a state-of-the-art machine learning model rooted in structural risk minimization. SVM is underestimated with regards to its application to real world problems because of the difficulties associated with its use. We aim at showing that the performance of SVM highly depends on which kernel function to use. To achieve these, after providing a summary of support vector machines and kernel function, we constructed experiments with various benchmark datasets to compare the performance of various kernel functions. For evaluating the performance of SVM, the F1-score and its Standard Deviation with 10-cross validation was used. Furthermore, we used taylor diagrams to reveal the difference between kernels. Finally, we provided Python codes for all our experiments to enable re-implementation of the experiments.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.440-443
• /
• 2009

그래픽 언어 기반의 요구사항 작성은 임베디드 시스템의 RBT(Requirement-Based Testing)을 위해 적절한 요구사항 모델링이다. 본 논문은 그래픽 언어기반으로 작성된 요구사항을 상태 기반으로 해석하고, 테스트 케이스를 자동으로 생성하기 위한 방법에 대해 논한다. 먼저 요구사항 다이어그램의 구성을 살펴 보고, REED 라는 도구를 통해 실제 작성된 하나의 요구사항을 바탕으로 테스트 케이스 생성을 위한 모델 전체의 상태 공간을 정의하고 상태 공간과 테스트 케이스 생성에 대해 논한다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.2
• /
• pp.269-277
• /
• 1986

This paper proposes a new algorithmic state machine(ASM) chart and a new hardware description for automatic logic design of VLSI. To describe the behavioral characteristics of the design specification, the conventional ASM chart is modified, and a new hardware description language, SDL, is proposed. The SDL is one-to-one correspondent to the proposed ASM chart symbol, and can be used in a hierachical design of VLSI. As a design example, we obtain a logic circuit diagram of gate lebel utilizing a SDL hardware compiler after drawing an ASM chart and describing in SDL.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.3
• /
• pp.295-308
• /
• 1986

This paper presents a method of constructing multiple-valued logic functions based on Galois field. The proposed algorithm assigns all elements in GF(2**m) to bit codes that are easily converted binary. We have constructed an adder and a multiplier using a multiplexer after bit code operation (addition, multiplication) that is performed among elements on GF(2**m) obtained from the algorithm. In constructing a generalized multiple-valued logic functions, states are first minimized with a state-transition diagram, and then the circuits using PLA widely used in VLSI design for single and multiple input-output are realized.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.11
• /
• pp.147-153
• /
• 1997

Fault diagnosis technique in machining system which is one of engineering techniques absolutely necessary to automation of manufacturing system has been proposed. As a whole, diagnosis process is explained by two steps: sensor data acquisition and reasoning current state of system with the given sensor data. Flexible disk grinding process implemented in milling machine was employed in order to obtain empirical manufacturing process information. Resistance force data during machining were acquired using tool dynamometer known as sensor which is comparably accurate and reliable in operation. Tool status during the process was analyzed using influnece diagram assigning probability from the statistical analysis procedure.

• Journal of Korean Academy of Nursing
• /
• v.45 no.2
• /
• pp.280-292
• /
• 2015

Purpose: In this study a system dynamics methodology was used to identify correlation and nonlinear feedback structure among factors affecting unplanned extubation (UE) of ICU patients and to construct and verify a simulation model. Methods: Factors affecting UE were identified through a theoretical background established by reviewing literature and preceding studies and referencing various statistical data. Related variables were decided through verification of content validity by an expert group. A causal loop diagram (CLD) was made based on the variables. Stock & Flow modeling using Vensim PLE Plus Version 6.0b was performed to establish a model for UE. Results: Based on the literature review and expert verification, 18 variables associated with UE were identified and CLD was prepared. From the prepared CLD, a model was developed by converting to the Stock & Flow Diagram. Results of the simulation showed that patient stress, patient in an agitated state, restraint application, patient movability, and individual intensive nursing were variables giving the greatest effect to UE probability. To verify agreement of the UE model with real situations, simulation with 5 cases was performed. Equation check and sensitivity analysis on TIME STEP were executed to validate model integrity. Conclusion: Results show that identification of a proper model enables prediction of UE probability. This prediction allows for adjustment of related factors, and provides basic data do develop nursing interventions to decrease UE.