• Journal of the Korean Society for Precision Engineering
• /
• v.23 no.5 s.182
• /
• pp.30-36
• /
• 2006

The participants in collaborative environment want to get the right information or documents which are intended to find. In general search systems, documents which contain only the keywords are retrieved. For searching different word-expressions for the same meaning, we perform mapping before searching. Our mapping-based search approach has two parts, ontology-based mapping logic and ontology libraries. The ontology-based mapping consists of three steps such as character matching (CM), definition comparing (DC) and similarity checking (SC). First, the character matching is the mapping of two terminologies that have identical character strings. Second, the definition comparing is the method that compares two terminologies' ontological definitions. Third, the similarity checking pairs two terminologies which were not mapped by two prior steps through evaluating the similarity of the ontological definitions. For the ontology libraries, document ontology library (DOL), keyword ontology library (KOL), and mapping result library (MRL) are defined. With these three libraries and three mapping steps, an ontology-based search engine (OntSE) is built, and a use case scenario is discussed to show the applicability.

• Proceedings of the KIEE Conference
• /
• 1998.07f
• /
• pp.2156-2159
• /
• 1998

This paper describes a Battery Checking & Monitoring System for monitoring battery cell and power system in Uninterruptible Power Supplies(UPS). The system is capable of measuring, in a matter of setting time, float and discharge voltage of up to 240 cells in a single installation, and has the memory capacity to store battery's alarm data information on up to 200 separate sites. This system are easy to maintain and attain cost effectively, so that prepared for meeting the customer's service needs immediately. The system is additionally programmed with a each model, that will enable to accurately determine the remain battery capacity in a UPS system following a short discharge test. It is also equipped with remote interrogation and control facilities.

• Journal of the Korea Furniture Society
• /
• v.11 no.1
• /
• pp.61-68
• /
• 2000

This study was carried out to investigate the effect of grain and veneer thickness on drying rate, required energy consumption, and drying defects such as checking, end waving, and burning during a far-infrared radiation drying process of decorative veneers of hard maple and beech. Most of the veneer could be dried from green to in-use moisture content within 30 to 360 seconds. The drying rates were significantly affected by veneer thickness, but there was little difference between edge-and flat-sliced veneers. The formation of checking during drying test was none or very slight. The percentages of the veneers defected by checks were higher in the flat-sliced veneers than in the edge-sliced veneers. The maximum end wavinesses in the flat-sliced veneers were almost 1.6 to 3 times larger than that in the edge-sliced veneers. All veneers were fee from burned marks during drying test.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.2
• /
• pp.204-210
• /
• 1988

The residue number system offers the possibility of high-speed operation and error detection/correction because of the separability of arithmetic operations on each digit. A compact residue arithmetic module named the self-checking pulse-train residue arithmetic circuit is effectively employed as the basic module, and an efficient error detection/correction algorithm in which error detection is performed in each basic module and error correction is performed based on the parallelism of residue arithmetic is also employed. In this case, the error correcting circuit is imposed in series to non-redundant system. This design method has an advantage of compact hardware. Following the proposed method, a 2nd-order recursive fault-tolerant digital filter is practically implemented, and its fault-tolerant ability is proved by noise injection testing.

• 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.

• International Journal of Reliability and Applications
• /
• v.9 no.1
• /
• pp.7-15
• /
• 2008

The dimensional measurement equipment, such as Coordinate Measurement Machine (CMM), Optical Coordinate Measurement Machine (OCMM), and Checking Fixture (CF), take multiple dimensional measurements for each part in an automobile industry. Measurements are also recorded under different measurement systems to see if the responses differ significantly over these systems. Each measurement system (CMM, OCMM, and CF) will be considered as different treatments. This set-up provides massive amounts of process data which are multivariate in nature. Therefore, the multivariate statistical analysis is required to analyze data that are dependent on each other. This research provides step by step methodology for the evaluation procedure of the compatibility of measurement systems and clarify a systematic analyzation among the different measurement system's compatibility followed by number of case studies for each methodologies provided.

• 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.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1993.04a
• /
• pp.159-164
• /
• 1993

This paper presents a computer design program for In-Core Instrumentation(ICI) guide tube routing and locations on support system, and checking the interference between ICI guide tubes in the reactor coolant system of typical Pressurized Water Reactor. The program, ICITRIC, has been written in FORTRAN language which is available under UNIX environment. Results of this program are compared with those of the commercial code, PATRAN, and both results are almost same Also the results may provide input data for ICI system static and dynamic analysis performed by the commercial code, SUPER PIPE. This program can simulate ICI guide tube routing and locations on support system, and checking the interference between ICI guide tubes. Through a process of iteration, the designer can apply initial conditions, and modify the routing until satisfied with the overall system performance.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1964-1967
• /
• 2002

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.