• 대한전자공학회논문지
• /
• 제12권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• 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
• /
• 제10권2호
• /
• pp.359-367
• /
• 1999

본 논문에서는 의료용 전문가 시스템에 사용 가능한 의료지식을 수리논리적으로 표현하고 이에 대한 연역 및 진단추론을 행하는 방법을 제시하였다. 문제해결을 위해서는 연역추론을 행하며 원인의 규명을 위해서는 진단추론을 행하지만 일차논리 언어로 표현된 의료지식에서 두 종류의 추론을 병행할 수 있다. 그리고 의료지식에 자주 발생하는 시간에 따라 가변적인 결과의 추론방법도 함께 고찰하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1989년도 한글날기념 학술대회 발표논문집
• /
• pp.302-306
• /
• 1989

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2013년도 제48차 하계학술발표논문집 21권2호
• /
• pp.19-20
• /
• 2013

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.209-212
• /
• 2001

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.16-18
• /
• 2008

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

• 한국게임학회 논문지
• /
• 제8권1호
• /
• pp.29-39
• /
• 2008

본 연구에서는 교육용 게임의 본질을 분석하고자, 기호학적 분석 방법을 도입하여 연구를 수행하였다. 교육용 게임에서 기호가 어떤 방식으로 나타나는지를 분석하였으며, 교육에 대한 개념을 기호와 기호작용이라는 관점으로 설명한 퍼스의 기호학을 이용하여 교육적으로 활용하는 게임인 롤러코스터 타이쿤2를 분석하였다. 분석결과 표상체, 대상체, 해석체의 기호와 함께, 일차성, 이차성, 삼차성의 기호를 모두 가지고 있었다. 특히 롤러코스터 타이쿤2에서는 2차성과 3차성의 기호가 많은 부분을 차지하는 것으로 분석되었다. 2차성의 기호는 논리적이고 창의적인 사고를 하는데 도움을 주는 기호이며 3차성 기호는 학습자의 창의력 신장에 도움을 주는 기호이다. 이 기호가 교육용 게임에서 많이 등장하는 것은 논리적인 전략을 세워서 문제를 해결해야하는 상황이 중심이 되는 것으로 해석할 수 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제8권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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1999년도 제11회 한글 및 한국어 정보처리 학술대회
• /
• pp.462-469
• /
• 1999

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