• 제목/요약/키워드: 시뮬레이션 모델링 도구

검색결과 128건 처리시간 0.022초

형식명세로 변환된 객체모델의 검증방법과 시뮬레이션 (Verification method and Simulation of Object model Converted to Formal Specification)

  • 임근
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권6호
    • /
    • pp.123-130
    • /
    • 2007
  • 본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

  • PDF

SBA를 위한 아키텍처 프레임워크 개념모델에 관한 연구 (Research on a Conceptual Model of Architecture Framework for Simulation based Acquisition)

  • 손미애
    • 한국시뮬레이션학회논문지
    • /
    • 제19권4호
    • /
    • pp.309-318
    • /
    • 2010
  • Simulation-based acquisition(SBA)는 획득의 제단계에 모델링 및 시뮬레이션(M&S)를 적용함으로써 획득기간을 단축하고 무기체계 총 소유비용을 낮추며 소요군이 요구하는 성능목표를 가진 무기체계를 획득하고자 하는 새로운 획득 패러다임이다. 우리 군이 SBA의 정착을 위해 다각도의 노력을 기울이고 있음에도 불구하고 SBA의 성공적인 실행을 보장해 주는 청사진 역할을 하는 SBA 아키텍처 프레임워크에 대한 연구는 미진한 상황이다. 본 연구에서는 MND-AF를 기반으로 SBA 아키텍처 프레임워크 개념모델을 제안하였으며, 우리 군의 획득 프로세스를 근간으로 운영 뷰에 대한 모델링을 수행하였다. 또한 운영 뷰에 포함된 각종 운영활동들이 임무 완수를 위해 활용하게 될 도구와 기술을 식별했으며, 데이터들간의 상호운용성을 보장해주는 표준화된 데이터 모델을 제안해 시스템 뷰에 포함시켰다. 특히 시스템 뷰에는 통합사업 관리팀과 운영활동의 주체들이 분산되어 있는 M&S 도구들을 활용할 수 있는 SBA AF 포털이 포함되어 있다. 또한 SBA 아키텍처 프레임워크 개념모델에는 기술 뷰와 아키텍처 구축을 위한 최상위 지침서로서의 역할을 하는 올 뷰가 포함되어 있다.

가상캐릭터의 디지털 한복 모델링을 위한 지식기반 접근법 (Digital Hanbok Modeling for Virtual Characters : A Knowledge-driven Approach)

  • 이보란;오수정;남양희
    • 정보처리학회논문지B
    • /
    • 제11B권6호
    • /
    • pp.683-690
    • /
    • 2004
  • 3차원 의상 모델링과 시뮬레이션은. 디지털 콘텐츠에서 중요한 요소가 되었다. 이를 위한 여러 도구들이 개발되었으나, 고유한 의복을 표현하는 가상 의상의 디자인은 그래픽 디자이너에게 어려운 작업이며 의상에 대한 전문지식을 필요로 한다. 특히, 한복의 경우는 옷감, 재단방식, 착용법 등에서 양복과는 구성학적 차이점을 지니므로 모델링이 더욱 어렵다. 본 연구에서는 한복 제작에 대한 전문성이 없이도 한복을 쉽게 모델링 할 수 있도록 하는 지식 기반 접근법을 제안한다. 특히, 실사 및 가상 옷감의 시각적 유사성 판단 방법에 의해 옷감 소재 특성 규칙베이스를 구축하고, 신체 특성이 다른 캐릭터들의 체형 특성을 반영한 한복 사이즈의 부분별 다단계 조정 방법을 지식베이스 화하였다. 제안된 지식 기반 모델링 방법은 마야의 플러그-인으로서 제작되었고 다양한 신체형에 대한 드레이핑(착용 시뮬레이션) 실험을 통해 적용 가능성을 보였다.

CA-GIS 통합시스템의 설계와 구현 (Design and Implementation of an Integrated CA-GIS System)

  • 박수홍
    • Spatial Information Research
    • /
    • 제9권2호
    • /
    • pp.185-206
    • /
    • 2001
  • 셀룰라 오토마타(CA)는 복합체(complex system)의 특성과 행태를 분석하거나 시뮬레이션 하기 위해서 고안된 이론적 체계로 자연과학 및 공학의 여러 분야에서 연구되어왔다. 최근 GIS 분야에서는 CA가 가지고 있는 시공간적 동적 모델 구현의 개념적 우수성과 래스터 GIS와의 유사성에 근거하여 CA와 GIS를 이용한 다양한 모델링 연구가 발표되고 있다. 그러나 대부분의 연구에서 개발된 CA모델들은 GIS의 제한된 기능을 바탕으로 구현되어 CA가 가지고 있는 장점들을 충분히 활용하고 있지 못하며 실제적인 모델링 연구에 활용될 수 있는 통합시스템이 개발되어 있지 않다. 본 연구에서는 CA를 GIS의 모델링 엔진으로 결합하여 동적 공간 모델링 혹은 시뮬레이션을 수행할 수 있는 범용의 CA-GIS 통합시스템을 개발하였다. 이러한 CA-GIS 통합시스템을 개발하였다. 이러한 CA-GIS 통합시스템은 GIS의 동적 공간 모델링 기능을 대폭 보완할 수 있을 것으로 기대되며 도시성장 예측모델 개발과 같은 실제적인 모델링 연구 수행에 효과적인 도구로 활용될 수 있을 것으로 판단된다.

  • PDF

이산사건시스템 명세와 체계 요소 구조를 활용한 계층적 에이전트 합성 프레임워크 (Hierarchical Agent Synthesis Framework using Discrete Event System Specification and System Entity Structure)

  • 최창범
    • 한국시뮬레이션학회논문지
    • /
    • 제28권3호
    • /
    • pp.1-9
    • /
    • 2019
  • 주식 시장, 인구 동향, 전염병 확산 예측, 도로교통체계 개발과 같이 다양한 분야에서 활용되고 있는 에이전트 기반 시뮬레이션 분야의 에이전트는 응용분야에 따라 각기 다른 형태로 발전되어왔다. 하지만 다학제 융합적 협력 요구되는 문제의 해결에 있어서 확장 가능한 형태의 에이전트 구조가 필요하며 이를 지원할 에이전트 모델링 및 시뮬레이션 환경이 필요하다. 본 연구는 다양한 분야의 에이전트를 수용하기 위하여 공통구조를 체계요소구조와 이산사건시스템형식론을 활용하여 명세할 수 있는 방법을 제시하고, 제시된 명세방법을 지원할 수 있는 개발 환경인 SESManager를 제안한다. 제안된 환경은 계층적으로 에이전트 구조를 정의하고 에이전트를 합성할 수 있도록 함으로써 사용자의 시뮬레이션 목적에 맞게 에이전트 시뮬레이션을 수행할 수 있도록 돕는다.

무기체계 효과도 분석을 위한 통합 모의 엔진의 서비스 구성 방안 연구 (Services of an Integrated Simulation Engine for Weapons Analysis)

  • 김태섭;박준호;김현휘;박찬종;이강선
    • 한국시뮬레이션학회논문지
    • /
    • 제19권4호
    • /
    • pp.261-270
    • /
    • 2010
  • 무기체계 효과도 분석을 위한 통합 시뮬레이션 엔진은 모델의 개발부터 시뮬레이션 수행 및 분석에 이르는 모델링 및 시뮬레이션 전 단계에 걸쳐 도구와 서비스 및 인터페이스를 제공해야 한다. 다양한 국방 통합 시뮬레이션 엔진을 제공하고 있는 국외와는 달리, 국내에서는 자체적인 분산 실시간 모의체계 엔진에 대한 연구 및 개발이 미흡하여 무기체계 M&S(Modeling and Simulation) 활동 시 유사 업무가 반복되고 있는 실정이다. 본 논문에서는 국외의 기 개발된 국방 M&S 모의엔진의 서비스를 비교 분석하여 무기체계 효과도 분석을 지원하기 위한 통합 시뮬레이션 엔진인 OpenSIM(Open Simulation Engine for Interoperable Model)을 소개하고, OpenSIM에서 제공하는 서비스의 범위 및 내용을 정의한다. 정의된 서비스는 모델링 실행 분석에서 공통적으로 많이 사용되는 클래스, 함수 및 데이터 등을 구현하여 프로그래밍의 복잡도를 감소시킬 수 있다.

DEVS 기반의 연속 교통류 시뮬레이션 시스템 검증 ($I^3D^2$ 교통류 시뮬레이션 시스템을 중심으로) (Validating DEVS based Traffic Simulation Model for Freeways)

  • 윤동영;김원규;송병흠;지승도
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2002년도 추계학술대회 논문집
    • /
    • pp.125-130
    • /
    • 2002
  • 본 연구는 DEVS를 기반으로 개발된 교통류 시뮬레이션 시스템인 $\ulcorner$I$^3$D$^2$ 교통류 시뮬레이션 시스템$\lrcorner$(이하 I$^3$D$^2$)의 검증을 그 목적으로 한다. I$^3$D$^2$는 본 연구진이 DEVS를 기반으로 개발한 범용 시뮬레이션 도구로써, 이미 서울시 강남 신호교차로와 내부순환로를 대상으로 하여 개발된 내용을 발표한 바 있다. I$^3$D$^2$는 헌재 단속류에서의 최적신호 생성 및 대기행렬 예측 문제, 그리고 연속류 시설의 용량 산정 문제등을 시뮬레이션 할 수 있다. 하지만 아직 문헌자료나 현장 데이터를 토대로 한 충분한 검증이 수행되지 못한 문제가 있다. 따라서 본 연구에서는 문헌자료를 토대로, I$^3$D$^2$를 검증한다. 이를 위하여 고속도로 또는 도시고속도로와 같은 연속 교통류의 대표적인 효과척도인 $\ulcorner$교통량 - 밀도 - 평균주행속도 (시간)$\lrcorner$ 간의 상관관계를 이용하여 미국 HCM과 우리나라의 도로용량편람에 정의되어 있는 기준을 토대로 I$^3$D$^2$ 검증을 수행하였다. 모델링은 서울시 올림픽대로의 양화대교 - 성산대교 - 가양대교 구간을 대상으로 했으며, 검증은 교통량에 따라 크게 3가지 교통류 상태(random, intermediate, constant)를 기준으로 시뮬레이션이 각각의 교통상태에서 예측한 평균주행시간의 정확도를 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.

  • PDF

국방 Modeling & Simulation에서 임무공간 개념모델링을 위한 온톨로지 적용방안 (An Ontological Approach for Conceptual Modeling of Mission Space in Military Modeling & Simulation)

  • 배영민;강혜란;이종혁;이경호;이영훈
    • 정보화연구
    • /
    • 제9권3호
    • /
    • pp.243-251
    • /
    • 2012
  • 본 논문은 온톨로지 기반의 임무공간 개념 모델링 체계인 한국형 임무공간 개념모델 (CMMSK:The Conceptual Models of the Mission Space-Korea)을 제안한다. 모델링과 시뮬레이션을 이용하면 실제 군사 훈련을 실행할 때 발생하는 시간, 공간 그리고 경제적인 비용을 크게 줄일 수 있다. CMMS-K는 국방 모델과 시뮬레이션의 상호운용성과 재사용성을 향상시키기 위해 개발되고 있다. CMMS-K의 구조는 한국 국방 환경을 기반으로 기존 국방 개념 모델링 체계를 참조하여 생성되었다. CMMS-K의 주요 구성요소는 도메인 온톨로지, 임무공간 모델 기술 언어, 임무공간 모델링 도구, 그리고 CMMS-K 관리 시스템이다. CMMS-K 도메인 온톨로지는 개체 및 과제 온톨로지로 구성된다. 본 논문은 CMMS-K 도메인 온톨로지에 대해서 자세히 기술하고 제안된 방법의 적용 가능성을 예제를 이용하여 평가한다.

SSFNet을 이용한 네트워크 보안 시뮬레이터에서 동적 시뮬레이션 방법 (Dynamic Simulation on a Network Security Simulator using SSFNet)

  • 박응기;윤주범;임을규
    • 정보보호학회논문지
    • /
    • 제14권3호
    • /
    • pp.101-106
    • /
    • 2004
  • 최근 사이버 테러에 대한 관심이 고조되면서 네트워크 보안 시뮬레이터가 필요하게 되었다. 네트워크 보안 시뮬레이터는 침입 행위 및 방어 행위를 모델링하여 침입에 대한 피해 정도, 방어 대책의 효과성 등을 파악하기 위한 도구이다. 이 도구를 통해서 사이버 테러에 대한 예방과 복구가 가능하기 때문이다. 이를 위해 기존의 시뮬레이터들은 시뮬레이션 수행 전에 모든 시나리오를 작성해 놓고 시뮬레이션을 수행하였다. 그러나 사람의 판단 및 행위를 모델링하지 못한 시뮬레이션은 정확한 결과를 나타내지 못하였다 따라서 본 논문에서는 기존 네트워크 보안 시뮬레이터에 동적 시뮬레이션 요소를 첨가함으로써 정확히 네트워크 침입 및 방어 행위를 표현하고자 하였다. 또한 이를 위한 시뮬레이터 구조 변경 방법을 제안하였다. 시뮬레이터를 구현한 후에는 슬래머 웜의 시뮬레이션을 수행하여 기능이 올바로 구현되었음을 확인하였다.

정책 평론과 시스템 다이내믹스 (System Dynamics for Policy Critics)

  • 김동환
    • 한국시스템다이내믹스학회:학술대회논문집
    • /
    • 한국시스템다이내믹스학회 2001년도 추계학술대회발표논문집
    • /
    • pp.49-65
    • /
    • 2001
  • 본 논문에서는 먼저 비주류로써 시스템 다이내믹스의 특성을 경험적 행태주의와 비교하여 설명한다. 이러한 시스템 다이내믹스의 특성은 경험적 행태주의와는 달리 정책 평론을 수행하는데 용이하다는 점을 지적한다. 즉, 정책 평론에서 요구하는 평이성, 신속성, 일치성의 요구를 시스템 다이내믹스 접근이 충족시킬 수 있다는 점을 설명한다. 특히 본 논문에서는 인과지도, 시스템 원형, 인지지도, 정책지도, 시뮬레이션 모델링 등 시스템 다이내믹스의 분석도구들이 정책 평론에 어떻게 활용될 수 있는지를 검토해 본다. 단선적이고, 부분적이며, 맹목적인 정책으로 인한 대규모의 실패를 방지하기 위하여 정책 평론이 요구되며, 시스템 다이내믹스는 정책 평론의 효과적인 도구가 될 수 있다는 점을 지적하고자 하였다.