• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.034 seconds

Hazard analysis by fire simulation in an apartment fire (화재 시뮬레이션을 이용한 아파트 화재 위험성 분석)

  • Kim, Tae Kwon;Cha, Woo Sub
    • Journal of Advanced Marine Engineering and Technology
    • /
    • v.38 no.4
    • /
    • pp.383-388
    • /
    • 2014
  • This study predicts damaging risk factors in apartment fire situation by using CFAST. The software was developed by Building and Fire Research Lab, that is government affiliated organization of the National Institute of Standards Technology. This analysis scenarios werec well verified by experimental results. Situation of the living room and the second room as well as the bedroom tends to be qualitatively the same with the experimental data. In case of apartment fire, it is predicted that they have been got into trouble with dizziness, badly vomiting and paralysis symptoms due to short oxygen and excessive carbon dioxide when persons were left out in the living room or second room.

Development of Sensor Network Simulator for Estimating Power Consumption and Execution Time (전력소모량 및 실행시간 추정이 가능한 센서 네트워크 시뮬레이터의 개발)

  • Kim Bang-Hyun;Kim Tae-Kyu;Jung Yong-Doc;Kim Jong-Hyun
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2005.11a
    • /
    • pp.108-112
    • /
    • 2005
  • 유비쿼터스 컴퓨팅의 기반 설비인 센서 네트워크는 많은 수의 센서 노드들로 구성되며, 각 센서 노드의 하드웨어는 매우 작은 규모이다. 또한 센서 네트워크는 구축 목적에 따라 네트워크 토폴로지 및 라우팅 방식이 결정되어야 하고, 이와 더불어 센서 노드의 하드웨어와 소프트웨어도 필요에 따라 다양하게 변경되어야 한다. 따라서 센서 네트워크가 구현되기 전에 시스템 동작과 성능을 예측할 수 있는 센서 네트워크 시뮬레이터가 필요하다. 기존의 센서 네트워크 시뮬레이터들은 특별한 응용을 위한 특정 기반의 하드웨어와 운영체제에 국한되어 개발되었기 때문에 다양한 센서 네트워크 환경을 지원하기에는 한계가 있으며, 센서 네트워크 설계상의 주요 요소인 전력소모량과 실행 시간에 대한 분석이 포함되지 않았다. 따라서 본 연구에서는 특정한 응용이나 운영체제에 제한을 받지 않으면서 다양하게 센서 네트워크 환경을 설계 및 검증할 수 있고, 더불어 전력소모량과 실행시간 추정도 가능한 시뮬레이터를 개발하는 것을 목표로 하였다. 이를 위해 본 연구에서 개발한 시뮬레이터는 기계명령어-레벨(machine instruction-level)의 이산-사건 시뮬레이션(discrete-event simulation) 기법을 이용함으로써 실제 센서 노드의 프로그램 실행 및 관련 동작들을 세부적으로 예측하는 데 사용될 수 있도록 하였다. 시뮬레이션의 작업부하(workload)인 명령어 트레이스(instruction trace)로는 ATmega128L 마이크로컨트롤러용으로 크로스 컴파일된 인텔 핵스-레코드(.hex) 형식을 사용한다.

  • PDF

Macroscopic and Microscopic Traffic Simulation Using the Discrete Event system Formalism (이산 사건 형식론을 이용한 거시적 및 미시적 교통류 시뮬레이션)

  • 이종근
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1999.04a
    • /
    • pp.110-114
    • /
    • 1999
  • 본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

  • PDF

Games QA using Checklists Technique (체크리스트 기법을 이용한 게임 QA)

  • Lee, Jin-Ho;Jung, Hyeon-Cheol;Kang, Seung-Gon;Cho, Hyun-Woo;Lee, Je-Meong;Kang, Myung-Ju;Park, Chan-Il;Oh, Hyoun-Ju;Kim, Sang-Jung;Lee, Jong-Won
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2014.07a
    • /
    • pp.307-310
    • /
    • 2014
  • 본 논문에서는 여러 가지 소프트웨어 테스트 기법 중 "체크리스트" 기법을 이용하여 2014년 청강문화산업대학 게임전공 졸업작품 게임 13점을 대상으로 테스트를 진행하고 그에 따른 결과에 대해 의견을 제시한다. "체크리스트"란 테스트하거나 평가해야 할 내용과 경험을 나열해 놓은 것을 의미하며, 체계적으로 도출되기 보다는 테스트 경험과 노하우를 정리하고 목록화하여 테스팅에서 해당 내용을 누락 없이 검증하는 것을 목적으로 작성하는 문서다. 테스트의 진행은 개발팀의 기획서 분석에서 시작되며, 기획서에서 기반한 게임의 실제 구현비율과 동작 가능한 비율을 중점으로 평가하였다.

  • PDF

Finite Element Eigen Analysis of Undamped Beam Structure with Composite Sections (복합단면을 갖는 비 감쇠 보 구조물의 유한요소 고유치 해석)

  • Park, Keun-Man;Cho, Jin-Rae;Jung, Weui-Bong;Bae, Soo-Ryong
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.20 no.6
    • /
    • pp.691-697
    • /
    • 2007
  • Numerical eigen analysis of beam-like structure can be easily and effectively done by various conventional beam theory-based methods. However, in case of the structures composed of composite-sectioned beams, the application of conventional numerical methods requires one to derive both equivalent material and geometry properties. In the present paper, these equivalent properties are derived by the transformed section method and the test FEM program is coded. The numerical accuracy of the proposed method is verified through the comparison with the ANSYS 3-D model.

과학기술위성3호 비행모델 기능시험 결과

  • Park, Jong-O;Lee, Seong-Se;Lee, Seung-Heon;Son, Jun-Won;Lee, Seung-U;Sin, Gu-Hwan;Jeong, Tae-Jin;Seo, Jeong-Gi;Park, Hong-Yeong
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.37 no.2
    • /
    • pp.179.2-179.2
    • /
    • 2012
  • 과학기술위성 3호는 우리 은하계의 근적외선 관측, 우주 배경복사 관측 및 지구 지표면의 적외선 영상 획득을 임무로 하는 우주관측용 적외선카메라와 지구 지표면의 적외선 영상획득을 임무로 하는 지구관측용 적외선카메라 그리고 한반도 지역의 다중 스펙트럼 영상을 획득함으로써 대기관측 및 환경감시의 임무를 가지는 소형분광영상카메라를 장착한 우주 및 지구과학 연구용 위성이다. 2007년 개발을 시작하여 시험인증모델(EQM, Engineering& Qualification Model) 개발과 열구조모델 (STM, Structure and Thermal Model)을 개발 완료하였고, 2012년 하반기에 발사를 앞두고 2010년 비행모델 유닛들이 납품되기 시작하여 위성체 시스템 레벨에서의 조립 및 시험을 진행하고 있다. 본 논문에서는 조립 및 기능시험 중 발견된 유닛의 문제들을 해결 과정과 시스템 레벨에서의 전기접합시험, 극성시험, 비행소프트웨어 기능시험, 종합기능시험 및 ETE 시험등 기능 시험의 종류, 목적 그리고 검증 결과를 발표하고자 한다.

  • PDF

OWL 시스템 시험모델 개발

  • Park, Jang-Hyeon;Choe, Yeong-Jun;Jo, Jung-Hyeon;Mun, Hong-Gyu;Im, Hong-Seo;Bae, Yeong-Ho;Park, Jong-Uk
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.37 no.2
    • /
    • pp.214.1-214.1
    • /
    • 2012
  • 한국천문연구원은 우주물체 전자광학 감시체계 기술개발 사업을 통해 자국위성의 추적감시를 위해 0.5m 광시야 감시관측소 국제 네트워크(OWL : Optical Wide-Field patroL)를 구축할 예정이다. OWL 시스템의 설계 검증을 위해 시험모델을 개발하였고, 연구소 내에 테스트베드에 설치하여 종합적인 테스트를 수행하고 있다. OWL 시험모델은 해외 설치모델과 동일하게 제작하였으며 돔을 제외한 모든 서브시스템을 국산화하였다. 유효구경 0.5m의 Richey-Cretian 형식의 광학계로 1.75도의 광시야를 구현하였고 영상보정을 위해 5개의 보정 렌즈를 사용하였다. 인공위성 추적을 위해 초당 10도 이상 기동이 가능한 alt-az 방식의 마운트를 개발하였다. 단일 노출에서 다수의 인공위성 궤적을 얻기 위해 chopper 제어 시스템을 도입하였고, chopper, 필터휠, de-rotator, CCD 카메라 등 4개의 부분품을 하나로 묶어 간결한 back-end를 구성하였다. 시스템의 안정성 향상과 유지보수의 용이성을 위해 망원경 및 관측소 제어 전용보드를 개발하였고, 전자동 무인관측을 위한 스케줄러 및 운영소프트웨어를 개발하였다. 시험모델을 이용하여 수 개월간 테스트을 수행하고, 관측결과 분석을 통하여 문제점을 수정보완한 후 OWL 시스템의 최종 설계안을 확정할 예정이다.

  • PDF

Generation of Displacement Signal for Realizing Road Profile using the Accelerometer (가속도계를 이용한 노면형상재현 변위신호 생성)

  • Kim, Jong-Tye;Kim, Cheol-Woo;Kim, Taek-Hyun
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.14 no.2
    • /
    • pp.39-45
    • /
    • 2010
  • In the recent years, it is important to evaluate the durability and the reliability of the vehicle, aircraft, and structure. Especially, in case of the vehicle, the durability and reliability are tested by driving test after making prototype vehicles. However, these methods require many costs and efforts for the experiment are needed to react the defects of product. This problems can be settled by simulator which supplies the realistic environments. In this parer, four-axial road simulator with hydraulic power and driving program to operate are made up. The displacement road profile is realized by accelerometers. For the verification the real-vehicle experiment is executed and road profile obtained from the experiment is verified by four-axial road simulator.

Development Hi-DPI Algorithm for High Speed Packet Filtering of Anti-DDoS based on HW (하드웨어 기반 Anti-DDoS 대응 장비 고속 패킷 필터링을 위한 Hi-DPI 알고리즘 연구)

  • Kim, Jeom Goo
    • Convergence Security Journal
    • /
    • v.17 no.2
    • /
    • pp.41-51
    • /
    • 2017
  • The explosive increase in the range of Internet usage gradually makes the speed and capacity of network high-speed, rapidly evolving it into mass storage. Accordingly, network equipment such as switch and router are coping with it through hardware-based rapid technological evolution, but as the technological development of the most basic and essential network security system in the hyper-connected society requires frequent alterations and updates about the security issues and signatures of tens of thousands, so it is not easy to overcome the technical limitations based on the software. In this paper, to improve problems in installing and operating such anti-DDoS devices, we propose a Hi-DPI algorithm best reflecting the hardware characteristics and parallel processing characteristics of FPGA (Field Programmable Gate Array), and would verify the practicality.

Design and Implementation of SDR-based Digital Filter Technique for Multi-Channel Systems (다중채널 시스템을 위한 SDR 기술기반의 디지털 필터 기법 설계 및 구현)

  • Yu, Bong-Guk;Bang, Young-Jo;Ra, Sung-Woong
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.33 no.5A
    • /
    • pp.494-499
    • /
    • 2008
  • In this study, a Software Defined Radio(SDR) technology-based digital filtering technique applicable to a multiple channel processing system such as a wireless mobile communication system using Code Division Multiple Access(CDMA) technology is proposed. The technique includes a micro-processor to redesign Finite Impulse Response(FIR) filter coefficients according to specific system information and to download the filter coefficients to one digital Band Pass Filter(BPF) to reconfigure another system. The feasibility of the algorithm is verified by implementing a multiple channel signal generator that is reconfigurable to other system profiles, including those for a CDMA system and a WCDMA system on identical hardware platform.