• Journal of the Korean Operations Research and Management Science Society
• /
• v.19 no.2
• /
• pp.57-73
• /
• 1994

KADS is currently a best known methodology for expert system development is Europe. KADS world sees the expert system development as a modeling activity and uses models to control complexity of the development process. Four layers KADS expertise model is used to describe expert knowledge. But this expertise model in high abstraction level is conceptual and not formalized. This paper has formalized KADS expertise model using set theory and mathematical semantics combined in order to reduce the ambiguity of informal models of expertise, provide a precise means of communication about the model of expertise and point out incompleteness and inconsistency of the model of expertise. Instead of first order predicate calculs, set theory and mathematical semantics are used because they are a more general and have compositive quality.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.1015-1018
• /
• 2003

As increasing the size and complexity of hard-ware and software system, more efficient design methodology has been developed. Especially design-reuse technique enables fast system development via integrating existing hardware and software. For this technique available hardware/software should be prepared as component-based parts, adaptable to various systems. This paper introduces a component-based VHDL analyzer allowing to be embedded in other applications, such as simulator, synthesis tool, or smart editor. VHDL analyzer parses VHDL description input, and performs lexical, syntactic, semantic checking, and finally generates intermediate-form data as the result. VHDL has full-features of object-oriented language such as data abstraction, inheritance, and polymorphism. To support these features special analysis algorithm and intermediate form is required. This paper summarizes practical issues on implementing high-performance/quality VHDL analyzer and provides its solution that is based on the intensive experience of VHDL analyzer development.

• Asia pacific journal of information systems
• /
• v.9 no.3
• /
• pp.47-73
• /
• 1999

Nowadays, the modeling of information systems have been enabled by various models and methodologies that are used for different purposes and perspectives upon the systems. The integrated modeling methodology that integrates these models and methodologies has become important concerns in system integration such as CIM and PDM. The primary objective of this paper is to propose a comprehensive integrated modeling methodology that integrates the OOIDEFO function model, OOIDEFO information model, node model, user interface model, and organization model for an effective analysis, design and implementation for system integration. This methodology covers the generic requirements of modeling methodology such as graphical notations, modeling processes, and abstraction mechanisms. Also, this methodology uses an 00 paradigm throughout the entire systems development life cycle. In order to prove the consistency and efficiency of the proposed methodology, the CIMS for ship production is modeled and prototyped.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.1
• /
• pp.129-147
• /
• 2005

In Knowledge Management Systems (KMS), tacit knowledge which is usually possessed as forms like know-how, experiences, and etc. is hard to be systemized while managing explicit knowledge is comparatively easy using information technology such as databases, Recent researches in knowledge management have shown that it is more applicable in many ways to provide expert search mechanisms in KMS to pinpoint experts in the organizations with searched expertise so that users can contact them for help, In this paper, we propose an intelligent expert search framework to provide search capabilities for experts in similar or related fields according to the user's needs. In enabling intelligent expert searches, Fuzzy Abstraction Hierarchy (FAH) framework has been adopted, through' which finding experts with similar or related expertise is possible according to the subject field hierarchy defined in the system. To test applicability and practicality of the proposed framework, the prototype system, Knowledge Portal for Researchers in Science and Technology, was developed.

• Computational Structural Engineering
• /
• v.8 no.3
• /
• pp.123-133
• /
• 1995

This study presents an application of object-oriented methodology for structural design process. A prototype of integrated structural design system is developed by introducing a structural analysis object model(SAOM) and structural design object model (SDOM). This SAOM module, which models structural member, performs structural analysis using FEM approach and the SDOM module checks structural members based on Korea steel design standard. The abstraction, encapsulation and reusability properties of the proposed models are in establishing the integrated structural design system.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1744-1747
• /
• 2002

In late years, the tendency to shift the design language of electronic circuits from HDL to C-based languages of C/C)1 and so on is strengthened. The current of adopting these software languages thrives by necessity to solve the problem peculiar to HDL that verification of design is difficult. When we use C-based languages, we can describe the design by higher abstraction degree, mount the design as both hardware and software finally and so that express the design part which is not made clear at early stage the same one language. Therefore, the flexibility of design very improves, the design work in environment the range of applying the whole systems become possible. This paper introduces example at having applied C-based languages in image processing LSI design and describes that the design technique of C-based languages is effective for the system design.

• Journal of Korean Institute of Industrial Engineers
• /
• v.18 no.1
• /
• pp.81-89
• /
• 1992

After much research on qualitative reasoning, the problem of ambiguities still hampers the practicality of this important AI tool. In this paper, the sources of ambiguities are examined in depth with a systems engineering point of view and possible directions to disambiguation are suggested. This includes some modeling strategies and an architecture of temporal inference for building unambiguous qualitative models of practical complexity. It is argued that knowledge of multiple levels in abstraction hierarchy must be reflected in the modeling to resolve ambiguities by introducing the designer's decisions. The inference engine must be able to integrate two different types of temporal knowledge representation to determine the partial ordering of future events. As an independent quantity management system that supports the suggested modeling approach, LIQUIDS(Linear Quantity-Information Deriving System) is described. The inference scheme can be conjoined with ordinary rule-based reasoning systems and hence generalized into many different domains.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2006.05a
• /
• pp.453-456
• /
• 2006

In this paper, we introduce the design and implementation of Information exchange technique among power system facilities and/or their monitoring systems based on Universal Description, Discovery and Integration Service and Simple Object Access Protocol. The rapid progresses in high speed network, 4G web language S/W and embedded H/W enabled faster and easier communications among electric power systems monitoring facilities. However, each facility or system has its own specific protocol like RS-232 and RS-486, which somewhat limits the capability of flexible information exchange among thor In this paper, we try to demonstrate the potential of utilizing the SOAP and UDDI services in exchanging the metadata and possibly high abstraction level informations among electric power facilities and/or their monitoring systems.

• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.73-79
• /
• 2003

In managing organizational tacit knowledge, recent researches have shown that it is more applicable in many ways to provide expert search mechanisms in KMS to pinpoint experts in the organizations with searched expertise. In this paper, we propose an intelligent expert search framework to provide search capabilities for experts in similar or related fields according to the user's information needs. In enabling intelligent expert searches, Fuzzy Abstraction Hierarchy (FAH) framework has been adopted, through which finding experts with similar or related expertise is possible according to the subject field hierarchy defined in the system. To improve FAH, a text categorization approach called Vector Space Model is utilized. To test applicability and practicality of the proposed framework, the prototype system, "Knowledge Portal for Researchers in Science and Technology" sponsored by the Ministry of Science and Technology (MOST) of Korea, was developed.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.8 no.3
• /
• pp.225-230
• /
• 2008

In this paper we embody a system that recognizes printed alphabet, numeral figures and symbols written on the keyboard for the recognition of English sentences. The image of the printed sentences is inputted and binarized, and the characters are separated by using histogram method that is the same as the existing character recognition method. During the abstraction of the individual characters, we classify one group that has not numerical information by the projection of the vertical center of the character. In case of another group that has the longer width than the height, we assort them by normalizing the width. The other group normalizes the height of the images. With the reverse application of the basic principle of the Japanese Puzzle to a normalized character image, the proposed system classifies and recognizes the printed numeral figures, symbols and characters, consequently we meet with good result.