• 한국콘텐츠학회논문지
• /
• 제11권9호
• /
• pp.63-75
• /
• 2011

분산 이동 실시간 시스템을 개발하기 위해 pi-Calculus, Mobile Ambients Calculus, Bigraph 등의 수많은 프로세스 대수가 존재한다. 하지만 시스템이 방대해지고 복잡해질수록 시스템을 구성하는 프로세스들의 통신과 이동 역시 방대해지고 복잡해지므로 프로세스 대수로 이를 이해하는데 어려움이 존재한다. 그러므로 방대하고 복잡한 시스템을 체계적으로 이해할 수 있는 방법이 필요하다. 본 논문에서는 방대하고 복잡한 시스템을 프로세스들의 통신과 이동의 순서화된 추상화 방법 즉, 계층적으로 구조화된 격자(Lattice)들의 형태인 프리즘(Prism)으로 다룬다. 이는 액티브 온톨로지(Active Ontology)에서 확장된 새로운 개념인 행위 온톨로지(Behavior Ontology)를 기반으로 한다. 프리즘은 시스템을 체계적으로 이해하기 위해 시스템을 계층적으로 구성된 행위적 속성을 지닌 격자들 관점에서 분석하는 것을 허용한다. 이러한 방법은 통신과 이동의 복잡함을 의미적이고 계층적으로 구성된 행위의 구조로 체계적으로 이해할 수 있게 한다.

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제7권6호
• /
• pp.777-784
• /
• 2017

사용자의 행위는 건축물의 질을 규정하는 가중 중요한 기준중의 하나다. 일반적으로 건축공간에서의 사용자 행위에 대한 평가는 건물이 완성된 이후에 이루어 졌으며 최근 전산기술을 통한 사전 시뮬레이션에 대한 관심과 노력이 계속되고 있는 실정이다. 그러나 현존하는 사용자 시뮬레이션은 주로 대규모 공간의 단순한 탈출 등에 관한 것이 주를 이루고 있어 건축 공간상에서 벌어지는 다양한 사용자의 행태에 대한 시뮬레이션은 불가능한 상태이다. 본 연구는 보다 고도화된 사용자 시뮬레이션을 위한 사람형상의 지능형 에이전트의 개발은 위한 연구로서 온톨로지를 이용한 NPC의 지능화에 관한 연구이다. 연구의 주안점은 온톨로지를 통하여 구현된 공간정보와 사용자 정보를 추론하여 NPC(Non-player Character)가 가상공간 상에서 보다 지능적으로 자율주행 및 행동하게 하는 것이다. 본 연구에서는 온톨로지 추론을 기술을 가상공간에 접목시키는 방법에 대하여 주로 논의하고자 한다. 또한 이를 공간정보 상에서 온톨로지를 기반으로 기술된 정보와 이의 변화를 가시적으로 확인할 수 있는 온톨로지 가시화 기술을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제24권10호
• /
• pp.195-203
• /
• 2019

군 내 복무 부적응 병사들로 인한 병영사고는 비전투력 손실에 따른 전투력 약화, 대군 신뢰도 저하 등 많은 문제를 유발한다. 군은 복무 부적응 병사들을 사전에 식별하고 사고를 예방하기 위한 심리검사체계로 신인성검사를 개발, 적용하고 있다. 본 논문에서는 사고 우려자를 식별하기 위해 부적응 병사의 행동 패턴과 증상을 온톨로지로 구현하기 위한 온톨로지 설계 프로세스를 제안한다. 온톨로지 설계 프로세스에 따라 설계한 온톨로지의 성능 평가 결과, 적합성 및 효과성이 검증되었다. 온톨로지 설계를 통해 부적응 병사를 식별하기 위한 군 내 객관적인 기준을 제시하고 사고 우려자에 관한 정보를 공유함으로써 사고 예방에 효과적인 역할을 할 것으로 기대된다.

• International Journal of Computer Science & Network Security
• /
• 제21권3호
• /
• pp.153-164
• /
• 2021

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

• 한국산림과학회지
• /
• 제79권3호
• /
• pp.330-342
• /
• 1990

One might have a retrospect on the relationship between the forest and human being from the viewpoint of ecological perspective. It is no doubt that most of the fossil humans should have lived on the forest and the latter provided foods and shelters for humans from their beginning stages, Since the so-called agricultural revolution, humans have extensively started to exploit the forest which had beer, their cradle. The industrial revolution has created another situation against the forest in terms of the quality of ecosystem. These two revolutions have set up the so-called civilization which seems to have been based on the sacrificial oblation of the forest. The cradle for human being has been kept exterminating for the shake of "economic development and miracle." This might be a synoptic history of relationships between the forest and human beings in a sense. designates the behavioral aspects of human being against the forest and people consider the forest only as exploitable resource in this context, and the latter means that people live on the forest and strive to adapt the order of forest ecosystem. The resourcism has developed a strategy of colonialism to exploit the forest and provided a winner's position for the human beings against the forest, This idea and behavioral perspective seems to have started the backfire against the exploiter who is the owner of the civilization. However, there are different philosophies and ideas to view the relationship between the forest and human beings. People within the forest who are mostly considered as "primitives" still keep their idea of the ontology of the forest. There is a theoretical assumption of the "socionatural system" to look into the ecosystem. The forest could be viewed in the above frame of analysis. There are five variables : environment, resource, technology, organization, and ideology. Ideological aspect of the forest can be explained in the context of belief systems. Forest has a meaning of religion and rituals and people within the forest should admire it in anyway of religious reasons. This aspect of the forest cannot be separated from the environmental aspect of the forest. People within the forest acknowledge and practice the above idea. People outside the forest have lost the idea, however, at the cost of acquiring the civilization. They have expelled themselves from the forest and divided the socionatural system of the forest by way of colonialism. The efforts like agroforestry and social forestry would be strategies for recovering the idea of ontology of the forest as well as the sense of community including the forest and human being. People within the forest will be a prospective model for the future socionatural system of the forest for the people outside the forest. At this point, an ecological anthropologist can work with the forest specialists.

• International Journal of Computer Science & Network Security
• /
• 제21권1호
• /
• pp.84-96
• /
• 2021

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.