• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.27-32
• /
• 2010

Logical Effort의 기법은 회로의 지연 값을 간단한 필산으로 신속하게 측정할 수 있는 기술이다. 이 기법은 설계 공정 시간을 절약하는 장점도 있지만 고정 지연이라는 설계조건에서 회로의 면적이나 전력의 최소화를 도출할 수 있는 논리 경로를 설계하는데 약점도 있다. 이 논문에서는 균형 지연 모형을 제안하고 이 방법을 기반으로 논리경로에서 전력-지연 효율성을 최적화하는 기법을 제안하고자 한다. 본 논문의 기법을 사용하여 8-input AND 게이트의 3가지 서로 다른 설계 회로를 모의 시험한 결과 기존 Logical Effort의 기법보다 약 40%정도 전력 소비의 효율성이 향상되었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권3호
• /
• pp.103-110
• /
• 2013

논리 노력[1, 2]의 기법은 회로의 지연 값을 간단한 필산으로 신속하게 측정할 수 있는 기술이다. 이 기법은 설계 공정 시간을 절약하는 장점도 있지만 고정 지연이라는 조건에서 논리 경로의 면적이나 전력 소비를 최소화하여 설계할 수 없는 단점이 있다. 이 단점을 보완하는 방법을 논문[3]에서 제안하였지만, 논리 경로가 하나인 회로에만 국한되어 적용할 수 있는 방법이었다. 본 논문에서는, 균형 지연 모델을 기초로, 다중 논리 경로의 회로에 적용할 수 있는 향상된 게이트 크기 결정 방법을 제한하고자 한다. 시뮬레이션 결과, 기존 논리노력 방법과 비교하면 전력 소비 측면에서 거의 같았지만 회로의 설계 공간 측면에서는 약 52%의 효율성을 보였다.

• 대한전자공학회논문지SD
• /
• 제42권4호
• /
• pp.37-44
• /
• 2005

고속 flash ADC를 위하여, Successive Selection Encoder (SSE)라고 명명된 새로운 형태의 TC-to-BC encoder를 제안한다. 기존의 fat tree encoder가 OR 논리에 의하여 동작되는데 반하여, 제안된 SSE는 MUX 논리에 의하여 입력 TC 신호 들 중에서 직접 출력 BC 신호를 선택한다. 제안한 SSE의 구현을 위하여, Logical Effort 방법과 Hynix 0.25um 제조 공정에 의한 실험을 바탕으로 효율적인 SSE의 구현 구조를 정하였다. 이론적 모델과 실험 결과를 보면, SSE가 fat tree encoder에 비하여 (1) one-out-of-n 신호를 발생할 필요가 없고, (2) 사용되는 게이트 수는 약 1/3로 감소하며, (3) 동작속도는 2배 이상 빨라진다. 제안된 SSE는 고속 ADC에 적합한 TC-to-BC encoder로 사용될 수 있다.

• 컴퓨터교육학회논문지
• /
• 제9권3호
• /
• pp.85-96
• /
• 2006

본 연구의 목적은 ICT를 활용한 문제 해결 과정에서 학습자의 기능 및 논리적인 사고의 경향성을 밝히고, 이를 통하여 ICT 활용 교육의 목표와 본질적인 가치를 추구하기 위하여 교수-학습과정에서 어떠한 노력이 필요한지 연구하는 데에 있다. 연구 방법으로 문서 작성 프로그램을 사용하여 학생들에게 탐구문제의 텍스트 자료를 표와 차트로 변환하는 수행 평가를 실시하였고, 이 수행 과정에서 요구되는 사항을 기능적인 영역과 논리적인 영역으로 작성한 기준 항목에 따라 3차에 걸쳐 채점을 하였다. 연구의 결과 전반적으로는 학생들이 프로그램을 시용할 때 기능과 논리 영역 중 기능적인 부분에서 더 중점적으로 사고를 하는 경향이 나타났으며, 전공이나 학년, 컴퓨터 실력, 자격증 보유 여부 등에 따라서도 기능적인 영역에서 우수한 것으로 확인되었다.

• 정보관리학회지
• /
• 제12권2호
• /
• pp.85-101
• /
• 1995

기존 색인 시스템은 전자문서에 대하여 전문색인 (full-text indexing) 방법만을 지원하며, 문서의 논리적 구조를 검색 방법으로 적절하게 활용하지 못하고 있다. 대부분의 전자문서는 특정 시스템에 의존적인 형식으로 되어 있으며, 문서의 물리적 형태만을 나타내고 논리적 구조에 대한 정보는 포함하고 있지 않다. 이에 반해 1986년에 ISO에서 문서교환에 대한 표준방식으로 제정한 SGML (Standard Generalized Markup Language)은 문서의 논리적 구조에 대한 정보를 포함하고 있다. 본 논문에서는 기존의 전문색인 시스템의 단점을 보완하고 표준문서형식을 사용하기 위해 SGML 문서에서의 색인 시스템을 설계 구현하고자 한다. 기존 색인 시스템에서는 문서 전체에 대하여 색인이 이루어지는데 비하여 본 시스템에서는 SGML 문서의 구성요소인 엘리먼트에 기반하여 색인 영역을 지정할 수 있게 하엿다. 따라서 문서의 논리적 구조를 반영한 다양한 검색기법에 응용될 수 있다. 또한 본 시스템에서는 SGML 한글문서에 대하여 자동색인이 가능하다.

• 한국BIM학회 논문집
• /
• 제12권3호
• /
• pp.30-38
• /
• 2022

Railway is compsed in various components, such as subgrade, track bed, sleeper, rail, and overhead line, on a linear space. Therefore, comprehensive work for various design standards and guidelines is required when designing a railway facility. For this reason, much time and effort are required to review the relevant design standards and guidelines. While, automatic legal check system for BIM models has been developed in the architectural engineering, it has not been developed in the railway engineering. This study reviews the korean design standard and the korean code for railway engineering, and suggests some rule items of logical information. Comparing the suggested rule items to the railway BIM library, items of logical information and additional attribute information are obtained. The analysis results of railway design standards and BIM library presented in this study would be utilized for defining rule-set items that is essential for development of the automatic legal check system for railway BIM models.

• 한국정보과학회논문지:정보통신
• /
• 제31권2호
• /
• pp.224-232
• /
• 2004

최선의 전송(best-effort) 방식을 택하는 멀티캐스트 전송에서 신뢰성을 제공하기 위한 연구 중 데이타 채널과는 독립적인 계층적 제어 트리를 통하여 신뢰성을 제공하는 연구는 높은 확장성을 보장하는 것으로 알려져 있다. 그러나 하위 네트워크 계층의 트리에서 토폴로지 형성에 관한 명시적 정보를 제공하지 않는 상태에서 형성된 전송계층의 논리적 제어트리는 네트워크 계층의 트리 토폴로지와 일치하지 않아서 링크를 비효율적으로 사용할 가능성이 있다. 본 논문에서 제안한 라우터의 지원을 받아 제어트리를 구성하는 기법은 중복되는 데이타를 없애고 링크의 효율성을 향상시키는데 그 목적이 있으며, 제어트리에 사용되는 메시지 타입을 검사하는 기능 확장만을 요구함으로써 사용의 용이성을 증가시켰다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 Proceedings of the Korea Automatic Control Conference, 11th (KACC); Pohang, Korea; 24-26 Oct. 1996
• /
• pp.87-90
• /
• 1996

Inherently safe plants are maintained through the systematic identification of potential hazards, and various hazard evaluation methods have been developed. Recently, much effort is given into the development of automated hazard evaluation system by introducing the expert system. An automated system will help to obtain consistency and to make the result more reliable. HAZOP study is one of the most systematic and logical evaluation procedure. However, it has disadvantages: experts should participate at the same time, the detailed study requires much man-hour, and the results depend on the expertise of the experts. Therefore, the automation of hazard evaluation is necessary to reduce the required time and to get the consistent evaluation results. In this study, HAxSYM, an expert system to automate HAZOP study, is developed. The case studies are performed to validate the effectiveness of the developed system, and the results are compared to the results of traditional method.

• 한국실내디자인학회논문집
• /
• 제25호
• /
• pp.272-279
• /
• 2000

It can be characterized that contemporary architects intend to establish architectonics which can make it possible to reinterpret the attribute of movement in space and its programming differed from the traditional perception in moving in and out any space through disjoining and reorganizing human behavior and event. This intends reflect new paradigm for subjugating the compelled fuctioning of modern Architecture. This Study review those intends focused on programming as a pre-disign schema. In those intends, it connotes the effort of establishing more systemic and logical approach through deconstruction and disprogramming the existing from, space, elements and human on the basis of his own schematic conception as substitution of function in modern architecture.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.767-772
• /
• 2005

The Internet is a packet switched network which offers best-effort service, but current IP network provide enhanced services such Quality of Services, Virtual Private Network (VPN) services, Distribute Firewall and IP Security Gateways. All such services need packet classification for determining the flow. The problem is performing scalable packet classification at wire speeds even as rule databases increase in size. Therefore, this research offer packet classification algorithm that increase classifier performance when working with enlarge rules database by rearrange rule structure into Bitmap Intersection Lookup (BIL) tables. It will use packet's header field for looking up BIL tables and take the result with intersection operation by logical AND. This approach will use simple algorithm and rule structure, it make classifier have high search speed and fast updates.