• 제목/요약/키워드: Formalism

검색결과 406건 처리시간 0.028초

다차원 링-델타 망: 고성능 고장감내 스위칭 망 (Multidimensional Ring-Delta Network: A High-Performance Fault-Tolerant Switching Networks)

  • 박재현
    • 한국통신학회논문지
    • /
    • 제35권1B호
    • /
    • pp.1-7
    • /
    • 2010
  • 본 논문에서는 편향 자기 경로 제어 방법을 사용하는 새로운 고성능 고장 감내 스위칭 망을 제시한다. 기반이 되는 델타 망의 위상적 구조를 대수적 기법을 사용하여 해석한 결과로 부터, 편향 자기 경로 제어 알고리즘을 사용하는 다중 경로 스위칭 망인 다차원 링-델타 망을 유도한다. 제시된 스위칭 망에서는 델타 망의 링크들을 포함하는 모든 링크들이 결함 혹은 혼잡이 생긴 링크들을 우회하는 대체 경로들로써 사용된다. 본 연구에서 비균일 주소 분포를 가진 부하를 가했을 경우의 이 망의 성능을 시뮬레이션을 사용하여 분석하였다. 입력 셀의 도착률이 0.9이고, Hot Ratio가 0.8인 경우, $1024\;{\times}\;1024$ 크기의 제안된 스위칭 망의 통과율은 사이클릭 벤얀 망에 비해서 36.5% 우수하고, 2차원 링-벤얀 망에 비해서 13.3% 우수하다. 또한, $64\;{\times}\;64$ 크기의 제안된 스위칭 망의 신뢰도 는 Hui의 망에 비해 2.2배, 2차원 링-벤얀 망에 비해 46.6% 높다.

배터리 자동 교체형 전기버스 운영 시스템의 개념적 설계 및 시뮬레이션 (Conceptual Design and Simulation of an Unmanned Battery Exchangeable Electric Bus Management System)

  • 김한얼;박준석;오하령;성영락
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제3권3호
    • /
    • pp.63-72
    • /
    • 2014
  • 배터리 교체형 전기버스는 친환경 공공교통 수단이다. 그러나 기술적 한계로 인하여, 이 버스는 소모된 배터리를 충전된 배터리로 반복해서 교체해야 한다. 현재 국내에서 연구 중인 배터리 자동 교체형 전기버스는 배터리 무인 자동교체소에서 자동으로 배터리를 교체할 수 있다. 본 논문에서는 배터리 자동 교체형 전기버스 운영 시스템을 제안한다. 제안하는 시스템은 두 가지 서비스를 제공한다. 첫째, 이 시스템은 버스 도착 알림 서비스를 제공한다. 이 서비스는 기존 대도시에서 서비스 중인 버스정보시스템의 기능으로, 버스 승객들에게 버스를 얼마나 기다려야 하는지를 알려준다. 둘째, 배터리 교체 스케줄링 서비스를 제공한다. 이 서비스는 배터리 잔량이 얼마 남아있지 않거나 배터리 교체를 원하는 버스를 완충된 배터리를 저장하고 있는 배터리 무인 자동교체소로 할당하는 역할을 한다. 제안된 시스템을 검증하기 위해서 시스템을 DEVS형식론으로 모델링하였다. 시뮬레이션 결과, 제안된 시스템은 위의 서비스들을 충실히 수행함을 알 수 있었다.

DEVS 형식론을 이용한 공항 PAR 관제 시스템 자동화 방안 검증 (Verification of Automatic PAR Control System using DEVS Formalism)

  • 성창호;구정;김탁곤;김기형
    • 한국시뮬레이션학회논문지
    • /
    • 제21권3호
    • /
    • pp.1-9
    • /
    • 2012
  • 본 논문에서는 공항 정밀접근 항공기의 안전성을 증대시키기 위한 방법으로 S/W 패킷모뎀을 이용한 PAR 관제 자동화 방안을 제안하고, DEVS 형식론을 이용하여 제안하는 시스템의 기능을 검증하였다. 기존의 PAR 관제는 음성으로 항공기를 통제함으로써 조종사의 정보 획득 능력이 떨어질 수 있다. 이를 해결하기 위하여 디지털 신호에 의한 자동 관제 시스템을 제안하고, 공항의 PAR이 추적하고 있는 항공기의 비행경로, 강하각, 거리를 조종사에게 실시간으로 전송해 주고 일반화함으로서 관제사의 숙련도와 관제 특성에 기인하는 요소를 배제할 수 있다. 제안된 시스템의 동작을 검증하기 위하여 확장된 DEVS 형식론인 C-DEVS 형식론을 사용하고, 하나의 모델로 합성된 원자 모델을 통해 시스템의 전체 상태 시퀀스를 검색하여 시스템의 안전성(Safeness)과 필연성(Liveness)을 검증할 수 있다. 제안하는 시스템의 C-DEVS 모델을 기존의 음성 관제 시스템과 비교하여 두 시스템이 동일한 상태 시퀀스를 가짐을 확인하였으며, 모든 상태를 검증함으로써 실제 상황에 적용할 수 있을 것으로 생각된다.

수동 휠체어 추진 중 상지 역동역학 모델 (An Inverse Dynamic Model of Upper Limbs during Manual Wheelchair Propulsion)

  • 송성재
    • 재활복지공학회논문지
    • /
    • 제7권1호
    • /
    • pp.21-27
    • /
    • 2013
  • 수동 휠체어의 추진은 추진 동작의 낮은 효율로 인하여 사용자의 상지 관절에 고통과 부상까지 유발할 수 있다. 이에 따라 수동 휠체어 추진 중에 발생하는 상지 관절의 운동역학적 해석이 필요하다. 본 연구에서는 수동 휠체어 추진 중 상지 관절에 작용하는 토크를 구할 수 있는 2차원 역동역학 모델을 개발하였다. 개발한 모델은 시상면에서 상완, 하완, 손에 해당하는 3개의 체절로 상지를 구성하였고 몸통으로부터 3개의 체절을 회전조인트로 연결한 개방연쇄구조를 갖는다. 역동역학 해는 뉴턴-오일러 방법으로 구하였고 요구되는 입력자료는 실험을 통하여 획득하였다. 수동 휠체어 추진에 필요한 상지 거동의 운동학적 자료는 3차원 동작분석 시스템에서 추출하였고 역동역학 모델의 외력에 해당하는 운동역학적 자료는 브레이크식 다이나모미터에서 추출하였다. 역동역학 모델을 이용한 해석을 통하여 수동 휠체어 추진에 따른 상지 관절의 회전각과 관절 토크를 구하였다. 개발된 모델은 상지 관절에 관한 생체역학적 해석 도구이며 적은 노력으로 3차원 역동역학 모델로 확장하는 토대가 된다.

  • PDF

이산사건 및 이산시간 혼합 표준모델구조를 활용한 수중운동체 정상잠항 시뮬레이션 (The Normal Diving Simulation of the Underwater Vehicle Using the Standard Model Architecture for the Combined Simulation of Discrete Event System and Discrete Time System)

  • 손영조;이현진;함승호;이효광;김태완;이규열;한순흥;나영인
    • 대한조선학회논문집
    • /
    • 제45권6호
    • /
    • pp.656-668
    • /
    • 2008
  • When it comes to design and acquire underwater vehicles such as a submarine and a torpedo according to the process of SBA(Simulation Based Acquisition)/SBD(Simulation Based Design), it is necessary to predict the performance of interest precisely and to perform the test over and over again using the M&S(Modeling and Simulation) of the engineering and the engagement level. In this paper, we research the DEVS(Discrete Event System Specification) and DTSS(Discrete Time System Specification) formalism based standard model architecture for the underwater vehicle which can support both the heterogeneous level of the M&S(Engineering/Engagement) and the different system of the M&S(Discrete Event System and Discrete Time System). To validate this standard modeling architecture, we apply it to the submarine normal diving simulation.

베레만의 $4{\times}4$행렬방식을 이용한 액정표시소자의 편광투과특성 분석 (A study on the polarization transmission characteristics of liquid crystal display devices by means of Berreman's $4{\times}4$ matrix method)

  • 양병관;김규석;노봉규;김진승;박희갑;박찬;이형종;김재기
    • 한국광학회지
    • /
    • 제8권3호
    • /
    • pp.223-229
    • /
    • 1997
  • 베레만의 4 * 4행렬방정식을 써서 액정판의 편광투과특성을 분석하는 프로그램을 개발하고, 이를 써서 액정셀과 편광판의 편광투과특성을 살펴보았다. 개발된 프로그램을 써서 정상백색 모우드의 꼬인 네마틱(TNLTwisted Nematic) 액정셀에서 시야각에 따른 명암대비의 변화를 보여주는 등고선을 그려내어 그 특성을 예측할 수 있었다. 또한 편광판의 투과특성은 입사각이 커짐에 따라 투과된 빛의 편광타원의 주축이 투과축 방향에서 벗어나며 타원도가 커지는 것이 밝혀졌는데, 이 결과는 액정표시소자의 명암대비가 액정판만이 아니라 편광판의 특성에 의해서도 제한될 수 있음을 시사한다.

  • PDF

이산사건 시뮬레이션 시스템을 위한 웹 기반 분산 실험 틀 (Web-based Distributed Experimental Frame for Discrete Event Simulation System)

  • 정인호;최재웅;최창범
    • 한국시뮬레이션학회논문지
    • /
    • 제26권2호
    • /
    • pp.9-17
    • /
    • 2017
  • 현대사회의 다양한 분야에서는 복잡한 사회현상에 대하여 문제를 정의하고 문제해결책의 결과를 분석하는 과정으로 모델링 및 시뮬레이션을 활용하고 있다. 나날이 사회현상의 문제가 복잡해짐에 따라 요구되는 모델링 및 시뮬레이션 환경의 계산자원의 요구사항도 높아지고 있다. 이러한 요구사항을 수용하기 위해서 클라우드 서비스 등과 같이 컴퓨팅 자원을 유동적으로 사용할 수 있는 환경이 대두되었다. 본 연구에서는 이러한 컴퓨팅 자원 활용 시스템을 보다 효율적으로 활용할 수 있는 웹 기반 재구성이 가능한 시뮬레이션 실험 틀을 제안한다. 제안하는 시뮬레이션 실험 틀은 다양한 분산 컴퓨팅 환경을 지원할 수 있도록 프론트엔드(Front-end)에서 웹을 활용하여 시뮬레이션 모델의 재구성 시스템을 구축하고 백엔드(Back-end) 이산 사건 시뮬레이션의 실행을 담당하는 이산사건 시뮬레이션 실행단으로 구성된다. 본 연구는 사례연구를 통해 분산형 시뮬레이션 환경이 단일 시뮬레이션 환경보다 시간적 효율이 더 높음을 확인하였다.

IEEE 1516 HLA/RTI를 이용한 복합 시스템의 다측면적인 모델링 방법론 (Multifaceted Modeling Methodology for System of Systems using IEEE 1516 HLA/RTI)

  • 김병수;김탁곤
    • 한국시뮬레이션학회논문지
    • /
    • 제26권2호
    • /
    • pp.19-29
    • /
    • 2017
  • System Entity Structure/Model Base (SES/MB) 프레임워크는 하나의 시스템이 가지는 모든 대안들을 총체적으로 표현하는 다측면적인 시스템 모델링 방법이다. 이는 모델들의 재사용성을 향상시키고, 단일 시스템의 구조를 효과적으로 관리할 수 있다. 하지만 실세계는 단일 시스템으로만 이루어진 것이 아니라, 개별적인 시스템들의 집합체인 복합 시스템으로 이루어진 경우가 많다. SES/MB는 분산 환경에서 복합 시스템의 시뮬레이션 하는데 한계가 있기 때문에, 복합 시스템을 위한 확장된 방법이 필요하다. 본 논문은 분산 환경에서 시뮬레이터들 간의 시뮬레이션을 위한 System of Systems Entity Structure/Federate Base (SoSES/FB)를 제안한다. 제안하는 방법은 국제 연동 표준인 HLA/RTI에 기반하며, 시뮬레이터 집합의 구조를 표현하는 System of Systems Entity Structure (SoSES) 형식론과 시뮬레이터들의 라이브러리(FB)를 포함하는 환경을 제공한다. 또한 제안된 SoSES/FB를 분산 시뮬레이션 개발 과정에 적용한 방법론을 제안한다. 본 논문은 제안하는 방법을 다섯 개의 독립적인 시뮬레이터들로 구성되어 있는 대공방어 시뮬레이션에 적용한 사례를 소개한다.

DEVS 다이어그램 기반 이산사건 시뮬레이션 소프트웨어 구현 및 정적 검증기법: 실용적 접근방법 (Implementation and Static Verification Methodology of Discrete Event Simulation Software based on the DEVS Diagram: A Practical Approach)

  • 송해상
    • 한국시뮬레이션학회논문지
    • /
    • 제27권3호
    • /
    • pp.23-36
    • /
    • 2018
  • 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

Problem and Improvement of the Computerization Practice Real - estate Registration

  • Youn, Sung-Ho;Kim, Moon-sung
    • 한국컴퓨터정보학회논문지
    • /
    • 제21권1호
    • /
    • pp.161-168
    • /
    • 2016
  • It has become the information medium that mediate between individuals of marketing with the new information media that use of the Internet in accordance with the progress of the IT industry- real estate marketing, real estate leasing, real estate auctions, etc. The real estate registration services should be disclosed to outside that include a schedule details the public book-register and problems caused by it should be reasonably resolved by handling a large amount of real estate registration work quickly, accurately handling to utilize Information Technology(IT) through the information system construction as the feature to process the information of register entries. Computerization of real estate registration will raise the efficiency of the registration as well as people can see the information related to real estate on the basis of published content without limitation the time and place and will pursue the ideal and reliability of the registration -web accessibility improving of the Internet Registry and permanent storage of preserving documents by electronic means. It is very large that impact on the real estate transaction if the accuracy of legal registration choosing formalism in the processing of real estate registration business through the Internet than written application is highly probable to occur incorrect registration. Also, It is necessary to manage it effectively -if you do not quickly and exactly respond to it, there is problems such as delays or poor registration service because real estate business activated and real estate registration services also increased sharply. In this paper, we will identify the problems of the real estate registration work and suggest improvements about it.