• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.26 no.3
• /
• pp.303-309
• /
• 2008

Landcover map can use to establish basic national environment policy as main data predicting living place, counting pollution like a atmosphere, water and forest part. During the 1998-2005 years, Korean government made landcover maps using satellite image for part of south Korea. Landcover maps are offered free for public purpose to university and institute. So, it used basic data for policy and research parts. There are some problems for application parts because of inconsistency. So, in this study, to estimate accuracy of source data by quality checking for landcover maps. As a result, there are some errors like classification inconsistencies. So, it need verification process for landcover maps.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.1
• /
• pp.37-45
• /
• 1990

In this paper, a knowledge base editor is presented as a supporting environment for an expert system building tool, OPS5. The knowledge base editor is especially useful for the fast and easy development of a knowledge base when the OPS5 production language is used. This knowledge base editor has some special facilities such as syntax and type checking, rule browsing and automatic bokkeeping. The syntax and type checking provides the facilities to find syntax and type errors in an edited knowledge base, respectively. The rule browsing facility offers various pattern matching schemes to see the causes and effects of a concerned rule. Automatic bookkeeping keeps the updated date and user name of a rule for the later reference whenever a user adds or changes a rule.

• Nuclear Engineering and Technology
• /
• v.28 no.6
• /
• pp.522-531
• /
• 1996

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.461-471
• /
• 2004

In recent years, large volumes of data are transferred between a computer system and various subsystems through digital logic circuits and interconnected wires. And there always exist potential errors when data are transferred due to electrical noise, device malfunction, or even timing errors. In general, parity checking circuits are usually employed for detection of single-bit errors. However, it is not sufficient to enhance system reliability and availability for efficient error detection. It is necessary to detect and further correct errors up to a certain level within the affordable cost. In this paper, we report a generation of 3-distance code using the characteristic matrix of a PBCA.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.47 no.2
• /
• pp.77-85
• /
• 2010

Fingerprint image quality checking is one of the most important issues in on-line fingerprint recognition because the recognition performance is largely affected by the quality of fingerprint images. In the past, many related fingerprint quality checking methods have typically considered the local quality of fingerprint. However, It is necessary to estimate the global quality of fingerprint to judge whether the fingerprint can be used or not in on-line recognition systems. Therefore, in this paper, we propose both local and global-based methods to calculate the fingerprint quality. Local fingerprint quality checking algorithm considers both the condition of the input fingerprints and orientation estimation errors. The 2D gradients of the fingerprint images were first separated into two sets of 1D gradients. Then，the shapes of the PDFs(Probability Density Functions) of these gradients were measured in order to determine fingerprint quality. And global fingerprint quality checking method uses neural network to estimate the global fingerprint quality based on local quality values. We also analyze the matching performance using FVC2002 database. Experimental results showed that proposed quality check method has better matching performance than NFIQ(NIST Fingerprint Image Quality) method.

• Proceedings of the KAIS Fall Conference
• /
• 2003.06a
• /
• pp.239-242
• /
• 2003

Scale down으로 인해 부족해진 overlay margin을 통해 충분히 확보해주고, 이와 동시에 attPSM(attenuated phase shift)의 사용으로 발생하는 side-lobe 현상을 억제하기 위한 방법으로 rule-based OPC(optical proximity correction)룰 사용하여 side-lobe만을 효과적으로 추출한 후, 그 자리에 scattering bar를 삽입하였다. 그리고 ORC(optical rule checking)를 통해 original layout과 aerial image의 EPEs(edge placement errors)를 검사하여 검증에 걸리는 시간을 감소시켰다.

• Korean System Dynamics Review
• /
• v.8 no.1
• /
• pp.97-115
• /
• 2007

In System Dynamics, causal maps are used as a tool for analyzing dynamic problems and discussing the outcome of analyzed problems. However there are some limitations to use causal maps. In the drawing phase of causal maps, the high abstraction of variables that constitutes problems makes it difficult to find out correct information. And principles or rules to check errors on causal maps are not sufficient yet. Moreover, simulation modeling tasks are required to be concerned separately from drawing causal maps because causal maps cannot provide enough information to simulation modeling. In order to overcome these limitations, this study shows ways that ensure validity, increase power of expression of causal maps and improve the connection between causal maps and simulation modeling.

• Journal for History of Mathematics
• /
• v.33 no.1
• /
• pp.55-71
• /
• 2020

In this study, the situation of publishing middle and high school mathematics textbooks used at the period of the first curriculum were investigated. In the period of the first curriculum, middle and high school textbooks were used from 1956, and middle school textbooks were used until 1965, and high school textbooks were used until 1967. First of all, the announcements of the ministry of education related to the textbook authorization were examined in the government official gazettes of 1956~1967. However, there were considerable typographical errors in these announcements of the ministry of education. So textbooks used at that period were examined, and typographical errors were corrected by cross-checking the bibliographic information.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2588-2593
• /
• 2003

Any system has the possibility of an error occurrence. Even if trivial errors were occurred, the original system would be fatally affected by the occurring errors. Accordingly, the error detection must be demanded. In this paper, we developed a real-time error detection system would be able to apply to an electronic Jacquard system. A Jacquard is a machine, which controls warps while weaving textiles, for manufacturing patterned cloth. There are two types of mechanical and electronic Jacquard. An electronic Jacquard is better than a mechanical Jacquard in view of the productivity and realizability for weaving various cloths. Recent weaving industry is growing up increasingly due to the electronic Jacquard. But, the problem of wrong weaving from error data exists in the electronic Jacquard. In this research, a real-time error detection system for an electronic Jacquard is developed for detecting errors in an electronic Jacquard in real-time. The real-time system is constructed using PC-based embedded system architecture. The system detects the occurring errors in real-time by storing 1344 data transferred in serial from an electronic Jacquard into memory, and then by comparing synchronously 1344 data stored into memory with 1344 data in a design file before the next data would be transferred to the Jacquard for weaving. The information of detected errors are monitored to the screen and stored into a file in real-time as the outputs of the system. In this research, we solve the problem of wrong weaving through checking the weaving data and detecting the occurred errors of an electronic Jacquard in real-time.