• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1991년도 춘계공동학술대회 발표논문 및 초록집; 전북대학교, 전주; 26-27 Apr. 1991
• /
• pp.293-302
• /
• 1991

다측면 객체모델은 개념적 데이타베이스 모델인 EA모델을 확장한 객체중심 데이타 모델로서, 여러 측면에서 관측되고 표현될 수 있는 실세계의 동일객체들을 직접 데이타베이스의 동일객체로 모델링 할 수 있도록하여 데이타베이스의 개념적 스키마 설계를 용이하게 한다. 본 논문에서는 이러한 다측면 객체모델의 기본개념들을 설명하고, 수학적 접근에 의한 형식론을 구성하였으며, 그 모델의 구성을 위한 단계적 접근방법을 소개하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.9-14
• /
• 1998

멀티미디어를 실시간으로 서비스하는 비디오 서버의 설계 시, 네크워크 가용공간, 버퍼 공간 및 디스크 전송률 등이 고려되어야 하며, 특히 버퍼 공간과 디스크 전송률을 동시게 고려하는 기법이 제시되었지만, VOD 서버에서는 보통 MPEG데이터가 VBR 형식으로 되어 있기 때문에 CBR로 모델링하면 시스템의 가용성이 떨어지게 된다. 또한 수용제어를 위한 버퍼 예약기법에서는 VBR 형태로 데이터를 모델링하는 기법들이 제시되었지만, 이 경우에도 디스크 전송률을 계산할 때는 CBR형식으로 가정하거나 아예 고려를 하지 않기 때문에 역시 시스템 자원을 효율적으로 사용할 수 없다. 본 논문에서는 VBR 비디오 서버의 설계를 위하여 서버에서 처리되는 각 스트림들을 하드 실시간 태스크 모델로 모델링하고 실시간 태스크들을 효율적으로 처리할 수 있는 실시간 스케쥴링 알고리즘을 제안한다. 이 실시간 스케쥴링 알고리즘을 디스크 액세스의 승인제어, 디스크 스케쥴링, 버퍼 관리에 이용하므로서 연속성을 보장할 수 있는 효율적인 VBR 연속 미디어 서버를 설계할 수 있다. 비디오 서버의 성능은 시뮬레이션을 이용하여 분석하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.823-826
• /
• 2003

최근 들어 인터넷 기반의 B2B 전자상거래가 확산되고 데이터 교환을 위한 전자문서 형식으로 XML의 효용성에 대한 인식이 높아지면서, 전통적인 방식의 B2B 전자거래 모델인 EDI의 한계를 극복한 XML/EDI, ebXML통의 전자상거래 모델이 등장하게 되었다. 또한 이러한 XML기반 전자상거래 모델에서는 XML 전자문서를 활용한 데이터 교환을 기반으로 하고 있다 하지만 아직까지 각 기업에서 관리되고 있는 전자상거래 데이터의 대부분이 비 XML 데이터 형식으로 이루어져 있어 XML 전자문서를 활용하는데 현실적으로 어려움이 있다. 따라서 이러한 문제를 해결하기 위해서 본 논문에서는 기존의 전자상거래 데이터를 XML기반 전자상거래 시스템에서 활용하기 위해서 비 XML데이터의 구조를 기술하는 XMeta 언어를 정의하여, 이를 기반으로 다양한 데이터 포맷을 원활히 지원할 수 있는 XML 문서변환기를 설계 및 구현하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.156-164
• /
• 2000

실시간 시뮬레이션이란 시뮬레이션 모델의 시간 진행을 실시간에 기반하여 수행하는 시뮬레이션을 말한다. 이러한 시뮬레이션은 가상 운전 교육 프로그램 또는 컴퓨터를 이용한 컨트롤 시스템의 검증 등에 사용된다. 본 논문에서는 DEVS 형식론［Zei84］을 확장한 RT-DEVS 모델의 실시간 시뮬레이션에서 주어진 모델의 스케줄링 가능성에 대한 분석 기법을 다룬다. 제한된 시스템 리소스 상에서 여러 개의 모델을 실시간에 기반하여 시뮬레이션하려면 스케줄링이 필요하다. 실시간 스케줄링 가능성을 분석하기 위하여 시뮬레이션 모델에 제한점이 주어진다. 본 논문에서는 이러한 제한점을 알아보고 이를 만족하는 시뮬레이션 모델의 상태 궤적 그래프의 합성을 통하여 전체 시뮬레이션 시스템의 스케줄링 가능성을 알아보는 기법을 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.202-211
• /
• 2003

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2000년도 추계학술대회 논문집
• /
• pp.1-5
• /
• 2000

하이브리드 시스템의 행동 표현을 각각의 시스템에 적합한 모델링 형식론으로 표현하면, 각각의 모델이 지니고 있는 정확도를 유지할 수 있고, 수행속도를 증가시키는 이점을 가지게 된다. 하이브리드 시스템을 모델링 하는 과정에서 시간 진행에 따른 수행 의미의 고찰은 모델링 방법에 중요한 영향을 끼칠 수 있다. 본 논문에서는 이산 사건 시스템과 연속 시간 시스템간의 입출력 교환을 위해서, 사건을 연속 입력으로 변환하고, 연속 출력을 사건으로 변환하는 인터페이스를 표현하는 형식론을 정의하고, 시뮬레이션의 시간 진행에 따른 종속 관계 방법과 독립 관계 방법을 모두 수행할 수 있는 알고리즘을 제안한다. 이 때, 이산 사건 시스템은 DEVS 형식론에 기반한 알고리즘으로 수행하고, 연속 시스템을 미분방정식의 산술적 누적 알고리즘에 따라 수행하는 통합 환경을 구축하며, 이를 바탕으로 두 미사일의 격추 예제를 수행하여 전쟁 시뮬레이션 분야에 적용가능성을 확인한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.685-688
• /
• 2004

자바 클래스 파일은 플랫폼 독립성을 보장하면서 다양한 애플리케이션의 실행 파일 포맷으로 사용되고 있으며 실행 효율성을 높이기 위해 파일 형식의 변환 연구, 압축 기법 연구 등이 진행되고 있다. 본 연구에서는 임베디드 시스템에 적합한 가상기계(EVM)을 개발하기 위해 기존의 자바 클래스 파일형식을 간결한 형태로 재구성한 실행 파일 포맷($^{\ast}.evm$)에 대한 실행 환경 모델을 구축하기 위해 본 논문에서 자바 클래스 파일을 $^{\ast}.evm$ 형식으로 변환하는 변환기를 설계하고 구현하였다. 자바 클래스 파일로부터 변환된 $^{\ast}.evm$ 형식에 대한 검증은 현재 구현중인 로더/링커 및 실행 시간 엔진 등을 통한 실험 결과의 정확성을 통해 증명하였다.

• 한국정보통신학회논문지
• /
• 제14권10호
• /
• pp.2310-2316
• /
• 2010

이 논문에서는 형식 검증(formal verification)의 한 분야인 모델 검증(model checking)에 재타이밍(retiming) 기법을 적용하는 방법에서 대해 연구하였다. 재타이밍은 주어진 회로의 레지스터들을 재배치함으로써, 입출력 동작을 바꾸지 않으면서 전이 관계(transition relation)을 변환할 수 있는 기법이다. 이러한 재타이밍을 이용하면 모델 검증을 더 효율적으로 수행하도록 회로를 바꿀 수 있다. 이 논문에서는, 레지스터의 개수와 전이 관계의 특성을 반영한 cost 함수를 제안하고, 재타이밍으로 얻을 수 있는 회로 구조들을 효율적으로 탐색하는 heuristic annealing 알고리즘을 개발한다. 제안된 방법이 모델 검증의 성능을 향상시킬 수 있음을 실험 결과를 통해 보여주었다.

• 환경영향평가
• /
• 제31권5호
• /
• pp.271-285
• /
• 2022

본 연구에서는 AERMOD 기상 전처리 프로그램인 AERMET에 대표적 지표기상 형식인 CD-144와 ISHD를 적용하여 처리 결과를 비교하고, 환경부 토지피복도를 고려하여 대기확산 정도를 분석하였다. 연구결과, knot 단위를 사용하는 CD-144 형식의 경우 단위 변환 오차로 인해 실제 풍속을 고려하지 못하였으나 ISHD 형식은 그대로 반영하는 것으로 나타났다. 점오염원 1시간 최대 농도값은 ISHD가 CD-144에 비해 높았으며, 그 외에는 동일하거나 낮아지는 것으로 나타났다. 환경부 토지피복도를 반영한 농도값은 토지피복도를 고려하지 않은 경우보다 최대 387% 증가하였으며, 등농도곡선 형태(곡선의 방향 및 길이)에도 차이가 있는 것으로 나타났다. 환경영향평가 및 통합환경허가에서의 모델 사용은 동일한 조건에서의 통일된 판단을 요구하므로 AERMET 사용시 ISHD 형식의 사용과 함께 모델링 지역의 토지피복을 고려할 필요가 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제18권4호
• /
• pp.483-497
• /
• 2008

본 연구에서는 (두 자리 수)${\times}$(두 자리 수)의 곱셈에 대한 학생의 비형식적인 지식은 무엇이며, 문제 해결 과정에서 이러한 비형식적 지식의 역할이 어떠한지 분석하였다. 아직 (두 자리 수)${\times}$(두 자리 수)의 곱셈을 학습하지 않은 한 명의 3학년 학생을 대상으로 4차례의 임상면담을 실시하였고, 학생이 작성한 활동지와 행동적인 특성, 사고과정에 대한 단서 등도 자료에 포함시켰다. 아직 표준적인 알고리즘을 알지 못하는 상태에서 비형식적인 지식만으로 어떻게 문제를 해결하고 개념을 발전시키는지, 특히 어떤 유형의 비형식적인 지식을 어떤 방식으로 활용하는지 알아보았다. 관찰한 비형식적 지식은 모델 화하기, 두 배하기 전략, 그리고 곱셈의 분배와 결합 성질에 대한 이해이다. 그리고 비형식적 지식은 문제 해결 과정에서 해결방법을 설명하고 정당화하는 역할을 하였다.