• 한국지구과학회지
• /
• 제38권4호
• /
• pp.303-320
• /
• 2017

본 연구의 목적은 과학적 모델의 사회적 구성 수업을 적용한 야외지질학습에서 학생들이 만드는 조별 모델 구성 과정에 대해 제약조건을 중심으로 이해하는 것이다. S 영재원 지구과학분과 3조, 12명의 학생들을 대상으로 진행하였다. '관악산은 어떻게 형성되었을까?'를 주제로 야외지질답사 2차시, 과학적 모델의 사회적 구성 수업 3차시로 진행하였다. 조별 모델 구성과정에 관해서는 Nersessian (2008)이 제시한 제약조건을 이론적 근거로 하여 반-구조화된 인터뷰, 야외지질답사, '과학적 모델의 사회적 구성 수업'의 모든 담화, 활동지를 분석하였다. 연구결과는 다음과 같다. 첫 번째 야외지질학습에 적용한 과학적 모델의 사회적 구성 수업에 나타난 제약조건의 출처는 과학 이론, 야외지질답사에서 관찰한 내용, 과학적 모델의 사회적 구성 수업에서 추가로 제공된 것이 있었다. 두 번째 조별 모델링에 영향을 미치는 3가지 종류의 제약조건이 있다. 조별 모델에는 조별 구성원 모두가 동일하게 가지고 있던 것으로 '공통적인 제약조건', 조별 구성원 일부가 가지고 있던 것 중 조별 모델에 반영된 '채택된 제약조건', 마지막으로 초기 모델에는 없었으나 조별 모델 구성과정에서 새롭게 나타난 '생성된 제약조건'이 있었다. 이번 연구는 학교 과학에서 제약조건을 기반으로 조별 모델이 만들어지는 과정을 이해할 수 있을 뿐만 아니라 야외지질학습이라는 수업 사례를 보여줌으로서 실제 적용하는데 이바지 하고자 하였다는 점에서 의의가 있다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.772-779
• /
• 2006

The new model proposed in this paper is the hidden Markov mesh model or the 2D HMM with the causality of top-down and left-right direction. With the addition of the causality constraint, two algorithms for the evaluation of a model and the maximum likelihood estimation of model parameters have been developed theoretically which are based on the forward-backward algorithm. It is a more natural extension of the 1D HMM than other 2D models. The proposed method will provide a useful way of modeling highly variable image patterns such as offline cursive characters.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권4호
• /
• pp.283-290
• /
• 2009

상황인식 서비스는 유비궈터스 환경의 핵심으로 동적 환경에서 지능적이고 민감하게 동작하기 위해 상황과 서비스간의 연관관계를 명확하게 분류하기 위한 방법론이 요구된다. 기존의 모델링 방법들은 시나리오 중심의 상황정보 수집, 관리 그리고 표현에 초점이 맞추어 있다. 따라서 설계할 때 다양한 실제환경에 적용하여 상황인식 서비스 모델의 적합성을 검증하기는 힘들다. 본 논문에서는 colored Petri-Net을 응용한 모델링 방법을 제시한다. 모델은 상황 정보의 변화와 흐름의 표현과 평가에 초점을 두고 시간을 추가하여 수행시간제약에 대한 표현 및 평가가 가능하도록 하였다. 또한 상황 모델링 툴킷과 에이전트 기반의 상황인식 엔진 그리고 상황정보 시뮬레이터를 활용하여 에이전트 기반의 상황인식 서비스를 개발하였다. 본 논문에서 제안한 모델링 방법은 Usilvercare에 적용하여 실용성을 검증하였다.

• 한국통신학회논문지
• /
• 제27권2A호
• /
• pp.137-145
• /
• 2002

3차원 모델링을 위한 방법 중 서로 다른 위치에서 획득한 두 영상으로부터 3차원 거리 정보를 추출하는 스테레오 영상 기법은 매우 유용한 방법이다. 일반적으로 2D 스테레오 영상으로부터 3차원 모델을 생성하기 위해서는 좌측 영상과 우측 영상의 일치하는 화소를 찾는 정합 과정에 의한 변위 추정이 매우 중요하다. 본 논문에서는 스테레오 영상의 변위 추정 문제를 해결하기 위해 기존 방법들의 장단점을 고려하여 변위의 정확성과 시간상의 효율성을 향상시킬 수 있는 방법을 제안한다. 빠른 수행을 위하여 먼저 스테레오 영상에 대하여 웨이블릿 변환을 수행하고 특징점 정합을 통하여 영상에서 기준이 될만한 기준점을 설정한다. 이 기준점은 95% 이상의 매칭 확률을 가지고 있는 점으로 이러한 기준점에 기초하여 영역 기반 방법의 조밀한 변위 추정을 위한 가변 블록 탐색창의 크기 결정과 오정합을 막기 위한 ordering constraint가 적용된다. 이렇게 하여 빠른 수행 시간안에 변위를 추정할 수 있었고, 영역 기반 방법의 문제점이었던 일정 크기의 윈도우를 일률적으로 적용하기 때문에 나타나는 폐색 영역의 문제나 반복 패턴으로 인한 오차를 해결할 수 있었다.

• 정보처리학회논문지D
• /
• 제15D권5호
• /
• pp.629-646
• /
• 2008

보다 정확한 표현을 위하여 Object Constraint Language(OCL)을 이용하여 메트릭을 기술하는 연구들이 있다. 그러나 OCL은 Unified Modeling Language(UML)에서 구조적 제약사항을 기술하기 위한 언어이기 때문에 메트릭을 표현하기에는 부적절하다. 본 논문에서는 이러한 문제점을 해결하기 위하여 메트릭을 표현하는 상위 수준의 언어인 Metric Description Language(MDL)을 제안한다. MDL은 복잡한 메트릭의 분할 기술, 집계함수, 대상간의 자동 탐색 기능을 지원하여 OCL의 복잡성 문제점을 해결하고 있다. 또한 본 논문은 MDL을 기술하고 UML 모델을 대상으로 메트릭의 자동 계산을 지원하는 도구를 개발하였다. 그리고 사례연구로 기존에 제시된 다양한 유형의 메트릭을 MDL로 기술하였으며 OCL로 표현된 메트릭보다 단순함을 확인하였다.

• 한국항공우주학회지
• /
• 제48권11호
• /
• pp.881-888
• /
• 2020

본 논문에서는 관측자가 얻을 수 있는 시선각(LOS) 측정값을 사용하여 관심표적의 상태변수를 추정하는 연구를 수행하였다. 관심상태변수는 표적의 위치, 속도 및 가속도로 설정하였다. 시선각 측정값은 필터에 표적운동모델 적용을 어렵게 하는 비선형성이 강한 측정값이다. 이러한 문제해결을 위해 가측정치 공식(Pseudomeasurement equation)을 사용하여 시선각 측정값 수식을 변경한 후 3D 가변선회(3D Variable Turn) 표적운동모델을 적용하였다. 또한 필터의 성능을 위해 기구학적구속조건(Kinematic Constraint)을 적용하였다. 필터는 초기조건에 강건한 특성을 가진 Bias Compensation Pseudomeasurement Filter (BCPMF)를 사용하였다. 병렬 계산의 이점을 위해 Two Stage Kalman Filter 형태를 추가적으로 적용하였다. 이 기법들을 사용하여 TBCPMF 3DVT-KC 필터를 제안하였고 시뮬레이션을 통해 성능을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제39권2호
• /
• pp.95-102
• /
• 2007

The conceptual design of the MIT modular pebble bed reactor is described. This reactor plant is a 250 Mwth, 120 Mwe indirect cycle plant that is designed to be deployed in the near term using demonstrated helium system components. The primary system is a conventional pebble bed reactor with a dynamic central column with an outlet temperature of 900 C providing helium to an intermediate helium to helium heat exchanger (IHX). The outlet of the IHX is input to a three shaft horizontal Brayton Cycle power conversion system. The design constraint used in sizing the plant is based on a factory modularity principle which allows the plant to be assembled 'Lego' style instead of constructed piece by piece. This principle employs space frames which contain the power conversion system that permits the Lego-like modules to be shipped by truck or train to sites. This paper also describes the research that has been conducted at MIT since 1998 on fuel modeling, silver leakage from coated fuel particles, dynamic simulation, MCNP reactor physics modeling and air ingress analysis.

• 한국자동차공학회논문집
• /
• 제5권5호
• /
• pp.73-85
• /
• 1997

An automatic transmission is an important element of automotive power systems that allows a driving convenience. Compared to a manual transmission, however, it has a few problems in efficiency, shift feel, and maintenance. To improve these, it is imperative to understand the dynamics of automatic transmissions. This paper develops a dynamically-correct model of an automatic transmission, using the bond graph method. The bond graph method is ideally suited for modeling power systems, because the method is based on generalized power variables. The bond graph method is capable of providing correct dynamic constraints and kinematic constraints, as well as the governing differential equations of motion. The bond graph method is applied to 1-4 in-gear ranges, as well as various upshifts and downshifts of an automatic transmission, which allows an accurate simulation of an automatic transmission. Conventional automatic transmission models have no dynamic constraint, which do not allow correct simulation studies.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2000년도 추계학술대회 및 정기총회
• /
• pp.161-164
• /
• 2000

A cyclic shop is a production system that repeatedly produces identical sets of jobs, called minimal part sets, in the same loading and processing sequence. We consider a version of cyclic shop where the operations are processed and unloaded within time limits, so called a time window. We model the shop using an event graph model, a class of Petri nets. To represent the time window constraint, we introduce places with negative time delays. From the shop modeling graph, we develop a linear system model based on the max- plus algebra and characterize the conditions on the existence of a stable schedule.

• 정보처리학회논문지D
• /
• 제15D권1호
• /
• pp.87-98
• /
• 2008

임베디드 시스템의 하드웨어 구성요소들에 대한 성능 고도화가 요구됨에 따라 이에 탑재될 소프트웨어의 개발 방법도 영향을 받고 있다. 특히 MPSoC와 같은 고가의 하드웨어 아키텍처에서는 효율적인 자원의 사용 및 성능의 향상을 위해 소프트웨어 측면에서의 고려가 필수적으로 요구된다. 따라서 본 연구에서는 임베디드 소프트웨어 개발과정에서 멀티프로세서 기반의 하드웨어 아키텍처를 고려하는 소프트웨어 태스크의 분할기법을 제시한다. 제시하는 기법은 UML 기반의 소프트웨어 모델을 CBCFG (Constraints-Based Control Flow Graph)로 변환하고, 이를 병렬성과 데이터 의존성을 고려한 소프트웨어 컴포넌트로 분할하는 기법이다. 이러한 기법은 임베디드 소프트웨어의 플랫폼 의존적인 모델 개발과 태스크 성능 예측 등을 위한 자료로 활용할 수 있다.