• Title/Summary/Keyword: Verification Algorithm

Search Result 1,145, Processing Time 0.03 seconds

Method of Differential Corrections Using GPS/Galileo Pseudorange Measurement for DGNSS RSIM (DGNSS RSIM을 위한 GPS/Galileo 의사거리 보정기법)

  • Seo, Ki-Yeol;Kim, Young-Ki;Jang, Won-Seok;Park, Sang-Hyun
    • Journal of Navigation and Port Research
    • /
    • v.38 no.4
    • /
    • pp.373-378
    • /
    • 2014
  • In order to prepare for recapitalization of differential GNSS (DGNSS) reference station and integrity monitor (RSIM) due to GNSS diversification, this paper focuses on differential correction algorithm using GPS/Galileo pesudorange. The technical standards on operation and broadcast of DGNSS RSIM are described as operation of differential GPS (DGPS) RSIM for conversion of DGNSS RSIM. Usually, in order to get the differential corrections of GNSS pesudorange, the system must know the real positions of satellites and user. Therefore, for calculating the position of Galileo satellites correctly, using the equation for calculating the SV position in Galileo ICD (Interface Control Document), it estimates the SV position based on Ephemeris data obtained from user receiver, and calculates the clock offset of satellite and user receiver, system time offset between GPS and Galileo, then determines the pseudorange corrections of GPS/Galileo. Based on a platform for performance verification connected with GPS/Galileo integrated signal simulator, it compared the PRC (pseudorange correction) errors of GPS and Galileo, analyzed the position errors of DGPS, DGalileo, and DGPS/DGalileo respectively. The proposed method was evaluated according to PRC errors and position accuracy at the simulation platform. When using the DGPS/DGalileo corrections, this paper could confirm that the results met the performance requirements of the RTCM.

Development of the Dynamic Model for the Metabolic Network of Clostridium acetobutylicum (Clostridium acetobutylicum의 대사망의 동적모델 개발)

  • Kim, Woohyun;Eom, Moon-Ho;Lee, Sang-Hyun;Choi, Jin-Dal-Rae;Park, Sunwon
    • Korean Chemical Engineering Research
    • /
    • v.51 no.2
    • /
    • pp.226-232
    • /
    • 2013
  • To produce biobutanol, fermentation processes using clostridia that mainly produce acetone, butanol and ethanol are used. In this work, a dynamic model describing the metabolic reactions in an acetone-butanol-ethanol (ABE)-producing clostridium, Clostridium acetobutylicum ATCC824, was proposed. To estimate the 58 kinetic parameters of the metabolic network model with experimental data obtained from a batch fermentor, we used an efficient optimization method combining a genetic algorithm and the Levenberg-Marquardt method because of the complexity of the metabolism of the clostridium. For the verification of the determined parameters, the developed metabolic model was evaluated by experiments where genetically modified clostridium was used and the initial concentration of glucose was changed. Consequently, we found that the developed kinetic model for the metabolic network was considered to describe the dynamic metabolic state of the clostridium sufficiently. Thus, this dynamic model for the metabolic reactions will contribute to designing the clostridium as well as the fermentor for higher productivity.

An Equivalent Multi-Phase Similitude Law for Pseudodynamic Test on Small-scale RC Models : Verification Tests (RC 축소모형의 유사동적실험을 위한 Equivalent Multi-Phase Similitude Law : 검증실험)

  • Kim, Nam-Sik;Lee, Ji-Ho;Chang, Sung-Pil
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.8 no.5 s.39
    • /
    • pp.35-43
    • /
    • 2004
  • Small-scale models have been frequently used for seismic performance tests because of limited testing facilities and economic reasons. However, there are not enough studies on similitude law for analogizing prototype structures accurately with small-scale models, although conventional similitude law based on geometry is not well consistent in the inelastic seismic behavior. When fabricating prototype and small-scale model of reinforced concrete structures by using the same material, added mass is demanded from a volumetric change and scale factor could be limited due to aggregate size. Therefore, it is desirable that different material is used for small-scale models. Thus, a modified similitude law could be derived depending on geometric scale factor, equivalent modulus ratio and ultimate strain ratio. In this study, compressive strength tests are conducted to analyze the equivalent modulus ratio of micro-concrete to normal-concrete. Then, equivalent modulus ratios are divided into multi-phase damage levels, which are basically dependent on ultimate strain level. Therefore, an algorithm adaptable to the pseudodynamic test, considering equivalent multi-phase similitude law based on seismic damage levels, is developed. Test specimens, consisted of prototype structures and 1/5 scaled models as a reinforced concrete column, were designed and fabricated based on the equivalent modulus ratios already defined. Finally quasistatic and pseudodynamic tests on the specimens are carried out using constant and variable modulus ratios, and correlation between prototype and small-scale model is investigated based on their test results. It is confirmed that the equivalent multi-phase similitude law proposed in this study could be suitable for seismic performance tests on small-scale models.

Performance Comparison between Random CA Group Authentication and Home CA Authentication in Mobile Ad hoc Network (모바일 애드혹 네트워크에서 임의의 CA 그룹을 이용한 이동노드의 인증과 홈 CA를 이용한 인증방법의 성능 비교)

  • Lee, Yong;Lee, Goo-Yeon
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.45 no.10
    • /
    • pp.40-48
    • /
    • 2008
  • Security of self organized mobile ad hoc networks is an important issue because administration information in the networks is managed by the constituent nodes. Especially authentication mechanism is necessary for trust setup between newly joining nodes and the network. The authentication models and protocols which are based on the wireline infrastructure could not be practical for mobile ad hoc network. Although public key algorithm-based method is widely used for authentication, it is not easy to be applied to mobile ad hoc networks because they do not have infrastructure such as centralized CA which is needed for certificate verification. In this paper, we consider the public key based random CA group method proposed in [1] to provide efficient authentication scheme to mobile ad hoc networks and analyze the performance of the method, which is then compared to the home CA method. From the analysis results, we see that the random CA method where the function of CA is distributed to some mobile nodes and the authentication information is propagated to randomly chosen CAs shows higher reliability and lower cost than home CA method.

Roles of B-dot Controller and Failure Analysis for Dawn-dusk LEO Satellite (6시 저궤도 위성에서 B-dot 제어기 역할과 고장분석)

  • Rhee, Seung-Wu;Kim, Hong-Joong;Son, Jun-Won
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.41 no.3
    • /
    • pp.200-209
    • /
    • 2013
  • In this paper, the types of B-dot controller and the review results of B-dot controller stability are summarized. Also, it is confirmed that B-dot controller is very useful and essential tool when a dawn-dusk low earth orbit(LEO) large satellite has especially to capture the Sun for a required power supply in a reliable way after anomaly and that its algorithm is very simple for on-board implementation. New physical interpretation of B-dot controller is presented as a result of extensive theoretical investigation introducing the concept of transient control torque and steady state control torque. Also, the failure effect analysis results of magnetic torquers as well as a simulation verification are included. And the design recommendation for optimal design is provided to cope with the failure of magnetic torquer. Nonlinear simulation results are included to justify its capability as well as its performance for an application to a dawn-dusk LEO large satellite.

Estimation of Mega Flood Using Mega Rainfall Scenario (거대강우 시나리오를 이용한 거대홍수량 산정)

  • Han, Daegun;Kim, Deokhwan;Kim, Jungwook;Jung, Jeawon;Lee, Jongso;Kim, Hung Soo
    • Journal of Wetlands Research
    • /
    • v.21 no.spc
    • /
    • pp.90-97
    • /
    • 2019
  • In recent years, flood due to the consecutive storm events have been occurred and property damage and casualties are in increasing trend. This study calls the consecutively occurred storm events as a mega rainfall scenario and the discharge by the scenario is defined as a mega flood discharge. A mega rainfall scenario was created on the assumption that 100-year frequency rainfall events were consecutively occurred in the Gyeongancheon stream basin. The SSARR (Streamflow Synthesis and Reservoir Regulation) model was used to estimate the mega flood discharge using the scenario in the basin. In addition, in order to perform more reasonable runoff analysis, the parameters were estimated using the SCE_UA algorithm. Also, the calibration and verification were performed using the objective functions of the weighted sum of squared of residual(WSSR), which is advantageous for the peak discharge simulation and sum of squared of residual(SSR). As a result, the mega flood discharge due to the continuous occurrence of 100-year frequency rainfall events in the Gyeongan Stream Basin was estimated to be 4,802㎥/s, and the flood discharge due to the 100-year frequency single rainfall event estimated by "the Master Plan for the Gyeongancheon Stream Improvement" (2011) was 3,810㎥/s. Therefore, the mega flood discharge was found to increase about 992㎥/s more than the single flood event. The results of this study can be used as a basic data for Comprehensive Flood Control Plan of the Gyeongan Stream basin.

A Study on Image Integrity Verification Based on RSA and Hash Function (RSA와 해시 함수 기반 이미지 무결성 검증에 관한 연구)

  • Woo, Chan-Il;Goo, Eun-Hee
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.11
    • /
    • pp.878-883
    • /
    • 2020
  • Cryptographic algorithms are used to prevent the illegal manipulation of data. They are divided into public-key cryptosystems and symmetric-key cryptosystems. Public-key cryptosystems require considerable time for encryption and decryption compared to symmetric-key cryptosystem. On the other hand, key management, and delivery are easier for public-key cryptosystems than symmetric-key cryptosystems because different keys are used for encryption and decryption. Furthermore, hash functions are being used very effectively to verify the integrity of the digital content, as they always generate output with a fixed size using the data of various sizes as input. This paper proposes a method using RSA public-key cryptography and a hash function to determine if a digital image is deformed or not and to detect the manipulated location. In the proposed method, the entire image is divided into several blocks, 64×64 in size. The watermark is then allocated to each block to verify the deformation of the data. When deformation occurs, the manipulated pixel will be divided into smaller 4×4 sub-blocks, and each block will have a watermark to detect the location. The safety of the proposed method depends on the security of the cryptographic algorithm and the hash function.

A Multi-sensor basedVery Short-term Rainfall Forecasting using Radar and Satellite Data - A Case Study of the Busan and Gyeongnam Extreme Rainfall in August, 2014- (레이더-위성자료 이용 다중센서 기반 초단기 강우예측 - 2014년 8월 부산·경남 폭우사례를 중심으로 -)

  • Jang, Sangmin;Park, Kyungwon;Yoon, Sunkwon
    • Korean Journal of Remote Sensing
    • /
    • v.32 no.2
    • /
    • pp.155-169
    • /
    • 2016
  • In this study, we developed a multi-sensor blending short-term rainfall forecasting technique using radar and satellite data during extreme rainfall occurrences in Busan and Gyeongnam region in August 2014. The Tropical Z-R relationship ($Z=32R^{1.65}$) has applied as a optimal radar Z-R relation, which is confirmed that the accuracy is improved during 20mm/h heavy rainfall. In addition, the multi-sensor blending technique has applied using radar and COMS (Communication, Ocean and Meteorological Satellite) data for quantitative precipitation estimation. The very-short-term rainfall forecasting performance was improved in 60 mm/h or more of the strong heavy rainfall events by multi-sensor blending. AWS (Automatic Weather System) and MAPLE data were used for verification of rainfall prediction accuracy. The results have ensured about 50% or more in accuracy of heavy rainfall prediction for 1-hour before rainfall prediction, which are correlations of 10-minute lead time have 0.80 to 0.53, and root mean square errors have 3.99 mm/h to 6.43 mm/h. Through this study, utilizing of multi-sensor blending techniques using radar and satellite data are possible to provide that would be more reliable very-short-term rainfall forecasting data. Further we need ongoing case studies and prediction and estimation of quantitative precipitation by multi-sensor blending is required as well as improving the satellite rainfall estimation algorithm.

Quality Assurance of Multileaf Collimator Using Electronic Portal Imaging (전자포탈영상을 이용한 다엽시준기의 정도관리)

  • ;Jason W Sohn
    • Progress in Medical Physics
    • /
    • v.14 no.3
    • /
    • pp.151-160
    • /
    • 2003
  • The application of more complex radiotherapy techniques using multileaf collimation (MLC), such as 3D conformal radiation therapy and intensity-modulated radiation therapy (IMRT), has increased the significance of verifying leaf position and motion. Due to thier reliability and empirical robustness, quality assurance (QA) of MLC. However easy use and the ability to provide digital data of electronic portal imaging devices (EPIDs) have attracted attention to portal films as an alternatives to films for routine qualify assurance, despite concerns about their clinical feasibility, efficacy, and the cost to benefit ratio. In this study, we developed method for daily QA of MLC using electronic portal images (EPIs). EPID availability for routine QA was verified by comparing of the portal films, which were simultaneously obtained when radiation was delivered and known prescription input to MLC controller. Specially designed two-test patterns of dynamic MLC were applied for image acquisition. Quantitative off-line analysis using an edge detection algorithm enhanced the verification procedure as well as on-line qualitative visual assessment. In conclusion, the availability of EPI was enough for daily QA of MLC leaf position with the accuracy of portal films.

  • PDF

Comparison Study of Conventional Film-based and CT-reconstruction method in HDR Brachytherapy (고선량률 근접 방사선 치료에서 기존의 필름 방법과 CT 재구성 방법의 비교 연구)

  • 장지나;이형구;윤세철;서태석
    • Progress in Medical Physics
    • /
    • v.15 no.2
    • /
    • pp.63-69
    • /
    • 2004
  • HDR brachytherapy administers a large dose of radiation in a short time compare with LDR, and its optimization for treatment is related to several complex factors, such as physical, radiation and optimization algorithms, so there is a need for these to be verified for accurate dose delivery. In our approach, a previous study concerning the phantom for dose verification has been modified, and a new pelvic phantom fabricated for the purpose of localization, including a structure enabling the use of a CT or MRI system. In addition, a comparison study was performed to verify an orthogonal method that is commonly used for brachytherapy localization by comparing target coordinates from a CT system. Since the developed phantom was designed to simulate the clinical setups of cervix cancer, it included an air-filled bladder and a rectum structure shaped sphere and cylinder An N-shaped localizer was used to obtain precision coordinates from both CT and films. Moreover, the IDL 5.5 software program for Windows was used to perform coordinates analysis based on an orthogonal algorithm. The film results showed differences within 1.0 mm of the selected target points compare with the CT coordinates. For these results, a Plato planning system (Nucletron, Netherlands) could be independently verified using this phantom and software. Furthermore, the new phantom and software will be efficient and powerful qualify assurance (QA) tools in the field of brachytherapy QA.

  • PDF