• 제목/요약/키워드: 쌍방시뮬레이션

검색결과 12건 처리시간 0.024초

Parallelization of a Purely Functional Bisimulation Algorithm

  • Ahn, Ki Yung
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권1호
    • /
    • pp.11-17
    • /
    • 2021
  • 본 논문에서는 순수 함수형 언어로 작성된 쌍방시뮬레이션 알고리듬의 성능을 멀티코어 프로세서 컴퓨터에서 병렬화로 향상시키는 방법을 연구한다. 이 병렬화에 있어 핵심 아이디어는 순수 함수형 프로그램의 참조 투명성을 십분 활용하면 병렬화가 전혀 고려되지 않고 작성된 초기 구현으로부터 최소한의 수정만으로 성능 개선 효과를 기대할 수 있다는 것이다. 초기 구현과 병렬화 구현 둘 다 순수 함수형 언어인 하스켈로 작성되었다. 초기 구현을 병렬화할 때 변화는 아주 적어서 병렬화된 구현에서도 초기 구현의 프로그램 구조가 거의 그대로 유지되었다. 벤치마크를 통해 제시된 간단한 병렬화만으로도 초기 구현과 비교해 두 배 이상의 성능 개선을 확인했다. 또한, 병렬화와는 별개의 최적화 기법인 메모이제이션이 적용된 버전의 쌍방시뮬레이션 구현에도 같은 방식의 병렬화를 적용함으로써 마찬가지로 성능을 개선할 수 있음을 확인하였다.

소부대 전투 모의를 위한 의사결정트리 기반 재보급 행위 모델링 (Resupply Behavior Modeling in Small-unit Combat Simulation using Decision Trees)

  • 안세일;한상우
    • 한국시뮬레이션학회논문지
    • /
    • 제32권3호
    • /
    • pp.9-21
    • /
    • 2023
  • 최근 러시아·우크라이나 전쟁에서 볼 수 있듯이 군수지원은 현대전에서 빼놓을 수 없는 중요한 요소 중의 하나이다. 군수지원은 모의 논리의 특수성과 복잡성으로 인해 대부대 분석 모델과 전문적인 기능 모델 중심으로 발전되어 왔지만, 교전급 분석 모델에서는 군수지원에 대한 요구가 상대적으로 높지 않았다. 그러나 대대급 이하 제대에서도 무인 수송자산을 이용한 재보급 필요성이 제기되면서, 이의 전투 효과를 분석하기 위한 모의 기법도 함께 요구되고 있다. 이에 본 연구에서는 대대급 이하 제대의 탄약 재보급 논리를 기반으로 교전급 분석 모델을 위한 재보급 과업 모델을 설계한다. 재보급 과업 모델은 다음과 같은 순서로 도출되는 의사결정트리를 기반으로 동작한다. 먼저, 사전 반복 모의실험을 통해 여러 가지 쌍방 교전 조건과 아군의 탄 잔여량에 따른 피아 손실교환비를 수집한다. 이어서, 쌍방 교전 조건, 탄 잔여량, 손실교환비로 표현되는 의사결정 트리를 만든다. 의사결정트리는 전투모의 실행 간에 적의 위협 강도, 피지원 부대의 탄 잔여량 등을 고려하여 재보급 우선순위를 결정하는 데 사용된다. 끝으로 제안된 모델의 실행 가능성을 OneSAF 기반 소부대 전투 모의실험을 통해 입증한다.

웹기반 '디지털 회로' 시뮬레이션 도구 설계 및 구현 (Design and Implementation of Web-based Simulation Tool for 'Digital Circuit Design')

  • 장세희;임진숙;김영식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
    • /
    • pp.1121-1124
    • /
    • 2001
  • 웹기반 학습은 학습자의 자율적인 통제하에서 학습이 이루어지는 특성을 갖고 있다. 학습 컨텐츠와 학습자간의 충분한 대화 즉, 상호작용이 제공되지 않는다면 학습자는 일방적인 학습을 수행하게 되므로 학습에 대한 정확한 이해를 판단할 수가 없다. 이런 문제점을 해결하기 위해서 웹기반 학습의 여러 유형의 컨텐츠중에서 가장 상호작용 요소가 강한 시뮬레이션 형태의 컨텐츠를 이용해서 디지털 회로를 직접 학습자가 설계할 수 있도록 웹기반 시뮬레이션 도구를 설계 및 구현하고자 한다. 이로 인해서 학습자와 학습 컨텐츠간의 쌍방향 대화를 할 수 있는 환경을 제공함으로써 복잡한 디지털 회로에 대한 학습자의 학습 결과에 대한 피드백을 줌으로써 학습자의 학습 성취도를 높일 수 있다.

  • PDF

양자화학 교육을 위한 쇽웨이브 시뮬레이션 및 시각화 (Shockwave Simulations and Visualization for Teaching Quantum Chemistry)

  • 이창재
    • 대한화학회지
    • /
    • 제53권2호
    • /
    • pp.166-174
    • /
    • 2009
  • 양자화학에는 추상적이거나 비직관적인 개념이 많이 존재하여 학생들이 이해하기에 어려움 을 준다. 다행히, 전통적인 강의실에서의 강의를 보조할 멀티미디어 웹 응용프로그램을 제작할 강력한 도구들이 웹 기술의 발전으로 많이 생겼다. 이 논문에서는 이 문제를 다루는 한 방안으로서 쇽웨이브 기술을 이용하여 웹 브라우저 상에서 쌍방향 시뮬레이션과 시각화를 동시에 해결하는 방법을 제시한 다. 여러 예를 통하여 어떻게 쇽웨이브 기술의 특성을 이용하여 웹에 기반을 둔 학습 자료를 용이하게 개발하는가를 보여준다.

플래시를 이용한 능동적 컴퓨터구조 학습도구의 개발 (Development of Active Learning Tool for Computer Architecture using Flash)

  • 이강;서희암
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
    • /
    • pp.85-87
    • /
    • 2005
  • 본 논문에서는 폰노이만 컴퓨터의 동작 원리를 귑게 이해하도록 도와주는 애니메이션 학습 도구의 개발을 소개한다. 개발된 프로그램은 일정 제약조건을 만족하는 임의의 명령어 집합 구조를 가상으로 시뮬레이션 하고 각 명령어의 실행과정을 플래시 애니메이션을 사용하여 학습자에게 보여준다. 시뮬레이션 대상의 ISA 설정과 메모리의 내용을 변경함으로써 임의의 프로세서구조에 대한 명령어의 실행을 시뮬레이션할 수 있다. 본 학습 도구는, 애니메이션을 이용함으로써 초보자라도 학습 내용을 쉽게 이해하게 할 수 있게 하였고 사용자와 쌍방향 의사소통이 가능한 능동적 학습을 가능하게 하고 여러 수준의 학습자를 수용할 수 있는 장점이 있다.

  • PDF

LCD 백라이트용 렌티큘라 렌즈필름의 광구조 최적화에 관한 연구 (Study on the Optimization of the Optical Structure of Lenticular-Lens Films for LCD Backlight Applications)

  • 서재석;고재현
    • 한국광학회지
    • /
    • 제22권6호
    • /
    • pp.247-255
    • /
    • 2011
  • 최근 확산기능과 집광기능을 동시에 가지는 복합필름에 대한 관심이 커지고 있다. 본 시뮬레이션연구에서는 복합필름으로 주목 받고 있는 렌티큘라 렌즈필름의 광학구조를 최적화하고 이를 기존의 백라이트가 보이는 광학 성능과 비교하였다. 보다 정확한 시뮬레이션의 수행을 위해 시험적으로 제작된 렌티큘라 렌즈필름이 보이는 휘도의 시야각 분포를 측정하였고 이 실험 결과를 재현할 수 있는 시뮬레이션 조건, 특히 도광판의 산란 패턴이 가지는 쌍방향 산란분포함수의 수학적 모델을 확보하였다. 이에 근거해서 시뮬레이션을 수행한 결과 렌티큘라 렌즈의 종횡비가 1.25, 굴절률이 1.65인 조건에서 이 필름의 집광성능이 최대가 됨을 확인하였다. 최적화된 렌티큘라 렌즈필름이 1매 포함된 백라이트 모델은 프리즘필름이 1매 포함된 기존의 백라이트에 비해 집광성능이 현저히 떨어졌지만 렌티큘라 렌즈필름 2매를 직교해서 적용하게 되면 프리즘필름 1매가 가지는 집광 성능과 비슷한 성능을 달성함과 동시에 부드러운 시야각 특성의 구현에 기여할 수 있다는 점을 확인하였다.

열교환기에서의 연성 시뮬레이션 해석 (Ductile Simulation Analysis at Heat Exchanger)

  • 조재웅;한문식
    • 한국기계가공학회지
    • /
    • 제7권3호
    • /
    • pp.50-54
    • /
    • 2008
  • This study is analyzed by the simulation of heat exchanger. As heat conduction happens as contact begins, the temperature increases until $70^{\circ}C$ at the contact part. The displacement increases until 33mm at its maximum and maximum equivalent stress at final stage increases 20 times as much as that of first contact. The expenses about maintenance, repair and management of parts can be reduced largely by applying the simulation about various parts of heat exchanger.

  • PDF

워게임 지원용 멀티미디어 전문가시스템 구축 (A Construction of The Multimedia Expert System For Wargame Su, pp.rt)

  • 김화수;조문희;박홍규;박경원
    • 지능정보연구
    • /
    • 제3권1호
    • /
    • pp.143-160
    • /
    • 1997
  • 현재 우리 군에서는 첨단과학무기를 이용한 전투력을 신속히 집중, 전환시키고 효과적으로 통합 운용해야하는 각급 제대의 지휘관 및 참모의 지휘통제능력 향상을 위하여 첨단 컴퓨터장비를 이용하여 시뮬레이션 기법을 통한 워게임 모델을 개발하여 이를 이용한 훈련을 실시하고 있다. 이 워게임 모델중 지상전투의 가장 기본이 되는 근접전투 시뮬레이션은 미국에서 개발도입된 "COBRA" 시스템을 이용하고 있으나 한국실정에 맞는 시스템으로 확장 및 유지보수가 어렵고, 상위시스템의 서브시스템으로만 운영되고있어 자체 교육훈련 및 전투분석을 위한 단독시스템으로 운영이 어려운 실정이다. 본 논문에서는 이러한 문제점을 극복하고, 방대한 양의 지식을 효율적이고 효과적으로 표현할 수 있으며 시스템의 확장 및 유지보수가 용이하고 우리실정에 적합한 전투 훈련을 실시하도록 지원하는 워게임(근접전투) 지원용 멀티미디어 전문가시스템을 개발하였다. 본 논문에서 개발한 전문가시스템은 쌍방이 부대들의 근접전투를 실시할 때 실전에서 나타날 수 있는 가능한 모든 상황의 데이터를 이용하여 전투상황을 분석하며, 기존의 획일적이고 단순한 형태로 결과를 판정하던 것을 전투원의 사기, 체력, 전투한계 등 심리적 요소까지 고려함으로써 새로이 변화되는 전쟁양상에 쉽게 적응할 수 있는 확장성 및 유지보수가 용이하며 시스템 단독으로 운영하여 반복적으로 전투를 분석하고 교육훈련을 실시하도록 함으로써 실전적이고 실질적인 근접전투 워게임지원이 가능하다. 본 논문에서는 전문가 시스템을 개발함에 있어서 지식베이스 모듈, 추론엔진 모듈 및 설명 모듈은 전문가 시스템 개발도구인 Smart Elements를 이용하여 구축하였으며, 사용자 인터페이스 모듈은 멀티미디어 저적도구인 툴북 3.0을 이용하였으며, 마지막으로 전체적인 모듈은 API를 이용 통합하여 하나의 응용소프트웨어를 생성하였다.

  • PDF

제철플랜트용 전기제품의 변천과 전망

  • 대한전기협회
    • 전기저널
    • /
    • 통권286호
    • /
    • pp.64-69
    • /
    • 2000
  • 20세기에 있어서의 비약하는 산업계의 주축으로서 철강시장은 급속히 확대되었고 그와 더불어 신기술의 개발과 도입에서도 선도적 역할을 다하여 왔다. 특히 이 4반세기는 반도체기술의 진보와 함께 컴퓨터, 플랜트 컨트롤러, 드라이브 시스템 등 전기제품은 비약적인 진화를 이루어 왔다. 현재는 중국$\cdot$아시아$\cdot$남미를 중심으로 철강제품의 수요가 증가하여 설비투자도 확대되고 있다. 그러나 북미$\cdot$유럽$\cdot$일본에서는 생산능력과 수요와의 사이에 수급공백이 있어 이전과 같은 시장만큼의 신장은 기대할 수 없는 실정이다. 이와 같은 상황하에서 철강유저의 투자목적을 합리화$\cdot$성력화$\cdot$제품품질의 향상에 두고 있어, 미쓰비시전기는 ''경쟁력 있는 제품을 만들기와 총투자코스트의 최소화''를 서포트하는 제철플랜트용 전기제품의 제공을 지향하여, 그림에 표시하는 것과 같은 4개의 어프로치로 이에 대응하고 있다. 고품질화와 자동화에 대하여는 종래의 품질제어를 능가하는 초안정화 시스템의 적용, 프로세스의 이상 검지와 자동복구에 의한 완전 노터치 오퍼레이션의 실현, 인텔리전트 센서에 의한 프로세스의 가시화로 오퍼레이터가 최종판단을 용이하고 정확하게 할 수 있는 환경을 제공한다. 고효율화$\cdot$에너지 사용합리화에 대하여는 고역률 전원을 추구하여 고효율 드라이브장치와 모터를 제공한다. 글로벌 스탠더드화에의 대응으로서는 네트워크의 오픈화에 의한 멀티벤더 환경, 범용 하드웨어에 의한 오픈 HMI(Human Machine Interface)을 제공하고 있다. 플랜트의 신속한 가동과 리모트 메인터넌스 환경을 실현하기 위하여 플랜트 시뮬레이션 시험의 실시로 공장출하 품질의 향상을 도모한다. 또한 연구센터로부터의 원격감시와 트러블해석 서포트를 쉽게 할 수가 있다. 나아가 최근에는 급격한 기세로 신장되어 온 멀티미디어 기술, 인터넷 기술, 인트라넷 기술, 모바일단말, 화상압축기술 등에 의하여 원격집중감시, 현장과 중앙 쌍방향 협조보수작업, 버추얼 리얼리티 응용시스템이 현실화 되고있는 실정이다. 이들 IT(Information Technology)솔류션은 금후의 제철플랜트의 시스템을 크게 바꾸어 나가는 것은 물론 사업 경쟁력 강화의 키 테크놀로지가 될 것이다. 앞으로 미쓰비시전기는 제철플랜트에 대하여 유저니즈를 IT 솔루션으로 전개, 제공해 나가고자 한다.

  • PDF

맨체스터 부호로 코딩된 하향신호의 재변조를 이용한 비동기 2.5 Gbps / 622 Mbps 광가입자 망의 성능 분석 (Performance Analysis of Asynchronous 2.5 Gbps / 622Mbps Optical Subscriber Network with Manchester coded Downstream and NRZ upstream re-modulation)

  • 박상조;김봉규
    • 한국광학회지
    • /
    • 제20권3호
    • /
    • pp.143-147
    • /
    • 2009
  • 맨체스터 부호로 코딩된 하향신호의 재변조를 이용하여 가입자내에 광원을 필요로 하지 않고 파장 및 전력제어회로를 제거할 수 있어 가입자 장치를 단순화시킬 수 있고, 상하향 데이터간의 비동기가 가능한 비대칭 2.5 Gbps / 622 Mbps의 광가입자 망을 제안한다. 하향 데이터의 형태에 따른 재변조한 상향신호의 평균오차율을 이론적으로 분석하고, 매트랩을 이용한 시뮬레이션에 의해 그 효용성을 분석한다. 제안시스템에서 SNR의 변화에 따라 임계치를 최적치로 설정할 경우 고정된 종래의 광수신기에 비하여 평균오차율이 향상되고, 수신감도도 3 dB 향상된다. 따라서 하향신호의 재변조를 이용한 제안 시스템을 경제적이고 단순구조를 가지는 광가입자 장치에서 비동기 및 비대칭 쌍방향 데이터 전송에 유용한 방식임을 알 수 있다.