• Acta Via Serica
• /
• 제3권2호
• /
• pp.1-22
• /
• 2018

The concept of the "Seidenstrassen" (Silk Road) was created by the German geographer F. von Richthofen (1833-1905) in 1877. The "Seidenstrassen" means communication between China and the Roman cultural area. To prove the route of dissemination of silk, Richthofen not only focused on geographical substantiality, based on the routes of the Chinese Zhang Qian and the Roman Ptolemy, but also on etymological, historical, and religious sources. In fact, his Silk Road concept has the trade of silk as well as the humanistic ideas of cultural exchange. It is worth noting that in his book China, Richthofen presented the Silk Road as a space-time concept that considers the length of space as well as the length of time by highlighting humanistic examples that came into modern times through the Sea Route. Later, the English term "Silk Road" appeared in 1938, the Japanese term "シルクロ-ド" (sirukurodo) in 1939, and the Korean term "실크로드" (silkrodeu) in 1952.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.153-160
• /
• 2010

소프트웨어 개발 프로세스에서 발생되는 오류의 대부분은 요구사항 정의와 디자인 단계에서 비롯된다. 또한 이들 단계에서 포함된 오류의 수정 및 제거는 이후 단계에서 포함된 오류의 수정에 비해 훨씬 많은 노력과 비용을 요구한다. 하지만 요구사항과 디자인된 모델의 검증은 매우 중요한 작업임에도 불구하고 다양한 문제점들로 인해 성공적으로 수행되고 있지 못하다. 따라서 본 논문에서는 초기 디자인 단계에서 요구사항 및 모델의 검증 작업을 동시에 수행할 수 있는 모델의 시뮬레이션을 통한 검증 절차를 제안한다. 이 때 작성되는 모델은 Ptolemy 상에 소프트웨어의 행동 양식을 바탕으로 작성된다. 제안된 방법을 DNS 시스템 환경에 적용하여 사용 가능성을 확인하였으며, 시뮬레이션 결과에 따르면 행동 양식을 반영한 모델의 시뮬레이션을 통해 기존에 알려진 시스템의 내재된 오류 혹은 취약성을 발견 가능함이 확인되었다. 이는 제안된 방법이 소프트웨어 개발 프로세스 초기에서 요구사항과 모델을 검증하는 절차로 이용될 수 있음을 의미한다.

• 정보처리학회논문지D
• /
• 제12D권6호
• /
• pp.863-868
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)가 개발되었다. PeaCE 에서는 데이터 흐름과 제어 흐름을 모두 표현할 수 있는데, 제어 흐름은 상태 기계를 확장한 fFSM으로 나타낸다. fFSM은 계층형 상태 기계로서 제어흐름을 표현하기 위해 많은 구문을 제공하지만, 모델에 대한 의미가 정의되어 있지 않아서 명세를 검증하는데 어려움이 많다. fFSM의 의미를 정의하기 위해서, 본 논문에서는 계층형 상태 기계를 먼저 평탄화한 후에 평탄화된 모델에 대해서 단계 의미를 정의하였다. 그 결과 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 정형적으로 검출할 수 있었다.

• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.563-570
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

• 산업기술연구
• /
• 제12권
• /
• pp.37-49
• /
• 1992

We proposed an integrated simulator scheme for communication networks. The network modeling and Analysis methologies are firstly discussed along the design procedure of a network simulator, and then, the structure, kernel, and user interfaces are defined for the simulator. Finally, for the verification of our approach, simulations are performed for a simple queueing network and a pure ALOHA system using Ptolemy, a multi-paradigm simulation enviroment.

• 한국전자파학회논문지
• /
• 제24권5호
• /
• pp.558-565
• /
• 2013

본 논문에서는 고해상도 광대역 영상레이더의 성능을 분석하기 위하여 시간, 주파수 및 Numeric 영역에서 아날로그, RF 및 디지털 신호처리 해석을 통합할 수 있는 시스템 시뮬레이션 툴인 Agilent사의 ADS Ptolemy DF(TSDF: Timed Synchronous DataFlow)를 이용하여 모델링 및 시뮬레이션을 수행하였다. 영상레이더용 하드웨어 시스템은 안테나, 통제장치 및 송수신 장치로 크게 구성되며, 송수신 장치는 고주파 변환 장치, 고출력 송신 장치, 그리고 송수신 전단 장치로 구성된다. 본 논문에서는 시스템의 하드웨어 성능에 영향을 미치는 오차 변수를 정의하고, 이들 오차 변수의 오차 원인이 되는 부품에 대한 특성을 모델링하였다. 영상레이더는 TSDF 모델링 기법을 이용하여 순방향 전송 임펄스 특성($S_{21}$), 고주파 소자의 비선형 특성(이득 비선형, 3차 intercept 및 믹서 교차변조), 채널간 전파 특성, 주파수 합성기 위상 잡음, TWTA의 진폭/위상 특성, 파형 발생기의 샘플링 주파수 및 I/Q 밸런스 등에 대한 모델링을 수행하여 SAR 성능을 분석하였으며, 최종 임펄스 응답 특성 분석을 통한 시스템의 하드웨어 규격을 도출하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 춘계학술발표대회
• /
• pp.486-489
• /
• 2016

가상현실 기반 훈련시스템은 3D 모델링 기법으로 개발되어 실시간 렌더링(Realtime Rendering)되는 훈련용 콘텐츠와 운동감 제공을 위한 모션플랫폼, 촉감 제공을 위한 햅틱장치 등 다양한 하드웨어를 이용하여 인간 감각에 대한 모의 체험환경을 제공함으로써 높은 훈련 몰입감을 제공한다. 훈련시스템의 구성요소 중 하드웨어들은 설계 성능을 바탕으로 정량적 시험평가로서 검증(Verification)과 확인(Validation)이 가능하나, 훈련환경에 대한 사실적 가시화가 요구되는 훈련용 콘텐츠는 시현을 위한 실시간 렌더링 성능 등의 정량적 시험평가 만으로 검증과 확인에 어려움이 많다. 본 연구에서는 일반 소프트웨어와 콘텐츠 소프트웨어 테스팅 요소 차이와 상용게임 콘텐츠와 훈련용 콘텐츠의 차이점을 분석하고, 훈련용 콘텐츠의 정량적 시험평가를 위한 명세서의 작성과 활용을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.873-874
• /
• 2018

화학공정 플랜트와 같이 위험한 작업현장에서 현장 조업자 또는 초기 대응자가 능동적이고 신속한 대처가 가능한 가상현실기반 안전대응 훈련기술에 있어, 원하는 시설물을 가상으로 탐색할 수 있는 네비게이션 임무를 통한 체감공간인식 및 임무수행기술이 중요하다. 본 연구에서는 작은 크기를 가지는 단방향 트레드밀의 장점과 선회 보행이 가능한 전방향 트레드밀의 장점을 일부 결합하여, 작은 각도 범위의 좌우 선회 이동을 지원할 수 있는 트레드밀 인터페이스 시제품을 이용한 사용자 모션인식 및 통합제어 기술개발 과정과 결과를 소개 하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 춘계학술발표대회
• /
• pp.1038-1040
• /
• 2015

플랜트와 같은 대형 기계설비의 운영 시 발생하는 사고 피해를 최소화하고 조속한 정상화를 위해서는, 운영자 또는 초기 대응자가 예상치 못한 사고에 대처할 수 있는 능력을 향상시키기 위한 현장 운영자에 대한 훈련 기술이 필요하다. 이러한 훈련 과정은 실제 플랜트 현장에서 수행하기가 현실적으로 어렵기 때문에, 시뮬레이션 기술을 사용한 모의 훈련 및 평가기술이 필요하다. 본 연구에서는 이러한 가상현실 안전훈련 시뮬레이터의 설계 및 개발과정과, 체감형 훈련을 가능케하는 휴먼 인터페이스의 적용 및 통합 과정에 대해 소개한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 춘계학술발표대회
• /
• pp.571-573
• /
• 2015

본 연구에서는 플랜트 운영 중 발생할 수 있는 다양한 인적에러를 최소화하고, 예측하기 힘든 사고 발생 시 운전자의 대응과 사고피해 확산을 방지할 수 있는 플랜트 안전훈련 시스템의 설계 방안과 이를 구현하는 플랫폼에 관한 연구를 소개한다. 제안하는 플랫폼은 기존에 활용 중인 플랜트 운영자 훈련 시스템(OTS : Operator Training System)과 비교하여, 관제실 운영자와 현장 조업자가 동시에 상호 유기적인 훈련을 가능케 하는 안전훈련 시스템 개발을 목표로 하며, 추후 서브 시스템의 구현과 통합과정을 통해 본 훈련 시스템 플랫폼의 실용성을 검증할 계획이다.