• Journal of Internet Computing and Services
• /
• v.3 no.4
• /
• pp.19-26
• /
• 2002

Workflow Management Systems(WFMSs) is a software system that supports that specification and execution of business processes. In this paper, we proposed Multi Agent Based Workflow Modeling System which was implemented by Java application. The proposed workflow modeling system is divided into four agents; Session, Organization, Relevant Data. Invoked Application. We adapted ICN(Information Control Net) to check workflow model syntax, And the proposed modeling system provide the function to import/export WPDL which was defined in WfMC.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.2
• /
• pp.322-330
• /
• 1994

SIBs(Service Independent Building block) are defined in CCITT advanced intelligent network concept model for supporting various services in the future. This paper describes the protocol modeling and verification for basic call process SIB. For modeling, we use Petri Net and verify this modeling by analyzing reachability tree of Petri Net. Results of this paper should be used for design and implementation of basic call process SIB.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.2
• /
• pp.169-177
• /
• 1993

In this paper an experimental microsatellite packet radio protocol based on the terrestrial AX.25 amateur packet radio protocol is introduced and its protocol is modeled by the extended Petri Nets with timers and counters. Finally, this protocol is validated in terms of correctness, recovery, boundness, deadlock, etc by its reachability tree.

• Journal of the Korean Society for information Management
• /
• v.14 no.2
• /
• pp.165-189
• /
• 1997

In analyzing, designing, implementing the system, the traditional modeling method lacks design procedure and specification in reflecting the functional or nonfunctional requirements perfectly and consequently. These problems are unreliable in the Library and Information System since it requires a diversity of reference methodes based on various types of data. In this paper, we modify the method partially which the OMT proposes and apply it on system development. We also prepare the object oriented modeling modified from OMT type' modeling for Library User System Requirements.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.01a
• /
• pp.19-21
• /
• 2014

본 논문에서는 기존의 산조가야금의 음을 합성하여 아두이노(Arduino)와 DSP(Digital Signal Processor)를 이용한 물리적 모델링 기반의 현 없는 산조 가야금을 구현한다. 아두이노는 저렴한 가격에 마이크로컨트롤러를 효율적으로 제어하며, DSP는 높은 분해능과 빠른 A/D변환 기능을 지원하여 복잡한 음 합성 연산의 빠른 처리를 만족시킨다. 또한 기존 가야금의 복잡한 연주법을 초보자도 쉽게 다루기 위해 가야금의 현을 대신해 터치 패널을 사용한다. 본 논문에서는 기본적인 I/O동작은 아두이노 MEGA 2560보드를, 음 합성의 복잡한 연산을 위해 CCSv5(Code Composer Studio) 툴과 DSP칩을 내장한 DSK5510 보드를 이용하여 기능을 검증한다. 모의실험 결과 현 없는 가야금의 합성음은 기존의 음과 매우 유사하였으며, 초보자도 쉽게 제어하고 연주가 가능한 환경을 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.504-506
• /
• 1999

소프트웨어 개발 과정에서 개발자 상호간의 의견 교환과 정보 공유는 실제로 프로젝트를 정확히 이해하고 분석하는데 있어 필수적인 요구 사항이다. 이러한 상호 정보 교환은 시스템의 정보, 기능, 행위 등을 쉽게 해주는 모델링을 통해 이루어지는데, 최근 모델링 작업을 쉽게 해주는 CASE 도구들이 많이 제공되고 있다. 하지만 각각의 CASE 도구들은 모델링 정보에 대한 서로 다른 포맷을 사용하고 있고, 플랫폼 종속적인 인터페이스를 제공하기 때문에 분산 환경에서의 정보 교환 및 공유가 불가능하다. 이러한 문제를 다양한 형태의 정보의 표현이 가능하며 정보교환의 새로운 패러다임으로 등장하고 있는 XML(Extensible MarkUp Language)을 이용하여 표준 객체지향 분석/설계 방법론인 UML 모델을 저장하고 활용하는 방안을 제시하고자 한다. 메타언어로서의 XML은 웹 환경의 전송 매체 기능을 가지고 있어 분산 환경에서의 정보 공유를 통한 팀 개발과 재사용이 가능하다.

• Journal of Educational Research in Mathematics
• /
• v.15 no.1
• /
• pp.1-19
• /
• 2005

There have been raised the question that students have been of no interst in mathematcs and incompetent for solving real world problem because students have been recognized mathematcs as abstract knowldege. We research whether students' modeles developed in modeling activity can mediate between concrete and abstract. The analysis of our case study revealed that students' modeles aren't decontextualized abstraction but is located in situated abstraction that is a network connecting between concrete and abstract. Thus, these modeles are a tool mediating between concrete and abstract. Also, students' modeling activities can provide students with the opportunity of being competent for solving real world problem.

• Digital Contents
• /
• no.6 s.61
• /
• pp.48-55
• /
• 1998

케이스 벤더들이 ORDBMS 지원에 본격적인 모습을 보이기 시작했음에도 불구하고, 여전히 툴의 수준이나 기능은 미약한 형편이다. ORDBMS 구축 및 적용을 위해서는 기존 자원을 변형할 것인지, 새로운 개발을 추진할 것인지 결정해야 한다. 또 가용한 툴들의 수용능력과 방법론적인 접근에 대해 이해하는 것도 중요하다. 모델링 툴에 새롭게 요구되고 있는 객체관계형의 특징과 문제점을 진단한다. 또한 대표적인 툴들의 현황을 점검함으로써 향후 모델링 및 툴의 방향을 제시한다.

• Spatial Information Research
• /
• v.9 no.2
• /
• pp.185-206
• /
• 2001

Cellular Automata(CA) have been investigated and utilized as a theoretical framework and/or methodology for analyzing and simulating the properties and behaviors of many complex systems in various physical science and engineering field. Due to the conceptual elegance and effectiveness of implementing spatio-temporal dynamic models and the compatibility with raster GISs, recently a variety of modeling works using both CA and GIS have been published in GIS fields Most of spatial dynamic models introduced in previous research, however, were very limited and furthermore integrated CA-GIS system for practical modeling purpose are not developed yet. This study aims to develop an integrated CA-GIS system in which a CA simulator is used as an analytical engine for GIS providing a multipurpose spatial dynamic modeling functionalities. This integrated CA-GIS system is anticipated radically enhancing the current lacking dynamic modeling functionalities of GIS and being utilized as an powerful and effective tool for practical spatial dynamic modeling research.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.20 no.6
• /
• pp.331-345
• /
• 2021

Virtual testing is considered a major requirement for the safety verification of autonomous driving functions. For virtual testing, both the autonomous vehicle and the driving environment should be modeled appropriately. In particular, a realistic modeling of the perception sensor system such as the one having a camera and radar is important. However, research on modeling to consistently generate realistic perception results is lacking. Therefore, this paper presents a sensor modeling method to provide realistic object detection results in a MILS (Model in the Loop Simulation) environment. First, the key parameters for modeling are defined, and the object detection characteristics of actual cameras and radar sensors are analyzed. Then, the detection characteristics of a sensor modeled in a simulation environment, based on the analysis results, are validated through a correlation coefficient analysis that considers an actual sensor.