• Title/Summary/Keyword: 문제 공간

Search Result 4,806, Processing Time 0.034 seconds

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

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

  • PDF

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

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

  • PDF

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

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

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

  • Park, Jung Kyu;An, Dong-Wook;Bae, Byeong-Chae
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2020.07a
    • /
    • 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 (한국-아부다비 공간정보 격차분석을 통한 아부다비 공간정보인프라의 발전 방안 연구)

  • Kim, Kirl
    • Spatial Information Research
    • /
    • v.23 no.3
    • /
    • pp.101-111
    • /
    • 2015
  • The Emirate of Abu Dhabi is swiftly rising into a newly industrialized country by achieving economic prosperity among the Islamic cultural regions of Middle East and North Africa(MENA). Abu Dhabi Emirate is performing the conversion from oil economy to non-oil economy and the sustainable urban development policy. However, there are various social and environmental problems in Abu Dhabi. In order to solve the urban problems caused by the rapid economic growth and the changes in society and environment, Abu Dhabi is recognizing the importance of spatial information and triggering the establishment of spatial information. Spatial information is regarded as a basic infrastructure for urban construction and enlarged as a blue ocean market in Abu Dhabi. However, the base of spatial data infrastructure in Abu Dhabi is not well managed in comparison to that of Korea. Especially, Abu Dhabi has some characteristics that it depends on foreign multinational companies and it does not have its own systemic organization and law system. To advance into Abu Dhabi spatial data market under-controlled by global vendors, it is necessary to identify the advantage and disadvantage on spatial data infrastructure of Abu Dhabi and required to establish the advance methods into niche markets by considering priority order of spatial information. Thus, this study aims to analyze the gap of spatial information between Abu Dhabi and Korea and suggest the short and long term development methods for spatial data infrastructure of Abu Dhabi. The results of gap analyses will be the milestone for Korean companies' advance into MENA.

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

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

  • PDF

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

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

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

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

  • PDF

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

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

  • PDF