• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.215-219
• /
• 2020

현재 한글 언어학 영역에서는 많은 언어 분석 연구가 수행되었다. 또한 소프트웨어공학의 요구공학 영역에서는 명료한 요구사항 정의와 분석이 필요하고, 비정형화된 요구사항 명세서로부터 테스트 케이스 추출이 매우 중요한 이슈이다. 즉, 자연어 기반의 요구사항 명세서로부터 원인-결과 그래프(Cause-Effect Graph)를 통한 의사 결정 테이블(Decision Table) 기반 테스트케이스(Test Case)를 자동 생성하는 방법이 거의 없다. 이런 문제를 해결하기 위해 '한글 언어 의미 분석 기법'을 '요구공학 영역'에 적용하는 방법이 필요하다. 본 논문은 비정형화된 요구사항으로부터 테스트케이스 생성하는 과정의 중간 단계인 요구사항에서 문장 의미 모델(Sentence Semantic Model)을 자동 생성하는 방법을 제안 한다. 이는 요구사항으로부터 생성된 원인-결과 그래프의 정확성을 검증할 수 있다.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Journal of the Korea Institute of Building Construction
• /
• v.24 no.1
• /
• pp.121-131
• /
• 2024

This research explores the potential of leveraging unstructured data from construction supervision documents, which contain detailed inspection insights from independent third-party monitors of building construction processes. With the evolution of analytical methodologies, such unstructured data has been recognized as a valuable source of information, offering diverse insights. The study introduces a framework designed to assess cost performance by applying advanced analytical methods to the unstructured data found in final construction supervision reports. Specifically, key phrases were identified using text mining and social network analysis techniques, and these phrases were then analyzed through binomial logistic regression to assess cost performance. The study found that predictions of cost performance based on unstructured data from supervision documents achieved an accuracy rate of approximately 73%. The findings of this research are anticipated to serve as a foundational resource for analyzing various forms of unstructured data generated within the construction sector in future projects.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.3
• /
• pp.59-70
• /
• 2021

With the recent advancements in the Internet of Things, context-aware system that provides customized services become important to consider. The existing context-aware systems analyze data generated around the user and abstract the context information that expresses the state of situations. However, these datasets is mostly unstructured and have difficulty in processing with simple approaches. Therefore, providing context-aware services using the datasets should be managed in simplified method. One of examples that should be considered as the unstructured datasets is a deep learning application. Processes in deep learning applications have a strong coupling in a way of abstracting dataset from the acquisition to analysis phases, it has less flexible when the target analysis model or applications are modified in functional scalability. Therefore, an abstraction model that separates the phases and process the unstructured dataset for analysis is proposed. The proposed abstraction utilizes a description name Analysis Model Description Language(AMDL) to deploy the analysis phases by each fat client is a specifically designed instance for resource-oriented tasks in edge computing environments how to handle different analysis applications and its factors using the AMDL and Fat client profiles. The experiment shows functional scalability through examples of AMDL and Fat client profiles targeting a vehicle image recognition model for vehicle access control notification service, and conducts process-by-process monitoring for collection-preprocessing-analysis of unstructured data.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1221-1224
• /
• 2003

비즈니스 룰은 이윤을 획득하기 위한 상용 시스템에서는 반드시 명확하게 기술되어야만 하며 시스템에서 비즈니스 룰의 충돌은 시스템에 대한 신뢰도를 떨어뜨리는 요인이 될 뿐만 아니라, 시스템의 계획 당시에는 예측하지 못했던 크고 작은 경제적인 손실을 발생하게 한다. 일반적으로 비즈니스 룰은 애매모호함을 가지고 있는 비정형 언어로 기술되는 경우가 많아서, 설정된 비즈니스 룰간의 충돌을 예측하기가 매우 어려울 뿐만 아니라, 개발 중에 룰이 추가되는 경우에 기존의 룰과의 충돌을 예측하기란 매우 어려운 일이다. 본 논문에서는 이 문제를 해결하기 정형 명세를 이용한 모델링을 사용하였다. 수학, 논리학에 기반을 둔 정형 모델링 방법으로 비즈니스 룰을 명확하게 표현하고, 해당 룰을 내포한 시스템 모델링을 구현하였다. 그 결과 작성된 비즈니스 룰의 충돌 여부를 판단할 수 있게 되었다. 시스템 개발 초기에 구현 후에 발생할 수 있는 문제를 미연에 발견하여 시스템 모델 혹은 비즈니스 룰의 수정하여 신뢰할 수 있는 시스템을 개발할 수 있도록 도움을 주고자 한다 본 논문에서는 명확한 표현을 위해서 비즈니스 룰을 일차 논리로 기술하고 룰과 모델링을 위해서 일차논리 기반의 정형 명세 언어인 Z 를 사용하였다.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.619-622
• /
• 2018

최근 데이터의 형태는 점점 다양화되고 증가하고 있기 때문에 데이터의 체계적 분류 및 관리의 필요성이 증대되고 있다. 이러한 목적을 위하여 데이터에 대한 품질 평가는 중요한 요소가 된다. 최근 데이터는 기존의 정형화된 데이터보다 비정형 데이터가 대부분을 차지하고 있다. 그러나 기존의 데이터 품질 평가는 정형 데이터에 편중되어 왔다. 따라서 다양한 형태와 의미를 가지고 있는 비정형 데이터는 기존의 평가 기술로는 품질을 측정하기 어렵다. 이와 같은 문제로 본 논문은 텍스트기반의 비정형 데이터에 적용 가능한 영역별 평가 지표를 구축하고, 신문기사와 커뮤니티(질의응답)데이터를 사용하여 각 요소별 품질을 측정하여 그 결과에 대해서 고찰하였다.

• Communications of Mathematical Education
• /
• v.18 no.1 s.18
• /
• pp.19-25
• /
• 2004

초등학교에서 고학년으로 갈수록 수학에 대한 흥미가 떨어지고 수학을 기피하는 학생들을 많이 볼 수 있다. 그러한 아동들의 대부분은 수학에 대한 어려움을 많이 호소하고 있는데 특히 비정형화된 문제들을 대할 때엔 그 현상은 더욱 심각하다. 초등학교 수학 교과서의 마지막 단원은 '문제 푸는 방법 찾기' 단원인데, 이 단원에 제시된 문제들은 대체로 비정형화된 문제들이다. 정형화된 문제에 익숙한 아동들은 이러한 비정형 문제들을 해결하는 데에 상당히 어려움을 나타내곤 한다. 본교에서는 이러한 아동들의 어려움을 해결할 수 있는 방안으로 협력학습을 택하였다. 또래들과의 상호작용 속에서 비정형화된 문제에 보다 친숙하게 접근하고 해결해 나가는 과정을 반복하다 보면 수학에 대한 흥미를 되찾게 되고, 문제 해결력과 수학적 사고력이 향상될 것으로 기대된다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3117-3126
• /
• 1998

본 논문에서는 LOTOS 정형 명세의 확인을 위한 시각적 분석 지원 도구의 개발을 소개한다. 이 도구는 대표적인 두 가지 기능을 제공하는데 명세의 시각적 시뮬레이션과 시각적 확장 기능이 그것이다. 정형 기법 지원도구에서 명세의 분석을 위한 시각적인 방법을 제공하는 것은 시스템 개발에 실질적인 적용 사례가 드문 현실에서, 산업계 등으로 정형기법을 확산시키기 위한 중요한 요인이 된다. 그럼에도 불구하고 기존의 정형 기법 지원 도구에 관한 연구에서는 이 부분을 소홀히 다루었다. 본 연구에서 개발된 도구는 LOTOS 명세 작성자로 하여금 비주얼 전이 트리를 이용하여 보다 직관적이고 편리하게 명세를 분석할 수 있도록 지원한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.384-387
• /
• 2010

비정형 초고층 구조시스템 통합설계 플랫폼은 비정형 초고층건물의 구조시스템 설계를 지원하는 여러프로그램들을 통합적으로 활용하여 구조설계자들이 협업을 수행하는 체계이다. 이 체계의 핵심적인 사항은 각 프로그램들이 필요한 자료들을 신속하고 정확하게 교환하는 것이다. 표준자료모델은 여러 프로그램들의 자료교환을 목적으로 적절한 범위 내에서 필요한 자료들을 취합하여 체계화한 것이다. 하지만 표준자료모델은 각 프로그램에서 요구되는 모든 자료들을 취합하고 그 목적에 부합되도록 체계화시킬 수 없어 문제가 발생한다. 이에 본 연구에서는 비정형 초고층건물 구조시스템 통합설계 플랫폼의 각 프로그램들이 표준 자료모델을 이용하여 자료를 교환하는 방법을 검토하고 비교하고자 한다.

• Journal of Korean Foot and Ankle Society
• /
• v.24 no.4
• /
• pp.173-173
• /
• 2020