• ICROS
• /
• v.6 no.3
• /
• pp.68-81
• /
• 2000

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.10a
• /
• pp.675-680
• /
• 1993

컴퓨터를 이용한 제품의 설계시 개념설계부터 최종설계에 이르는 동안 설계모델은 많은 수정을 요하게 된다. 이 과정에서 개념설계 단계부터 솔리드 모델을 채용하는 것은 불편하므로, 와이어프레임 모델이나 곡면 모델을 이용하여 설계를 진행하다가, 최종설계 단계에서 솔리드 모델로 전환하는 것이 바람직하다. 이 경우 이 3가지 모델을 모두 지원하는 모델러가 요구되는데 '복합다양체'를 지원하는 모델러가 이 요건을 만족시킨다. 또한 경계표현(B-rep)방식으로 모델링시 불리안 작업자를 많이 이용하는데, 모델링 도중에 불리한 작업으로 생성된 모델의 Undo작업은 용이하지 않은 일이다. 따라서 불리안 작업으로 생성된 모델의 수정작업을 위한 알고리즘이 요구된다, 일한 수정작업을 위해선 복합다양체를 지원하는 자료구조가 필요하다. 본 논문에선 이러한 복합다양체 자료구조를 갖는 형상모델러의 기본적 자료구조와 기본물체 모델링시 오일러 작업자를 구현하였다.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.4
• /
• pp.12-22
• /
• 1999

본 논문에서는 PCS의 확장개념으로 최근 관심이 높아지고 있는 In-Building PCS에서 가입자 이동성향과 이동 트래픽 특성을 이용해서 시스템의 트래픽 성능을 분석하였다. 이를 위해 빌딩내 적절한 셀 모양을 설정하고 가입자 이동성을 수학적으로 모델링하였으며 모델링된 셀에서의 가입자 이동률을 다양한 이동 파라메터로서 정의하고 이로부터 2차원 Morkov 생성-소멸 상태도를 유도하였다. 마지막으로 모델링된 가입자 이동성과 트랙픽 상태도를 통해 셀 내에서의 트래픽 성능을 분석하고 평가하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Journal of Korean Elementary Science Education
• /
• v.41 no.4
• /
• pp.673-689
• /
• 2022

To understand seasonal changes it is necessary to understand the relationship between celestial bodies in a three-dimensional space, and to this end, modeling activities in which students directly construct, use, evaluate, and modify three-dimensional models are important. In this study, the process of elementary school students using globes and light bulbs to model Earth's motion in a three-dimensional space as a cause of seasonal changes was analyzed. Seventeen sixth graders participated in the modeling process. After exploring phenomena and concepts related to seasonal change, students constructed models using globes and bulbs and used them to explain seasonal changes. Video data recording students' modeling process, students' activity sheets, and transcripts of post-interview were used as research data, and data triangulation was conducted. The modeling level analysis framework was also developed based on previous studies. In particular, the framework was developed in detail in this study in consideration of the concept of Earth's motion as well as understanding model and implementing modeling. In the final analysis framework, the 3D modeling level was classified from level 1 to level 3, and student performance that may appear at each level was specified. As a result of the study, there were two main levels of modeling using globes for elementary school students to explain seasonal changes. The rotation and tilt of the axis of rotation and revolution of the earth were considered but the level at which empirical evidence was not used (level 2), the level at which empirical evidence was used to explain seasonal chages (level 3). However, even when students use empirical evidence, it did not lead to the construction of a scientific model. In this study, the cause was explored in relation to the characteristics of the tool used for modeling.

• Electronics and Telecommunications Trends
• /
• v.11 no.2 s.40
• /
• pp.45-59
• /
• 1996

종래의 현대제어이론은 플랜트의 수학적 모델링이 매우 중요한 역할을 한다. 그러나 비선형 시스템, 선형 시변 등과 같은 복잡한 프로세서는 수학적 모델링을 구성하기가 어렵고 또한 적절한 제어기를 설계하기가 쉽지 않다. 이에 비해, 퍼지제어는 선형시스템은 물론 비선형 시스템 대해 매우 유용한 것으로 알려지고 있다. 본 고는 퍼지논리에 대한 기본적인 개념과 퍼지제어기술에 대하여 서술하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.3
• /
• pp.42-47
• /
• 2016

The quality of CAD models affects the efficiency of the product development process. However, it seems that CAD modeling education in colleges simply focuses on the creation of CAD models without considering the quality or the applicability of the models. In this paper, we propose educational modeling approaches to help improve the quality and applicability of CAD models. These methods teach students to create models that include a rich set of information, facilitate downstream applications, and are precisely made with the fewest operations. A survey was carried out with students to validate these approaches.

• Journal of Korean Library and Information Science Society
• /
• v.46 no.2
• /
• pp.257-287
• /
• 2015

This study proposes a methodology for using facet analysis in ontology modeling and investigates how facet analysis could be utilized in ontology design processes. We applied facet analysis methods developed by Ranganathan and CRG (Classification Research Group) to modeling Smartphone ontology. Utilizing the guiding principles of Ranganathan and CRG, main facets, such as Type, Spec, Function, Operation, Product, Person, Agent, Space and Time, are derived for Smartphone ontology. It is hoped that the methods and procedures employed in identifying and categorizing facets and ontology in this study will provide insights into designing future ontologies.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.569-581
• /
• 2001

XML Schema which enables the second revolution of Internet with XML rapidly emerging as a standard for XML document structure modeling. XML Schema modeling has more complex structures and information than DTD modeling. In this reason, XML Schema modeling tool which has some more specialized functionalities others is needed. In this paper, we have developed the XML application development method called \"Design and develop\" and implemented the prototype system named XSD4j which supports UML based XML Schema modeling and provides a XML application development platform. Using XSD4j, developers can get an easy and conceptual schema modeling method, XML storage schema for XML document, and persistent DOM API which is a standard interface between document and application program.n program.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.3
• /
• pp.90-99
• /
• 1993

As the finite element method has become a considerable and effective design tool in ship structural analysis, modeling of three dimensional finite element mesh is more necessary than before. However, the unique style and complexity of a ship usually make the modeling be hard and costly. Although most pre-processor of FEM software and geometric modeler provides modeling function, the capability is quite limited for complicated structure. In order to perform FEM modeling quickly, it is necessary to extract, rearrange, and formalize data from ship design database for partially automatic mesh generation. In this paper, the process of designing relational data tables from design data is shown as a part of analysis automation with the application of engineering database concept.