• 제목/요약/키워드: logic language

검색결과 359건 처리시간 0.025초

내장 자체 테스트의 low overhead를 위한 공간 압축기 설계 (A design of Space Compactor for low overhead in Built-In Self-Test)

  • 정준모
    • 한국정보처리학회논문지
    • /
    • 제5권9호
    • /
    • pp.2378-2387
    • /
    • 1998
  • 본 논문에서는 VLSI 회로의 내장 자체 테스트(Built-In Self-Test)를 위한 효율적인 공간 응답 압축기의 설계 방식을 제안한다. 제안하는 공간 압축기의 설계 방식은 테스트 대상 회로의 구조와는 독립적으로 적용할 수 있다. 기존의 공간 응답 압축기는 하드웨어 오버헤드(hardware overheads)가 크고, 고장 응답을 비고장 응답으로 변환시키는 에일리어싱(aliasing)에 의해 고장 검출률(fault coverage)을 감소시켰으나, 제안하는 방식에 의해 설계된 공간 응답 압축기는 기존의 방법에 비해 하드웨어 오버헤드가 작고, 고장 검출률을 감소시키지 않는다. 또한, 제안하는 방식은 일반적인 N-입력 논리 게이트로 확장이 가능하여 테스트 대상 회로의 출력 시퀸스에 따른 가장 효율적인 공간 응답 압축기를 설계할 수 있다. 제안한 설계 방식은 SUN SPARC Workstation 상에서 C 언어를 사용하여 구현하며, ISCAS'85 벤치마크 회로를 대상으로 선형 피드백 시프트 레지스터(Linear Feedback Shift Registers)에 의해 생성된 의사 랜덤(pseudo random)패턴을 입력원으로 사용하여 시뮬레이션을 수행하므로써 그 타당성과 효율성을 입증한다.

  • PDF

소규모 상업공간에 있어서 파사드의 구성에 관한 연구 (A Study on the Composition of Facade in the Small Commercial Building)

  • 김종훈
    • 한국실내디자인학회논문집
    • /
    • 제13호
    • /
    • pp.181-186
    • /
    • 1997
  • If you compare recent works in small commercial places along with the terms such as Post-Modernism, Late-Modernism, and Dismantling, to those of 60's and 70's, you will discover for sure that recent works try to model individually with 'surface'. Expressing the responses to the multilateral cultural desires is available through the organization of surface, so are the re-presentationsof classic notions by adding decorations to the vertical walls, which are different from modern constructions that have persisted on only space itself as a main point. These trends are various organizing techniques with forms, decorations, materials, color etc. and made the surface modeling develop. What a 'surface element' means as a concrete notion in a design process in a commercial place is enormous. So, it implies lots of notions and logic, and can be a strong message-conveying means as well as an expressional language. At this point of view, the research was limited to Facade, which is treated as a creational object to a designer all the time in order to study what kind of system the surface organization has in a small commercial place. This is to find out what kind of system the designer uses to make the spatial images, orders and forms through surface, but ultimately it is to discover the designer's basic tecniques that he or she uses when planning. To sum up, we have studied the meanings of the composition and the changes of the organization of Facade to analyze the organizing techniques in Pasad in a small commercial construction which designers planned as material. We have also investigated the organizing techniques of surface by examining and analyzing the elements of Facade organizing techniques, i.e. its form, decoration, material, pattern and color.

  • PDF

문헌정보학에 있어서 일상생활 연구의 방법론적 함의 - 최근 연구동향을 중심으로 - (Methodological Implications of Everyday Life Research in Library and Information Science - With Special Reference to Current Research Trends -)

  • 김정근;장덕현
    • 한국도서관정보학회지
    • /
    • 제30권2호
    • /
    • pp.55-75
    • /
    • 1999
  • 문헌정보학의 연구방법이 지나치게 실증주의 쪽으로 경도되어 있다는 것은 주지의 사실이다. 근래, 이것이 국내외적으로 비판의 대상이 되고 있기도 하다. 오늘날 연구자들은-문헌정보학은 인간학의 측면에서 연구될 필요가 있다고 주장한다. 현상학적인 관점에 따라 주관적 접근을 시도해야 한다는 것이다. 이들은 문헌정보학이 사서, 이용자, 관리자 둥의 형태로 다분히 '인간적' 요소와 관련이 있다는 정에 주목한다. 이 글에서는 관련 질적연구의 성과를 검토하고 특히 문헌정보학에서 일상생활 연구의 함의를 심도있게 따진다.

  • PDF

Swing 컴포넌트를 이용한 인터넷 기반 공정관리시스템 설계와 구현 (Design and Implementation of Progress Management System Using Swing Component Based on Internet)

  • 김태석;김종수
    • 한국멀티미디어학회논문지
    • /
    • 제13권8호
    • /
    • pp.1163-1170
    • /
    • 2010
  • 본 논문에서는 인터넷을 이용한 원격지 공정관리 시스템을 개발하는데 있어서 유지보수가 용이하고, 기능의 추가가 쉽도록 자바 언어와 GoF 디자인 패턴을 이용한 설계기법을 보인다. 시스템의 구현을 위해 현재 운전되고 있는 설비들의 상태를 파악할 수 있도록 설비 제어 박스에 있는 PLC에 RS232C와 RS422/RS485 통신모듈을 추가하였고, PLC를 통하여 제어되고 있는 정보를 송수신하기 위해 RS232C 통신을 Ethernet으로 변환시켜주는 변환기를 설치하였다. 다계층으로 구성된 시스템을 구현하기 위해 Swing 컴포넌트를 사용하였으며, Applet과 Frame GUI를 동시에 지원하여, 관리자가 인터넷을 통하여 원격지의 작업공정 진도를 쉽게 파악할 수 있도록 하였다. 다계층 구조의 주요 목적은 클라이언트들 간의 자원을 공유하는 것이다. 제안된 시스템은 원격지에서 설비를 제어하기 위한 소프트웨어를 제작하는데 도움을 줄 수 있고, 이와 비슷한 소프트웨어를 제작하려는 개발자에게 기존 코드를 쉽게 재사용하여, 새로운 기능을 쉽게 추가할 수 있다는 장점이 있다.

저전력 ARM7 TDMI의 정수 나눗셈 명령어 설계 (A Design of Interger division instruction of Low Power ARM7 TDMI Microprocessor)

  • 오민석;김재우;김영훈;남기훈;이광엽
    • 전자공학회논문지CI
    • /
    • 제41권4호
    • /
    • pp.31-39
    • /
    • 2004
  • 현재 ARM7 TDMI 마이크로프로세서는 소프트웨어 루틴들의 반복 알고리듬을 사용하여 정수 나눗셈 연산을 처리하고 있어 많은 명령어 수와 긴 수행 시간을 갖는다. 본 논문은 ARM7 TDMI 마이크로프로세서의 연산기능 중 구현되지 않은 정수 나눗셈 연산 기능을 제안하였다. 이를 위해 부호 없는 정수 나눗셈 명령어인 ‘UDIV’명령어와 부호 있는 정수 나눗셈 명령어인 ‘SDIV’ 명령어를 새로 정의하였으며, 명령어들의 수행하기 위해 ARM7 TDMI 마이크로프로세서의 데이터 패스에 나눗셈 알고리듬을 적용하였다. 적용한 나눗셈 알고리듬은 비복원 알고리듬이며, 기존의 데이터 패스를 최대한 이용하여 추가되는 하드웨어 유닛을 최대한 줄였다. 제안된 방법을 검증하기 위하여 HDL(Hardware Description Language)을 이용하여 RTL(Register Transfer Level)에서 설계하여 시뮬레이션 하였으며, 현재 ARM7 TDMI 마이크로프로세서의 정수 나눗셈 연산 처리 방법과 제안된 구조에서의 정수 나눗셈 연산 처리 방법을 수행 시간과 수행 명령어 수 측면에서 비교하였으며, 기존의 논문에서 제안한 정수 나눗셈기와 수행 시간과 추가되는 하드웨어 면적을 비교하였다.

HD급 영상을 효율적으로 복호하기 위한 CAVLC 복호화기 VLSI 설계 (Efficient CAVLC Decoder VLSI Design for HD Images)

  • 오명석;이원재;김재석
    • 대한전자공학회논문지SP
    • /
    • 제44권4호통권316호
    • /
    • pp.51-59
    • /
    • 2007
  • 본 논문에서는 H.264/AVC 엔트로피 부호화기의 베이스라인(Baseline)과 익스텐디드(Extended) 프로파일에서 사용되는 내용 기반 가변 길이 부호화(CAVLC: Context-based Adaptive Variable Length Coding)의 하드웨어 기반 복호화기 구조를 제안한다. 기존에 제안되었던 CAVLC 복호화기 하드웨어 구조는 5단계의 블록으로 설계되어 있고, 각 블록들이 유효비트를 얻기 위해서는 컨트롤러블록과 Accumulator블록을 거쳐 구해진다. 이때 레지듀얼 계수가 많을수록 이 과정을 여러 번 반복하게 되기 때문에 복호화 효율이 떨어진다. 본 논문에서는 이러한 유효비트를 구하는 과정을 줄이기 위해 2가지 방법을 제안한다. 한 가지 방법은 5단계로 이루어져 있던 블록을 4단계의 블록으로 줄이는 것이고 다른 한 가지 방법은 컨트롤러에 의한 덧셈 연산단계를 생략함으로써 블록별 유효비트를 효율적으로 구하는 것이다. 제안된 방법을 적용한 구조에 실험한 결과 하드웨어의 크기는 비슷하면서 하나의 매크로블록을 처리하는데 요구되는 평균 사이클 수가 기존의 방식보다 약 26% 줄었고 0.18um 표준 셀 라이브러리로 합성한 결과 14.2K 게이트를 가졌다.

통신 프로토콜 검정기 및 적합성시험 도구 개발 (Development of Verification and Conformance Testing Tools for Communication Protocol)

  • 서미선;황종규;이재호;김성운
    • 한국멀티미디어학회논문지
    • /
    • 제8권8호
    • /
    • pp.1119-1133
    • /
    • 2005
  • 프로토콜 명세의 검정과 적합성시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 LTS(Labeled Transition System)로 명세화된 프로토콜 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지에 대한 검사를 실험적으로 증명하는 도구를 구현하였다. 구현된 프로토콜 검정기는 modal mu-calculus를 사용하여 modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 UIO(Unique Input Output) 방법에 의해 유일한 입출력열을 이용하여 이끌어낸 결과 시퀀스가 구현에 대해 올바른지를 검사하는 적합성시험 계열 생성도구를 개발하였으며, 개발된 도구는 Windows NT 환경하에서 C++ 언어를 이용하여 구현되었다.

  • PDF

MIMO 통신 시스템을 위한 저전력 심볼 검출기 설계 연구 (Low Power Symbol Detector for MIMO Communication Systems)

  • 황유선;장수현;정윤호
    • 한국항행학회논문지
    • /
    • 제14권2호
    • /
    • pp.220-226
    • /
    • 2010
  • 본 논문에서는 2개의 송 수신 안테나를 갖는 MIMO 통신 시스템을 위한 저전력 심볼 검출기의 구조를 제안한다. 제안된 심볼 검출기는 MIMO 전송 기법 중 공간 다이버시티(spatial diversity, SD) 모드뿐 아니라 공간 다중화(spatial multiplexing, SM) 모드를 모두 지원하며, ML 수준의 성능을 제공한다. 또한, 연산 블록의 공유와 MIMO 모드에 따라 구분되는 클럭 신호를 사용하여 하드웨어의 전력 소모량을 크게 감소시켰다. 제안된 하드웨어 구조는 하드웨어 설계 언어 (HDL)을 이용하여 설계되었고, $0.13{\mu}m$ CMOS standard 셀 라이브러리를 사용하여 합성되었다. 전력 소모량은 Synopsys Power CompilerTM을 사용하여 측정되었고, 그 결과 기존의 설계 구조대비 제안된 구조의 경우 최대 85%까지의 평균 소모 전력을 감소시킬 수 있음을 확인할 수 있었다.

JDBC 응용 개발을 위한 RAD TOOL 개발 (Development of RAD Tool for JDBC Application Development)

  • 손승우;김순용;김창갑;이상덕
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제6권2호
    • /
    • pp.150-160
    • /
    • 2000
  • 클라이언트/서버 응용은 크게 데이타베이스 서버와 응용 및 프리젠테이션 로직을 포함한 클라이언트로 구성된다. 이러한 클라이언트/서버 응용은 최근의 웹의 성장과 함께 자바 언어를 많이 이용하는데 특히 클라이언트 쪽의 GUI 구현과 JDBC를 이용한 클라이언트/서버 응용에 많이 쓰인다. JDBC를 이용하여 클라이언트/서버 응용을 개발할 경우 먼저 응용의 바탕이 되는 데이타베이스의 설계, JDBC 접속을 위한 코딩, 데이타베이스로부터 선택된 데이타들을 보여주기 위한 리포트 양식 등의 설계가 필요하다. 본 논문에서는 이러한 JDBC를 이용한 클라이언트/서버 응용 개발에 필요한 컴포넌트들을 자바빈즈로설계 및 구현하고 이를 이용한 개발 환경을 제시한다. 구현된 환경을 이용하면 클라이언트/서버 응용의 개발에 있어서 소스 코드 편집을 최소화하고 자바빈즈 컴포넌트들의 선택 및 이들의 속성 편집만으로 쉽게 구현할 수 있다.

  • PDF

새로운 N-ary 관계 디자인 기반의 온톨로지 모델을 이용한 문장의미결정 (A Semantic Similarity Decision Using Ontology Model Base On New N-ary Relation Design)

  • 김수경;안기홍;최호진
    • 정보관리학회지
    • /
    • 제25권4호
    • /
    • pp.43-66
    • /
    • 2008
  • 시맨틱 웹 기술의 제안과 더불어 다양한 분야에 온톨로지의 특징을 적용한 기술 개발 연구가 많이 진행되고 있다. 인간이 소유한 개념을 가장 적절하게 표현하기 위해 현재에도 OWL, RDF와 같은 온톨로지 언어의 표현력을 확장시키기 위해 N-ary 관계나 모델-이론 의미론과 같은 개발이 진행되고있다. 본 연구는 한국어에 있어 문장이 내포하는 의미를 정확하게 결정하기 위해 문장의 구조에 따라 달라지는 단어의 의미를 연관할 수 있도록 N-ary 관계와 디자인 기반이 적용된 온톨로지의 지식 표현 방법을 연구하였다. 특히 다양한 지식 영역을 포함하는 다의어(polysemy)와 동의어(synonym)의 특징을 갖는 단어에 있어 각 지식 영역으로 분류되어 각 지식 영역에 있는 유사한 의미를 가진 단어로 확장되어 유사한 의미를 가진 단어가 포함된 문장의 경우 까지도 확장할 수 있는 표현 방법을 연구하였다. 연구의 검증을 위해 사용자가 입력한 병증 문장을 제안된 방법에 따라 구축된 온톨로지내 지식 관계와 의미 결정을 위한 추론 표현 방법을 이용하여 병증의 의미를 결정하고 그에 따른 진단을 제공하는 실험 시스템을 구현하였고, 한국어가 갖고 있는 문장의 유의성, 모호성, 복합성 의 특징을 보유한 증상문들의 실험 결과 의미 결정과 유사 의미 확장에 있어 우수한 성능을 보여주었다.