• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.1882-1887
• /
• 2003

The response surface method (RSM) became one of famous meta modeling techniques, however its approximation errors give designers several restrictions. Classical RSM uses the least squares method (LSM) to find the best fitting approximation models from the all given data. This paper discusses how to construct RSM efficiently and accurately using moving least squares method (MLSM) with sensitivity information. In this method, several parameters should be determined during the construction of RSM. Parametric study and optimization for these parameters are performed. Several difficulties during approximation processes are described and numerical examples are demonstrated to verify the efficiency of this method.

• 생태와환경
• /
• 제45권2호
• /
• pp.150-157
• /
• 2012

Fish communities in river networks provide significant ecosystem services that will likely decline under future land use and climate change. We developed a model that simulates the consequences to multiple populations of one or more fish species-a meta-community-from multiple stressors across a river network. The model is spatially-explicit and age-structured, with three components: habitat suitability; population dynamics, including species interactions; and movement across a spatial network. Although this model is simple, it can form the basis of fisheries assessments and may be incorporated into an integrated modeling system for watershed management and prediction.

• 한국CDE학회논문집
• /
• 제15권6호
• /
• pp.467-475
• /
• 2010

Due to the needs of design optimization and productivity for modernized Korean traditional house, standardization of Korean traditional building components is proceeding by BIM (Building Information Modeling). Currently, most of BIM software support object-based parametric modeling. By means of parameterized Korean traditional building components, the shape and assembly relation can be controlled. Although IFC(ISO/PAS 16739), which is an international standard in the AEC field, has been developed for information exchange among BIM software, IFC and other existing common data formats cannot be exchangeable parametric information. For the exchangeable parametric information within IFC, the authors defined meta-data by using Pset(Property-Set). The authors analyzed results about interoperability test in Revit $Architecture^{TM}$, $ArchiCAD^{TM}$ and Digital $Project^{TM}$. In order to solve found problems, the authors developed a translator to improve interoperability among BIM software.

• 한국공작기계학회논문집
• /
• 제14권6호
• /
• pp.125-131
• /
• 2005

The purpose of this study is an optimization of gate valve made by forging method instead of welding method. In this study, we propose an optimal shape design to improve the mechanical efficiency of gate valve. In order to optimize more efficiently and reliably, the meta-modeling technique has been developed to solve such a complex problems combined with the DACE (Design and Analysis of Computer Experiments). The DACE modeling, known as the one of Kriging interpolation, is introduced to obtain the surrogate approximation model of the function. Also, we prove reliability of the DACE model's application to gate valve by computer simulations using FEM(Finite Element Method).

• 디지털융복합연구
• /
• 제12권9호
• /
• pp.193-199
• /
• 2014

무선 센서 네트워크 어플리케이션의 기능 요구를 달성하기 위한 주요한 수단은 실세계에서 얻는 데이터이므로 어플리케이션 개발 과정에 있어서 데이터에 관한 품질 개선은 중요한 과제이다. 어플리케이션 개발 시 저비용의 프로토타입을 개발하고 빠른 기간 내에 품질을 개선하기 위한 것과 상세한 품질개선에 대한 요구 사항을 만족하는 것이 가능해야 한다. 그러나 기존의 개발방법은 추상도를 일관되게 사용하기 위한 기술능력과 기술의 용이성간의 이율배반적인 관계로 인하여 동시에 두 가지를 만족할 수 없다. 본 논문에서는 추상도가 다른 복수의 모델링 언어를 병용해 사용함으로써 데이터 품질 개선을 지원하는 메타 데이터 설계를 제안한다. 본 논문에서는 설계대상마다 적절한 추상도를 사용하도록 모델링 언어를 정의하고 이들의 사용방법을 제안한다. 또한 상위모델 설계를 하위 모델에 반영함으로써 실제와 근접한 자동모델교환규칙을 정의할 수 있도록 한다.

• 방송공학회논문지
• /
• 제20권6호
• /
• pp.848-861
• /
• 2015

본 논문에서는 메타정보로 표현된 마케팅 및 홍보전략·의도 등을 이용하여 홍보동영상을 쉽게 제작하는 웹기반 서비스 시스템을 소개한다. 홍보영상제작 시스템은 홍보물을 제작하려는 사용자가 사진이나 동영상을 제공하면 업종정보와 잠재고객정보 등을 이용해서 관련된 홍보동영상을 자동으로 생성하는 시스템이며 IT기술에 어려움을 느끼는 사용자들을 배려한다. 이와 관련된 기존 서비스들은 사전 정의되거나 새로 추가한 테마나 범주에 맞춰 템플릿들을 제작하고, 이를 갤러리 형식의 인터페이스로 제시하면 사용자가 원하는 템플릿을 직접 선택하여 홍보영상을 완성하는 방식이었다. 통상적으로 이를 실현하기 위해서는 템플릿 등에 해당 파일을 설명할 수 있는 태그를 붙여서 분류하고 검색하는 방식을 사용하는데 정형화되지 않은 메타정보들을 포함하는 템플릿 등이 새롭게 추가될 경우 관리 및 분석을 위해 별도의 정형화 과정이 필요하다. 이 작업은 서비스 규모가 커지고 시간당 처리수가 증가할수록 부담이 된다. 이를 해결하고자 본 논문에서는 장면템플릿 관련 비정형 메타정보를 주제모델링 방법을 사용해서 자동 분류한다. 또한 홍보전략 및 홍보의도를 표현하는 정형화 되지 않은 전략메타정보를 이용해서 적절한 장면템플릿을 추천하는 방법을 제안한다.

• 대한화학회지
• /
• 제64권2호
• /
• pp.111-118
• /
• 2020

이 연구는 과학영재 학생들의 MMK 발달 및 MMK 발달 수준과 실제 수행과의 관계에 대한 탐색을 목적으로 한다. 먼저, Rasch 모델을 이용하여 51명 학생의 MMK 발달 단계를 1년 간격으로 2번 측정하였다. 이후 교차검증을 통해 MMK 발달에 유의미한 변화가 있는지를 판단하였다. 교차검증 결과 영재학생들의 MMK 발달은 통계적으로 유미한 변화가 없었다(p>.05). 두번째로, 7명의 영재 학생을 대상으로 MMK 발달 단계와 수행과의 관계를 분석하였다. 분석결과 학생이 수행에서 보이는 반응은 MMK 발달 단계를 능가할 수 없음을 확인할 수 있었으며, MMK 발달 단계가 높은 학생이 실제 수행에서는 낮은 수준의 반응을 보인 경우도 있었다. 이 두 연구결과는 MMK 발달을 높일 수 있도록 현재 영재 학생들에게 제공되는 교육 프로그램에 대한 제고가 필요하며, 이와 더불어 지식과 수행을 연결할 수 있는 영재교육이 필요함을 보여준다.

• 응용통계연구
• /
• 제26권3호
• /
• pp.453-470
• /
• 2013

본 논문에서는 카드뮴의 반응-용량 모형에 대한 베이지안 분석을 실시하고 기준용량에 대한 추정값들을 유도하고 비교한다. 이를 위하여 독성물질에 대한 용량반응곡선에서 많이 활용되는 두 가지 모형을 사용하고, 카드뮴의 독성연구에 관련한 기존의 문헌으로 수집된 자료에 대한 성별, 연령, 인종, study code 등과 같은 소집단 간의 개별적 형질을 반영할 수 있는 베이지안 메타분석 관점에서의 모형분석을 실시한다. 이러한 두 가지 모형에 대한 베이지안 분석을 위하여 WinBUGS를 이용한 마르코프 연쇄 몬테칼로(Markov chain Monte Carlo; MCMC) 방법을 통하여 모수를 추정하고 이에 따른 다양한 기준용량들을 계산하고 비교해보았다. 베이지안 모형 적합뿐만 아니라 편차정보기준을 통해서 주어진 자료를 더 잘 설명하는 모형을 선택하는 베이지안 모형 선택을 고려하였고, 이를 실제 자료에 적용해본다.

• 정보화연구
• /
• 제9권4호
• /
• pp.443-453
• /
• 2012

다양한 분야의 시스템들은 시스템 오류에 인한 피해의 최소화를 목적으로 안전필수 특성을 가지도록 요구된다. 본 논문에서, 안전필수 시스템으로 많이 연구되는 사이버물리시스템이 그 특성을 가지기위해 고려해야하는 이슈와 주요 요소인 시간을 기반으로 모델 지향 아키텍처에 대하여 논의한다. 메타모델링 접근 방식으로 마감시간, 전환상태와 기준치에 연결하여 시간 기반 아키텍처를 제시하고, 이를 모델지향 아키텍처를 이용하여 설계한다. 메타모델로부터 생성된 안전처리 모델과 함께 오류처리 컴포넌트를 사용하여 사이버 물리 시스템 및 시간기반 도메인에 적용 가능한 안전필수 아키텍처를 제시한다. 그리고 안전필수 시스템 설계 시 기본적 안전처리 상태, 다중적 상태, 복합적 상태를 통하여 세부적인 모델과 그 사례를 나타내었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.