• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1158-1171
• /
• 2003

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

• 정보과학회 논문지
• /
• 제43권7호
• /
• pp.795-800
• /
• 2016

이미지 분류 문제는 인간 수준의 성능을 보이지만 일반적인 인식 문제는 어려운 점들이 남아있다. 실내 환경은 다양한 정보를 담고 있어 정보 처리의 양을 효율적으로 줄일 필요성이 있다. 정보의 양을 효율적으로 줄일 수 있도록 대상 객체의 위치 측정을 위한 변분 추론, 변분 베이지안 등의 방법이 소개되었지만, 모든 경우에 대한 주변(marginal) 확률 분포를 구하기 어렵기 때문에 현실적으로 계산하기 어렵다. 본 연구에서는 공간 변형 네트워크(Spatial Transformer Networks)을 응용하여 능동 시각을 이용한 이미지-텍스트 통합 인지 체계를 제안한다. 이 체계는 주어진 텍스트 정보를 바탕으로 이미지의 일부를 효율적으로 샘플링 하도록 학습한다. 이를 통해 전통적인 방법으로 해결하기 어려운 문제를 상당한 격차로 성능을 향상 시킬 수 있다는 것을 보인다. 제안하는 모델을 통해 샘플링 된 이미지를 정성적으로 분석하여 이 모델이 가지는 특성도 함께 살펴본다.

• Journal of Information Processing Systems
• /
• 제13권4호
• /
• pp.778-804
• /
• 2017

Software today has become an inseparable part of our life. In order to achieve the ever demanding needs of customers, it has to rapidly evolve and include a number of changes. In this paper, our aim is to study the relationship of object oriented metrics with change proneness attribute of a class. Prediction models based on this study can help us in identifying change prone classes of a software. We can then focus our efforts on these change prone classes during testing to yield a better quality software. Previously, researchers have used statistical methods for predicting change prone classes. But machine learning methods are rarely used for identification of change prone classes. In our study, we evaluate and compare the performances of ten machine learning methods with the statistical method. This evaluation is based on two open source software systems developed in Java language. We also validated the developed prediction models using other software data set in the same domain (3D modelling). The performance of the predicted models was evaluated using receiver operating characteristic analysis. The results indicate that the machine learning methods are at par with the statistical method for prediction of change prone classes. Another analysis showed that the models constructed for a software can also be used to predict change prone nature of classes of another software in the same domain. This study would help developers in performing effective regression testing at low cost and effort. It will also help the developers to design an effective model that results in less change prone classes, hence better maintenance.

• 정보처리학회논문지D
• /
• 제9D권3호
• /
• pp.511-522
• /
• 2002

WBI(Web Based Instruction)는 웹을 매체로 활용하여 원거리에 있는 학습자를 교육시키는 형태로서 교수자와 학습자간 상호작용을 가능하게 하고, 다양한 형태의 학습자료를 제공하며, 공간적 제약을 극복할 수 있다는 장점이 있다 본 논문은 웹에 기반한 교육적 활용의 한 모델로서 웹기반 교육평가시스템의 설계 및 구현에 관한 것이다. 웹기반 교육평가시스템은 기존 시스템들의 문제점이 되고 있는 문제출제 기능의 미비점을 해결하여 웹 상에서 문제를 출제할 수 있는 온라인 출제방식과 오프라인에서 작성한 문제를 업로드하여 재사용하는 업로드 출제방식을 모두 갖추어야한다. 또한 문항분석 기능을 갖추어 학생이 풀이한 결과에 대한 각종 분석 지표를 제공하여 교사는 난이도 조정이나 문항의 수정을 통하여 문항에 피드백을 할 수 있어야 한다. 본 논문에서는 이러한 요구사항을 모두 반영하는 시스템을 설계하고 PHP 스크립트 언어와 호환성이 좋은 MySQL데이터베이스를 이용하여 구현하였다.

• 동의생리병리학회지
• /
• 제20권1호
• /
• pp.202-208
• /
• 2006

The goal of this study is to develop knowledge representation method for the construction and evaluation of ontology for diagnosis in oriental medicine. To develop the expert system for decision making on diagnosis and treatment, the systematic and structural knowledge which can be processible in EMR(Electronic Medical Record) must be precedent, and the Computational Process which control the system as well. This study set up an ontology as a trial model to represent the oriental medical knowledge into the machine processible one. Protege 2.1 has been used to build the ontology, and the serialization format of our ontology is the XML document based on OWL. The components of oriental medical diagnosis was arranged with the combination of symptoms which belong to the certain symptom patterns. Then natural language which expresses the oriental medical diagnosis components were converted into the logical sentence, and individual characteristic symptoms into each values of specific properties. In addition to the study, the diagnosis software for oriental medicine was developed and it used the ontology which we developed. Sequently, we tested the software to confirm the appropriateness of ontology. The result of the test shows that diagnostic questions are automatically formulated according to the diagnosis components of this ontology and that as such diagnostic results are induced. Therefore, the ontology system in this study will be efficient to develop the diagnosis program and useful as a tool for doctors to make decision. But, it is not recommendable to apply the system to the clinical environment until the clear diagnosis standards are introduced, and the more reliable diagnosis program can be developed based on the more appropriate ontology mentioned above.

• 한국문헌정보학회지
• /
• 제32권3호
• /
• pp.157-177
• /
• 1998

다가오는 21세기는 고도화된 정보화 사회가 될 것이며, 이러한 정보화 사회에서 필수적인 요소로는 기하급수적으로 발생되는 전자 문서를 관리하는 것이라 할 수 있다. 특히, 디지털 도서관(Digital Library), 인트라넷 상에서의 CSCW(Computer-Supported Cooperative Work) , CALS(Commerce At the Light Speed) 등의 최근의 응용에서는 대량의 전자 문서를 효율적으로 저장하고 관리하는 시스템이 요구되고 있다. 다양한 전자 문서의 형태 중 ISO에서 문서 교환 표준으로 제정한 SGML은 구조 정보로 사용할 수 있는 마크업(Markup)을 포함하고 있어, 문서를 구조 단위로 표현할 수 있다. 이는 대량의 전자 문서를 저장하거나 관리하는데 적합하다. 본 논문에서는 SGML 문서를 효율적으로 관리하기 위한 SGML 문서의 데이터 모델을 제시하고, 다양한 구조의 SGML 문서에 대한 스키마 동적 생성 기능과 SGML 인스턴스 저장 기능 그리고 저장된 SGML 인스턴스를 문서 혹은 문서의 구조 단위로 꺼내오는 기능을 제공하는 SGML 문서 관리 시스템을 설계하고 구현하였다.

• 한국멀티미디어학회논문지
• /
• 제6권2호
• /
• pp.216-223
• /
• 2003

본 논문에서는 음성과 온라인 문자를 단일시스템으로 인식할 수 있는 음성 문자 공용인식 시스템을 제안한다. 일반적으로 CHMM(Continuous Hidden Markov Model)은 음성인식과 온라인 문자인식을 위해 매우 유용한 도구로 잘 알려져 있으나, 인식을 위해서는 각각을 독립 시스템으로 구현하고 있어 추가적인 메모리와 계산량을 요구한다. 제안한 공용인식 시스템은 음성인식과 문자인식을 결합하기 위하여 이들을 동일한 CHMM모델로 구성한 후 상태단위로 지속정보를 제어하는 OPDP(One Pass Dynamic Programming) 알고리즘을 통하여 음성과 문자를 인식할 수 있는 확률 통계적 시스템을 구현하였다. 음성은 MFCC(Mel Frequency Cepstrum Coefficient) 파라미터, 문자는 위치 변화량 파라미터와 비트맵 파라미터를 사용하였으며, MLE(Maximum Likelihood Estimation) 추정법을 이용하여 음소와 자소를 결합한 115개의 3상태 9천이 CHMM모델을 구성하였다. 공용인식기의 실험결과 음소 인식률 51.65%, 음성 단어 인식률 88.6%, 자소 인식률 85.3%, 필기체 단어인식률 85.6%를 나타내어 공용인식의 유효함을 확인할 수 있었다.

• 한국멀티미디어학회논문지
• /
• 제3권2호
• /
• pp.174-183
• /
• 2000

시스템 수준의 프로토콜 명세를 위한 정형 기법들은 S/W 구현에 중심을 둔 반면, 성능의 향상을 위해서 프로토콜의 설계를 H/W로 구현하는 것에 대한 필요성이 증대되고 있다. 따라서, 특정한 프로토콜을 이용한 시스템의 S/W적 구현에서 H/W적 구현으로 기반 환경이 변화함에 따라 IP(Integrated Processing)기술의 도입이 필요하게 되었다. 또한, 정형 명세로부터 시작하는 H/W의 구현 방법은 정형 명세의 특성에 의해, 구현된 H/W의 정확성, 신뢰성을 보장할 수 있다. 본 논문에서는 형식기술기법중의 하나인 ESTELLE로 정형화된 프로토콜을 H/W언어인 VHDL로 변환하는 방법을 제시한다. 우선 ESTELLE 명세를 VHDL 명세로 변환하는 변환방법을 기술한다. 이는 개념적인 변환방법으로 프로토콜 명세화의 기본 단위인 computation unit과 communication unit의 동작과 H/W에서의 프로세스간 동작의 유사성 등을 비교 분석하였다. 그 후 변환 모델을 기술하고, Inres 프로토콜을 통하여 실제로 ESTELLE을 VHDL로 변환하는 예를 제시한다.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.431-442
• /
• 2010

임베디드 시스템은 하드웨어와 소프트웨어 요소들이 서로 결합된 시스템이기 때문에 설계 시 실시간성(Real-time), 반응성(Reactive), 소규모(Small Size), 경량화(Low Weight), 안전성(Safe), 신뢰성(Reliable), 견고성(Harsh Environment), 저비용(Low Cost) 등의 요소들을 고려하여 설계해야 한다. 그러나 현재 임베디드 시스템 개발에 이러한 요소들을 반영한 설계 기법들이 미비하게 제시되어 있다. 특히 임베디드 시스템 개발에 있어서 프레임워크를 기반으로 임베디드 시스템을 개발하는 형태가 거의 이뤄지고 있지 않다. 이로 인해 현재 개발되어 있는 임베디드 시스템들의 내부 코드들을 살펴보면 시스템 작동과 전혀 상관이 없는 코드들이 무수하게 잔재하고 있으며, 임베디드 시스템 개발에 있어서 재사용성이나 가변성에 대한 고려가 미흡한 실정이다. 따라서 본 연구에서는 임베디드 시스템의 재사용성을 향상시키기 위해 제안했던 재사용 프레임워크 설계에 대한 완전성이나 일관성을 보장하기 위해 Z를 이용하여 프레임워크 설계에 대한 정형 명세 기법을 제시하고자 한다. 또한 Z 언어를 통해 명세한 결과를 Z-Eves Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 보이고자 한다.

• 한국정보통신학회논문지
• /
• 제12권7호
• /
• pp.1263-1270
• /
• 2008

현재 기존의 웹과 차별화를 의미하는 웹 2.0에 대한 관심이 높아져 가고 있다. 기존의 시스템이 클라이언트와 서버 모델에 기반을 둔 정적인 웹이 전형적이었다면, 웹 2.0은 웹이 근본적으로 변화하고 진화한다는 차원의 차세대 웹을 뜻한다. 본 논문에서는 웹 2.0규격하에서 쓰일 수 있는 RSS리더에 대한 모듈을 제안한다. 제안된 모듈은 Ajax를 이용하여 개발하였다 현재 쓰이는 RSS Feed가 브라우저에 따라 왜곡될 수 있는 부분을 보정하고 한글 및 제 3세계 언어의 인코딩 문제를 해결하였고, Ajax의 유동성 있는 프로그래밍을 통한 DragBox모듈과 RSS Feed의 자동 업데이트 모듈의 설계 및 개발을 통해 웹 2.0 기반상에서의 효과적인 콘텐츠의 활용을 위한 모듈을 개발하였다.