• 제목/요약/키워드: Automatic validation

검색결과 186건 처리시간 0.029초

Automatic Creation of SHACL Schemas for Validation of RDF Knowledge Graph Structures Based on RML Mappings

  • Choi, Ji-Woong
    • 한국컴퓨터정보학회논문지
    • /
    • 제27권9호
    • /
    • pp.77-89
    • /
    • 2022
  • 본 논문에서는 RML 매핑 방식으로 구축한 RDF 지식 그래프의 구조를 묘사하고 검증할 용도의 SHACL 스키마를 자동으로 생성하는 시스템을 제안한다. 제안하는 시스템은 기존 연구와는 달리 RML 매핑 규칙 뿐만 아니라 RML 매핑의 입력인 CSV, JSON, XML, 데이터베이스와 같은 다양한 포맷의 데이터에서 추출한 메타데이터도 함께 사용하여 스키마를 생성한다. 따라서 기존 연구 기반의 스키마에서는 부재했던 데이터 타입, 문자열 길이, 값의 범위, 차수 관련 제약 조건이 스키마에 포함된다. 그리고 기존 연구에서 간과한 소위 반복된 속성 문제를 제안하는 시스템은 해결한다. 297개의 케이스로 구성된 적합성 테스트를 통해 제안된 시스템이 그래프에 대한 올바른 제약 조건을 생성함을 보여준다. 제안된 시스템은 오류가 발생하기 쉬운 기존 수동 검증 프로세스를 자동화하는 데 기여할 수 있다.

Provenance and Validation from the Humanities to Automatic Acquisition of Semantic Knowledge and Machine Reading for News and Historical Sources Indexing/Summary

  • NANETTI, Andrea;LIN, Chin-Yew;CHEONG, Siew Ann
    • Asian review of World Histories
    • /
    • 제4권1호
    • /
    • pp.125-132
    • /
    • 2016
  • This paper, as a conlcusion to this special issue, presents the future work that is being carried out at NTU Singapore in collaboration with Microsoft Research and Microsoft Azure for Research. For our research team the real frontier research in world histories starts when we want to use computers to structure historical information, model historical narratives, simulate theoretical large scale hypotheses, and incent world historians to use virtual assistants and/or engage them in teamwork using social media and/or seduce them with immersive spaces to provide new learning and sharing environments, in which new things can emerge and happen: "You do not know which will be the next idea. Just repeating the same things is not enough" (Carlo Rubbia, 1984 Nobel Price in Physics, at Nanyang Technological University on January 19, 2016).

한국어 공통 음성 DB구축 및 오류 검증 (Common Speech Database Collection and Validation for Communications)

  • 이수종;김상훈;이영직
    • 대한음성학회지:말소리
    • /
    • 제46호
    • /
    • pp.145-157
    • /
    • 2003
  • In this paper, we'd like to briefly introduce Korean common speech database, which project has been started to construct a large scaled speech database since 2002. The project aims at supporting the R&D environment of the speech technology for industries. It encourages domestic speech industries and activates speech technology domestic market. In the first year, the resulting common speech database consists of 25 kinds of databases considering various recording conditions such as telephone, PC, VoIP etc. The speech database will be widely used for speech recognition, speech synthesis, and speaker identification. On the other hand, although the database was originally corrected by manual, still it retains unknown errors and human errors. So, in order to minimize the errors in the database, we tried to find the errors based on the recognition errors and classify several kinds of errors. To be more effective than typical recognition technique, we will develop the automatic error detection method. In the future, we will try to construct new databases reflecting the needs of companies and universities.

  • PDF

A Study on Quality Checking of National Scholar Content DB

  • Kim, Byung-Kyu;Choi, Seon-Hee;Kim, Jay-Hoon;You, Beom-Jong
    • International Journal of Contents
    • /
    • 제6권3호
    • /
    • pp.1-4
    • /
    • 2010
  • The national management and retrieval service of the national scholar Content DB are very important. High quality content can improve the user's utilization and satisfaction and be a strong base for both the citation index creation and the calculation of journal impact factors. Therefore, the system is necessary to check data quality effectively. We have closely studied and developed a webbased data quality checking system that will support anything from raw digital data to its automatic validation as well as hands-on validation, all of which will be discussed in this paper.

Methyl Butanoate의 상세 화학 반응 메커니즘 자동 축소화를 통한 기초 반응 메커니즘의 생성 및 검증 (Chemical Mechanism Reduction and Validation of Methyl Butanoate by Automatic Reduction Procedure)

  • 이영재;허강열
    • 한국연소학회지
    • /
    • 제21권3호
    • /
    • pp.16-23
    • /
    • 2016
  • In this study, skeletal mechanisms are produced by directed relation graph with specified threshold value and sensitivity analysis based on species database from the directed relation graph. Skeletal mechanism is optimized through the elimination of unimportant reaction steps by computational singular perturbation importance index. Reduction is performed for the detailed mechanism of methyl butanoate consisting of 264 species and 1219 elementary reactions. Validation shows acceptable agreement for auto-ignition delays in wide parametric ranges of pressure, temperature and equivalence ratio. Methyl butanoate has been proposed as a simple biodiesel surrogate although the alkyl chain consists of four carbon atoms. The resulting surrogate mechanism for n-heptane and MB consists of 76 species and 226 reaction steps including those for NOx.

Validation of GNSS TEC from NMSC GNSS Processing System

  • Lee, Jeong-Deok;Oh, Seung-Jun;Kil, Hyo-Sub;Shin, Dae-Yun
    • 천문학회보
    • /
    • 제36권2호
    • /
    • pp.101.1-101.1
    • /
    • 2011
  • National Meteorological Satellite Center(NMSC) of Korea Meteorological Administration(KMA) is collecting GNSS data in near-real time for about 80 GNSS stations operated by multiple agencies. (eg. National Geographic Information Institute (NGII), Korea Astronomy and Space Science Institute (KASI), DGNSS Central Office) Using these GNSS data, NMSC developed automatic Total Electron Contents(TEC) derivation system over the Korean peninsular every 1-hour based on single station data processing. We present the TEC result and validation of TEC using International GNSS Service(IGS) global TEC data for the case of quiet time and storm time. The future plans for the system improvement will be discussed.

  • PDF

Development of Performance Analysis System (NOPAS) for Turbine Cycle of Nuclear Power Plant

  • Kim, Seong-Kun;Park, Kwang-Hee
    • Nuclear Engineering and Technology
    • /
    • 제33권1호
    • /
    • pp.34-45
    • /
    • 2001
  • We have needs to develop a performance analysis system that can be used in domestic nuclear power plants to determine performance status of turbine cycle. We developed new NOPAS system to aid performance analysis of turbine cycle . Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on ASME (American Society of Mechanical Engineers) PTC (Performance Test Code). Robustness in the performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful aids for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis reports.

  • PDF

인보이스 서류 영상의 테이블 헤더 문자 분류를 통한 구매 정보 추출 모델 (Purchase Information Extraction Model From Scanned Invoice Document Image By Classification Of Invoice Table Header Texts)

  • 신현경
    • 디지털융복합연구
    • /
    • 제10권11호
    • /
    • pp.383-387
    • /
    • 2012
  • 스캔된 인보이스에 특화된 서류 관리 자동화 시스템 구축에있어서 추출된 금전적 데이터의 정확도에대한 엄격한 요구는 인보이스 테이블을 위한 발생적 모델 설계에서 자체 인증 절차를 포함하는 것을 필요로 한다. 가격 = 단가 ${\times}$ 구매수량과 같은 내부적 관계식을 활용한 단순한 인증 절차를 사용하는 것이 전형적 방법론이다. 본 논문에서 는 영상내 테이블 헤더 부분의 탐색과 탐색된 헤더의 컬럼 구분자를 활용하는 개선된 자동 인증 절차를 갖춘 인보이스내 정보 추출 모델을 제안한다.

온라인 웹기반 원전 터빈 사이클 열성능 분석 시스템 (Web-Based On-Line Thermal Performance Analysis System for Turbine Cycle of Nuclear Power Plant)

  • 최기상;최광희;지문학;홍승열;김성근
    • 대한기계학회논문집B
    • /
    • 제29권3호
    • /
    • pp.409-416
    • /
    • 2005
  • We need to develop a on-line thermal performance analysis system for nuclear power plant to determine performance status and heat rate of turbine cycle. We have developed PERUPS(PERformance Upgrade System) to aid the effective performance analysis of turbine cycle. Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on PTC(Performance Test Code). Robustness in the on-line performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful web interfaces for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis report. The system was successfully applied for YongGwang nuclear plant unit #3,4.

A High Quality Mesh Generation with Automatic Differentiation for Surfaces Defined by Hamiltonian Lie Algebra

  • Sagara, Naoya;Makino, Mitsunori
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2002년도 ITC-CSCC -2
    • /
    • pp.1141-1144
    • /
    • 2002
  • The research on computer graphics(CG) has been actively studied and developed. Namely, many surface/solid models have been proposed in the field of computer aided geometric design as well as the one of CG. Since it is difficult to visualize the complex shape exactly, an approximation by generating a set of meshes is usually used. Therefore it is important to guarantee the quality of the approximation in consideration of the computational cost. In this paper, a mesh generation algorithm will be proposed for a surface defined by Lie algebra. The proposed algorithm considers the quality in the meaning of validation of invariants obtained by the mesh, using automatic differentiation.

  • PDF