• Title/Summary/Keyword: 형식모델

Search Result 927, Processing Time 0.024 seconds

The AC Arc Model of the High-Intensity Discharge Lamps (고광도 방사등의 교류 아아크 모델)

  • Chee, Chol-Kon;Kim, Hoon
    • The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.2 no.3
    • /
    • pp.47-58
    • /
    • 1988
  • 본 논문에서는 고광도방전등의 전기적 특성을 해석하기 위한 아아크모델을 제시하였다. 방전관내에서 반경방향의 온도분포가 포물선형태로 변화하는 것으로 가정하고 방전관의 단위체적에서의 에너지평형식을 단면적에 대해 적분함으로서 단위길이당의 에너지평형식으로 변환하였다. 이 에너지평형식과 회로방정식, 그리도 오옴의 법칙을 이용하여 아아크의 전류와 전압의 1주기에서의 변화를 계산하여 좋은 결과를 얻었다. 또한 방전관의 축온도와 이에 따른 방사에너지의 값을 계산하는 간단한 방법을 제시하였다.

  • PDF

The Formalism of Object-Oriented EA Model (객체 중심 측면 모델의 형식론)

  • 오선영;백두권
    • Proceedings of the Korea Database Society Conference
    • /
    • 1994.09a
    • /
    • pp.235-253
    • /
    • 1994
  • 기존의 데이타 모델 및 설계 방법론들은 실세계의 데이타 객체에 대해 고정된 한 측면의 모델 표현만을 허용하기 때문에 여러 측면으로 관측이 가능한 실세계 객체들의 표현에 어려움을 갖는다. 본 논문에서는 객체의 측면 개념을 제공하는 객체 중심 측면 모델(OOAM : Object-Oriented EA Model)의 기본 개념을 보여주고 OOAM에 의해 구축되는 데이타베이스 스키마의 시맨틱을 분석하고 서술하기 위해 OOAM을 형식적으로 정의하였다. 먼저 데이타베이스 설계 과정에서 필요한 공리들을 설정하고 OOAM을 intension과 extension으로 각각 정의한 후 그들 사이의 관계를 정의하였다.

  • PDF

Formal Model 작성을 위한 Event Graph 모델링 연구

  • 박정현;최병규
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1995.10a
    • /
    • pp.864-867
    • /
    • 1995
  • Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.

  • PDF

A Non-hierarchical Distributed Simulation of Hierarchical DEVS Models (계층적 DEVS 모델의 비 계층적 분산 시뮬레이션)

  • 강원석
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1999.10a
    • /
    • pp.308-312
    • /
    • 1999
  • DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화된 형태로 이산사건 시스템을 기술한다. 본 논문에서는 DEVS 형식론에 기반한 모델들을 시뮬레이션하기 위한 분산 시뮬레이션 방법을 제시한다. 본 논문에서 제시한 시뮬레이션 방법은 계층적 DEVS 모델들을 비 계층적 모델로 구성하여 시뮬레이션한다. 제시한 시뮬레이션 방법은 전통적인 계층적인 시뮬레이션 시 발생하는 overhead를 제거한다. 또한 시뮬레이션 동기화를 쉽게 구현할 수 있고 더불어 시뮬레이션 엔진의 안정성을 높일 수 있다. 제시한 시뮬레이션 방법의 효용성을 보이기 위해 Windows 시스템에 실행 가능한 시뮬레이션 엔진을 구현하여 대규모 물류 시스템으로 성능을 측정하였다.

  • PDF

A Design of DMLI (Description Model for Location Information) (위치 정보를 위한 기술 모델 (DMLI) 설계)

  • Kim Jae-Won;Choi O-Hoon;Baik Doo-Kwon
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06c
    • /
    • pp.34-36
    • /
    • 2006
  • 본 논문은 다양한 위치 획득 시스템에 따라 다른 형식을 가지는 위치 데이터와 이에 따른 표준의 차이를 해결하기 위해 DMLI(Description Model for Location Information)을 제안한다. DMLI는 다른 형식으로 표현된 위치 데이터에 대한 메타데이터를 재정의 하지 않고, 모두의 의미를 포괄하는 메타데이터로 재분류하는 분류체계 모델이다. DMLI는 시설물(Facility), 장소(Place), 서비스(Service) 요소들로 구성된다. 시설물은 공간을 정의하는 최상위 요소로 공간 사용목적과 용도 및 기능에 따른다. 장소는 시설물을 구성하는 최하위 요소다. 서비스는 장소에서 제공 가능한 서비스를 말한다. 또한 위치관련 메타데이터 요소간의 정보를 정의한 사전을 이용하여 기존의 위치 데이터에 대한 메타데이터 요소를 DMLI에서 제안한 메타데이터 요소로 변환이 가능하다. 사전을 이용함으로서 또 다른 형식의 위치 데이터가 입력되어도 DMLI 형식으로의 변환이 용의하다. DMLI 형식으로 재분류된 위치관련 메타데이터들은 공간 사용 목적과 제공 가능한 서비스를 명확히 표현한다. 또한 위치관련 검색, 통계 등의 서비스를 제공하는 어플리케이션을 통하여 다양하게 응용되어 사용된다.

  • PDF

H-Anim-based Definition of Character Animation Data (캐릭터 애니메이션 데이터의 H-Anim 기반 정의)

  • Lee, Jae-Wook;Lee, Myeong-Won
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.15 no.10
    • /
    • pp.796-800
    • /
    • 2009
  • Currently, there are many software tools that can generate 3D human figure models and animations based on the advancement of computer graphics technology. However, we still have problems in interoperability of human data models in different applications because common data models do not exist. To address this issue, the Web3D Consortium and the ISO/IEC JTC1 SC24 WG6 have developed the H-Anim standard. However, H-Anim does not include human motion data formats although it defines the structure of a human figure. This research is intended to obtain interoperable human animation by defining the data for human motions in H- Anim figures. In this paper, we describe a syntactic method to define motion data for the H-Anim figure and its implementation. In addition, we describe a method of specifying motion parameters necessary for generating animations by using an arbitrary character model data set created by a general graphics tool.

Analysis of Synchronization Feasibility for Communicating Discrete Event Models (이산사건모델들간의 통신을 위한 동기화 가능성 분석)

  • 홍기정;김탁곤
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2003.06a
    • /
    • pp.185-190
    • /
    • 2003
  • 이산사건 시스템을 기술하는데는 다양한 방법론들이 있으며 event의 관점에서 본다면, event loss 방법론과 event lossless방법론이 있다. event loss방법론의 경우 때때로 원치 않는 event loss가 발생하여 시스템을 deadlock의 상태로 이끌 수가 있으며, 이러한 것을 피하기 위해 본 논문은 event loss방식의 동기식방법론인 DEVS형식론으로 기술된 모델을 본 논문에서 제안하는 TSRG란 방법을 이용하여 event loss의 유무를 해석할 수 있는 기법을 소개하고자 한다. 소개된 해석 기법은 linear programming을 이용하여 해를 구할 수 있으며, DEVS형식론으로 기술된 이산사건 모델들간의 event loss의 유무를 해석함으로써 서로간의 통신 동기화의 가능성 분석을 가능하도록 한다.

  • PDF

A study on the Modeling of I/O Buffer Information Specification to supply Signal Integrity Simulation (신호 통합성 시뮬레이션을 지원하기 위한 입출력 버퍼 정보형식의 모델링에 관한 연구)

  • 김현호;이용희;이천희
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2000.11a
    • /
    • pp.131-134
    • /
    • 2000
  • 본 논문에서는 디지털 IC회로의 입출력과 입출력 버퍼에 대한 입출력 버퍼정보 형식 모델링을 묘사하였고 입출력 버퍼의 전기적 특성을 표현하는 방법 등을 나타냈다. 또한 본 논문에서 도출한 입출력 버퍼 모델링은 CMOS와 TTL IC를 모델링 하는데 사용할 수 있는데 CMOS와 TTL IC 그리고 ROM과 RAM 메모리에 대한 입출력 버퍼 모델을 128개 정도 만들었다. 이러한 입출력 버퍼 모델은 정확한 행동(behavioral) 모델을 구성하기 위해 그리고 고속 회로의 PCB 디자인 시뮬레이션에 사용될 것이다.

  • PDF

Semiautomatic Pattern Mining for Training a Relation Extraction Model (관계추출 모델 학습을 위한 반자동 패턴 마이닝)

  • Choi, GyuHyeon;nam, Sangha;Choi, Key-Sun
    • 한국어정보학회:학술대회논문집
    • /
    • 2016.10a
    • /
    • pp.257-262
    • /
    • 2016
  • 본 논문은 비구조적인 자연어 문장으로부터 두 개체 사이의 관계를 표현하는 구조적인 트리플을 밝히는 관계추출에 관한 연구를 기술한다. 사람이 직접 언어적 분석을 통해 트리플이 표현되는 형식을 입력하여 관계를 추출하는 규칙 기반 접근법에 비해 기계가 데이터로부터 표현 형식을 학습하는 기계학습 기반 접근법은 더 다양한 표현 형식을 확보할 수 있다. 기계학습을 이용하려면 모델을 훈련하기 위한 학습 데이터가 필요한데 학습 데이터가 수집되는 방식에 따라 지도 학습, 원격지도 학습 등으로 구분할 수 있다. 지도 학습은 사람이 학습 데이터를 만들어야하므로 사람의 노력이 많이 필요한 단점이 있지만 양질의 데이터를 사용하는 만큼 고성능의 관계추출 모델을 만들기 용이하다. 원격지도 학습은 사람의 노력을 필요로 하지 않고 학습 데이터를 만들 수 있지만 데이터의 질이 떨어지는 만큼 높은 관계추출 모델의 성능을 기대하기 어렵다. 본 연구는 기계학습을 통해 관계추출 모델을 훈련하는데 있어 지도 학습과 원격지도 학습이 가지는 단점을 서로 보완하여 타협점을 제시하는 학습 방법을 제안한다.

  • PDF

Model Definition for Type and Relation of HTML5 based Smart TV Application (HTML5 기반 스마트 TV 애플리케이션의 형식과 관계를 위한 모델 정의)

  • Kim, Ho-Youn;Lee, Dong-Hoon;Park, Dong-Young;Lee, Eun-Hyang
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2013.06a
    • /
    • pp.189-192
    • /
    • 2013
  • 본 논문은 "HTML5 기반 스마트 TV 플랫폼" 표준에 따라서 개발될 수 있는 다양한 스마트 TV 애플리케이션의 형식과 관계를 규정하기 위한 애플리케이션 모델을 소개한다. 스마트 TV 용 애플리케이션은 브라우저 기반의 웹 실행 환경에서 동작하지만 일반 PC 나 스마트 폰과 다른 TV 환경의 특성을 고려해야 하며, 이에 따라 앱의 형식을 분류하고 실행 방법과 생명 주기를 정의하며 애플리케이션 사이에서 동작 관계를 규정하는 등의 모델 정립이 필요하다. 본 논문에서는 스마트 TV 용 애플리케이션을 패키징 여부, 실행 방식, 방송 수신 기능의 활성화 여부, 채널 종속 여부의 4 가지 요소로 분류하여 애플리케이션의 정의, 속성, 플랫폼 실행방식 등을 기술한 애플리케이션 모델을 정의한다. 또한 각 애플리케이션의 생성과 종료를 위한 생명주기와 각 애플리케이션 사이에서 우선 순위를 기반으로 한 상호 작용 정책을 규정한다. 이러한 모델 정의를 바탕으로 스마트 TV 서비스에서 고려할 수 있는 대표적인 애플리케이션 동작 시나리오를 제시하고 유효성 검증을 위해 이를 구현한 수신기와 애플리케이션이 동작하는 사례를 소개한다.

  • PDF