• 과학과기술
• /
• 제33권7호통권374호
• /
• pp.41-74
• /
• 2000

우리나라에서 정치논리 만큼 큰 힘을 발휘하는 것은 없다. 우리의 경제가 정치논리의 지배 아래 있어 발전에 어려움이 있다는 소리는 오래 전부터 있어왔다. 과학기술은 정치논리의 지배 아래 있는 경제의 논리에 좌우되고 있는 것이 오늘의 현실이다. 과학기술과 정치는 어떤 관계를 갖고 있으며 또 어떤 관계를 유지해야 바람직한 것인지 정리해 보았다.

• 전기의세계
• /
• 제24권4호
• /
• pp.31-39
• /
• 1975

복잡한 시스템의 설계 또는 연구에서 무엇보다도 중요한 것은 조합설계의 원리를 완전해 이해하는데 있으며 여기서 기술한 조합개폐회로이론은 그 기초가 된다. 조합논리회로란, 출력이 입력의 현재상태에만 전적으로 종속되는 회로를 의미한다. 조합설계의 주목적은 최소수의 소자로 우리가 원하는 개폐특성을 실현하는 회로를 설계할 수 있는 능력을 부여하는데 있다. 이 장에서는 논리함수, 논리식의 표현형식, 논리식의 간단화 및 이들 기법이 실지 조합개폐회로의 설계에 어떻게 적용되는가를 실례를 통하여 기술한다.

• 과학과기술
• /
• 제30권10호통권341호
• /
• pp.24-25
• /
• 1997

과학대중화에서 언론은 가장 큰 공급자다. 지금까지 우리나라 언론의 주력상품은 정치와 스포츠였고 90년대 들어서야 경제, 레저, 정보통신 등이 부가가치 높은 상품으로 부상했다. 과학대중화를 위해서는 과학기술계 스스로 시장의 논리, 경제의 논리, 경쟁의 논리를 도입해야 하고 언론의 먹을 거리인 기사를 늘려야 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.157-159
• /
• 2004

본 논문에서는 웹 문서를 XML 문서로 변환하기 위한 논리적 구조분석 방법을 제안한다. 제안된 방법은 비주얼 그룹화, 요소 식별, 그리고 논리적 그룹화의 세 단계로 구성된다. 특히 정교한 수준의 논리적 구조분석을 지원하기 위하여 특정 주제에 속하는 문서 유형의 논리적 계층 구조를 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법은 비주얼 그룹화를 통해서 추출된 시각적 계층구조와 문서 유형에 대한 논리적 구조 정보를 기술한 문서 모델에 기반하기 때문에 보다 정교한 수준의 구조 분석을 지원한다. 제안된 방법의 성능을 평가하기 위하여 웹으로부터 추출한 다수의 HTML 문서를 대상으로 실험한 결과, 기존 연구라 비교하여 논리적 구조분석을 성공적으로 수행하였다. 제안된 방법은 논리적 구조분석의 최종 결과로서 XML 문서를 생성하기 때문에 문서의 재 사용성을 높인다.

• 한국산학기술학회논문지
• /
• 제15권9호
• /
• pp.5744-5749
• /
• 2014

다출력 논리식에서 공통식을 추출하는 것은 매우 중요한 기술이다. 본 논문에서는 배타 논리합 식 산출 원리를 이용해서 공통식을 추출하는 새로운 방법을 제안하였다. 산출된 논리식은 AND, OR, NOT 연산자만을 이용해서 전체 논리식을 표현하도록 고안하였다. 공통식 산출의 수행 시간과 리터럴 개수를 줄이기 위해서 선험 방법을 제안하였다. 실험 결과 제안한 방법이 기존의 방법들보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.133-135
• /
• 2003

시맨틱 웹은 지식을 구조적으로 표현할 수 있는 수단과, 논리를 기반으로 지식을 처리하는 기술을 주요 요소로 포함하고 있다. 후자에 대한 유력한 기술로 기호 논리를 기반으로 한 연역 추론 기법이 폭넓게 응용되고 있으나 아직 초보적인 단계에 머물러 있다. 본 논문은 시맨틱 웹 환경에서 효과적인 추론 기능을 수행할 수 있는 연역 추론 시스템의 설계 및 구현 내용을 담고 있다. 본 논문에서 제시하는 추론 시스템은 표준 기술 논리(Description Logic)의 상당 부분과 혼 논리(Horn Logic) 기반의 논리 프로그래밍을 아우르는 확장된 표현력을 제공하여, RETE 알고리즘 기반의 생성 시스템을 활용하여 추론한다. 또한, 규칙베이스를 구성하는 단위 지식들을 웹 자원화함으로써 온톨로지로 대표되는 시맨틱 웹의 지식 표현력을 확장하였다. 본 논문이 제시하는 추론 시스템을 이용하면 웹 온톨로지 위에 규칙 및 논리 계층［1］을 효과적으로 구현할 수 있다.

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

이전 논문은 자바 프로그램 내에 포함된 논리적인 오류를 발견하기 위해 HDTS 기술을 제안하였다. HDTS 는 알고리즈믹 프로그램 디버깅 기술, 단계적 프로그램 디버깅 기술, 그리고 프로그램 분할을 혼합하여 효율적으로 논리적인 오류가 포함된 프로그램을 디버깅하는 기술이다. 본 논문에서는 HDTS 기술을 구현하기 위한 HDTS 시스템을 설계한다.

• 도서관문화
• /
• 제30권3호통권256호
• /
• pp.22-33
• /
• 1989

제1장에서는 CD-ROM의 호환성에 대해서 생각하였으며 특히 물리포맷과 논리포맷의 두가지가 있음을 기술하였고 제2장에서는 논리포맷의 표준화가 어떻게 시작되었는가에 대해 언급하였다. 제3장에서는 미국에서 검토가 진행되고 있는 표준규격안의 내용을 소개하고 제4장에서는 CD-ROM과 CD-I 포맷과의 관련에 대해 기술하였다.

• 한국광학회:학술대회논문집
• /
• 한국광학회 2001년도 제12회 정기총회 및 01년도 동계학술발표회
• /
• pp.74-75
• /
• 2001

현재의 통신망에서는 clock recovery, regeneration 등을 전기적으로 처리하고 있으나 처리속도의 한계가 있고, 미래의 초고속 네트웍은 이러한 전기적 신호처리의 속도한계를 극복하는 기술이 필요하다. 그러므로, 고속의 광교환과 광신호처리 등 광신호를 전기적으로 바꾸거나 제어하지 않고 전광으로 처리하는 기술에 대한 연구가 진행되고 있으며 이러한 전광신호 처리에 고속의 전광 논리소자가 요구된다. 초기의 전광 논리소자 연구에서는 AND, OR, NOR, XOR 등의 기본 논리 기능이 주로 구현되었으며 이를 활용하여 Shift Register, Binary counter, 전광 반가산기, 직/병렬 데이터 변환기와 같은 복합기능 논리소자의 구현 연구가 이루어지고 있다. (중략)

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 춘계학술발표논문집 1부
• /
• pp.357-359
• /
• 2010

본 논문에서는 논리 설계를 위해서 I-ROB 3000이라는 로봇 키트를 사용하여 논리 설계를 검증하였다. 이 검증에는 iRoV-Lab 3000의 장착된 로봇 모듈인 FPA 모듈,Stepper Motor 모듈,적외선 송수신센서 모듈, 카메라 모듈,RF 모듈 LED,TEXT LCD, 7-segment를 제어하기 위한 FPGA를 사용하며,FPGA설계를 위해 Schematic Design 또는HDL에 대해 연구한다.로봇 설계 시스템의 내부구조를 이해하고 개발환경을 구축할수 있다. 로봇의 구성요소와 각각의 구성요소(Sensor 모듈,display 모듈, Stepper Motor 모듈,RF 모듈)의 동작 원리를 개발한다.