• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1999년도 춘계학술대회 발표논문집
• /
• pp.75-79
• /
• 1999

다치결정도(Multiple-valued Decision Diagram : MDD)와 순서화된 다치결정도(Ordered MDD : OMDD)는 다치논리함수의 표현에 폭넓게 사용된다. p치 n변수 인 경우 p$^{(n-1)}$ 으로 증가하는 노드의 수는 ROMDD(Reduced OMDD)를 사용하여 현저하게 감소시킬 수 있다. 그러나 다치와 다변수의 경우에는 더욱 많은 공정을 수반하게 된다. 이러한 단점을 보완하기 위해 Honghai Jiang이 제안한 2치시스템에서의 input implict/output explicit 관계를 갖는 OVAG(Output Value Array Graph)를 사용하여 다치논리함수를 표현한다. 고리고 MDD 표현이 어려운 상황에서 MOVAG(Multi OVAG)를 사용하여 보다 쉽게 출력값을 배열하는 그래프를 이끌어 낼 수 있다. 본 논문에서는 MOVAG의 구성방법과 회로에서 MOVAG로의 변환에 대한 알고리즘을 제안하였고, 알고리즘에 의한 결과를 MDD와 비교하여 노드수 감소에 따르는 처리속도가 개선됨 을 검증하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2000년도 추계종합학술대회
• /
• pp.439-447
• /
• 2000

현재 방범 시스템은 적외선, 초음파 둥의 I-지기의 신호에 의존하여 외부로부터의 침입을 감지하고 있으나 방범 시스템이 설치된 환경에 따라 이런 감지기의 정확성이 달라지므로 오 동작의 가능성을 포함하며 신뢰성이 저하되고 있다. 실제 외부로부터의 침입을 확인하기 위해서는 화상과 음성 그리고 감지기의 신호를 조합하여 정확한 판단이 가능하지만 화상을 전송하기 위해서는 고가의 회선비용을 부담해야만 한다. 하지만 인터넷을 이용하여 화상을 전송하는 제품들이 출시되면서 Real-time 화상감시가 가능해졌다. 이런 화상감시 제품들은 Netscape, MS Explorer와 같은 표준 Web Browser을 통해 Real-time으르 전세계 어디서나 화상을 감시할 수 있다는 장점을 가지고 있다. 적용분야는 호텔주변, 관광지의 여러 명소에 설치 후 홈페이지에 링크시켜 홍보용으로 사용하거나 공장 주요시설, 교통상황 둥의 중요지역의 Monitoring에 활용하고 있다. 그러나 방범 시스템에 적용하기에는 감지기의 확장성, 방범 관제센터 시스템과의 연동이 부족하여 본 고에서는 현재 출시된 화상감시 시스템과 기존 방범시스템을 Integration하여 방범의 최종 목표인 화상과 감지기 신호의 조합에 따른 정확한 방범시스템의 구현에 대해서 기술하고자 한다. 화상방범시스템의 구현은 크게 두 가지로 나누어지며 첫째는 화상감시 시스템과 방범시스템간의 통신을 설계하는 것으로 기존 대부분의 방범시스템이 사용하는 RS-485 통신 프로토콜을 재설계하여 화상감시 시스템과의 통신을 설계하였으며 둘째는 화상감시시스템과 관제센터 시스템간의 통신을 설계하는 것으로 현재 화상감시 시스템의 TCP/IP 프로토콜을 이용한 socket 통신으로 관제센터 시스템과의 실시간 데이터 전송을 가능하게 했다. 이 시스템을 활용할 경우 고객들은 반드시 관제센터시스템의 인증을 거쳐야 하므로 고객의 DataBase를 축적할수 있으며 이 정보를 활용하여 인터넷 화상방범 서비스 Potal Site구축이 가능하다는 장점이 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.668-670
• /
• 1998

테크놀로지 매핑의 효율성은 매핑된 회로의 지연시간과 회로의 면적에 의해서 평가되어진다. 특히 순차회로에서는 레지스터 사이의 조합회로의 최대지연시간에 의해서 전체회로의 지연시간이 결정된다. 본 논문에서는 순차회로에 대한, 건설적인(Constructive) 단계와 반복적인(Iterative) 단계의 리타이밍 기술과 퍼지 논리에 의해 향상된 FPGA 매핑 알고리즘을 소개한다. 주어진 초기회로는 건설적인 방법에 의하여 FPGA회로로 초기매핑되어진후 반복적인 리타이밍에 의하여 매핑회로의 효율을 높이게된다. 초기회로에 주어진 여러 가지 기준들은 결정 함수(Decision Making)에 대한 퍼지 이론 법칙의 계층적인 구조에 의해 연결되어져 있다. 제안된 매퍼는 MCNC 밴치마커의 실험을 통해 지연시각과 면적에서 기존 매핑시스템의 성능을 능가함을 보여준다.

• 논리연구
• /
• 제15권3호
• /
• pp.307-322
• /
• 2012

프리드먼에 의해 제안된 "크루스칼 정리의 소형화 정리"가 2차 페아노 공리체계의 부분 시스템인 $(\prod_{2}^{1}-BI)_0$에서 증명될 수 없음을 증명한다. 또한 위 증명이 크루스칼 정리와 관련된 기존의 연구에서 알려진 중요한 정리들을 잘 조합함으로 해서 가능함을 보인다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2004년도 전력전자학술대회 논문집(1)
• /
• pp.411-414
• /
• 2004

본 연구에서는 RPP(Randomized Pulse Position PWM)의 특징과 RSF(Random Switching Frequency PWM)의 특징을 모두 갖는 하이브리드 RPWM (Random PWM)기법을 제안하였다. 제안된 방법은 PRBS(Pseudo-Random Binary Sequence)로 동작하는 시프트 레지스터의 lead-lag 랜덤 비트를 사용한다는 점에서 종전의 방법과 동일하나, 이와 논리적인 비교를 위해 랜덤 주파수의 삼각파를 이용한다는 점에서 종전의 방법과 다르다. 본 연구의 타당성을 확인하기 위하여 인버터 기반의 3상 유도모터 구동시스템에 제안된 방법을 적용하였다. 그 결과 종전의 방법에 비하여 인버터 구동 유도모터의 전압 및 전류의 고조파 스펙트럼의 광 대역화에 탁월한 효과가 있음을 입증할 수 있었다.

• 대한전자공학회논문지SD
• /
• 제44권11호
• /
• pp.56-64
• /
• 2007

본 논문은 CMOS-나노 혼성 소자들 중 실현 가능성이 높은 CMOL 회로 설계 자동화 전용 시스템을 최초로 제안한다. CMOL 아키텍처는 NOR 게이트를 이용하여 조합회로의 구현한다. 이 CMOS-나노 혼성 구조는 논리 함수 및 연결 구조가 동일 나노 소자 하드웨어 자원을 공유하는 특징을 가진 새로운 설계 자동화 문제를 제기한다. CMOL의 물리 설계 자동화를 위해 먼저 CMOL 하드웨어 아키텍처 모델을 개발하고 이 CMOL 구조를 위한 배치 배선 문제에서 CMOL만의 특수한 제약조건을 도출하였으며 배치 알고리즘과 게이트 지정 알고리즘을 루프 형태로 조합하여 해를 구하는 접근 방법을 제안하였다. 제안된 접근 방법을 사용하여 CMOL 나노 전자 아키텍처를 위한 전용 설계 자동화 시스템을 개발하였으며 이 시스템을 이용하여 마이크로프로세서 설계에 실제 사용되는 모듈들을 구현함으로써 그 효용성을 증명하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
• /
• pp.408-411
• /
• 2006

유비쿼터스 컴퓨팅 환경에서 서비스를 제공함에 있어 지능적인 수행 능력은 사용자의 만족도를 높여주는 핵심 요소이다. 시스템의 지능을 부여하기 위해서는 지식을 관리, 처리, 활용하는 기능이 필요한데, 이들 기능은 그 지식이 어떻게 표현되어 있는지에 큰 영향을 받는다. 일차 술어 논리 기반 지식 표현 방법은 폭넓은 표현 범위와 유연한 지식 정의, 추론 방법으로 선호되고 있지만, 복잡한 계산 비용을 갖고 있기 때문에, 전문적인 지식 처리 시스템이 아닌 경우, 불필요한 계산 비용이 소요된다. Description Logic은 Frame기반 지식 표현 방식으로 일차 술어 논리를 사용하는 것보다 지식을 표현할 수 있는 범위는 제한적이지만, 빠른 추론 결과를 보장해 준다. 유비쿼터스 컴퓨팅 환경에서는 분산된 다양한 오브젝트들이 협력과정을 통해 사용자에게 지능적인 서비스를 제공하게 되고, 이들 개별적인 오브젝트들은 저사양의 계산능력을 갖고 있다고 가정된다. 그러므로, 저사양의 컴퓨팅 오브젝트들을 조합하여 지능적인 서비스를 성공적으로 제공하기 위해서, 각각의 오브젝트들은 제한된 지식을 효과적으로 관리할 수 있는 방법이 필요하다. 이를 위해 본 논문에서는 Frame 기반의 Description Logic을 기반으로 SUNHI의 표현 범위를 가진 인식론적 온톨로지 표현 언어를 제안하고, SUNHI의 표현 범위의 효율성을 증명하고자 한다.

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

본 논문에서는 시간 개념이 포함된 역사적 지식을 표현할 수 있는 사건 온톨로지(event ontology) 기반의 역사 온톨로지 모형인 Y-HisOnto 를 제안한다. 제안한 역사 온톨로지 모형은 기존의 온톨로지에서 사용되는 이진 관계(binary-relationship)로 표현된 단편적 지식들을 조합하여 다진 관계(n-ary relationship)를 이용하여 역사적 사건 관련 지식을 표현한다. 제안한 온톨로지 모형에 기반하여 사건 중심의 지식을 온톨로지로 구축하고, 사건 관련 질의에 대해 온톨로지 논리 검색 실험을 수행함으로써 제안한 온톨로지 모형이 Q&A 시스템에서 효과적으로 활용될 수 있음을 확인한다.

• 한국정보처리학회논문지
• /
• 제3권7호
• /
• pp.1697-1706
• /
• 1996

이 논문에서는 멀티미디어 회의를 하면서 공동 편집을 하는 시스템 MissCW (Multiuser Interactive System for Synchronous Collaborative Writing)를 설계하고 구현한 내용을 소개한다. 이 시스템의 문서 모델인 DMDA(Distributed Multimedia Document Architecture)는 논리 구조를 가지며 표현 스타일 객체와 표시 객체를 포함 한다. 본 공동 저작 시스템의 동기성은 멀티미디어 회의와 편집 윈도우의 공유 모드로 실현되었다. 이 시스템의 공동 편집기는 분산 객체들을 논리 구조로 조합 하여 하나의 문서로 만들 수 있는 구조 지향적 편집 방식을 제공한다. 미들웨어인 공유 객체 관리자 (SOM;shared Object Manager)는 공유 객체들을 일관성 있게 유지하며 응용 프로그램이 객체들을 효율적으로 이용할 수 있게 도와준다. 이 시스템의 하부 제어 구조는 강력한 서버 없이도 구현이 가능하도록 기본적으로는 복제 구조를 채택하였으나 공유 자료의 일관성유지를 위하여 가상 노드로의 중앙 집중 구조를 혼합 적용하였다. 가상 노드는 공유 객체 관리자의 객체 제어기에 해당하며 공유 객체 테이블(SOT; Shared Object Table)을 다루는 모든 일을 한다.

• 골판지포장물류
• /
• 통권77호
• /
• pp.95-101
• /
• 2008

이 매뉴얼에는 놀라운 기술적 비밀 또는 특허가 될 만한 정보가 있는 것은 아니다. 대부분의 정보는 골판지 산업계 내에서 수십년 동안 존재해왔던 것들이다. 이 메뉴얼은 단지 현재 존재하고 있는 이런 정보들을 군에서 사용되는 유지관리 시스템에 맞추어 하나의 논리적인 형식으로 압축한 것에 지나지 않는다. 하지만 이 매뉴얼이 나오기 까지 물신양면으로 도움을 주신 몇몇 분들에게 감사를 전하고자 한다. 첫 번째로 미육군에 감사하고 싶다. 유지관리 초년장교로서 나는 심지어 가장 오래된 골동품인 1959년형 2.5톤 트럭조차도 수 십년간 최적의 수준으로 달리게 만드는 미육군의 매우 조직적이고 단순한 유지관리 시스템을 보고 매우 놀랐었다. 이 매뉴얼 안에 있는 조직적인 틀은 그러한 경험의 산물이다. 나에게 많은 훈련을 시켜 주었고 정보를 준 웨스트베코사(Westvaco Corporation)의 짐버트(Jim Burt)에게 감사하지 않을 수 없다. 이 책에 소개되어 있고 현재 골판지 산업계에서 사용되는 조정에 관한 대부분의 정보는 스톤 컨테이너사(Stone container corporation)의 던드래쥐(Don Drage)의 공이 크다. 이외의 정보는 종이판지 포장잡지(Paperboard packaging magazine)의 에드릴레이(Ed Riley)와 같은 지도자에 의해 쓰여진 기사들에서 얻어진 것이다. L.A. 사우어사(L.A. Saur Corporation)와 같은 장비와 부품회사들 또한 그들 전문분야에서의 가장 최신의 정보를 제공해 주었음을 밝히는 바이다.