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

본 논문에서는 다수의 승강기들이 서로 협력하여 운영되는 대형 고층 빌딩의 승강기 시스템에 대해서 DEVS 형식론을 이용하여 모델링하고 시뮬레이션한다. 다수의 독립적으로 운영되는 승강기로 이루어진 기존의 승강기 시스템과는 달리, 제안된 시스템에서는 사용자의 요구에 따라 승강기의 스케쥴이 생성, 변경, 삭제되는 동적 스케쥴링 기능을 갖도록 하였다. 제안된 시스템은 승강기 시스템을 나타내는 ELEVATOR 모델과 시뮬레이션 수행에 필요한 실험장치인 EF 모델로 구성된다. ELEVATOR 모델은 빌딩을 나타내는 BUILD 모델, 승강기를 나타내는 ELEV 모델과 각 승가기의 스케쥴을 다이나믹하게 제어하는 SCHED 모델로 구성된다. EF 모델은 실험용 데이터를 생성하는 GENR 모델, 이동하는 승객의 데이터를 추적하고 결과를 수집하는 TRANSD 모델로 구성된다. 모델링된 시스템의 시뮬레이션을 위해 DEVSim++를 이용하여 구현하였다. DEVSim++는 DEVS 형식론을 C++로 구현한 것이다. 시뮬레이션을 통하여 제안된 시스템의 효율, 수행 시간을 기존의 승강기 시스템과 비교, 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.229-231
• /
• 2006

임베디드 기기와 무선 네트워크 기술이 발전함에 따라 PDA나 휴대폰과 같은 모바일 기기 상에서도 멀티미디어 컨텐츠를 소비하는 것이 가능하게 되었다. 그러나 모바일 기기 특성상 무선 네트워크를 통한 컨텐츠 소비환경은 유동성이 강하다. 따라서 모바일 환경에서 멀티미디어 컨텐츠를 효과적으로 제공하기 위해서는 상황에 따른 가용적인 모델이 필요하다. 미디어 형식 변환(Media Transmoding)은 네트워크, 하드웨어, 스트리밍 서버 등의 상황에 따라 능동적으로 컨텐츠의 형식을 변환하여 전송하는 기술이다. 본 논문에서는 모바일 환경에서의 미디어 형식 변환 모델을 제안하고, 자체 개발한 미디어 형식 변환 시나리오를 사용하여 TV-AnyTime Phase 2 Part 3와 SOAP과 결합하여 설계 및 구현하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• 항공우주시스템공학회지
• /
• 제12권4호
• /
• pp.1-8
• /
• 2018

형식증명승인은 외국 감항당국으로부터 형식증명을 받은 후 국내로 도입되는 항공기, 엔진, 프로펠러에 대한 형식설계 검증을 통해 항공기의 안전성을 확인하는 것을 말한다. 우리나라는 항공안전법 제21조 "형식증명승인"에 따라 국내로 수입되는 항공기에 대한 설계 적합성을 확인하고 있다. 최근 미국, 중국, 싱가포르 등으로 구성된 Validation Principles Working Group은 위험평가 기반의 형식증명승인 모델을 개발하였으며 국제 표준화를 위해 노력하고 있다. 이에 따라, 위험평가기반의 형식증명승인 모델을 분석하고, 우리나라의 형식증명승인 제도의 개선방향을 고찰하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.79-80
• /
• 2023

정부는 공공데이터의 품질 관리를 위하여 공공데이터 품질관리 수준평가를 진행하여 공공데이터 품질을 관리하고 있다. 파일 형식의 공공데이터를 진단 시 품질진단 담당자가 대량의 파일데이터를 필드명과 필드 내 데이터에 의존하여 수작업으로 도메인을 판단하여 진단한다. 때문에 품질진단의 정확성을 신뢰하기 어렵고 진단에 많은 시간이 소요된다. 본 논문은 파일형식의 공공데이터 품질진단의 정확성을 확보하고 진단 소요시간을 단축하기 위해 데이터 분포 통계를 이용한 CSV 형식의 공공데이터 도메인 판별 모델을 제안하였다. 제안된 모델을 적용하면 공공데이터 품질의 정확성을 향상하고 진단 소비 시간을 단축시킬 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권4호
• /
• pp.508-520
• /
• 1999

이 기종 시스템들간의 교환을 목적으로 사용되는 SGML(Standard Generalized Markup Language)문서는 논리적인 구조를 나타내는 구조를 나타내는 DTD(Document Type Definition )가 필요하다. 이러한 SGML DTD을 모델링하기 위해 기존에 여러 가지 방법이 제안되어 왔는데, 본 연구에서는 SGML DTD를 UML (Unified Modeling Language)클래스 다이어그램이 객체 모델로 사상시키는 알고리즘과 데이터 베이스 스키마 형태로 나타내기 위한 형식 모델을 제안한다. 본 연구에서 제안한 사상 규칙들과 알고리즘을 이용하면 SGML DTD을 보다 자연스럽게 객체지향 모델링하므로 데이터베이스 스키마로 변환이 용이하며, 형식모델을 데이터베이스 스키마 형태를 정의하므로 객체지향적인 문서 처리와 검색을 위한 효율적인 환경을 제공하게 된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.177-177
• /
• 2017

최근 ADCP 등 첨단장비를 활용한 유량 및 하상측정, 각종 하천기본계획 수립 시 확보되는 횡단측정 자료, 식생 및 서식처 등 하천환경과 생태자료, 드론 등을 활용한 영상자료 등 방대한 하천 정보가 확보되고 있으며, 다기능보 등 다양한 하천구조물 및 친수구역이 증가하는 등 이전과 비교하여 괄목할만한 수준으로 정보의 양이 증가하고 있다. 이에 따라 다양한 하천정보를 체계적으로 저장, 관리, 공유하기 위하여 표준화된 데이터 모델(Data Model)의 수립이 필요하다. 하천 정보의 경우 하천 시설물, 하천 단면측량 자료, 하천 시계열 측정 자료 등이 특정 하천을 중심으로 관리되는 반면, 기존 데이터 모델 연구에서는 특정 주제도에 기반하여 하천 정보가 레이어 형식으로 제공되어 상호 연계되지 않아 하천 정보의 효율적 관리측면에서 적합하지 않았다. 또한 신규 정보를 추가 시 기존 데이터 모델의 과다한 수정이 필요하고, 기존의 데이터 모델의 경우 표준화되지 않아 활용성이 매우 낮고, 유역중심으로 구성되어 특정 조건에 해당되는 하천 정보 검색이 어려운 단점이 존재하였다. 본 연구에서는 기존의 주제도 및 레이어 형식으로 구성되어 있던 데이터 모델 형식에서 벗어나 하천흐름선을 기준으로 데이터모델을 구축하는 방안을 제시하였으며, 하천흐름선과 하천 시설물, 단면 측량 자료, 계측 자료를 순차적으로 수용하고, 기존에 존재하지 않던 하천 정보의 추가 시 기존 데이터 모델의 형식을 수정하지 않고 유연하게 대응할 수 있는 관계형 데이터 모델을 구상하였다. 또한, 하천과 유역의 논리적 저장방안 고려하여 한 개의 하천을 다수의 세그먼트(Reach)로 구분하여 코드(Reach Code)를 부여하는 방안을 제시하였으며, 구상한 데이터모델을 통하여 국가하천과 지방하천 등 유역의 다양성을 포함하는 한강권역의 섬강유역을 시범하천으로 구축하였다. 제시된 하천 정보 데이터 모델을 활용하여 DB를 구축한다면 하천망을 기준으로 하천 정보가 저장되고, 기존의 유역단위의 하천 정보 제공 방식에서 하천과 유역을 모두 포함하여 검색 가능한 시스템을 구축하여 하천 정보의 관리와 제공이 수월해질 것으로 기대된다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2017년도 하계학술대회
• /
• pp.22-25
• /
• 2017

본 논문은 " 개방형 클라우드 기반 스마트 방송 플랫폼" 표준에 따라서 개발될 수 있는 다양한 클라우드 기반 스마트 방송 애플리케이션의 형식과 관계를 규정하기 위한 애플리케이션 모델을 소개한다. 스마트 방송용 애플리케이션이 다양한 클라우드 방송 플랫폼에서 일관된 사용자 경험을 제공하며 동작하기 위해 클라우드 방송환경의 특성을 고려해야 하며, 이에 따라 애플리케이션의 형식을 분류하고 실행 및 종료 방법과 생명 주기를 정의하며 애플리케이션 사이에서 동작 관계를 규정하는 등의 모델 정립이 필요하다. 본 논문에서는 클라우드 방송 애플리케이션을 방송 수신 기능의 활성화 여부에 따라 방송 독립형 및 연동형으로 분류하고, 각 애플리케이션의 생성과 종료를 위한 생명주기와 각 애플리케이션 사이에서 우선 순위를 기반으로 한 상호 작용정책을 규정한다. 또한, 클라우드 애플리케이션의 형식 및 우선순위 등을 애플리케이션에 지정할 수 있는 관리정책을 정의한다. 이러한 모델 정의를 바탕으로 표준을 적용한 클라우드 방송 테스트 플랫폼을 구현하고 다양한 형태의 클라우드 방송 애플리케이션을 개발하여 모델 정의에 따르는 기본 동작 시나리오 및 유효성을 검증한 사례를 소개한다.

• 한국통신학회논문지
• /
• 제25권11B호
• /
• pp.1903-1908
• /
• 2000

사다리형 디지털필터는 일반적으로 IIR 필터의 직접형, 병렬형 또는 종속형과 비교하여 주파수응답 감도가 뛰어나기 때문에 최근 많이 이용되고 있다. 사다리형 디지털필터는 모델의 형식에 따라 연분수 전개가 다르고 주어지는 전달함수에 따라 실현 가능한 형식과 불가능한 형식이 있다. 본 논문에서는 연분수 형태의 제 III 사다리형 디지털필터를 모델로 하여 방형성 결합기와 광섬유를 이용한 사다리형 광섬유필터의 실현조건과 설계방법을 논하였다.