• Title/Summary/Keyword: quantitative verification

Search Result 274, Processing Time 0.026 seconds

Autonomous Mission Management Software Design and Verification Technique for Unmanned Aerial Vehicles (무인기 자율 임무관리 소프트웨어 설계 및 검증 기법)

  • Chang, Woohyuk;Lee, Seung-Gyu;Kim, Yun-Geun;Oh, Taegeun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.49 no.6
    • /
    • pp.505-513
    • /
    • 2021
  • We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.

Ratiocination for evaluation of mental image -Evaluation leafing to characteristic position of associate image and product elements- (Mental Image의 평가를 위한 추론 -연상이미지에 의한 제품평가를 중심으로-)

  • 송창호
    • Archives of design research
    • /
    • v.16 no.3
    • /
    • pp.59-70
    • /
    • 2003
  • The consumer's feelings toward products is each evaluated and appears in different way that is to say there are various types of motives for deciding a purchase for example, there might be an interesting function and emotional reaction. How is the product image that induces motives like this metaphorized and evaluated to be existing in the mental image. This study inquired into, it by presenting problems conscious of both sides indicated above, the major points associated with image of the product, characteristic positions of product elements and evaluation of the product. To draw out a clear conclusion, first three hypotheses were established and case a study was performed as part of conclusive research for verification of this. The collected data was made, by simple tabulation to represent the overall flow, and based on this, concrete analysis was conducted on the three reserch items. The analysis method weighted on quantitative analysis with consideration to consumer's psychological aspect. As the result, three important conclusions could be drawn out or ratiocination for evaluation of mental image formation.

  • PDF

WRF-Based Short-Range Forecast System of the Korea Air Force : Verification of Prediction Skill in 2009 Summer (WRF 기반 공군 단기 수치 예보 시스템 : 2009년 하계 모의 성능 검증)

  • Byun, Ui-Yong;Hong, Song-You;Shin, Hyeyum;Lee, Ji-Woo;Song, Jae-Ik;Hahm, Sook-Jung;Kim, Jwa-Kyum;Kim, Hyung-Woo;Kim, Jong-Suk
    • Atmosphere
    • /
    • v.21 no.2
    • /
    • pp.197-208
    • /
    • 2011
  • The objective of this study is to describe the short-range forecast system of the Korea Air Force (KAF) and to verificate its performace in 2009 summer. The KAF weather prediction model system, based on the Weather Research and Forecasting (WRF) model (i.e., the KAF-WRF), is configured with a parent domain overs East Asia and two nested domains with the finest horizontal grid size of 2 km. Each domain covers the Korean peninsula and South Korea, respectively. The model is integrated for 84 hour 4 times a day with the initial and boundary conditions from National Centers for Environmental Prediction (NCEP) Global Forecast System (GFS) data. A quantitative verification system is constructed for the East Asia and Korean peninsula domains. Verification variables for the East Asia domain are 500 hPa temperature, wind and geopotential height fields, and the skill score is calculated using the difference between the analysis data from the NCEP GFS model and the forecast data of the KAF-WRF model results. Accuracy of precipitation for the Korean penisula domain is examined using the contingency table that is made of the KAF-WRF model results and the KMA (Korea Meteorological Administraion) AWS (Automatic Weather Station) data. Using the verification system, the operational model and parallel model with updated version of the WRF model and improved physics process are quantitatively evaluated for the 2009 summer. Over the East Aisa region, the parallel experimental model shows the better performance than the operation model. Errors of the experimental model in 500 hPa geopotential height near the Tibetan plateau are smaller than errors in the operational model. Over the Korean peninsula, verification of precipitation prediction skills shows that the performance of the operational model is better than that of the experimental one in simulating light precipitation. However, performance of experimental one is generally better than that of operational one, in prediction.

RAMS Management Planning in CBTC System Development for Metropolitan Railroad Applications (도시철도용 CBTC시스템 개발을 위한 RAMS관리계획 수립에 대한 연구)

  • Shin, Duc-Ko;Kim, Gon-Yop;Oh, Seh-Chan;Yoon, Yong-Ki
    • Proceedings of the KSR Conference
    • /
    • 2011.10a
    • /
    • pp.711-716
    • /
    • 2011
  • Ministry of Land, Transportation and Maritime Affairs of Korea has started a research project on verification process and safety assessment of Communication Based Train Control (CBTC) system for metropolitan railroad control as a 3-year project starting from 2010. As a number of companies has made efforts in securing the technologies for domestic production of CBTC systems, the purpose of the project is to develop the specification for interoperability with the considerations for local environments including metropolitan train operations and wireless communications. And the developed systems and the RAMS related outcomes from the participating companies are subject to Independent Safety Assessment (ISA) performed by a foreign specialized agency and the corresponding certificates are to be issued as a part of the project. In this paper, the RAMS management for verification and commercialization of metropolitan railroad CBTC systems has been studied. The study includes response strategy for the requirements of international standards, responsibility and authority of the related institute and the companies, quantitative RAMS objectives, and risk management strategies in project fulfillment.

  • PDF

Verification of mean volume backscattering strength from acoustic doppler current profiler by using calibrated sphere method (교정구에 의한 음향 도플러유향유속계의 평균 체적후방산란강도 검토)

  • Yang, Yong-Su;Lee, Kyounghoon;Lee, Dae-Jae;Lee, Dong-Gil
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.50 no.4
    • /
    • pp.551-555
    • /
    • 2014
  • ADCPs have been widely used to estimate the dynamic characteristics and biomass of sound scattering layers (SSLs), and swimming speed of fish schools for analyzing SSLs spatial distribution and/or various behavior patterns. This result showed that the verification of the mean volume backscattering strength (MVBS or averaged SV, dB) acquired by the ADCP would be necessary for a quantitative analysis on the spatial distribution and the biomass estimation of the SSLs or fish school when ADCP is used for estimating their biomass. In addition, the calibrated sphere method was used to verify values of each MVBS obtained from 4 beams of ADCP (153.6 kHz) on the base of 3 frequencies (38, 120, 200 kHz) of Scientific echo sounder's split beam system. Then, the measured SV values were compared and analyzed in its Target Strength (TS, dB) values estimated by a theoretical acoustic scattering model.

Target Tracking Performance Verification of Surveillance Data Processing System for Air Traffic Control (항공관제용 감시자료처리시스템 항적 추적 성능 검증)

  • Eun, Yeonju;Jeon, Dae-Keun;Yeom, Chan-Hong
    • Aerospace Engineering and Technology
    • /
    • v.11 no.2
    • /
    • pp.171-181
    • /
    • 2012
  • As a sub-system of an air traffic control system, SDP(Surveillance Data Processor) provides with the system tracks of aircraft using the surveillance sensor data from various air traffic surveillance sensors, such as radars. Therefore, the high accuracy of tracking results is a crucial requirement for safe flights, and verification of the required system performance of SDP is an essential step in development. Moreover, the quantitative evaluation of target tracking accuracy is important for newly developed SDP, since there are several tracking methods for Multi-Sensor Multi-Target Tracking, such as MRT(Multi Radar Tracking), inevitably required as the main function of SDP. In this study, definition of required system performances, establishment of test environment, and test results for MRT performance evaluation of SDP, which is being developed in KARI(Korea Airspace Research Institute) are presented.

Development of Electronic Portal Imaging Device and Treatment Position Verification for Fractionated Stereotatic Radiotherapy

  • Lee, Dong-Hoon;Ji, Young-Hoon;Lee, Dong-Han;Kim, Yoon-Jong;Chilgoo Byun;Hong, Seung-Hong;Rhee, Soo-Yong
    • Proceedings of the Korean Society of Medical Physics Conference
    • /
    • 2002.09a
    • /
    • pp.446-449
    • /
    • 2002
  • The video based electronic portal imaging device (EPID), which could display the portal image in near real time, was implemented to verify treatment position error in FSRT(Fractionated Stereotatic Radiation Therapy) instead of a portal film. Also, Developed FSRT system was composed of the stereotactic frame, frame mounting system and collimator cones. The verification of treatment position is very crucial in special therapies like FSRT. In general, the FSRT uses high dpse rate at small field size for treating small intracranial lesions. To evaluate quantitative positioning errors in FSRT, we used the first FSRT image as reference image and obtained the second FSRT image that was moved 2mm intentionally and detected intracranial contours after image processing. The generated 2mm error could be verified by overlapping only contours of two images. Through this study, the radiation treatment efficiency could be improved by performing precise radiation therapy with a developed video based EPID and FSRT.

  • PDF

Development of a Verification Tool in Radiation Treatment Setup (방사선치료 시 환자자세 확인을 위한 영상 분석 도구의 개발)

  • 조병철;강세권;한승희;박희철;박석원;오도훈;배훈식
    • Progress in Medical Physics
    • /
    • v.14 no.3
    • /
    • pp.196-202
    • /
    • 2003
  • In 3-dimensional conformal radiation therapy (3D-CRT) and intensity-modulated radiation therapy (IMRT), many studies on reducing setup error have been conducted in order to focus the irradiation on the tumors while sparing normal tissues as much as possible. As one of these efforts, we developed an image enhancement and registration tool for simulators and portal images that analyze setup errors in a quantitative manner. For setup verification, we used simulator (films and EC-L films (Kodak, USA) as portal images. In addition, digital-captured images during simulation, and digitally-reconstructed radiographs (DRR) can be used as reference images in the software, which is coded using IDL5.4 (Research Systems Inc., USA). To improve the poor contrast of portal images, histogram-equalization, and adaptive histogram equalization, CLAHE (contrast limited adaptive histogram equalization) was implemented in the software. For image registration between simulator and portal images, contours drawn on the simulator image were transferred into the portal image, and then aligned onto the same anatomical structures on the portal image. In conclusion, applying CLAHE considerably improved the contrast of portal images and also enabled the analysis of setup errors in a quantitative manner.

  • PDF

Experimental Studies of quantitative evaluation using HPLC and safety of Bee Venom Acupuncture (봉독침의 봉독함량분석과 LD50 및 조직학적 소견 관찰)

  • Jang, Seong-Bong;Kwon, Ki-Rok
    • Journal of Pharmacopuncture
    • /
    • v.9 no.1
    • /
    • pp.155-165
    • /
    • 2006
  • Objectives : This study was conducted to carry out quantitative evaluation and safety of Bee Venom Acupuncture. Methods : Content analysis was done using HPLC, measurement of $LD_{50}$, and histological observations were made on the skin and muscles. Results : 1. According to HPLC analysis, each BVA-1 contained approximately $0.36{\mu}g$, and BVA-2 contained approximately $0.54{\mu}g$. But the volume of coating was so minute, slight difference exists between each needle. 2. LD50 of mouse with BVA-1 was 16 counts and this is equivalent to 640 needles/kg, making Bee Venom Acupuncture safe treatment apparatus. 3. Regardless of the number of needles, there was no sign of blood stasis or inflammation detected on the skin and muscle tissues. Conclusion : Above results indicate that the Bee Venom Acupuncture can complement shortcomings of syringe usage as a part of Oriental medicine treatment, but extensive researches should be done for further verification.

(Development of 100[W] Border Light using Color Mixing Technique by Simple-Inverse Matching Method) (Simple-Inverse Matching 혼색기법을 이용한 100[W] 무대조명 개발)

  • Youn, Jin-Sik;Song, Sang-Bin;Lim, Young-Cheol;Park, Joung-Wook;Hong, Jin-Pyo
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.24 no.12
    • /
    • pp.38-46
    • /
    • 2010
  • For the development of 100[W] stage lighting, quantitative and uniform color mixing that applied through color adopted Simple-Inverse matching so that color mixing can be possible along Black Body Locus. R,G,B(Red, Green, Blue) LED(Light Emitting Diode) arrangement through LED package character analysis, LED module, and the characteristic of device were considered for uniform color mixing. A distance changeable optical device was built to assure high uniformity and high diffusion of not only the middle of diffusion side but also the border side. Also, we developed the control power circuit that can expand up to 6 channels which are possible for quantitative color mixing, and the high uniformity and high quantified border light for color mixing control and the verification of color mixing characteristics by composing GUI(Graphical user interface) including color mixing simulator. By presenting the experimental results of light color control, we proved the usefulness of our developed border light and the proposed color mixing method.