• 제목/요약/키워드: 공간논리

검색결과 381건 처리시간 0.031초

응용분야에 따른 직접사상캐시의 성능향상과 전력소모 절감을 위한 재구성 가능한 백업캐시 제안 (An Application-Specific Configurable Backup Cache for High Performance and Power Reduction in Direct-Mapped Cache)

  • 최병창;서효중
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
    • /
    • pp.355-357
    • /
    • 2006
  • 반도체 공정의 발달로 인해 하나의 칩에 많은 양의 소자를 넣는 것이 가능해지면서 상대적으로 넓어진 공간에서 캐시 메모리가 차지하는 공간의 비중이 증가하고 있다. 상대적으로 비중이 커진 캐시 메모리는 CPU가 소모하는 전력의 50%에 상당하는 전력을 소모하는 등 시스템의 성능뿐만 아니라 전력 소모에도 큰 영향을 주고 있다. 현재 시스템 성능 향상과 전력 소모 절감을 위하여 캐시 메모리의 논리적 구조를 개선하기 위한 많은 연구가 진행 중이다. 본 논문에서는 다양한 용도로 사용되는 범용 시스템이 아닌 특정 응용분야에 최적화되어 사용되는 소규모 임베디드 시스템에 적합한 직접사상캐시를 위한 재구성 가능한 백업캐시를 제안하려고 한다. 제안하는 백업 캐시는 특정 레지스터 값을 이용해서 백업캐시를 재구성 가능하게 하여 응용분야에 따라 직접사상캐시의 성능 향상과 전력소모를 절감하도록 하여 시스템의 성능향상과 전력소모를 절감시키는 역할을 할 것이다.

  • PDF

자율주행 차량을 위한 지능형 경사 주차 시스템 설계 (Design of Intelligent Parking System for Autonomous Vehicle at the Slant Space)

  • 학양화;김태균;최병재
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국지능시스템학회 2008년도 춘계학술대회 학술발표회 논문집
    • /
    • pp.219-222
    • /
    • 2008
  • 무인자동차에 관한 연구가 활성화되면서 자율주행 차량에 대한 주차가 중요 과제로 대두되고 있다. 여기서는 경사 주차 공간에서 자율주행 차량이 지능적으로 주차할 수 있는 알고리즘을 제안하고자 한다. 차량의 진입과 경사 주차 공간 사이의 최적의 주차 경로를 설계하고, 이를 기반으로 퍼지논리 기반의 지능형 주차 과정을 시뮬레이션으로 제시한다.

  • PDF

모델 체킹을 위한 자바프로그램의 술어추상화 (Predicate Abstraction of Java Program for Model Checking)

  • 이정림;이태훈;권기현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.325-327
    • /
    • 2005
  • 모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

  • PDF

전역 마스킹을 이용한 비디오 워터마킹 방법 (Video Watermarking Method Using Global Masking)

  • 문지영;호요성;이승욱
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 2002년도 정기총회 및 학술대회
    • /
    • pp.163-168
    • /
    • 2002
  • 본 논문에서는 워터마크의 기본적인 요구사항인 비가시성(invisibility)을 유지하면서 강인함(robustness)을 최대로 하기 위해 워터마크를 삽입할 때 인간시각 특성(Human Visual System, HVS)을 이용한다. 특히, 주파수 마스킹(frequency masking), 공간 마스킹(spatial masking), 그리고 움직임 마스킹(motion masking)을 결합한 전역마스킹(global masking) 기법을 제안한다. 주파수 마스킹은 프레임을 DCT 변환한 후 주파수 민감도 표(frequency sensitivity table)를 이용해 위치 정보를 구한다. 공간 마스킹은 밝기(luminance) 및 윤곽선(edge) 정보를 이용해서 구하며. 움직임 마스킹은 이웃하는 프레임간의 움직임 변화를 이용하여 프레임간의 상관성을 고려한다. 본 논문에서는 키(key) 값에 의해 발생된 랜덤시퀀스와 로고의 배타적 논리합(exclusive OR)에 의해 결합된 워터마크를 전역 마스킹 결과에 따라 압축되지 않은 비디오 프레임에 직접 적용했으며, 실험을 통해 MPEG 부호화 및 재부호화 공격에 대해서 제안한 방법이 강인함을 확인했다.

  • PDF

SGML 정보검색을 위한 인덱스 관리자의 설계 및 구현 (Design and Implementation of an Index Manager for SGML Information Retrieval)

  • 장재우;이희주;손정한;심부성;주종철
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제5권2호
    • /
    • pp.135-146
    • /
    • 1999
  • SGML 정보검색을 위한 인텍스 관리자는 SGML 정보 표현의 기본 단위인 엘리먼트 단위의 검색과 문서의 논리적인 구조에 기반한 검색을 지원해야 하면 아울러, 우수한 검색 시간과 낮은 부가 저장 공간을 보장하여야한다. 이러한 요구사항을 만족시키기 위해 본 논문에서는 SGML 정보검색을 위한 사용자 질의 형태별로 분류하여 이를 토대로 SGML 정보검색 인덱스 관리자를 설계한다. 아울러 인덱스 관리자를 UNIX 운영체제하에서 표준 C 언어를 가지고 02 Store 하부저장 시스템을 이용하여 구현한다. 마지막으로 저장 시간, 삭제시간, 검색 시간, 부가 저장 공간 측면에서 구현된 인덱스 관리자의 성능 평가를 수행한다.

선택적 압축방식에 기반한 확장된 플래시 메모리 스와핑 시스템 (An Extended Flash Memory Swapping System Based on Selective Compression)

  • 임근수;양훈모;차호정
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
    • /
    • pp.379-381
    • /
    • 2002
  • 가상메모리를 사용하는 범용 컴퓨터 시스템, 특히 실시간 시스템에서 상대적으로 속도가 느린 자기 디스크로의 스와핑은 해당 시스템의 성능을 저하시키는 핵심적인 요인이다. 본 논문에서 는 일반적 인 가상메모리 시스템의 성능을 향상시키고 실시간 프로세스에 대해 페이지 스와핑 이 발생하여도 수행시간을 보증할 수 있는 방법으로 선택적인 압축방식을 사용한 화장된 플래시 메모리 스와핑 시스템을 제안한다. 그리고 제안하는 시스템을 세부적으로 설계하였으며 해석과 시뮬레이션을 통하여 지 연시간과 공간 활용도를 평가하고 시스템의 특성을 상위 수준에서 DRAM 올 확장한 경우와 비교해 분석 및 고찰하였다. 그 결과 제안하는 시스템은 매 페이지 스와핑 시에 일정한 수행시간을 단축하며 선택적 압축방식과 수정된 버디 시스템을 사용하여 물리적인 플래시 메모리의 공간을 논리적으로 확장함을 검증하였다.

  • PDF

JRM-S : 공간 지식 추론을 위한 규칙 기반 추론 엔진 (JRM-S : Rule based Inference Engine for Spatial Reasoning)

  • 이건수;이대환;김민구
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2008년도 춘계학술발표대회
    • /
    • pp.16-18
    • /
    • 2008
  • 유비쿼터스 컴퓨팅 환경에서 상황을 인지해 각 사용자에게 필요한 서비스를 자동으로 제공하거나, 사용자로부터 요청받은 서비스를 주어진 환경에서 성공적으로 수행하기 위해서는 그 서비스를 수행하는 각각의 장치들은 일정 수준 이상의 지능을 갖고 있어야 한다. 본 연구에서는 일차 술어 논리를 사용하는 규칙 기반 추론 엔진으로 JRM-S를 개발하였다. 본 엔진은 위치 기반 상황 모델 구축을 위해 공간지식 처리 기능을 갖고 있으며, 유비쿼터스 환경에 존재하는 서비스 장치들에게 상황을 인식할 수 있는 지능을 부여하기 위한 지식 처리기로 사용될 수 있다.

지리정보 DB 설계 지침의 표준화 연구 (A study on the Standardization of Design Guidelines for Geographic Information Databases)

  • 임덕성;문상호;시종익;홍봉희
    • 한국공간정보시스템학회 논문지
    • /
    • 제5권1호
    • /
    • pp.49-63
    • /
    • 2003
  • 현재 ISO, OGC 등의 국제표준화 기관들을 중심으로 지리정보 표준화에 대한 작업이 활발하게 진행 중에 있으며, 이러한 결과로 다수의 GIS 표준이 제정되었다. GIS DB 들간의 공간정보 공유, 상호 교환, 유통 등의 상호운용성을 높이기 위한 표준화 작업들은 개방형 인터페이스 설계 표준에 중점을 두고 있다. 그러나 이러한 표준화 작업에서는 지리정보 DB 자체에 대한 스키마 설리 절차 및 방법 등은 고려하고 있지 않고, 상호운용을 위한 인터페이스를 표준화하거나 공간 DB의 추상스키마 표준만을 제안하고 있다. 설계 표준 없이 서로 다른 데이터 모델에 따라 개별적으로 구축된 지리정보 DB들간의 표준 인터페이스를 통한 데이터공유는 데이터 모델의 상이성으로 인해 정보의 손실이 발생하는 문제가 있다. 본 논문에서는 GIS DB를 구축할 때 서로 다른 GIS S/W를 이용하더라도, 구축된 지리정보시스템들간의 공간 데이터 모델, 논리적 구조, 의미 구조 등을 통일할 수 있도록 하기 위한 지리정보 DB의 설계 지침을 제시한다. 특히, ISO 추상 스키마 표준을 관계형 모델, 객체-관계형 모델, 객체 중심 모델, 기하 중심 모델로 변환하는 표준 지침을 제안한다. 그리고 기존의 상용 GIS S/W를 대상으로 논리적, 물리적 설계 지침에 따른 각 S/W의 적용 예제 모델을 제시하여 DB 설계 지침으로 활용하기 위한 토대를 제공한다. 본 논문에서 제시한 지리정보 DB 설계 지침의 응용 스키마, 개념적 및 논리적/물리적 구현 스키마를 적용하여 GIS DB를 구축하는 경우에는 각 DB들 간의 상호운용성이 원활해지고 각 스키마들의 산출물을 통하여 통일화된 스키마 정의 및 카탈로깅 지원이 가능해진다.템 개발은 지자체 GIS 재사용의 문제를 해결해 줄 수 있을 것이다.정들이 단계적으로 성과를 확보하며 이루어져야 가능하다. 여러 지자체를 중심으로 수행된 지자체 GIS 감리와 컨설팅의 경험을 통해 도출된 문제점들을 일반화시켜 정리하였으며, 이를 통해 지자체 GIS사업의 추진 및 운영모델을 제시하였다. 표시할 수 있음으로서 의사결정에 보다 많은 도움을 줄 수 있을 것이다. 비트율의 증가와 화질 열화는 각각 최대 1.32%와 최대 0.11dB로 무시할 수 있을 정도로 작음을 확인 하였다.을 알 수 있었다. 현지관측에 비해 막대한 비용과 시간을 절약할 수 있는 위성영상해석방법을 이용한 방법은 해양수질파악이 가능할 것으로 판단되며, GIS를 이용하여 다양하고 복잡한 자료를 데이터베이스화함으로써 가시화하고, 이를 기초로 공간분석을 실시함으로써 환경요소별 공간분포에 대한 파악을 통해 수치모형실험을 이용한 각종 환경영향의 평가 및 예측을 위한 기초자료로 이용이 가능할 것으로 사료된다.염총량관리 기본계획 시 구축된 모형 매개변수를 바탕으로 분석을 수행하였다. 일차오차분석을 이용하여 수리매개변수와 수질매개변수의 수질항목별 상대적 기여도를 파악해 본 결과, 수리매개변수는 DO, BOD, 유기질소, 유기인 모든 항목에 일정 정도의 상대적 기여도를 가지고 있는 것을 알 수 있었다. 이로부터 수질 모형의 적용 시 수리 매개변수 또한 수질 매개변수의 추정 시와 같이 보다 세심한 주의를 기울여 추정할 필요가 있을 것으로 판단된다.변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을

  • PDF

공간-주파수 OFDM 전송 다이버시티 기법을 위한 효율적인 심볼 검출 알고리즘 (Efficient Symbol Detection Algorithm for Space-frequency OFDM Transmit Diversity Scheme)

  • 정윤호;김재석
    • 한국통신학회논문지
    • /
    • 제30권4C호
    • /
    • pp.283-289
    • /
    • 2005
  • 본 논문에서는 공간-주파수 OFDM (SF-OFDM) 전송 다이버시티 기법을 위한 효율적인 심볼 검출 알고리즘이 제안되었다. SF-OFDM 전송 다이버시티 기법에서 부반송파의 수가 적은 경우 부채널간 간섭이 발생하게 되며, 이러한 간섭은 다이버시티 시스템의 성능을 크게 저하시킨다. 제안된 알고리즘은 부채널간 간섭을 병렬 혹은 순차적으로 제거함으로써 기존 알고리즘에 비해 큰 성능 이득을 얻는다. 컴퓨터 모의실험을 통한 비트오류율 (BER) 성능 평가 결과. 두개의 송수신 안테나를 사용하는 경우, $10^{-4}$의 BER에서 약 3 dB의 성능 이득을 얻을 수 있음을 확인하였다. 제안된 알고리즘이 적용된 심볼 검출기는 하드웨어 설계 언어를 통해 설계되었고, $0.18{\mu}m$ 1.8V CMOS 표준 셀 라이브러리를 이용하여 합성되었다. 제시된 하드웨어 구조와 함께 설계된 SF-OFDM-PIC 심볼 검출기는 약 140K개의 논리 게이트로 구성되었고, SF-OFDM-SIC 검출기는 129K개의 논리 게이트로 합성되었다.

유아의 다중지능이 자기조절 능력에 미치는 영향 (The Relationship of the Preschool Children's Self Regulation Ability and Multiple Intelligences)

  • 이채호
    • 한국보육학회지
    • /
    • 제17권4호
    • /
    • pp.209-232
    • /
    • 2017
  • 본 연구는 성별과 연령에 따른 자기조절 능력 및 다중지능에서의 차이를 검증하고, 다중지능이 자기조절 능력에 미치는 영향을 살펴 향후 유아의 자기조절 능력 향상을 위한 프로그램개발에 도움을 주는 것을 목적으로 하였다. 연구의 목적을 위하여 유치원에 재원 중인 만 3, 4, 5세 유아의 어머니와 담임교사를 대상으로 자기조절 능력과 다중지능 설문지를 실시하였다. 연구결과를 살펴보면 첫째, 연령과 성별에 따른 자기조절 능력의 차이를 살펴본 결과 성별과 연령에서 유의한 차이가 나타났다. 둘째, 연령과 성별에 따른 다중지능의 차이를 살펴본 결과 공간지능, 언어지능에서 연령(5세, 4세>3세)과 성별(여아>남아)에서 유의한 차이가 나타났으며, 논리 수학지능, 대인관계지능은 연령(5세, 4세>3세)에서만 유의한 차이가 나타났다. 다음으로 음악지능과 개인이해지능에서는 성별(여아>남아)에서만 유의한 차이가 나타났으나 신체 운동지능에서는 연령과 성별에서 유의한 차이가 나타나지 않았다. 셋째, 유아 자기조절 능력과 다중지능간의 상관관계를 살펴본 결과 정적상관관계가 나타났으며 자기조절 능력에 대한 다중지능의 영향력을 살펴본 결과, 개인이해지능, 언어지능, 공간지능, 논리 수학지능 순으로 영향력이 높게 나타났다.