• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 추계학술대회 학술발표 논문집 제14권 제2호
• /
• pp.453-456
• /
• 2004

퍼지논리제어기는 제어 대상 플랜트에 관한 완전한 정보를 필요로하지 않으면서도 우수한 제어 성능을 발휘하는 비선형 제어기이다. 그러나 퍼지논리제어기는 많은 장점에도 불구하고 엄격한 수학적 해석을 요구하는 안정성 분석의 관점에서는 다소의 문제점을 가지고 있다. 본 논문에서는 퍼지논리제어기를 가지는 전체 폐루프 시스템을 섭동의 성분을 가지는 Lur'e 시스템으로 변형하고, 이를 통하여 퍼지논리제어기의 절대 안정성을 입증하고자 한다. 여기서는 이미 기존의 논문에서 제시한 간단구조 퍼지논리제어기를 대상으로 절대 안정성 해석을 제시한다.

• 전기전자학회논문지
• /
• 제9권1호
• /
• pp.1-6
• /
• 2005

본 논문에서는 CMOS 다치 논리회로를 이용한 고성능 곱셈기를 제안하였다. 이 곱셈기는 Modified Baugh-Wooley 곱셈 알고리즘과 전류모드 4치 논리회로를 적용하여 트랜지스터의 수를 감소시키고 이에 따른 상호연결 복잡도를 감소시켜 곱셈기 성능을 향상시켰다. 제안한 회로는 전압모드 2진 논리신호를 전류모드 4치 논리신호로 확장하는 동시에 부분 곱을 생성하고 4치 논리 가산기를 통해 가산을 수행 후 전류모드 4치-2진 논리 변환 디코더를 이용하여 출력을 생성한다. 이와 같이 곱셈기의 내부는 전류모드 4치 논리로 구성하였으며 입출력단은 전압모드 2진 논리회로의 입,출력을 사용함으로써 기존의 시스템과 완벽한 호환성을 갖도록 설계하였다. 이 곱셈기는 6.1mW의 소비전력과 4.5ns의 전달지연을 보였으며, 트랜지스터 수는 두 개의 비교 대상 회로에 비해 60%, 43% 노드 수는 46%, 35% 감소하였다. 설계한 회로는 3.3V의 공급전원과 단위전류 5uA를 사용하여, 0.35um 표준 CMOS 공정을 이용하여 구현하였으며, HSPICE를 사용하여 그 타당성을 입증하였다.

• 논리연구
• /
• 제11권1호
• /
• pp.33-65
• /
• 2008

최근에 양은석은 "비트겐슈타인과 초일관성: 비트겐슈타인의 반실재론"에서 모순에 대한 비트겐슈타인의 견해에 대해 매우 주목할 만한 주장을 하였다. 그에 따르면, 비트겐슈타인은 약한 의미의 초일관주의자로 간주될 수 있다. 이 글에서는 이러한 양은석의 주장이 설득력 없는 것임을 보이고자 한다. 또한 비트겐슈타인이 논리학과 수학, 그리고 모순을 어떻게 바라보았는지를 가능한 한 공정하게 조명하고자 한다. 여러 학자들은 모순에 대한 비트겐슈타인의 생각이 대단히 특이한 것이라고 간주하였고, 더 나아가 마치 어떤 중대한 오류를 포함하는 것처럼 평가하였다. 그러나 이제 이러한 평가는 더 이상 유효하지 않다. 모순과 관련된 비트겐슈타인의 생각은 더 이상 특이하지 않다. 왜냐하면 그의 생각은 옳기 때문이다.

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

다 개체군 유전자 알고리즘에서는 여러 개의 개체군을 사용하여 각 개체군을 독립적으로 진화를 시키는데, 이 논문에서는 퍼지 논리 제어를 이용하여 독립적으로 개체군을 진화시켜 집단으로 이주시키는 새로운 코딩방법을 제안한다. 이 퍼지 논리 제어는 최적화과정 동안 교배 비율과 돌연변이 비율을 적합하게 조절하여 수행하는 두 퍼지 논리 제어를 나타낸다. 제안하는 방식을 성능평가해서 기존의 방식과 비교해 보았다. 제안하는 방식이 수렴속도를 향상시킬 수 있다는 장점을 보여준다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 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 모듈)의 동작 원리를 개발한다.

• 한국과학교육학회지
• /
• 제29권4호
• /
• pp.437-449
• /
• 2009

이 연구의 목적은 한국 중학생들의 논리적 사고에 대해 메타분석을 통해 평균적인 논리 형성 정도를 알아보는 것이다. 1980년대부터 2000년까지 학술지에 게재된 논리적 사고 하위 논리를 조사한 연구는 6편이며, 이들에 대해 메타 분석해 본 결과, 우리나라 중학생들의 GALT 검사에 의한 논리적 사고 형성자 비율은 32% 정도이며, 하위 논리별로 보면, 보존 논리 48%, 비례 논리 42%, 변인통제 논리 29%, 확률 논리 33%, 상관 논리 10%, 조합논리 35% 정도로 나타났다. 우리나라 중학생들의 논리 형성자 비율 평균은, 비슷한 시기에 다른 연구자들에 의해 조사된 미국 학생들의 수준(31%)과는 비슷하고 일본 중학생들의 수준(50%)에 비해서는 많이 떨어지는 것으로 나타났다.

• 논리연구
• /
• 제12권1호
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.624-626
• /
• 2003

본 논문에서는 가상환경을 구현할 때 환경에 논리적 객체를 등장시키는 것을 목적으로 하고 있다. 기존의 가상환경을 구현하는 시스템에서는 환경에 객체를 등장시킬 때 환경과 객체의 논리적 연관성을 고려하지 않고 있어, 가상환경의 사실성을 보장하지 못하고 있다. 본 논문에서는 논리적 객체 삽입을 위하여 가상환경에 필요한, 가상환경에서 요구하는 객체들을 환경과의 논리적 연관성을 고려하여 미리 모델링해 놓는 Nursery 모델을 제시한다. 이 Nursery는 Ontology를 기초로 하여 구축되어, 다양한 추상화 레벨에 따른 논리적 연관성을 보장하여 줄 수 있다. 이는 나아가 가상환경 자체의 사실성을 보장하여, 실제 환경에서 일어날 수 있는 다양한 이벤트들이 전개될 수 있게 한다.

• 논리연구
• /
• 제7권1호
• /
• pp.41-65
• /
• 2004

이 글은 박병철과 이승종의 저술에 대한 박정일의 서평을 중심으로 비트겐슈타인 철학의 몇몇 문제점을 고찰하면서 다음과 같은 것을 주장한다. 첫째 비트겐슈타인 철학의 현상학적 양상을 추적하고 있는 박병철의 현상학의 개념이 명백하지 않다. 둘째 "논리철학논고"의 유아론은 경험적 유아론이 아니라 선험적 유아론이다. 셋째 "논리철학논고"의 대상은 감각자료가 아니다. 넷째 우리에게 주어진 소여는 논리적인 것이다. 다섯째 박병철은 이 논리적인 것을 경험에 근거지우는 실책을 범하고 있다. 여섯째 모순의 형식적 개념에 대한 이승종의 비판은 성공적이지 않다. 일곱째 이것은 박정일이 지적한 것처럼 허수아비 공격의 오류를 범했기 때문인 것처럼 보인다. 여덟째 모순된 규칙에 대한 이승종의 이해는 박정일이 지적하듯이 잘못되었다.

• 한국게임학회 논문지
• /
• 제9권1호
• /
• pp.3-10
• /
• 2009

본 논문은 중학교 2학년 학생들을 대상으로 한국형 LOGO 프로그래밍을 사용하여 논리적 사고와 이의 하위논리에 대해 어떠한 영향을 미치는지 분석하였다. 그 결과, LOGO 프로그래밍 학습은 학습자의 논리적 사고와 이의 하위논리 신장에 매우 효과적임을 알 수 있다.