• Journal of the Korea Society of Computer and Information
• /
• v.27 no.9
• /
• pp.77-89
• /
• 2022

In this paper, we propose a system which automatically generates SHACL schemas to describe and validate RDF knowledge graphs constructed by RML mappings. Unlike existing studies, the proposed system generates the schemas based on not only RML mapping rules but also metadata extracted from RML mapping input data in various formats such as CSV, JSON, XML or databases. Therefore, our schemas include the constraints on data type, string length, value range and cardinality, which were not present in the existing schemas. And we solves the problem with "repeated properties" which overlooked in existing studies. Through a conformance test consisting of 297 cases, we show that the proposed system generates correct constraints for the graphs. The proposed system can contribute to automation of the tedious and error-prone existing manual validation processes.

• Asian review of World Histories
• /
• v.4 no.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).

• MALSORI
• /
• no.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.

• International Journal of Contents
• /
• v.6 no.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.

• Journal of the Korean Society of Combustion
• /
• v.21 no.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.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.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.

• Nuclear Engineering and Technology
• /
• v.33 no.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.

• Journal of Digital Convergence
• /
• v.10 no.11
• /
• pp.383-387
• /
• 2012

Development of automated document management system specified for scanned invoice images suffers from rigorous accuracy requirements for extraction of monetary data, which necessiate automatic validation on the extracted values for a generative invoice table model. Use of certain internal constraints such as "amount = unit price times quantity" is typical implementation. In this paper, we propose a noble invoice information extraction model with improved auto-validation method by utilizing table header detection and column classification.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.29 no.3 s.234
• /
• 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.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• 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.