• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.366-370
• /
• 2006

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.597-600
• /
• 2008

안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.6
• /
• pp.261-266
• /
• 2016

Chart suggestion method provided by various existing data visualization tools makes chart recommendations without considering the user intention. Data visualization is not properly carried out and thus, unclear in some tools because they do not follow the segmented quantitative data classification policy. This paper provides a guideline that clearly classifies the quantitative input data and that effectively suggests charts based on user intention. The guideline is two-fold; the analysis guideline examines the quantitative data and the suggestion guideline recommends charts based on the input data type and the user intention. Following this guideline, we excluded charts in disagreement with the user intention and confirmed that the time user spends in the chart selection process has decreased.

• Information Systems Review
• /
• v.23 no.1
• /
• pp.23-43
• /
• 2021

Recently, many studies have been conducted to increase the accuracy of stock price prediction by analyzing candlestick charts using artificial intelligence techniques. However, these studies failed to consider the time-series characteristics of candlestick charts and to take into account the emotional state of market participants in data learning for stock price prediction. In order to overcome these limitations, this study produced input data by combining volatility index and candlestick charts to consider the emotional state of market participants, and used the data as input for a new method proposed on the basis of combining variantion autoencoder (VAE) and attention mechanisms for considering the time-series characteristics of candlestick chart. Fifty firms were randomly selected from the S&P 500 index and their stock prices were predicted to evaluate the performance of the method compared with existing ones such as convolutional neural network (CNN) or long-short term memory (LSTM). The results indicated the method proposed in this study showed superior performance compared to the existing ones. This study implied that the accuracy of stock price prediction could be improved by considering the emotional state of market participants and the time-series characteristics of the candlestick chart.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.773-783
• /
• 2004

This paper presents a method for real-time verification of Statecharts. Statecharts has been widely used for real-time reactive systems, and supports two time models: synchronous and asynchronous. However, existing real-time verification methods for them are incompatible with the asynchronous time model or increase state space by introducing new variables to the target models. We solved these problems by extending existing model checking algorithms. The extended algorithms can be used with both time models of Statecharts because they consider time increasing transitions only. In addition, they do not increase target state space since they count those transitions internally without additional variables. We extended an existing model checker, NuSMV, based on the proposed algorithms and conducted some experiments to show their advantage.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.114-118
• /
• 2008

시스템 운영 중에 오류가 발생하면 치명적인 인적, 물적 피해를 초래하는 안전필수 시스템은 안전성과 신뢰성을 확보하기 위한 요구명세의 정형적인 명세와 검증이 요구된다. 철도 차량의 진로와 속도를 제어하는 철도제어 시스템은 안전필수 시스템임에도 불구하고 요구사항이 자연어로 표현되어 있다. 자연어로 명세 된 요구사항은 자연어의 모호한 특성으로 인하여 오류의 위험으로부터 안전하지 못하다. 본 논문에서는 자연어로 명세 되어있는 철도제어 시스템의 요구사항을 도식적인 설계언어인 상태차트(Statechart)를 이용하여 정형적으로 명세함으로써 철도제어 시스템의 안전성과 신뢰성을 향상하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.465-468
• /
• 2005

본 논문에서는 OWL-S 서비스 온톨로지를 자동으로 생성하는 방법에 대한 연구결과를 제공한다. 자동생성을 위하여 UML 클래스 다이어그램 및 상태차트 다이어그램을 XMI 파일들로 변환한 후 원자 서비스 및 속성들에 대한 정보와 복합 서비스 조합에 대한 정보를 각각 추출한다. 추출된 정보는 UML 상태차트 다이어그램 구성 요소들과 OWL-S 복합 서비스를 위한 구조물들 사이의 매핑 규칙들을 통하여 XSLT 응용에서 OWL-S 서비스 모델 온톨로지를 자동으로 생성시키는데 사용된다. 생성된 온톨로지의 타당성 검증을 위해서 이용 가능한 여럿의 유효성 검사를 수행하였다. 우리의 방법론은 자동적, 효과적 및 일반적일 뿐만 아니라 서비스 온톨로지 생성자인 개발자들에게 매우 친숙한 환경에서 수행된다는 장점들을 가진다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.871-872
• /
• 2009

시스템 또는 소프트웨어의 개발에 있어서 요구사항은 가장 중요한 산출물 중 하나이며, 요구사항의 오류를 수정하는 비용은 프로젝트가 진행됨에 따라 급격히 증가하기 때문에 잘 작성된 요구사항은 개발비용의 절감효과를 가져올 수 있다. 자연어의 모호성으로 발생될 수 있는 오류들을 줄이기 위해 정형적인 언어를 사용하여 요구사항을 명세하고, 요구사항의 완전성을 높일 수 있다. 본 논문에서는 열차제어시스템의 핵심 기능 중 하나인 간격제어모듈의 요구사항을 상태차트로 명세 및 검증 하였다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Industry Promotion Research
• /
• v.7 no.3
• /
• pp.103-113
• /
• 2022

In this study, in the Nativity birth chart of Classic Astrology, the study was conducted under the premise that 'If the natives are born with different structures to govern their diseases, diseases may appear differently in the lives of natives.' did. In the birth chart, an individual's innate health was analyzed through the strengths and weaknesses of sign, planets, and aspects. In the case of managing congenital diseases, we studied the aspect relationship between the native's ASC constellation and the fixed star and planet in the Nativity Birth Chart. In the case of controlling acquired diseases, it was judged by examining the constellations, rulers, and planets of the 6^th house that control diseases in the Nativity birth chart. In the case of acquired diseases, natives may be exposed to various accidents and diseases throughout their lives. So, we looked at the relationship between diseases through the energy and weakness of the planet coming through Pirdaria, the aspect relationship with the planet, and fixed star. As a result of the study, a native's health status is given differently depending on the strength and weakness of the innate sign and planet in the Nativity Birth Chart. And it has been proven that the health of the native is determined by the state of the 6^th House, who rules over disease, and the disease and accidents that come from Direction are determined by the relationship between the planet and the aspect coming from Pirdaria.