• 한국정보과학회논문지:데이타베이스
• /
• 제31권4호
• /
• pp.395-408
• /
• 2004

논리곱 불리언 질의는 질의에 포함된 키워드들이 모두 나타나는 텍스트 문서들을 검색하는질의로서, 정보검색 시스템에서 가장 널리 사용되는 질의이다. 논리곱 불리언 질의는 검색의 정확도를 높이기 위하여 많은 수의 키워드로 구성된 긴 질의를 사용한다. 이 경우. 키워드 처리 순서가 성능에 크게 영향을 미친다. 기존 정보검색시스템에서는 휴리스틱에 의존하여 키워드 처리 순서를 결정하므로 최적을 보장하지 못한다. 동적 프로그래밍과 같은 기존의 데이타베이스 질의 최적화 알고리즘은 복잡도가 지수적으로 증가하므로(Ο(n2$^{n-1}$)), 키워드 수가 많은 논리곱 불리언 질의에는 적합하지 않다. 본 논문에서는 조인시퀀스 분리성이라는 새로운 개념에 기반한 논리곱 불리언 질의 최적화 알고리즘을 제안한다. 조인 시퀀스 분리성이란 조인에 참여하는 릴레이션들이 어떤 조건을 만족할 경우, 최적 조인 시퀀스가 두 개의 서브 시퀀스로 분리된다는 성질이다. 이 성질을 활용하면 Ο(nlogn)만에 최적 조인 시퀀스를 구할 수 있다. 본 논문에서는 이러한 조인 시퀀스 분리성의 개념을 정형적으로 정의하고 이에 기반한 질의 최적화 알고리즘의 최적성을 이론적으로 증명한다. 그리고, 제안한 질의 최적화 알고리즘의 성능 평가를 위해, 비용 모델을 사용하여 다양한 시뮬레이션을 수행한다. 그 결과, 제안한 알고리즘의 성능이 기존의 휴리스틱 기반 질의 최적화 알고리즘들에 비해 100배 이상 우수함을 보인다. 또한, 동적 프로그래밍 알고리즘에 비해 질의 최적화 시간 면에서 기하 급수적으로 우수함을 보인다(키워드 개수가 10 개일 경우 600배 이상 우수함).

• 대한전자공학회논문지
• /
• 제26권1호
• /
• pp.98-103
• /
• 1989

본 논문에서는 게이트 레벨에서 논리 최적화를 하기 위한, 새로운 시스템을 제안한다. 본 시스템은 회로의 일부분을 간략화된 등가회로로 대치하는 local transformation을 rule로 표현한 rule-based 시스템이다. 본 시스템에서는 효율적인 패턴매칭을 위해, 'rule의 일반화'와 '국소최적화'를 제안한다. Rule의 일반화는 패턴매칭시 회로탐색을 줄이기 위해 사용되며, 국소최적화는 불필요한 회로탐색을 배제하기 위해 사용된다. 또한, 불필요한 패턴매칭 시도를 줄이기 위해, 회로 패턴의 매칭순서를 rule 기술에 포함시킨다. 또한, 본 시스템을 하드웨어 컴파일러에 의해 생성된 논리회로 최적화에 적용하여, 그 효용성을 보인다.

• 전자공학회논문지
• /
• 제51권11호
• /
• pp.57-65
• /
• 2014

본 논문에서는 전류 모드 논리 회로들로 구현되는 고속 디지털 회로의 설계를 가능하게 하는 수식 기반의 자동화 설계 틀을 제시하고자 한다. 제안된 매크로 모델은 제약 기반의 최적화를 가능하게 하는 geometric programming에 호환 가능하며 이를 통해 시스템 레벨에서의 전력 소모 최적화를 가능하게 한다. 제안된 수식 기반의 자동화 설계 틀은 전류 모드 논리 회로고속 디지털 회로의 대표적인 종류 중 하나인 시리얼 링크 전송회로에 적용 되었다. 이를 통해, 사용자 정의 설계 사양에 따라 최적화를 수행하게 된다. 제안된 수식 기반의 자동화 설계 틀은 CMOS 45nm 와 90nm 각각 적용 되어 시리얼 링크 설계의 전력 소모 최적화를 수행하였으며, 이를 통해 각각의 공정 노드에 존재하는 최적의 전력 효율을 가지는 시리얼 링크의 데이터 스피드를 얻어 낼 수 있다.

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

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

• 한국정보통신학회논문지
• /
• 제16권3호
• /
• pp.571-578
• /
• 2012

본 논문에서는 크게 두 가지 사항에 대해서 제안하고자 한다. 첫 번째는 논리합성을 위한 제약조건 방법에 대한 것이고, 두 번째는 효율적인 논리합성방법에 대한 것이다. 논리 합성은 주어진 제약조건(constraint)을 최대한 만족 시키면서 논리 사상과 최적화 등을 통하여 RTL(register transfer level) 코드로부터 게이트-수준의 네트리스트를 얻는 과정이다. 논리합성의 결과는 주어진 제약조건과 합성 방법에 매우 종속적이다. 이들에 의해서 설계의 면적 및 타이밍이 크게 변화하므로 우리는 제약조건과 합성방법을 철저하게 고려하여야 한다. 본 논문에서는 논리합성을 하는 과정에서 실제로 고려해야하는 사항들에 대해서 경험적이고 실험적인 결과를 바탕으로 혼합방식의 논리합성 기법을 제안한다. 제안된 기법을 이용하여 약 65만 게이트의 하드웨어 자원량을 사용하는 회로에 적용시켜본 결과로 상향식 방법에 비해서 합성 시간이 약 47% 감소하였고, 하향식 방법에 비해서 타이밍 특성이 우수하였다.

• 디지털콘텐츠학회 논문지
• /
• 제18권5호
• /
• pp.881-888
• /
• 2017

다중화기를 이용한 논리설계는 구조적 디지털 시스템 설계에서 설계의 편리성과 유연성을 위한 유용한 방법으로 사용되어왔다. 본 논문에서는 다중화기(multiplexer : MUX) 기반 논리설계에서 종래의 연구들에서 세밀히 다루지 않았던 무정의 조건(don't care condition)이 논리최적화에 미치는 영향을 분석해보고 단일 다중화기 기반의 설계와 복수 다중화기 기반의 설계를 위한 무정의 조건의 활용방법을 제시한다. 특히 데이터 입력의 개수가 $2^m$개보다 적은 경우(선택선의 개수는 m개일 때)의 설계방법을 고찰한다. 제시하는 기법을 디지털논리설계 교육과 관련하여 최근 창의적 공학교육에서 크게 활용되고 있는 아두이노(Arduino)를 이용한 마이크로프로세서 설계와 연계하여 활용하는 방법에 대해서도 기술한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 춘계종합학술대회
• /
• pp.355-360
• /
• 1999

본 논문에서는 퍼지 논리 제어기에서 전문가의 지식없이 시행 착오법에 의해 최적화 되지 않은 제어 규칙을 이용하는 경우에도, 소속 함수 관계와 스케일링 팩터를 유전자 알고리즘으로 최적화하여 우수한 제어 성능을 갖는 지능 제어 방식을 제안한다. 제안하는 제어 방식은 실제 플랜트는 퍼지 논리를 이용해서 제어를 하되 먼저 오프 라인상에서 퍼지 제어기의 소속 함수 초기 변수값과 스케일링 팩터의 초기값을 유전 알고리즘으로 최적화시킨후 제어를 하는 직접 적응 제어 방식이다. 제안된 제어 방식의 유용성을 확인하기 위하여 비선형 시스템을 제어 대상으로 기존의 퍼지 제어 방식과 시뮬레이션을 통하여 비교 및 검토를 한다.

• 한국정보통신학회논문지
• /
• 제5권7호
• /
• pp.1374-1383
• /
• 2001

기존의 제어방식 보다 강인성이 우수한 퍼지 논리 제어방식에서 최적화되지 않은 제어규칙을 이용하여, 오프라인 상에서 소속함수 관계와 스케일링 팩터를 유전자알고리즘으로 최적화한 후, 온라인으로 퍼지제어기를 구성하는 제어방식을 제안하였다. 제안한 방식을 단일 링크 매니률레이터의 추종제어에 적용하여 기존 퍼지제어 방식과 비교 검토한 결과 퍼지제어규칙의 수도 감소하고 제어성능도 우수함을 확인하였다.

• 한국산학기술학회논문지
• /
• 제10권11호
• /
• pp.3227-3233
• /
• 2009

본 논문에서는 나눗셈 행렬을 이용하여 부울 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자하는 2개의 논리식들로부터 대수 나눗셈에 의한 행렬을 만들고 부울 공리와 리터럴 추가를 통해 부울 나눗셈 행렬로 확장을 한다. 부울 나눗셈 행렬에 리터럴을 추가하여 확장된 부울 나눗셈 행렬을 만들고, 원소들을 커버링하여 부울대입식을 산출한다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국조경학회:학술대회논문집
• /
• 한국조경학회 2007년도 The Evolution and Expansion of
• /
• pp.31-35
• /
• 2007

풍수지리학은 인간이 자연 속에서 좀 더 건강하고 안락하게 살아갈 터를 구하는 동양의 지리관이며 실용학문이다. 경전에 의해 전승된 전통풍수학의 이론체계 중 이기론(理氣論)은 산과 바람, 그리고 물의 순환궤적과 양을 나반(羅盤)를 이용하여 혈(穴)을 찾는 과정으로 땅의 기운을 12단계의 자연순환원리고 구분하고, 88향법(向法)으로 방위를 가늠하여 좋은 터를 선택하는 객관적이며 논리적인 자연환경분석체계임이 고찰되었다. 이러한 맥락에서 이기론의 12순환체계(胞胎法)에 의한 88향법 논리를 방위론에 입각하여 최적화한 다음, GIS분석 틀을 원용하여 사례대상지의 적지분석 결과와 풍수 향법의 결과치를 비교 분석해 본 결과, 88항볍의 적용으로 보다 융통성있는 향과 부지를 선택할 수 있음이 유추되었다. 장차의 연구로서 최적화된 88향법의 풍수논리를 중심으로 보다 다양한 변수의 적용과 면밀한 사례분석이 요구된다.