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

Search Result 2,336, Processing Time 0.032 seconds

A Study on the Traffic Generator to Evaluate ATM Switch (ATM 스위치 성능 평가를 위한 트래픽 발생기에 관한 연구)

  • 황성호;김근배;조규섭;박병철
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.19 no.3
    • /
    • pp.391-400
    • /
    • 1994
  • Recently, the development of ATM switch, a backbone system of BISDN, is receiving worldwide study. Because the development of large communication equipments like a switching system need a lot of time and cost, the performance evaluation by menas of simulation is needed for the higher efficiency of development before actual implementation. So, a general and objective input environment is necessary for proper simulation. The main purpose of this paper is to offer a traffic generator which can provide such input environment as a file for computer simulation of ATM switch. To offer diverse input environment of ATM switch, we select parameters, and implement ATM traffic generator with software technology. Basides, a program to verify the propriety of ATM traffic generator in also proposed. It is expected that the proposed ATM traffic generator will offer diverse input environment for computer simulation to evaluate new ATM switching system, not influenced by any system structure.

  • PDF

A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework

  • Cho, Eun-Sook;Song, Chee-Yang
    • Journal of the Korea Society of Computer and Information
    • /
    • v.24 no.12
    • /
    • pp.85-92
    • /
    • 2019
  • Companies can identify user groups or consumption trends by collecting and analyzing opinions of many users on special subjects or their products as well as utilize them as various purposes such as predicting some specific trends or marketing strategies. Therefore current analyzing tools of social media have come into use as a means to measure the performances of social media marketing through network's statistical analysis. However these tools require expensive computing and network resources including burden of costs for building up and operating complex software platforms and much operating know-how. Hence, small companies or private business operators have difficulty in utilizing those social media data effectively. This paper proposes a framework applied into developing analysis system of social media. The framework could be set up and operate the system to extract necessary social media's data. Also to design the system, this study suggests a meta-model of proposed framework and to guarantee completeness and consistency, a formal specification of meta-model by using Z language is suggested. Finally, we could verify the clearness of framework's design by performing Z model checking of formal specification's output through Z-EVES tool.

Verification of Dose Evaluation of Human Phantom using Geant4 Code (Geant4 코드를 사용한 인체팬텀 선량평가 검증)

  • Jang, Eun-Sung;Choi, Ji-Hoon
    • Journal of the Korean Society of Radiology
    • /
    • v.14 no.5
    • /
    • pp.529-535
    • /
    • 2020
  • Geant4 is compatible with the Windows operating system in C++ language use, enabling interface functions that link DICOM or software. It was simulated to address the basic structure of the simulation using Geant4/Gate code and to specifically verify the density composition and lung cancer process in the human phantom. It was visualized using the Gate Graphic System, i.e. openGL, Ray Tracer: Ray Tracing by Geant4 Tracing, and using Geant4/Gate code, lung cancer is modeled in the human phantom area in 3D, 4D to verify the simulation progress. Therefore, as a large number of new functions are added to the Gate Code, it is easy to implement accurate human structure and moving organs.

A Study on the Full-HD HEVC Encoder IP Design (고해상도 비디오 인코더 IP 설계에 대한 연구)

  • Lee, Sukho;Cho, Seunghyun;Kim, Hyunmi;Lee, Jehyun
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.52 no.12
    • /
    • pp.167-173
    • /
    • 2015
  • This paper presents a study on the Full-HD HEVC(High Efficiency Video Coding) encoder IP(Intellectual Property) design. The designed IP is for HEVC main profile 4.1, and performs encoding with a speed of 60 fps of full high definition. Before hardware and software design, overall reference model was developed with C language, and we proposed a parallel processing architecture for low-power consumption. And also we coded firmware and driver programs relating IP. The platform for verification of developed IP was developed, and we verified function and performance for various pictures under several encoding conditions by implementing designed IP to FPGA board. Compared to HM-13.0, about 35% decrease in bit-rate under same PSNR was achieved, and about 25% decrease in power consumption under low-power mode was performed.

Design and Implementation of Web Service S/W Platform for Remote Monitoring and Control (원격 감시제어를 위한 웹 서비스 S/W 플랫폼 설계 및 구현)

  • Lee, Tae-Hee;Kim, Joo-Man
    • The Journal of the Korea Contents Association
    • /
    • v.7 no.12
    • /
    • pp.245-253
    • /
    • 2007
  • In this paper, we propose an effective web service software platform for remote monitoring and control. We removed the servlet container for better web service performance so as to improve the gSOAP processing which is an essential element of web service implementation. Furthermore, we designed the web service server/client software platform which can be applied to robot or ubiquitous sensor applications. For validation of this study we tested it by manufacturing robot hardware for monitoring control which combined tanks and sensors on a LDS4000 engine board mounted with a PXA270 processor. The practical excellence and the efficiency of the result of this study was validated by the comparison of gSOAP message exchange load between the web service client application and the conventional remote monitoring control technique through a web server.

Suggestion on the SBAS Augmentation Message Providing System for the the Low-cost GPS Receiver of Drone Operation (드론의 저가형 GPS 수신기용 SBAS 보강 정보 전송 시스템 제안)

  • Seok, Hyo-jeong;Yoon, Dong-hwan;Lim, Cheol-soon;Park, Byung-woon
    • Journal of Advanced Navigation Technology
    • /
    • v.21 no.3
    • /
    • pp.272-278
    • /
    • 2017
  • In order to meet performance requirements specified by the ICAO in drone operation, a system that provides augmentation information such as SBAS is needed. However, the operating range of the drone is limited in situation where the drone can not received the SBAS message continuously. In this paper, we propose a system to transmit SBAS augmentation message using a separate communication channel assuming the SBAS satellite signal to the drone has been shielded. We implemented the proposed system and verified its performance in the static environment. The DGPS positioning results showed that the accuracy difference is about 10cm, which means the accuracy performance was very similar. In addition, the protection level calculated by the system also shows the difference within 2m from the value calculated by the airborne receiver.

A Development of DMB-AF Player Supporting 3D Video Contents (3D 비디오 콘텐트를 지원하는 DMB-AF 플레이어 개발)

  • Kim, Yong-Han;Park, Min-Kyu
    • Journal of Broadcast Engineering
    • /
    • v.16 no.3
    • /
    • pp.542-551
    • /
    • 2011
  • Recently an extension to DMB-AF (Digital Multimedia Broadcasting Application Format) standard was proposed in [1] without sufficient validation for industrial application due to incomplete implementation. The extended DMB-AF can include stereoscopic video and stereoscopic images for interactive service data, i.e., MPEG-4 BIFS data, in addition to the existing 2D video and 2D images for BIFS services. The contents in the extended DMB-AF can provide a temporal mixture of 2D/3D video presentations possibly with or without 2D/3D images for BIFS services. In this paper we developed DMB-AF player software that can play the extended DMB-AF files and authored several test files for its verification. As a result, we introduced a new method for indicating dependencies of 3D media tracks to improve the extension in [1] and validated the extended DMB-AF with the improvement.

Automatic Classification Technique of Offence Pattern in Soccer Game using Neural Networks (뉴럴네트워크를 이용한 축구경기에 있어서의 공격패턴 자동분류 기법)

  • Kim, Hyun-Sook;Kim, Kwang-Yong;Nam, Sung-Hyun;Hwang, Chong-Sun;Yang, Young-Kyu
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.7
    • /
    • pp.712-722
    • /
    • 2000
  • In this paper, we suggest and test a classification technique of offence pattern from group formation to automatically index highlights of soccer games. A BP (Back-propagation) neural nets technique was applied to the information of the position of both the player and the ball on a ground, and the distance between the player and the ball to identify the group formation in space and time. The real soccer game scenes including '98 France World Cup were used to extract 297 video clips of various types of offence patterns; Left Running 60, Right Running 74, Center Running 72, Corner-kick 39 and Free-kick 52. The results are as follows: Left Running comes to 91.7%, Right Running 100%. Center Running 87.5%, Corner-kick 97.4% and Free-kick 75%, and these showed quite a satisfactory rate of recognition.

  • PDF

Absolute phase identification algorithm in a white light interferometer using a cross-correlation of fringe scans (백색광 간섭기에서 간섭 무늬의 상호 상관관계 함수를 이용한 절대 위상 측정 알고리즘)

  • Kim, Jeong-Gon
    • Journal of Sensor Science and Technology
    • /
    • v.9 no.4
    • /
    • pp.316-326
    • /
    • 2000
  • A new signal processing algorithm for white light interferometry has been proposed and investigated theoretically. The goal of the algorithm is to determine the absolute optical path length of an interferometer with very high precision (<< one optical wavelength). The algorithm features cross-correlation of interferometer fringe scans and hypothesis testing. The hypothesis test looks for a zero order fringe peak candidate about which the cross-correlation is symmetric minimizing the uncertainty of misidentification. The shot noise limited performance of the proposed signal processing algorithm has been analyzed using computer simulations. Simulation results were extrapolated to predict the misidentification rate at Signal to-Shot noise ratio (SNR) higher than 31 dB. Root-mean-square phase error between the computer-generated zero order fringe peak and the estimated zero order fringe peak has been calculated for the changes of three different parameters (SNR, fringe scan sampling rate, coherence length of light source). Results of computer simulations showed the ability of the proposed signal processing algorithm to identify the zero order fringe peak correctly. The proposed signal processing algorithm uses a software approach, which is potentially inexpensive, simple and fast.

  • PDF

Development of Very Short-term Rainfall-Runoff Forecast system Using Radar and Rainfall Numerical Weather Prediction Data (레이더 및 강우수치예보자료를 이용한 초단기강우-유출예측시스템 개발)

  • Park, Jin-Hyeog;Kang, Boo-Sik
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2007.05a
    • /
    • pp.281-285
    • /
    • 2007
  • 본 연구에서는 보다 신뢰성 있고 정확한 정량적 강우예측자료를 생성하기 위하여 레이더강우 및 강우수치예보자료를 합성하는 기법을 제시하였고, 레이더 전처리 및 예측시스템, GIS와 연계한 물리적기반의 분포형모형인 Vflo모형 등 최신 수자원 IT기술을 활용하여 홍수기 돌발홍수에 대응한 초단기 정량적 강우-유출예측을 목적으로 향후 실시간으로 적용 가능한 분포형유출예측시스템의 기반을 구축하고자 하였다. 대상유역은 국지적인 고해상도 지형효과를 고려한 QPM이 개발되어 있는 금강권역의 용담댐유역이며, 예측 강우에 대한 호우사상은 2005년 이후 발생한 3개 강우사상을 대상으로 하였다. 한편, 기상 레이더 자료로부터 산정된 강수량의 수문학적 적용을 위하여 DEM, 토지피복도, 토양도 등의 기본 GIS자료들을 수집 및 구축하였고 물리적기반의 분포형모형(Vflo)의 입력인자로 사용하기 위한 12개의 공간분포형 수문매개변수들을 대표적인 GIS 소프트웨어인 ArcGIS 및 ArcView를 활용하여 추출하였으며, Vflo모형의 현업 적용가능성을 오프라인 상에서 검증해보았다. 모형 검증결과, GIS를 이용한 지형, 토양, 토지피복과 같은 물리적 특성을 사용한 모형의 초기 설정을 향상시킴에 의해 첨두유량, 유출량, 첨두도달시간차 등에서 만족할만한 결과를 보여주었다고 사료된다. 레이더 및 수치예보자료와 합성한 4가지의 형태(QPE, JQPE, QPM, BQPF)의 분포형 입력강우를 이용하여 적용해 본 결과 Nowcasting기법을 이용한 JQPF는 자료의 특성상 초기 1시간30분동안은 비교적 양호한 결과를 얻었으나 3시간 전후로 가면서 예측강우의 질이 저하되기 시작하였으나 QPM을 합성함으로써 생산한 BQPF는 보다 신뢰성있고 양호한 결과를 얻을 수 있었다. 이러한 결과들은 향후 정량적 분포형강우 예측을 이용한 실시간 홍수유출 예측시 댐운영자는 리드타임(홍수선행시간)을 충분히 확보함으로서 안정적이고 예측 가능한 홍수조절을 하는데 도움을 줄 수 있을 것으로 기대된다. 이와 같이 다양한 단기저수지 유입량의 예측정보 제공으로 다목적댐 저수지 운영모형의 효용성을 제고하여 향후 실제 저수지 유입량 예측에 이용함으로써 저수지 단기운영효율 개선에 기여할 수 있을 것으로 사료된다.

  • PDF