• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.595-598
• /
• 2000

원자력 발전소와 같이 시스템 오작동으로 인하여 엄청난 재난을 불러 올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 특히 긴급성을 요하는 원자력 발전소의 긴급 차단 시스템과 같은 실시간 safety-critical 시스템은 시스템 행위의 유기적인 측면뿐만 아니라, 시간적 제약을 고려하여 엄격하게 명세하고 분석해야 한다. 본 논문에서는 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 원자력 발전소 제어 시스템을 명세하고 이를 모델 체킹 검증 도구인 SMV로 검증함으로써 시스템의 신뢰성을 높이고 실시간 safety-critical 시스템의 설계 및 검증에 대한 방법론을 제시한다. 본 연구에서는 [6]의 논문의 명세 오류를 수정하여 명세 및 검증을 수행하였다.

• 한국정보교육학회:학술대회논문집
• /
• 2007.01a
• /
• pp.309-316
• /
• 2007

프로그래밍 학습은 프로그램의 작성, 오류 수정, 실행을 통해 학습자의 문제 해결력과 논리적 사고력을 향상시킨다. 따라서 프로그래밍 언어는 쉽고 익히기 쉬어야 한다. 또한, 초등학생은 Piaget의 인지적 발달 단계로 볼 때 구체적 조작기(concrete operational period: 6, 7$\sim$11, 12세)에 해당하는 시기이다. 이 시기는 구체적인 사물을 가지고 조작함으로써 논리적 사고가 가능하다. 따라서 본 논문에서는 프로그래밍이라는 매우 추상적인 작업을 로봇이라는 구체물을 통해 결과를 확인할 수 있게 하였으며, 프로그래밍 학습의 초기 단계에 있는 초등학생이 쉽게 사용할 수 있도록 한글을 기반으로 프로그래밍 학습을 할 수 있도록 하고, DB를 활용하여 명령어를 사용자가 추가, 삭제, 수정할 수 있는 한글 기반의 로봇 프로그래밍 도구를 설계 및 개발하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1542-1555
• /
• 1999

This paper proposes an algorithm for class hierarchies which can optimize member data and member function. This algorithm considers single/multiple inheritance, static/dynamic binding, overloading/overriding, pure virtual/virtual function, and constructor on the hierarchy of C++ class. We need to eliminate unused function that possesses many component element, because the program uses a limited of function in class hierarchies. Previous works on slicing mainly focused on selecting output data and including the related program statement. It was consists of structured programming language and also centralized on error detection, maintenance, and flexible testing. In this paper, we extend to the object-oriented language, makes a linked-table for objects to raise the efficiency of information management, and proposes necessary algorithm for optimizing system Through this process, we can obtain the simplification of program code and the progress of system performance by eliminating unused member data and member function.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.706-708
• /
• 2004

일반적인 무선 통신망은 데이터 전송 고속화에 중심을 두고 발전해 왔으나, 최근 무선 센서 네트워크와 같은 응용 분야에서 소량의 데이터와 낮은 처리 속도를 지원하면서 저비용, 경량, 저전력을 요구하는 무선 통신 기술이 필요하게 됨에 따라 IEEE에서 LR-WPAN(Low Rate-Wireless Personal Area Network)을 위한 새로운 IEEE 802.15.4 표준이 제시되었다. 현재 무선 센서 네트워크에 관한 연구는 소형 경량의 MAC(Medium Access Control ) 프로토콜 개발이 핵심 기술로 인식되면서, 저전력 소모를 위한 라우팅 기법, MAC 프로토콜의 패킷처리 기술 등이 우선적으로 진행 중이다. 그러나 무선 센서 네트워크와 같은 응용분야에 사용 가능한 표준인 IEEE 802.15.4 MAC 프로토콜의 실질적인 상용화를 위해서는 표준안 분석 및 검증 과정이 기본적으로 선행되어야 한다. 본 논문에서는 IEEE 802.15.4 표준안의 핵심인 MAC 프로토콜을 정형화된 명세 언어인 SDL(Specification and Description Language)를 이용하며 상세 설계 및 분석 후, 자동화 도구를 이용한 모의수행을 통하여 검증하였으며 표준안과의 비교 및 오류 수정을 거친 연구결과를 기술한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.423-426
• /
• 2007

온톨로지는 의미적인 지식을 표현하고, 공유하기 위해서 여러 분야에서 널리 사용되고 있으며, 특히 시멘틱 웹의 상호운용성을 해결할 수 있는 중요한 요소로 자리 잡고 있다. 현재 온톨로지의 구축을 지원하는 다양한 도구들과 방법론들이 제시되고 있지만, 실제 구축되어진 온톨로지가 실용적이고, 도메인의 정보를 정확하게 반영했는지 검증할 수 있는 도구나 방법은 매우 미비하다. 따라서 본 연구에서는 OWL언어로 구축되어진 온톨로지의 소스로부터 온톨로지의 주요 요소들을 추출하여 형식개념분석(Formal Concept Analysis)모델로 변환하고 분석함으로써, 온톨로지에 포함된 구조적인 문제점을 파악할 수 있는 방법과 도구에 대해서 설명한다. 본 연구에서 제시한 온톨로지 분석도구를 사용하면, 구축되어진 온톨로지에 포함된 구조적 오류 및 온톨로지의 구조를 수월하게 파악할 수 있고, 온톨로지 구축작업 및 수정보완에 있어서 더 좋은 개념계층구조를 갖는 온톨로지를 제안할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.244-246
• /
• 2012

대규모 실시간 시스템인 SCADA 시스템은 수처리, 발전, 보일러, 제철, 석유화학 등 산업전반에 걸쳐 사용되는 시스템이다. 현재는 국산화가 잘 이루어져 아직까지 큰 문제가 없는 분야이지만, 전통적인 방법론을 통해 개발된 시스템을 사용하고 있다. 복잡하고 규모가 큰 시스템에서는 전통적인 방법론으로는 잠재된 오류나 이로 인한 피해여부를 파악할 수 있는 방법이 없다. 본 논문에서는 모델기반 명세 및 검증 언어인 Statecharts를 이용해 소프트웨어공학적 기법을 SCADA 시스템의 통신 모듈에 적용시켜 시스템의 안전성과 신뢰성을 향상시키고자 한다.

• Proceedings of the Safety Management and Science Conference
• /
• 1999.11a
• /
• pp.109-121
• /
• 1999

플랜트 및 설비가 대규모, 정교화, 복잡화 될수록 이로 인한 고장 및 오류에 의한 피해가 막대하기 때문에, 시스템의 신뢰성, 보전성 및 안전성 향상과 제품 품질 향상을 추구 및 안전성 유지에 대한 관심이 고조되고 있다. 고장진단은 잠재적으로 노이즈를 가지고 있다고 생각되는 데이터의 해석에 근거하여 시스템의 고장을 찾는 일련의 체계적이고 통합된 방법이다. 그러나 대부분의 방법들이 이진 논리에 기초를 둔 추론으로 불확실성을 제대로 결과에 반영하지 못하고 있다. 본 논문에서는 예방정비의 관점에서 시스템에 내재된 다양한 불확실성을 효율적으로 처리하기 위해 전문가의 직관과 경험등을 기초로 하여 언어학적 변량을 취하고, 이를 퍼지 기법을 이용하여 정량화 함으로써 불확실성을 고려한 판단이 가능하게 하는 퍼지 전문가 시스템을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.516-518
• /
• 1999

고속으로 발전하는 컴퓨터 분야에 있어서 소프트웨어는 좀더 복잡해지고 대형화 되어갔다. 이에 따른 소프트웨어의 테스팅은 소프트웨어 재사용성이나 유지보수, 오류 검출을 하기 위한 하나의 수단으로 사용되어져 가고 있으며, 보편화 되어가고 있다. 그리고 소프트웨어 개발 방법이 구조적 프로그래밍 기법에서 객체지향 프로그래밍 기법으로 변화할 수 옥 이에 따른 소프트웨어 테스팅 역시 구조적 프로그래밍 기법에서 사용하던 테스팅 방법들을 객체지향적 개념에 맞게 바꾸어 나가는 연구들이 많이 이루어지고 있다. 논문에서는 이러한 객체지향 테스팅 기법에서 사용하는 메트릭스들을 선정하여 이를 자바언어로 작성된 프로그램에 적용하고 그 결과물들을 그래픽컬한 표현으로 나타내어 편리한 테스트 환경을 지원하는 도구를 설계 및 구현하였다.

• English Language & Literature Teaching
• /
• v.13 no.1
• /
• pp.47-66
• /
• 2007

Error analysis plays an important role because understanding the types of errors can give a better opportunity for both teachers and learners to recognize the nature of errors and ways of preventing them. This study looks into errors in the medical research abstracts written by 26 Koreans and also examines hedging expressions since hedging can be a necessary tactic in which the validity and objectivity of their claims is conveyed. The hedging expressions of these research abstracts are to be compared with those of Hyland (1996)'s study done on ENL academic writers of cell and molecular biology. The results of the study reveal that wrong word choice was the most commonly occurred errors, followed by prepositions, articles, adding and missing words. Many of these errors, except articles, seemed to derive from the native language interference. There were also run-on sentences, subject & verb agreement, tense, word order and minor errors. As for hedging, ESL medical writers seemed to use very limited hedging expressions and inappropriately strong modals. It is recommended to take variations of hedges using epistemic adverbials and adjectives to present their claims in a more valid and polite way. Limited verb choice was also noted. As for preventing or minimizing similar future errors, collocation practices in ESP focused on commonly used medical related words and expressions can be effective.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.411-419
• /
• 2009

In order to derive hidden Information (concept subsumption, concept satisfiability and realization) of OWL ontologies, a number of OWL reasoners have been introduced. Most of the reasoners were implemented to be based on tableau algorithm. However this approach has certain limitation. This paper presents architecture for Medusa. The Medusa is an extended DL-reasoner for SWRL(Semantic Web Rule Language) reasoning under well-founded semantics with ontologies specified in Description Logic. Description logic based ontology reasoners theoretically explore knowledge representation and its reasoning in concept languages. However these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge base; specifically, rule and facts in logic programming, or interaction of rules and facts with terminology. In order to deal with the enriched reasoning, The Medusa provides combining DL-knowledge base and rule based reasoner. The described prototype uses $Prot{\acute{e}}g{\acute{e}}$ API[1] for controlling communication with the ontology reasoner.