• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.025 seconds

An Implementation of OTB Extension to Produce TOA and TOC Reflectance of LANDSAT-8 OLI Images and Its Product Verification Using RadCalNet RVUS Data (Landsat-8 OLI 영상정보의 대기 및 지표반사도 산출을 위한 OTB Extension 구현과 RadCalNet RVUS 자료를 이용한 성과검증)

  • Kim, Kwangseob;Lee, Kiwon
    • Korean Journal of Remote Sensing
    • /
    • v.37 no.3
    • /
    • pp.449-461
    • /
    • 2021
  • Analysis Ready Data (ARD) for optical satellite images represents a pre-processed product by applying spectral characteristics and viewing parameters for each sensor. The atmospheric correction is one of the fundamental and complicated topics, which helps to produce Top-of-Atmosphere (TOA) and Top-of-Canopy (TOC) reflectance from multi-spectral image sets. Most remote sensing software provides algorithms or processing schemes dedicated to those corrections of the Landsat-8 OLI sensors. Furthermore, Google Earth Engine (GEE), provides direct access to Landsat reflectance products, USGS-based ARD (USGS-ARD), on the cloud environment. We implemented the Orfeo ToolBox (OTB) atmospheric correction extension, an open-source remote sensing software for manipulating and analyzing high-resolution satellite images. This is the first tool because OTB has not provided calibration modules for any Landsat sensors. Using this extension software, we conducted the absolute atmospheric correction on the Landsat-8 OLI images of Railroad Valley, United States (RVUS) to validate their reflectance products using reflectance data sets of RVUS in the RadCalNet portal. The results showed that the reflectance products using the OTB extension for Landsat revealed a difference by less than 5% compared to RadCalNet RVUS data. In addition, we performed a comparative analysis with reflectance products obtained from other open-source tools such as a QGIS semi-automatic classification plugin and SAGA, besides USGS-ARD products. The reflectance products by the OTB extension showed a high consistency to those of USGS-ARD within the acceptable level in the measurement data range of the RadCalNet RVUS, compared to those of the other two open-source tools. In this study, the verification of the atmospheric calibration processor in OTB extension was carried out, and it proved the application possibility for other satellite sensors in the Compact Advanced Satellite (CAS)-500 or new optical satellites.

Digital Logic Extraction from QCA Designs (QCA 설계에서 디지털 논리 자동 추출)

  • Oh, Youn-Bo;Kim, Kyo-Sun
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.46 no.1
    • /
    • pp.107-116
    • /
    • 2009
  • Quantum-dot Cellular Automata (QCA) is one of the most promising next generation nanoelectronic devices which will inherit the throne of CMOS which is the domineering implementation technology for large scale low power digital systems. In late 1990s, the basic operations of the QCA cell were already demonstrated on a hardware implementation. Also, design tools and simulators were developed. Nevertheless, its design technology is not quite ready for ultra large scale designs. This paper proposes a new approach which enables the QCA designs to inherit the verification methodologies and tools of CMOS designs, as well. First, a set of disciplinary rules strictly restrict the cell arrangement not to deviate from the predefined structures but to guarantee the deterministic digital behaviors is proposed. After the gate and interconnect structures of. the QCA design are identified, the signal integrity requirements including the input path balancing of majority gates, and the prevention of the noise amplification are checked. And then the digital logic is extracted and stored in the OpenAccess common engineering database which provides a connection to a large pool of CMOS design verification tools. Towards validating the proposed approach, we designed a 2-bit adder, a bit-serial adder, and an ALU bit-slice. For each design, the digital logic is extracted, translated into the Verilog net list, and then simulated using a commercial software.

A Design for Realtime Monitoring System and Data Analysis Verification TA to Improve the Manufacturing Process Using HW-SW Integrated Framework (HW-SW 통합 프레임워크를 활용한 제조공정 개선을 위한 실시간 모니터링 시스템과 데이터 분석검증 TA설계)

  • Kim, Jae Chun;Jin, Seon A;Park, Young Hee;Noh, Seong Yeo;Lee, Hyun Dong
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.4 no.9
    • /
    • pp.357-370
    • /
    • 2015
  • Massive data occurred in a manufacturing place is able to fulfill very important roll to improve the manufacturing process. Domestic manufacturing business has been making an multilateral effort to react the change of manufacturing circumstance, but it undergoes many difficulties due to technical weakness. Coatings is a type of paint. It protect products by forming a film layer on the products and assigns various properties to those. The research of coatings is one of the fields studied actively in the polymer industry. The importance of the coatings in various industries is more increased. However, the industry still performs a mixing process in dependence on operator's experiences. In this paper, we propose a design for realtime monitoring system and data analysis verification TA to improve the manufacturing process using HW-SW integrated framework. Analysis results from the proposed framework are able to improve the coatings formulation process by collecting more quantitative reference data for work and providing it to work place. In particular, the framework may reduce the deterioration and loss cost which are caused by absence of a standard data as a accurate formulation criteria. It also may suggest a counterplan regarding errors which can be occurred in the future by deriving a standard calibration equation from the analysis using R and Design of Experiments about an error data generated in the mixing step.

Timing Verification of AUTOSAR-compliant Diesel Engine Management System Using Measurement-based Worst-case Execution Time Analysis (측정기반 최악실행시간 분석 기법을 이용한 AUTOSAR 호환 승용디젤엔진제어기의 실시간 성능 검증에 관한 연구)

  • Park, Inseok;Kang, Eunhwan;Chung, Jaesung;Sohn, Jeongwon;Sunwoo, Myoungho;Lee, Kangseok;Lee, Wootaik;Youn, Jeamyoung;Won, Donghoon
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.22 no.5
    • /
    • pp.91-101
    • /
    • 2014
  • In this study, we presented a timing verification method for a passenger car diesel engine management system (EMS) using measurement-based worst-case execution time (WCET) analysis. In order to cope with AUTOSAR-compliant software architecture, a development process model is proposed. In the process model, a runnable is regarded as a test unit and its temporal behavior (i.e. maximum observed execution time, MOET) is obtained along with on-target functionality evaluation results during online unit test. Furthermore, a cost-effective framework for online unit test is proposed. Because the runtime environment layer and the standard calibration environment are utilized to implement test interface, additional resource consumption of the target processor is minimized. Using the proposed development process model and unit test framework, the MOETs of 86 runnables for diesel EMS are obtained with 213 unit test cases. Using the obtained MOETs of runnables, the WCETs of tasks are estimated and the schedulability is evaluated. From the schedulability analysis results, the problems of the initially designed schedule table is recognized and it is fixed by redesigning of the runnable mapping and task offset. Through the various test scenarios, the proposed method is validated.

Scene Text Extraction in Natural Images using Hierarchical Feature Combination and Verification (계층적 특징 결합 및 검증을 이용한 자연이미지에서의 장면 텍스트 추출)

  • 최영우;김길천;송영자;배경숙;조연희;노명철;이성환;변혜란
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.4
    • /
    • pp.420-438
    • /
    • 2004
  • Artificially or naturally contained texts in the natural images have significant and detailed information about the scenes. If we develop a method that can extract and recognize those texts in real-time, the method can be applied to many important applications. In this paper, we suggest a new method that extracts the text areas in the natural images using the low-level image features of color continuity. gray-level variation and color valiance and that verifies the extracted candidate regions by using the high-level text feature such as stroke. And the two level features are combined hierarchically. The color continuity is used since most of the characters in the same text lesion have the same color, and the gray-level variation is used since the text strokes are distinctive in their gray-values to the background. Also, the color variance is used since the text strokes are distinctive in their gray-values to the background, and this value is more sensitive than the gray-level variations. The text level stroke features are extracted using a multi-resolution wavelet transforms on the local image areas and the feature vectors are input to a SVM(Support Vector Machine) classifier for the verification. We have tested the proposed method using various kinds of the natural images and have confirmed that the extraction rates are very high even in complex background images.

Edge Response Analysis of UAV-Images Using a Slanted Target (경사 타겟을 이용한 무인항공영상의 경계반응 분석)

  • Lee, Jae One;Sung, Sang Min
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.38 no.4
    • /
    • pp.317-325
    • /
    • 2020
  • UAV (Unmanned Aerial Vehicle) photogrammetry has recently emerged as a means of obtaining highly precise and rapid spatial information due to its cost-effectiveness and high efficiency. However, current procedures or regulations for quantitative quality verification methods and certification processes for UAV-images are insufficient. In addition, the current verification method for image quality is not evaluated by an MTF (Modulation Transfer Function) analysis or edge response analysis, which can analyze the degree of contrast including image resolution, and only relies on the GSD (Ground Sample Distance) analysis. Therefore, in this study, the edge response analysis using a Slanted edge target was performed along with GSD analysis to confirm the necessity of analyzing edge response analysis in UAV-images quality analysis. Furthermore, a Matlab GUI-based software tool was developed to help streamline the edge response analysis. As a result, we confirmed the need for edge response analysis since the outputs of the edge response analysis from the same GSD had significantly different outcomes. Additionally, we found that the quality of the edge response analysis of UAV-images is proportional to the performance of the camera mounted on the UAV.

A Study on Simulation based Manufacturing in Shipyards : Focused on a Long-term Plan Verification (조선소에서의 시뮬레이션 기반 생산에 관한 연구 : 선표 계획 검증을 중심으로)

  • Lee, Dong-Kun;Oh, Dae-Kyun
    • Journal of the Korean Society of Marine Environment & Safety
    • /
    • v.20 no.1
    • /
    • pp.86-95
    • /
    • 2014
  • Productivity improvement of a shipbuilding company depends on how efficiently its limited resources are managed and utilized. Recently, research on modeling and simulation (M&S) to support shipyard production management system has been being under study. The production management based on M&S rejects decision making on experience, and it can establish productivity improvement method based on quantitative and specific data. In this paper, M&S is applied to the long-term plan as a part of the production planning in shipyards. To this end, the long-term plan processes and related management systems are analyzed. Based on the analysis, a simulation model and an application system using commercial simulation software are suggested. And basic structure of the suggested system is based on web technology such as Rich Internet Application, web services protocol for compatibility with existing shipyard enterprise systems. Utilizing the results of this study, it is expected that shipyard production planners can settle down work flow, in which one can establishes the production plan, simulates the plan, and analyzes the results, enabling a more reliable production plans.

Re-establishing Method of Stability Margin Airworthiness Certification Criteriafor Flight Control System (비행제어시스템 안정성 여유 감항인증 기준 재정립 방안)

  • Kim, Dong-hwan;Kim, Chong-sup;Lim, Sangsoo;Koh, Gi-oak;Kim, Byoung soo
    • Journal of Aerospace System Engineering
    • /
    • v.16 no.1
    • /
    • pp.17-27
    • /
    • 2022
  • A certain level of stability margin airworthiness criteria should be met to secure robustness against uncertainties between the real plant and the model in a flight control system design. The U.S. Department of Defense (DoD) specification of MIL-F-9490D and airworthiness certification standard of MIL-HDBK-516B uses gain and phase margin criteria of flight control system. However, the same stability margin criteria is applied at all development phases without considering the design maturity of each development phase of the aircraft. Ultimately, a problem arises when the aircraft operation envelope is excessively restricted. This paper proposes the relation of handling qualities and stability margin, and presents re-established stability margin criteria as a development phases and verification methods. The results of the research study are considered to contribute to the verification of the stability margin criteria more flexibly and effectively by applying the method to not only the currently manned developing aircrafts but also the unmanned vehicle to be developed in the future.

Independent Verification Program for High-Dose-Rate Brachytherapy Treatment Plans (고선량률 근접치료계획의 정도보증 프로그램)

  • Han Youngyih;Chu Sung Sil;Huh Seung Jae;Suh Chang-Ok
    • Radiation Oncology Journal
    • /
    • v.21 no.3
    • /
    • pp.238-244
    • /
    • 2003
  • Purpose: The Planning of High-Dose-Rate (HDR) brachytherapy treatments are becoming individualized and more dependent on the treatment planning system. Therefore, computer software has been developed to perform independent point dose calculations with the integration of an isodose distribution curve display into the patient anatomy images. Meterials and Methods: As primary input data, the program takes patients'planning data including the source dwell positions, dwell times and the doses at reference points, computed by an HDR treatment planning system (TPS). Dosimetric calculations were peformed in a $10\times12\times10\;Cm^3$ grid space using the Interstitial Collaborative Working Group (ICWG) formalism and an anisotropy table for the HDR Iridium-192 source. The computed doses at the reference points were automatically compared with the relevant results of the TPS. The MR and simulation film images were then imported and the isodose distributions on the axial, sagittal and coronal planes intersecting the point selected by a user were superimposed on the imported images and then displayed. The accuracy of the software was tested in three benchmark plans peformed by Gamma-Med 12i TPS (MDS Nordion, Germany). Nine patients'plans generated by Plato (Nucletron Corporation, The Netherlands) were verified by the developed software. Results: The absolute doses computed by the developed software agreed with the commercial TPS results within an accuracy of $2.8\%$ in the benchmark plans. The isodose distribution plots showed excellent agreements with the exception of the tip legion of the source's longitudinal axis where a slight deviation was observed. In clinical plans, the secondary dose calculations had, on average, about a $3.4\%$ deviation from the TPS plans. Conclusion: The accurate validation of complicate treatment plans is possible with the developed software and the qualify of the HDR treatment plan can be improved with the isodose display integrated into the patient anatomy information.

Validity analysis of the social emotion model based on relation types in SNS (SNS 사용자의 관계유형에 따른 사회감성 모델의 타당화 분석)

  • Cha, Ye-Sool;Kim, Ji-Hye;Kim, Jong-Hwa;Kim, Song-Yi;Kim, Dong-Keun;Whang, Min-Cheol
    • Science of Emotion and Sensibility
    • /
    • v.15 no.2
    • /
    • pp.283-296
    • /
    • 2012
  • The goal of this study is to determine the social emotion model as an emotion sharing relationship and information sharing relationship based on the user's relations at social networking services. 26 social emotions were extracted by verification of compliance among 92 different emotions collected from the literature survey. The survey on the 26 emotion words was verified to the similarity of social relation types to the Likert 7-points scale. The principal component analysis of the survey data determined 12 representative social emotions in the emotion sharing relation and 13 representative social emotions in the information sharing relation. Multidimensional scaling developed the two-dimensional social emotion model of emotion sharing relation and of information sharing relation based on online communication environment. Meanwhile, insignificant factors in the suggest social emotion models were removed by the structural equation modeling analysis, statistically. The test result of validity analysis demonstrated the fitness of social emotion models at emotion sharing relationships (CFI: .887, TLI: .885, RMSEA: .094), social emotion model of information sharing relationships (CFI: .917, TLI: .900, RMSEA : 0.050). In conclusion, this study presents two different social emotion models based on two different relation types. The findings of this study will provide not only a reference of evaluating social emotions in designing social networking services but also a direction of improving social emotions.

  • PDF