• Acta Via Serica
• /
• v.3 no.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.

• Journal of the Korea Society for Simulation
• /
• v.19 no.1
• /
• pp.153-160
• /
• 2010

Most part of errors in software development process are included during the stage of requirements definition and design. And correction or elimination of errors from those stages requires much more efforts and costs than those from the later part of software development process. However, despite of the importance of the validation of requirement definition and design stages, several kinds of problem have made it hard to be done successfully. Therefore, in this paper, we introduce a novel validation process for the preliminary design stage. The validation process is based on simulations of model and it can be used to validate requirements and model simultaneously. Models in the validation process will take only the behavior of software and be built on Ptolemy framework. The usability of our validation process is confirmed with a case study over DNS system environment. And the result of simulation shows well-known errors or vulnerabilities can be found with simulations of model which has the behavior of software. This means our validation process can be used as a process to validate requirements and models during the early stage of software development process.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.863-868
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Journal of Industrial Technology
• /
• v.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.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.24 no.5
• /
• pp.558-565
• /
• 2013

In this paper, modeling and simulation for performance analysis of high resolution SAR system has been carried out in the time, frequency and numeric domain using ADS Ptolemy simulation tool of Agilent corporation. SAR system consists of antenna, controller and transceiver. Error parameters affecting SAR system performances have been defined, modeled and simulated such as phase noise of frequency synthesizer, amplitude and phase characteristic of TWTA, sampling frequency of waveform generator and I/Q imbalance. Finally, the development requirements of SAR system based on the impulse response function have been derived.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.486-489
• /
• 2016

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.10a
• /
• pp.873-874
• /
• 2018

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.1038-1040
• /
• 2015

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.571-573
• /
• 2015

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