• Title/Summary/Keyword: representation of mobility

Search Result 21, Processing Time 0.021 seconds

추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법 (Formal Method for Specification and Verification of Behavioral Equivalences of Real-time Navigation and Transportation Systems Based on Abstraction)

  • 이문근;최정란
    • 한국콘텐츠학회논문지
    • /
    • 제6권11호
    • /
    • pp.202-216
    • /
    • 2006
  • 프로세스 대수는 다음과 같은 이유 때문에 실시간 항해 및 배송 시스템에 적용하기에는 부적당하다: 1) 특정한 지정학적 공간 내에서의 프로세스들의 분산성에 대한 표기가 부족하고, 2) 그 공간 내에서의 프로세스들의 이동성이 분산성으로부터 확연히 구분하여 표기되지 않는다. 이 대수들이 이런 시스템에 적합하기 위해서는 이런 분산성에 적용되는 공간정보의 표기와 이 공간 내에서의 이동성에 대한 표기를 구분해야할 필요성이 있다. 본 논문에서는 이러한 목적, 즉 공간정보와 이동정보를 구분하기 위하여 새로운 정형기법, 즉 CARDMI (Calculus of Abstract Real-Time Distribution, Mobility and Interaction)를 제안한다. CARDMI에서는 이동체 간의 동일성을 검증하기 위하여 공간 및 상호작용에 관한 연역규칙과 공간추상화에 기반한 동일성을 정의한다. 특히 이 동일성은 공간적 추상화를 반영한 계층적 동일성을 가능하게 하며 이를 통해 다수의 추상화 단계에서의 동일성을 검증하게 한다. CARDMI는 물리적인 배송 시스템뿐만 아니라 콘텐츠를 실시간으로 배달하는 사이버 시스템에도 적용할 수 있다.

  • PDF

확장된 UML 상호작용 다이어그램을 이용한 이동 에이전트의 이동성 표현 (Mobility Representation of Mobile Agents using Extended UML Interaction Diagrams)

  • 유문성
    • 디지털산업정보학회논문지
    • /
    • 제7권1호
    • /
    • pp.11-18
    • /
    • 2011
  • A mobile agent system is the most common software paradigm for distributed applications. A software development model to develop efficiently for these systems is needed. Unified Modeling Language (UML) is a widely used software development model to develop a system for Visualizing, Specifying, Constructing, Documenting. However, UML can not describe in explicit way the necessary mobility of the mobile agent-based software systems. In this paper, the interaction diagrams of UML (sequence diagrams and communication diagrams) are extended and used to express the mobility of the mobile agents in three ways. For a case study, we applied the extended diagrams to a distributed file searching using mobile agents, and showed these diagrams can describe the mobility very well.

장치로서의 (임)모빌리티와 그 재현 -『모빌리티와 푸코』를 중심으로 한 텍스트 연구 시론 ((Im)Mobility as Dispositif and its Representations - Mobility-Based Textual Research Method Centered on Mobility and Foucault)

  • 김나현
    • 대중서사연구
    • /
    • 제27권3호
    • /
    • pp.195-228
    • /
    • 2021
  • 이 연구의 목적은 『모빌리티와 푸코』에서 제기하고 있는 새로운 모빌리티 연구방법을 검토하고, 이를 텍스트 분석에 적용해보는 것이다. 이 책은 푸코의 주요 개념을 모빌리티 연구에 적용한 논문 7편을 담고 있어 양쪽 연구 모두에 지적 자극을 주고 있다. 푸코는 이성/비이성, 정상/비정상을 구분하는 기술을 통해 작동한 규율 권력에 대한 탁월한 연구를 보여주었기 때문에, 그의 작업은 감옥으로 대표되는 폐쇄적 공간에 대한 연구처럼 보이기 쉽다. 하지만 『모빌리티와 푸코』의 필자들은 푸코의 작업에 이미 모빌리티에 대한 충분한 연구가 들어있었음에 주목하며 이를 모빌리티 연구에 적극적으로 접목시킨다. 푸코가 말한 통치성이자 장치로서의 모빌리티에 주목했을 때, 모빌리티와 임모빌리티 사이의 긴장감과 역동성이 강조되어 단순한 이분법을 가로지르는 모빌리티 연구의 가능성이 열린다. 본고는 이같은 연구방법을 적용해 김중혁의 소설 <1F/B1>과 김혜진의 단편소설을 분석한다. <1F/B1>은 건물 안에 흡사 갇혀있는 듯 보이는 건물관리인의 서사를 담고 있지만, 소설 속 관리인의 모빌리티는 기성의 통념을 관통하며 새로운 공간을 창출하는 데에로 나아가며, 김혜진의 단편소설 <목화맨션>, <치킨 런>, <줄넘기> 등은 움직이지 못하고 주저하는 모빌리티의 재현을 통해 주체를 구성하는 장치로서의 모비리티를 보여준다. 『모빌리티와 푸코』의 연구를 참조했을 때 우리는 텍스트 속 모빌리티와 임모빌리티의 역동성에 주목하여 서사를 재독하게 된다. 이 연구는 모빌리티 텍스트 연구를 새롭게 확장한다는 데에 의의가 있다. 그간 모빌리티 연구를 적용한 텍스트 분석은 대개 여행기나 표류기, 디아스포라 서사 등 명백하게 이동하는 서사에 집중되어 있었는데, 『모빌리티와 푸코』는 권력과 모빌리티의 관계, 모빌리티와 임모빌리티의 역동성 등에 주목하게 하여 새로운 텍스트 연구를 추동한다. 따라서 이 논문은 아무도 이동하지 않는 것처럼 보이는 서사 속 모빌리티 재현에 주목했을 때 드러나는 텍스트의 새로운 의미를 확인하고, 모빌리티 텍스트 연구 방법의 확장을 모색한다는 의의를 갖는다.

GPGPU에 기반하는 위치 정보 집합에서 집단 이동성 모델의 도출 기법과 그 표현 기법 (A Method for Group Mobility Model Construction and Model Representation from Positioning Data Set Using GPGPU)

  • 송하윤;김동엽
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제6권3호
    • /
    • pp.141-148
    • /
    • 2017
  • 인간의 위치 이동 데이터를 모바일 기기에서 수집한 위치 정보를 이용해 얻을 수 있게 되면서, 위치 정보를 어떻게 이용할 수 있는지 그 활용 방안이 중요시 되고 있다. 이 연구에 앞서 위치 정보에 포함된 위치 정보와 시간 정보를 이용한 개인 이동성 모델 도출 연구가 선행되었다. 이동성 모델의 개념을 집단으로 확장하여 특정 집단에 속한 사람들의 개인 이동성 모델을 이용한 집단 이동성 모델을 도출하는 방법에 대해서 연구했고, 두 명의 개인 이동성 모델을 이용한 집단 이동성 모델과 그 모델을 표현하는 Markov 모델을 생성할 수 있었다. 본 논문에서는 세명 이상의 개별 이동 모델을 포함하는 사람의 이동성 모델을 생성하고 집단 모델 내 군집간의 확률 기반 Markov 모델을 도출하는 방법에 대해 소개한다. 또한 GPGPU 기법을 통해 생성 시간을 줄이는 기법을 이용하여 실용화를 고려하였다.

도시공간정보 시각화 사례분석을 위한 지표 선정에 관한 연구 (The Development of Visualization Indicators for Case-study of Urban Geo-Spatial Information Visualization)

  • 김미연
    • 한국디지털건축인테리어학회논문집
    • /
    • 제12권3호
    • /
    • pp.49-58
    • /
    • 2012
  • In Regarding urban geo-spatial information visualization in this study, visualization of physical attribute information is mostly related to the representation of spatial domain and physical objects, and visualization of non-physical attribute information has to do with visualizing citizens and their activity information in the physical environment. In particular, a citizen, one of the non-physical information attributes, is characterized by a constant mobility in the physical environment, and thus visualization of his/her activity information is vital in conveying information because this information may not be depicted with any given, fixed figures. In consideration of this difficulty, this study integrates interrelationship among urban space, human needs, social relations, and lifestyles into a 'high-tech' service where experience in time and space is possible. To analyze the web-service and visualization cases, the study has selected visualization indicators consisting of information representation objective, information representation means, and information representation result. The results of the case analysis through specific indicators set a range in information representation objective, means, and result, thereby forming a user-friendly environment in which representational results are readily available to users, and ultimately expanding the users' selection range coming with a variety of options. This study also assumes that a wide range of service provision is needed to reflect users' needs in developing urban geo-spatial service model, and the display of its results should visualize users' satisfaction to construct the best information needed to users.

공간 프로세스 대수를 이용한 정형 명세와 분석에서의 시간속성의 시각화 (Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra)

  • 온진호;최정란;이문근
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.339-352
    • /
    • 2009
  • 유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

(비-)장소로서 도시 기계 공간 -대구 지하철 공간의 기호적 재현에 대한 해석- (Urban Machine Space as (Non-)Place: Interpreting Semiotic Representations of Subway Space in Daegu)

  • 이희상
    • 대한지리학회지
    • /
    • 제44권3호
    • /
    • pp.301-322
    • /
    • 2009
  • 본 논문은 국지적 이동성의 도시 기계 공간인 지하철 공간의 기호적 재현을 공간, 시간, 장소의 의미에서 탐구한다. 제2절은 기존 연구에서 제시된 이동성의 도시 공간의 전반적 특징을 '기계 공간', '(비-)장소', '인지 지도'의 개념을 중심으로 검토한다. 제3절은 대구 지하철 공간에 대한 '공간적' 및 '시간적' 재현의 기호들을 해석하고, 그 기호적 재현의 의미를 제시한다. 이를 통해 지하철 공간에 상호 조화적으로 혹은 모순적으로 공존하는 기호 경관들이 그 공간을 다중적, 복합적인 기술-사회 공간으로 생산한다는 것을 밝힌다. 지하철 공간의 공간적-시간적 재현은 한편으로는 '(비-)장소', 다른 한편으로는 '장소'의 공간을 형성하며 또한 한편으로는 '기억', 다른 한편으로는 '망각'의 공간화를 수반한다. 지하철 공간은 사람들이 이동하는 '이동성' 의 공간만이 아니라 기계 및 도시 공간을 바라는 방식에 영향을 주는 '정체성'의 공간으로 생각되어야 한다.

심층 생성모델 기반 합성인구 생성 성능 향상을 위한 개체 임베딩 분석연구 (Entity Embeddings for Enhancing Feasible and Diverse Population Synthesis in a Deep Generative Models)

  • 권동현;오태호;유승모;강희찬
    • 한국ITS학회 논문지
    • /
    • 제22권6호
    • /
    • pp.17-31
    • /
    • 2023
  • 활동기반 모델은 현대의 복잡한 개인의 통행행태를 반영한 정교한 기반의 수요예측이 가능하지만, 분석 대상지의 상세한 인구정보가 필수적으로 요구된다. 최근 다양한 심층생성 모델을 활용한 합성인구 생성 기법이 개발되었고, 설문조사를 통해 수집된 샘플 데이터에 존재하지 않는 실제 인구와 유사한 인구 특성을 모사한 데이터를 생성해내는 방법론이 제시되었다. 이는 이산형으로 이루어진 샘플 데이터를 연속형 데이터로 변환하여 분포 영역을 정의한 뒤 생성된 표본 데이터의 거리를 정교하게 계산하여, 불가능한 인구 특성 조합을 억제하는 방식으로 데이터의 확률 분포를 학습한다. 하지만 데이터 변환 과정에 활용되는 개체 임베딩이 잘 학습되지 않으면 의도와 다르게 왜곡된 연속형 분포 영역이 정의될 수 있고, 원본 데이터 표현의 오류로 인한 잘못된 합성인구를 생성할 가능성이 존재한다. 따라서 본 연구에서는 정확도 높은 임베딩을 추출하여 간접적으로 합성인구 생성 성능을 증가시키고자 한다. 결과적으로 합성인구의 다양성과 정확성 측면에서 기존 대비 약 28.87% 성능이 향상하였다.

방송 콘텐츠의 타자 재현과 문화적 함의: KBS 9시 뉴스를 중심으로 (Representation of Others in TV Contents: Focusing on the KBS News 9)

  • 주재원
    • 한국콘텐츠학회논문지
    • /
    • 제14권8호
    • /
    • pp.40-49
    • /
    • 2014
  • 전지구화는 국제사회의 인구 이동을 더욱 가속화시켰으며, 한국도 이러한 변화로부터 예외가 될 수는 없었다. 한국은 국가의 경제 성장 및 발전을 위해 역사적으로 해외에 노동력을 수출한 경험이 있다. 그러나 1990년대 말부터 이러한 사회적 흐름이 바뀌었고, 국내에 거주하는 이주민의 수가 급증하였으며, 단일민족국가로서의 특징이 점차 변화하였다. 그러나 대중 매체를 통해 비춰지는 소수민족집단의 모습이 한국사회에 어떠한 문화적 및 정치적인 영향력을 행사하고 있는지 살펴볼 필요가 있음에도 불구하고 이에 대한 연구는 현저히 적은 것으로 나타났다. 따라서 본 연구는 한국공영방송에 비춰지는 소수민족집단에 초점을 맞추어 실증적 분석을 통해 한국사회의 시대적 변화 속에서 공영방송이 인종적 소수자들을 구체적으로 어떻게 보도하는가를 밝히고자 한다.

주차건물 파사드의 인터페이스 디자인 표현 특성 연구 (A Study on the Characteristics of Interface Design at the Facade of Parking Garage)

  • 문은미
    • 한국실내디자인학회논문집
    • /
    • 제20권5호
    • /
    • pp.135-142
    • /
    • 2011
  • This study applies the 'interface' as the concept to interpret the facade design of parking garages. This study investigates the characteristics of interface design in the parking garages to improve design qualities of parking garages as a daily living space as well as a public space in today's city. The facade of parking garage is an interface between the urban streets and the parking space. Three concepts of interface and design in parking garage are defined. The concept of interface is explained as a boundary surface which activates communication and interaction. In facade design of parking garage, three main concepts of interface design are screen, communication and mobility. Through the investigation of the examples, this study summarizes the characteristics of the facade design of parking garage as follow; first, the facade of parking garage is designed as a screen which represents immateriality by specially selected and arranged surface materials. The screen facade is designed as one homogeneous surface as well as an irregular pattern with operable louvers. Second, the facade of parking garage is designed as a communication media to deliver direct information. The representation of natural or artificial characteristics at the local areas is to communicate with the people in the community. Third, the facade of parking garage is represented mobility which a car symbolizes. It emphasizes various movements and visual changes by movements. People can experience the visual changes of the building facade as they walk or drive. The visual changes of the facade are caused by natural elements such as wind and light as well as an optical illusion.