• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.4
• /
• pp.21-27
• /
• 1975

In this paper, a procedure for deriving of multiple fault detection test sets is presented for fan-out reconvergent combinational logic networks. A fan-out network is decomposed into a set of fan-out free subnetworks by breaking the internal fan-out points, and the minimal detecting test sets for each subnetwork are found separately. And then, the compatible tests amonng each test set are combined maximally into composite tests to generate primary input binary vectors. The technique for generating minimal test experiments which cover all the possible faults is illustrated in detail by examples.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.115-117
• /
• 2002

본 논문에서는 Mobile IPv6에 사이클이 있음을 Alloy로 명세(specification)하고 Alloy 분석기로 검증(verification)한 것을 해석해 보겠다. Acyclicity를 만족하지 못함으로 해서 모바일호스트는 이동을 하지 못하고 계속 사이클을 돌게 된다. Alloy는 Rational의 UML과 같은 객체모델링 언어인데, 일차논리와 집합에 기반을 둔 Z에서부터 파생되었다. Alloy는 작은 모델들을 위한 명세 언어로, Alloy 모델은 그래픽과 텍스트를 모두 지원한다. Alloy로 명세 된 것을 쉽게 분석 할 수 있는 검증도구로 Alloy 분석기가 있는데, 이러만 도구를 이용함으로써 손쉽고 빠르게 검증을 할 수 있다.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.2
• /
• pp.359-367
• /
• 1999

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.

• Annual Conference on Human and Language Technology
• /
• 1989.10a
• /
• pp.302-306
• /
• 1989

이 연구는 '맞다'가 의미론적 기본개념으로서의 진리에 대한 대체후보가 될 수 있는가의 물음을 배경으로 삼고 이 논문에서는 맞음의 개념이란 무엇인가라는 문제에 초점을 두고 다음의 다섯가지를 일차적으로 고찰한다. (1) '맞다'에 대한 일상언어분석을 통하여 이것은 두자 리 관계술어라는 점을 보이고 (2) 단어의 표면적 다의성은 그 반대어인 '틀이다'의 분석을 통하여 궁극적으로는 동일한 뿌리를 가지고 잇다는 것을 주장한다. (3) 맞음은 대칭적 논리구조를 일반적으로 가지지만 화자의 관심에 의해 비대칭적 구조를 가질 수도 있을 것이다. (4) '맞다'라는 단어를 해명할 수 있는 세가지 후보를 필요충분조건적 해석, 의미론적 접근, 표준론적 고찰에서 탐구하여 보지만 (5) '맞다'에 대한 진화론적 해석이 의미론적 기초개념일 수 있다고 생각하게 되었다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.19-20
• /
• 2013

본 논문에서는 앱스토어의 정확한 정보 전달을 위해 집단지성을 이용한 상황인지 시스템을 제안한다. 이 시스템은 개인이 문제 처리 시 발생하는 오류를 집단지성으로 발생하는 집단적인 능력을 이용하여 최소화하고, 앱개발자에게 필요한 API를 추천함으로써 소비자 중심이던 앱스토어를 개발자와 소비자 중심의 앱스토어를 구축 한다. 또한 이 시스템은 소비자의 상황을 온톨로지 기법에 적용하여, 앱스토어 시스템이 소비자의 상황에 적합한 앱을 추천하고, 앱개발자에게 정보를 제공해준다. 이때 앱소비자의 상황정보는 일차 논리 추론기법을 활용함으로써, 소비자 상황을 정확히 추론하여 기존의 앱스토어 보다 한 단계 높은 상황인지 앱스토어 시스템을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.209-212
• /
• 2001

본 논문의 연구 목적은 효율적인 비디오 브라우징에 관한 연구이다. 비디오 스트림을 효율적으로 저장 및 재생하는 브라우징 시스템의 기본 구조로는 결정적 유한 오토마타를 사용하였다. 인덱싱 단계에서는 기존의 비디오 정보 또는 오디오 정보 한가지만을 사용하여 분야별로 특수하게 모델링하는 방법을 개선하여 비디오 스트림과 오디오 스트림 모두를 이용하는 새로운 인덱싱 방법을 제시하였다. 즉, 일차적으로 비디오 정보를 이용하여 동영상 데이터를 장면 단위로 분할한 후, 오디오 정보를 이용하여 에피소드 단위로 분할하여 인덱싱을 실행하였다. 이를 결정적 유한 오토마타 형태의 논리적인 구조로 에피소드들을 재구성하여 사용자의 요구에 따라 가변적인 재생 시간을 갖는 비디오 브라우징 시스템을 설계하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.16-18
• /
• 2008

유비쿼터스 컴퓨팅 환경에서 상황을 인지해 각 사용자에게 필요한 서비스를 자동으로 제공하거나, 사용자로부터 요청받은 서비스를 주어진 환경에서 성공적으로 수행하기 위해서는 그 서비스를 수행하는 각각의 장치들은 일정 수준 이상의 지능을 갖고 있어야 한다. 본 연구에서는 일차 술어 논리를 사용하는 규칙 기반 추론 엔진으로 JRM-S를 개발하였다. 본 엔진은 위치 기반 상황 모델 구축을 위해 공간지식 처리 기능을 갖고 있으며, 유비쿼터스 환경에 존재하는 서비스 장치들에게 상황을 인식할 수 있는 지능을 부여하기 위한 지식 처리기로 사용될 수 있다.

• Journal of Korea Game Society
• /
• v.8 no.1
• /
• pp.29-39
• /
• 2008

In this research, the researcher uses semiotic methods in order to analyze the essential aspects of educational games. The basic concepts of semiotics and their relevance to education are explored, as well as how signs are shown in a particular educational game is examined. Several semiotic theories which can assist in analyzing educational game are examined. Roller coaster Tycoon2, an educational game, is analyzed using Peirce's semiology in which education is defined in terms of signs and semiosis. As a result of analyzing Roller Coaster Tycoon2, a educational game, through Peirces semiology, the game was found to contain all the different types of signs. It contains the three types of signs (sign, object, interpretant) as well as firstness, secondness, and thirdness. Especially, the second and third has a major part in Roller Coaster Tycoon2. The sign of the second is assists in logical and creative thinking, the third is assists in creative. It appears often in the game due to the real-time strategy game environment in which problems are solved by planning logical strategies after considering the relationship between several signs.

• Journal of Educational Research in Mathematics
• /
• v.8 no.2
• /
• pp.745-752
• /
• 1998

컴퓨터의 급속한 보급으로 시각화는 수학 교육자사이의 논의에 자주 등장하는 소재가 되었다. 우리는 다양한 소프트웨어를 사용하여 준비한 수업에 학생들로 임하게는 하지만 거의 그들의 사고 발달과정에는 관심을 갖지 못하고 있다. 이 논문은 구성주의(Constructivism)와 정보처리체계(Information-Processing System)에 입각하여 수학의 시각화를 생각해보고 어떻게 시각화 환경을 준비해야하는지 논해보고자 하였다. 구성주의의 시각화에서는 반영적 추상(reflective abstraction), 반복되는 경험(repeated experience), 그리고 지식 위계성이 학습의 기능 체계를 이루므로 발견적 학습을 통해 학생 스스로 의미를 구성할 수 있도록 Thomas (1992)의 세 가지 제안을 이용하여 수업을 준비할 수 있다. 정보처리체계에서는 지식은 서술적인 것과 과정적인 것으로 나뉘어지고, 시각적 표상을 수록하고 삭제하는 과정과 조작 가능한(manipulative) 환경과의 상호작용으로 기호적 시각으로 표상을 변화하는 과정을 통해 개념을 습득하게된다. 시각화는 스키마와 개념상을 통해서 일어난다. 그래프, 애니메이션, 그리고 다른 시각적 표상 등은 이 개념상에 직접적 효과를 주므로 매우 중요하다. 이런 논란을 바탕으로 교사는 반영적 추상화를 위해 시간을 충분히 제공해야하고, 비슷한 문제를 가지고 여러번 시도를 할 수 있게 하며, 학생을 잘 관찰하여 그들의 지식 위계성을 이해하고 방향을 제시하며, 논리적이고 잘 연결된 시각적 표상을 제공하고, 상징적 사관으로 확장할 수 있게 조작할 수 있는 환경에서 시각화에 대해 학생과 많은 대화를 하도록 수업을 준비해야한다. 그한 예로 타원을 가르치기 위해 몇 가지 테크놀로지를 활용한 시각화 환경을 구성해보았다.ates of bisected bovine embryos by micromanipulator and micropipett were 29.2% and 19.1%, respectively. The rates of non-bisection embryos(46.7%) were significantly higher than those of bisection embryos. 2. The in vitro developmental rates of bisected bovine embryos by micromanipulator, micropipett and pipetting method were 32.4%, 19.4% and 25.6%, respectively.3. The in vitro developmental rates of with and without-zona pellucida of bisected bovine embryos by raicromanipulator were 30.8% and 25.0%, respectively. The rates of nonbisection embryos(53.1%) were significantly higher than those of bisection embryos.랑크톤 군집내 종 천이와 일차생산력에 크게 영향을 미칠 수 있음을 시사한다.TEX>5.2개)였으며, 등급별 회수율은 각각 GI(8.5%), GII(13.4%), GIII(43.9%), GIV(34.2%)로 나타났다.ments of that period left both in Japan and Korea. "Hyojedo" in Korea is supposed to have been influenced by the letter design. Asite- is also considered to

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.462-469
• /
• 1999

본 연구에서는 시각적으로 제시되는 단어 자극의 의미 관련성의 차이에 따라 좌우반구의 처리가 어떻게 이루어지는지 알아보고자 하였다. 이를 위해서 명칭성 실어증 환자와 정상인 대학생 피험자를 대상으로 점화 어휘판단 과제를 수행하였다. 이 연구의 기본 논리는 명칭성 실어증 환자의 왼쪽 뇌가 손상되어 있기 때문에 어떤 정보처리가 왼쪽 뇌에서 일어나는 것이라면 정상인과 명칭성 실어증환자간의 수행에서 어떤 차이가 나타날 것을 기대되는 반면, 만일에 우뇌에서 처리되는 것이라면 정상인의 과제 수행 형태와 명칭성 실어증 환자의 것이 일치하는 형태를 보일 것이라는 것이다. 실험 1에서는 수직적 범주관련성이 어느 반구에서 정보처리 되는지를 조사하였다. 그 결과 정상인은 좌반구에서 유의미한 점화효과가 있고 우반구에서는 점화효과가 없었던 반면에, 명칭성 실어증 환자는 정상인과 정반대의 점화 효과를 보이고 있다. 이러한 결과는 좌반구가 일차적으로 수직적 범주 관련성 정보처리와 관련이 있음을 시사해 준다. 또한 수평적 범주 관련성에 따른 실험 은 정상인과 환자 두 집단 모두 수평적 범주관련성이 우반구에서 처리되는 유사한 패턴을 보여주었다. 실험2에서는 연합적 범주관련성에 따른 두 집단간의 점화 효과를 비교하였다. 정상인 집단과 환자 모두 좌우반구에 점화효과를 보여주고 있지만, 정상인 집단의 경우에는 우반구에서, 환자는 좌반구에서 점화량이 더 컸다. 연합관련 정보처리는 좌우반구 모두에서 일어난다고 하는 기존의 견해와 관련하여 볼 때 연합관련 정보처리는 좌우반구에서 일어난다고 해석할 수 있을 것이다. 명칭 실어증 환자의 정보처리는 정상인과 다르게 이루어지므로 이러한 좌우반구에서의 차이가 난 것으로 볼 수 있다. 이상의 실험1과 2의 결과를 종합해 보면, 시각적으로 제시되는 단어의 범주적 관련성이 주는 어휘정보 처리는 반구에 따라 처리하는 기능이 다르다고 결론 내릴 수 있다. 즉, 좌반구는 수직적 범주 관련성을 담당하고 우반구는 수평적 관련성을 담당하며, 연합적 관련성은 좌우반구 모두에서 정보처리 된다는 것이다.