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

검색결과 4,806건 처리시간 0.033초

확장된 단어 서픽스 트리에서의 완전매칭 알고리즘 (Exact Matching Algorithm on Expanded Word Suffix Tree)

  • 박준영;정원형;김삼묘
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
    • /
    • pp.575-577
    • /
    • 2000
  • DNA 염기 서열을 분석하는데 효율적으로 쓸 수 있는 자료구조서 서픽스 트리(Suffix Tree)가 제시되었다. 그러나 매우 큰 유전자 서열에 대한 서픽스 트리는 대용량의 메모리 공간을 필요로 한다. 따라서 메모리 공간의 절약을 위해서 단어 서픽스 트리를 이용하는 방법이 제안되었다. 단어 서픽스 트리는 이러한 장점에도 불구하고 단어에 의미를 두고 만든 트리 구조이기 때문에 완전 매칭 문제를 해결하기 위한 정보가 부족해서 제한적 완전 매칭 알고리즘이 제시되었다. 제한적 완전 매칭 알고리즘에서는 찾으려는 패턴이 어떤 단어의 부-문자열에 위치하거나, 두 단어 이상에 걸쳐 나오면 찾지 못하는 문제가 발생한다. 본 논문에서는 단어 서픽스 트리의 완전 매칭 문제를 해결하기 위해 각 단어들의 서픽스에 대한 정보로 구성된 Generalized 서픽스 트리를 사용하여 확장된 단어 서픽스 트리를 제시하고, 완전 매칭 알고리즘을 제안한다.

  • PDF

기호적 상태 표현 방법을 이용한 병행적 시스템의 검증 (A Formal Verification of Concurrent System using Symbolic State Method)

  • 김한상;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
    • /
    • pp.137-139
    • /
    • 1999
  • concurrent reactive system은 일반적으로 매우 많은 다른 행동들(different behaviors)을 보여 주기 때문에 설계하기가 어렵다. 또한 한 시스템에서의 구성 요소들 간에 상호작용을 함으로 전체 시스템의 상태를 나타낸다면 전체 상태를 각 구성요소의 상태들의 곱으로 나타내지므로 복잡도는 지수의 곱으로 나타내 질 것이다. 따라서 단순한 테스트로는 시스템 특성의 정확성을 검증하기 위해 모든 상태를 확인할 수 없다. 본 논문에서는 concurrent system의 고전전 문제인 dining philosophers problem을 상징적 기호 표현방법을 이용해서 그 시스템의 정확성을 검증하고 또한 상태 공간 폭발 문제-상태 공간의 크기가 시스템에서 구성요소의 복잡도와 수가 동시에 지수적으로 증가하는 문제-를 어떻게 해결할 수 있는 가를 제시한다.

  • PDF

Urban Dynamics이론에 기초한 청주주택정책의 모형과 검증 (Housing Policy Model ing and Verification for the City Government of Cheongju Based on Urban Dynamics)

  • 김성환;이만형
    • 한국시스템다이내믹스학회:학술대회논문집
    • /
    • 한국시스템다이내믹스학회 2002년도 추계학술대회발표논문집
    • /
    • pp.1-30
    • /
    • 2002
  • 본 연구의 목적은 청주시의 주택문제에 대한 특별한 해결책을 논의한다기보다는 문제를 바라보는 새로운 프로세스를 형성하여 도시내부 문제해결을 위한 UD 모형을 적용하고 검증하는 것이다. 모든 도시는 성장과 쇠퇴의 주기가 있듯이 청주라는 공간도 현재의 물리적인 경계를 유지하면서 영원히 성장할 수 없으며, 성장의 한계에 이르게 되고, 시스템 내부의 피드백구조의 역동성에 의해 동태적인 균형상태를 지향하게 된다. UD 모형을 통해서 본다면 청주의 경우도 향후 50년간은 인구, 주택, 산업 모든 측면에서 성장을 이루게 될 것으로 보인다 2055년 이후에는 그 증가율이 정차 감소하여 균형상태를 유지하게 되다가 한 시점에 이르러서는 내부 stock 변수들의 인과관계에 의해 청주의 매력도는 주변지역으로 이전되게 될 것이다. 거시적으로 보았을 때 청주의 경우도 적정수준에서 이러한 추세를 따라가기 때문에 청주시의 UD 적용의 유용성은 입증되었다고 말할 수 있겠다. 더불어 민감도 분석에서 사용한 변수들의 조정에서 나왔듯이 주택과 관련된 정책을 펼칠 때, 시스템 내부적인 변수를 조정하는 정책을 펼쳐 나갈 때 청주라는 공간은 주택분야뿐 아니라 도시전체시스템의 동태적 균형상태를 유지해 나갈 수 있을 것으로 나타났다.

IoT 기반의 Smart 공유 주차장 시스템 설계 및 구현 (Design and Implementation of Smart Sharing Parking System using IoT)

  • 박정규;안동욱;배병채
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
    • /
    • pp.263-264
    • /
    • 2020
  • 현재 국내 자동차의 증가에 따른 주차 공간이 부족하여 주차문제가 사회문제로 커지고 있다. 본 논문에서는 주차문제 해결을 위해서 스마트 공유 주차장 시스템을 제안한다. 이 시스템은 기존 주차장에 IoT 장비를 설치하고 운영하여 주차장 활용을 최대화한다. 시스템의 빠른 개발 및 활용도를 높이기 위해서 클라우드 플랫폼을 사용하며 사용자용 스마트폰 앱을 제공할 것이다. 사용자는 앱을 통해서 근거리에 있는 주차장을 선택하여 주차 자리를 예약할 수 있다. 논문에서 실제 주차장 공간에 IoT 장비를 설치하여 실험을 진행할 예정이다. 실험을 통해서 제안하는 시스템의 가능성을 검증할 것이다.

  • PDF

한국-아부다비 공간정보 격차분석을 통한 아부다비 공간정보인프라의 발전 방안 연구 (A Study on the Spatial Data Infrastructure Development Methods in Abu Dhabi through Gap Analyses on Spatial Information between the Emirate of Abu Dhabi and the Republic of Korea)

  • 김걸
    • Spatial Information Research
    • /
    • 제23권3호
    • /
    • pp.101-111
    • /
    • 2015
  • 아부다비 에미리트는 중동 및 북아프리카의 이슬람 문화권 중에서 급속한 경제적 번영을 이룩하여 신흥선진국으로 급부상하고 있다. 아부다비는 석유경제에서 비석유경제로의 전환과 지속가능한 도시개발정책을 시행하고 있다. 이에 따라 다양한 사회 환경문제도 발생하고 있다. 급속한 경제성장과 사회 환경변화로 인해 도출되는 도시문제 해결을 위해 아부다비는 공간정보의 중요성을 인식하고 공간정보의 구축을 촉진하고 있다. 이처럼 공간정보는 아부다비에서 블루오션 시장으로 그 영역을 넓혀 가고 있으며, 도시건설의 기본인프라로 인식되고 있다. 하지만 아부다비는 공간정보인프라의 기반이 한국에 비해 체계적으로 정비되어 있지 못한 상황이다. 특히, 공간정보인프라의 주요 요소인 조직체계와 법률 제정이 미흡하고 공간정보 산업의 해외 의존도가 지나치게 높은 특징을 가진다. 세계의 다국적 기업이 장악한 아부다비의 공간정보 시장을 개척하기 위해서는 아부다비 공간정보인프라의 현황에 대한 장단점을 파악하고 우선순위를 고려한 틈새시장 진출방안 마련이 필요하다. 따라서, 이 연구에서는 아부다비 공간정보인프라의 구성요소에 대한 현황분석을 한국의 경험에 기반하여 고찰한다. 공간정보인프라 구성요소별로 한국과 아부다비 간의 공간정보 격차를 분석하고 아부다비의 단기 장기 공간정보인프라 발전 방안을 제시한다. 중동의 신흥선진국인 아부다비 에미리트와 한국 간 공간정보인프라에 대한 격차분석은 우리 공간정보 기업의 중동진출에 큰 디딤돌이 될 것이다.

인터넷 쇼핑몰의 배송체계와 상품이동의 공간적 특성

  • 송예나
    • 대한지리학회:학술대회논문집
    • /
    • 대한지리학회 2003년도 춘계학술대회
    • /
    • pp.118-121
    • /
    • 2003
  • 최근 인터넷이 널리 보급되면서 소비자는 직접 점포를 방문하지 않고도 인터넷을 이용해 상품을 구매할 수 있게 되었다. 이는 소비자의 입장에서는 구매통행을 하지 않아도 되는 것을 의미하는 동시에 상품 구매에 있어 거리의 영향이 사라지게 되는 것을 암시한다. 하지만 판매자는 소비자에게 직접 상품을 전달하는 역할까지 수행하게 되었다. 따라서 판매자에게 있어 거리, 공간은 여전히 중요한 문제로 남게 되며, 이를 해결하기 위해 다양한 배송방식이 등장하고 있다. (중략)

  • PDF

사이버공간 보안의 현황과 대응방향 (Security from Cyber Crime and Terrorism)

  • 하옥현
    • 정보보호학회지
    • /
    • 제13권5호
    • /
    • pp.76-95
    • /
    • 2003
  • 정보통신기술의 발달로 지식정보사회로 급격히 전환함에 따라 Computer system과 Internet에 대한 의존도가 높아져 생활이 편리해지기도 하는 반면 여러 가지 역기능도 보여주고 있다. 특히 새로운 공간인 Cyberspace에서의 여러 형태의 범죄와 Terrorism은 날로 심각한 충격을 주고 있어 그 Security가 확보문제가 시급하다. 본고에서는 이와 관련 최근의 Cyber Security의 Trends에 대한 명확한 인식과 향후 방향 설정에 도움이 되고자 한다.

지하철 역사내의 시간대별 공기질의 평가에 관한 연구 (Assessment of diurnal air quality in subway station)

  • 송지한;김신도;이희관
    • 한국대기환경학회:학술대회논문집
    • /
    • 한국대기환경학회 2003년도 춘계학술대회 논문집
    • /
    • pp.71-72
    • /
    • 2003
  • 급속한 고도성장에 의한 도시화는 인구의 고밀도화, 교통문제, 도시문제 등의 각종 환경문제를 야기시키고 있다. 특히 교통문제는 늘어나는 교통량에 비해 교통기반시설이 너무도 부족하여 시간대 구분없이 교통체증이 날로 심각해지고 있다. 따라서 지상교통 수단의 한계를 해소하기 위해 많은 승객들을 신속하고 안전하게 수송할 수 있는 교통수단으로 지하철을 건설하게 되었다. 지하공간의 활용이 증가되면서 도심지 지하상가와 지하철 역사를 연결하여 경제성 높은 상권을 형성하는 지하상가가 발달하고 있다. (중략)

  • PDF

XML 기반 학습 평가 시스템의 구현 (Implementation of an Item Pool System with XML)

  • 김일민
    • 한국산업정보학회:학술대회논문집
    • /
    • 한국산업정보학회 2003년도 추계공동학술대회
    • /
    • pp.441-445
    • /
    • 2003
  • 사이버 교육은 시간과 공간의 제약을 벗어나 각종 멀티미디어 자원을 이용함으로써 기존 교육 방식을 보조하거나 대체하게 되었다. 온라인 학습자들을 평가하고 교육과정을 개선할 수 있는 평가 시스템에 대한 연구는 다양한 교육 컨텐츠에 비하여 부족한 편이다. 본 논문에서는 JSP 와 JDBC 기술을 이용하여 문제 은행 시스템을 설계하였다. 기존의 학습 평가 시스템과는 달리, 데이터 표현을 위하여 XML 언어를 사용하였으며, 객관식 문제의 난이도 조절을 위한 피드백 및 단답형 주관식 문제에 대한 채점방식에 대한 고려를 평가 시스템 설계에 포함하였다. 문제은행은 문항의 형태, 내용, 난이도 등을 포함한 문항의 특성과 관련된 정보들을 체계적으로 저장하여, 보다 정확한 학습 평가 시스템이 되도록 설계하였다.

  • PDF