• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.202-216
• /
• 2006

A number of process algebras are not well suitable for real-time navigation/delivery systems due to the following reasons: 1) lack of representation of process distributivity over some geographical space and 2) the indistinction of representation of process mobility from process distributivity over the space. To make the process algebra suitable to the systems, it seems to be necessary to separate the space representation from the mobility representation. This paper presents a formal method for this purpose, namely, Calculus of Abstract Real-Time Distribution, Mobility, and Interaction (CARDMI). For analysis and verification of behavioral properties, CARDMI defines a set of the spatial, temporal and the interactive deduction rules and a set of equivalence relations. The rules and equivalences can be abstracted hierarchically due to the spatial abstraction, too. CARDMI can be applied to virtual navigation/delivery system for contents, too.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.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.

• Journal of Popular Narrative
• /
• v.27 no.3
• /
• pp.195-228
• /
• 2021

The purpose of this study is to review the mobility-based textual research methods raised in Mobility and Foucault and apply them to textual analysis. This book contains seven articles applying Foucault's terms to mobility studies, giving intellectual stimulation to both studies. Since Foucault examined discipline power operated through the technology of distinguishing between rational/irrational and normal/abnormal, his works seem to a study of closed spaces like prisons. However, the authors of this book note that Foucault's works already had sufficient insight on mobility, and them actively incorporated it into mobility study. When we concentrate Foucault's works on mobility as a governmentality and a dispositif, the tension and dynamics between mobility and immobility are emphasized. And then it is possible to cross the simple dichotomy in mobility studies. This paper analyzes Kim Joong-hyuk's short story 1F/B1 by applying this method. This story describes a building manager who seems to be fixed in a building, but the mobility of him in the story goes through stereotypes and creates new spaces. Kim Hye-jin's short stories also represent mobility that cannot move and hesitates. These stories are important in that they show the mobility as a dispositif that constitutes the subject. When referring to the achievements of Mobility and Foucault, we read this narrative again by paying attention to the dynamics of mobility and immobility in the text. The significance of this paper is that it expands mobility-based textual research anew. While text analysis applying mobility study was usually focused on clearly mobile narratives such as travel statements and diaspora narratives, Mobility and Foucault drives new textual research by paying attention to the relationship between power and mobility, mobility and immobility dynamics. Therefore, this paper is significant in confirming the new meaning of the text revealed when paying attention to the representation of mobility in the narrative that no one seems to be mobile, and seeking to expand the mobility-based textual research method.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.3
• /
• pp.141-148
• /
• 2017

The current advancement of mobile devices enables users to collect a sequence of user positions by use of the positioning technology and thus the related research regarding positioning or location information are quite arising. An individual mobility model based on positioning data and time data are already established while group mobility model is not done yet. In this research, group mobility model, an extension of individual mobility model, and the process of establishment of group mobility model will be studied. Based on the previous research of group mobility model from two individual mobility model, a group mobility model with more than two individual model has been established and the transition pattern of the model is represented by Markov chain. In consideration of real application, the computing time to establish group mobility mode from huge positioning data has been drastically improved by use of GPGPU comparing to the use of traditional multicore systems.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.12 no.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.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.47 no.2
• /
• pp.176-189
• /
• 2024

Vertical takeoff and landing (VTOL) is a core feature of unmanned aerial vehicles (UAVs), which are commonly referred to as drones. In emerging smart logistics, drones are expected to play an increasingly important role as mobile platforms. Therefore, research on last-mile delivery using drones is on the rise. There is a growing trend toward providing drone delivery services, particularly among retailers that handle small and lightweight items. However, there is still a lack of research on a structural definition of the VTOL drone flight model for multi-point delivery service. This paper describes a VTOL drone flight route structure for a multi-drone delivery service using rotary-wing type VTOL drones. First, we briefly explore the factors to be considered when providing drone delivery services. Second, a VTOL drone flight route model is introduced using the idea of the nested graph. Based on the proposed model, we describe various time-related attributes for delivery services using drones and present corresponding calculation methods. Additionally, as an application of the drone route model and the time attributes, we comprehensively describe a simple example of the multi-drone delivery for first-come-first-served (FCFS) services.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of the Korean Geographical Society
• /
• v.44 no.3
• /
• pp.301-322
• /
• 2009

This paper is an attempt to explore semiotic representations of subway space as the urban machine space of local mobility in terms of space, time and place. For this, the second section of the paper reviews the contours of the urban space of mobility in terms of 'machine space', 'non-place' and 'cognitive map'. The third section interprets the sings of 'spatial' and 'temporal' representations of subway space in Daegu, and suggests the implications of the semiotic representations. It is uncovered that various sign-scapes which coexist in the subway space in coordinated or contradictory ways product the space into multiple and complex techno-social spaces. That is, the spatio-temporal representations of the subway space form the space of 'non-place' on the one hand and the space of 'place' on the other hand, and involve the spatialization of 'memory' on the one hand and the spatialization of 'forgetting' on the other hand. Thus, the subway space should be regarded to be not only the space of 'mobility' which people move in and through, but also the space of 'identity' which has effects on the ways for them to see the machine space and its urban space.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.22 no.6
• /
• pp.17-31
• /
• 2023

An activity-based model requires detailed population information to model individual travel behavior in a disaggregated manner. The recent innovative approach developed deep generative models with novel regularization terms that improves fidelity and diversity for population synthesis. Since the method relies on measuring the distance between distribution boundaries of the sample data and the generated sample, it is crucial to obtain well-defined continuous representation from the discretized dataset. Therefore, we propose an improved entity embedding models to enhance the performance of the regularization terms, which indirectly supports the synthesis in terms of feasible and diverse populations. Our results show a 28.87% improvement in the F1 score compared to the baseline method.

• The Journal of the Korea Contents Association
• /
• v.14 no.8
• /
• pp.40-49
• /
• 2014

Globalisation has intensified the international movement of labour and South Korea is no exception. Korea, which in the past was itself a labour-exporting country, has seen a reversal in human mobility since the late 1990's with a rapid growth in immigration and a transformation of a previously almost ethnically homogenous society. In this context, the important questions about the cultural and political implications associated with the construction of minority representations in the media have remained highly unexplored. The starting point of this study is an examination of the vital role of public service broadcasting (PSB) in Korean society, where ethnic minorities have increasingly become visible. The study shows the significant role of PSB in representing cultural diversity in public debates and the ways in which such representations and their dissemination reflect media power.