• 한국멀티미디어학회논문지
• /
• 제7권10호
• /
• pp.1354-1369
• /
• 2004

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

• 한국콘텐츠학회논문지
• /
• 제10권11호
• /
• pp.341-351
• /
• 2010

경보시스템은 원자력발전소의 안전을 위해 매우 중요하다. 운전원은 경보발생시 경보와 그 원인 간의 논리적 관계를 파악하기 위해 논리도면을 참조한다. 이 논문은 전산화된 월성원자력발전소 3, 4호기 경보 논리도면에서 경보-원인 경로를 추적하는 시스템을 제안한다. 또한 논리도면의 전산화를 위하여 논리도면을 2차원 문자배열로 표시하고 이를 검증할 수 있는 문법을 제시였다. 그리고 추적된 경보-원인 간 논리경로와 논리 상태를 표시하기위하여 ND 및 DC 연산을 제안하였다. 이 시스템은 현재 월성원자력발전소에서 운영 중에 있다.

• 대한전자공학회논문지SD
• /
• 제39권1호
• /
• pp.76-82
• /
• 2002

본 논문에서는 전류 모드 다치 논리 CMOS 회로를 이용하여 4치-2치 논리 복호기, 4치 논리 전류 버퍼 4치 논리 전가산기를 제안하였다. 제안한 전가산기는 15개의 트랜지스터를 사용하여 기존의 2치 논리 CMOS 형태의 전가산기와 Current의 전가산기에 비하여 소자수가 각각 60.5%와 48.3% 감소되었으며, 이로 인해 면적 및 내부 노드수가 감소되었다. 본 논문의 회로들은 HSPICE를 사용하여 시뮬레이션 하였고 그 결과를 통하여 각각의 회로들이 정확하게 동작함을 확인하였다. 시뮬레이션 결과, 제안한 전가산기는 1.5ns의 전달 지연과 0.45mW의 전력소모 특성을 갖는다. 또한 전가산기는 본 논문에서 설계한 복호기 및 4치 논리 전류 버퍼를 사용하면 기존의 2치 논리에 쉽게 적용할 수 있다.

• 정보처리학회논문지A
• /
• 제15A권1호
• /
• pp.9-16
• /
• 2008

본 논문에서는 논리합성을 위한 공통식 추출 방법을 새롭게 제안한다. 제안하는 방법은 주어진 각 논리식들에서 2개의 큐브만으로 구성된 2-큐브 논리식 쌍을 추출한다. 2개의 큐브로 구성된 논리식 쌍들로부터 2-큐브 행렬을 만들고, 여기에 2-큐브 논리식의 보수를 추가하여 확장된 2-큐브 행렬과 압축 2-큐브 행렬을 만든다. 다음, 공통식 추출을 위해 압축 2-큐브 행렬을 분석한다. 그리디 방법(greedy method)에 의해 가장 많은 리터럴 개수를 줄일 수 있는 공통식을 선택한다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법을 논리회로 합성도구에 활용할 경우 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2008년도 춘계학술대회 학술발표회 논문집
• /
• pp.325-328
• /
• 2008

본 논문에서는 비선형 모델의 설계를 위해 Type-2 퍼지 논리 집합을 이용하여 불확실성 문제를 다룬다. 퍼지 논리 시스템의 멤버쉽 함수와 규칙의 구조는 불확실성이 존재하는 언어적인 정보 또는 수치적 데이터를 바탕으로 설계된다. 기존의 Type-1 퍼지 논리 시스템은 외부의 노이즈와 같은 불확실성을 효율적으로 취급할 수 없다. 그러나 Type-2 퍼지 논리 시스템은 불확실한 정보까지 멤버쉽 함수로 표현함으로서 불확실성을 효과적으로 다룰 수 있다. 따라서 본 논문에서는 규칙의 전 ${\cdot}$ 후반부가 Type-2 퍼지 집합으로 구성된 Type-2 퍼지 논리 시스템을 설계하고 불확실성의 변화에 대한 비선형 모델의 성능을 비교한다. 여기서 규칙 전반부 멤버쉽 함수의 정점 선택은 C-means 클러스터링 알고리즘을 이용하고, 규칙 후반부 퍼지 집합의 정점 결정에는 입자 군집 최적화(PSO : Particle Swarm Optimization) 알고리즘을 사용한다. 마지막으로, 비선형 모델 평가에 대표적으로 이용되는 가스로 시계열 데이터를 제안된 모델에 적용하고, 입력 데이터에 인위적인 노이즈가 포함되었을 경우 Type-2 퍼지 논리 시스템이 기존의 Type-1 퍼지 논리 시스템보다 우수함을 보인다.

• 한국컴퓨터정보학회논문지
• /
• 제4권4호
• /
• pp.1-8
• /
• 1999

인간의 사고 방법과 그 원리를 연구하는 논리에서 이진 논리는 True 혹은 False 중 하나만을 진리값으로 갖는 명제를 다룬다. 인간이 다루는 대부분이 기존의 이치논리는 다루기 힘든 애매성(Fuzziness)을 포함하고 있음에도 불구하고 이를 표현하는 지식은 부정확하며 신뢰성은 떨어지게 된다. 이러한 문제점을 해결하기 위하여 본 논문에서는 다치 논리를 사용하였으며, 다치 논리는 2치 논리에 비하여 동일정보량을 처리하는데 고속 처리가 가능한 장점을 가지고 있다. 그래서 2치 부호화를 기본으로한 정보시스템에 비해 다치 부호화 알고리즘을 사용하여 구성하는 기호다치논리를 사용하여 Fuzzy Inference에서 사용되는 Fuzzy Rule을 효과적으로 Minimization하여 추론이 가능하도록 하는 것이다.

• 논리연구
• /
• 제8권1호
• /
• pp.69-88
• /
• 2005

새로운 논리주의의 철학적 정당성 문제는 상당 부분 흄의 원리의 성격에 달려 있다고 할 수 있다. 왜냐하면 새로운 논리주의자들의 바람대로 산수가 논리학의 발전이라는 논리주의가 진정으로 정당화 되려면, 흄의 원리 자체가 적어도 분석적 진리의 일종으로 여겨질 수 있어야 하기 때문이다. 이 글에서는 그런 방안 가운데 하나로 제시 되는 내용의 분할 논제를 다루고, 이 논제가 새로운 논리주의자들의 주장처럼 흄의 원리의 분석성을 뒷받침해 줄 여지가 있음을 주장하였다. 이를 위해 프레게가 "기초"에서 제시한 내용의 분할 논제를 구체적으로 살펴보았고, "기초"의 내용의 분할 논제와 프레게의 다른 저작에 나오는 유사한 논제를 비교하여 이 논제의 성격을 좀더 분명히 하였다. 그런 다음 더미트의 주장과는 달리, 내용의 분할 논제가 프레게 철학 내에서 일관되게 유지될 수 있음을 보였다.

• 실천공학교육논문지
• /
• 제8권2호
• /
• pp.95-101
• /
• 2016

본 논문에서는 디지털 논리회로의 동작 원리에 대한 이해를 돕기 위해, 스위치 기반 LED (Light Emitting Diode) Art 논리 회로 구현 방법을 소개한다. 브레드 보드를 이용한 디지털 논리회로 실습은 국내 교육과정의 고등학교 및 대학교 수준의 해당 학과에서 필수 교육과정으로 지정하고 있다. 하지만 실제 실습에는 기초적인 구현 예제가 부족하고, 이에 따른 결과로 복잡한 디지털 논리회로 예제를 통한 학습으로 디지털 논리회로의 기초 동작 원리에 대한 이해를 방해하는 문제점을 갖고 있다. 따라서, 스위치를 이용한 기초적인 실습예제이며, 다수의 출력 장치 신호들을 동시에 제어하는 논리회로의 필요성을 이해할 수 있는 LED Art 회로 구현 방법을 제안하고 시험하였다.

• 실천공학교육논문지
• /
• 제9권1호
• /
• pp.41-48
• /
• 2017

본 논문에서는 기초 디지털 논리 회로 실습 교육 과정을 설계하기 위해, 디지털 출력을 갖는 아두이노 프로그래밍을 통한 디지털 논리회로 제어 방법을 제안하였다. 디지털 논리회로와 아두이노 프로그래밍 실습은 국내 교육과정의 고등학교 및 대학교의 공학 계열 학과에서 필수 교육과정으로 지정하고 있다. 하지만 실제 실습에는 디지털 논리회로와 아두이노 프로그래밍이 결합된 예제가 부족하고, 디지털 논리회로를 설계하고 오실로스코프 보다 저가의 비용으로 실험할 수 있는 교육 과정이 부족하다. 이에 본 논문에서는 이 문제를 해결하는 디지털 출력 명령을 통한 아두이노 프로그래밍을 통해, 디지털 논리회로를 제어하고 실습해보는 한 학기 기간의 기초 디지털 논리 회로 실습 교육 과정을 제안하였다.

• 한국과학교육학회지
• /
• 제22권4호
• /
• pp.696-705
• /
• 2002

본 연구에서는 우리나라 중학교 학생들의 상관논리 형성정도와 그 유형을 알아보고, 상관논리 활동을 통하여 학생들의 상관논리에 어떤 변화가 있는가를 알아보고자 하였다. 이를 위하여 중학교 2학년 학생 111명을 실험집단으로, 55명을 통제집단으로 선정하였다. 사전 검사에서는 두 집단 모두 상관논리의 형성률이 낮았으며, 집단간 차이는 없었다. 사후 검사에서는 실험집단의 상관논리 형성률이 유의미하게 증가하였으며, 통제집단의 경우는 사전 검사와 차이가 없는 것으로 나타나 상관논리 활동이 상관논리 형성에 도움이 되는 것을 알 수 있었다. 그러나 사후 검사에서도 실험집단의 정답률이 객관식 문항에서는 27%, 서술형 문항에서는 6% 정도로 나타나 상관논리가 완전히 형성된 학생들의 비율은 상당히 낮은 것으로 나타났다.