• Research in Mathematical Education
• /
• v.3 no.2
• /
• pp.99-112
• /
• 1999

In this paper, we represent the Piagetian reversible thinking by using the concept of fuzzy complements. In this case the turning point to the reversible thinking can be corre-sponded to the equilibrium points of a fuzzy set, which are shown through some examples. On the other hand, Piaget considered disequilibrium in the theory of equi-libration as a stimulus for students' cognitive structure, furthermore as the driving forces behind intellectual growth. But we suggest a di erent application o Piagetian equi-librium in another point of view as a tool understanding students' psychological stability in problem solving activity.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.12 no.1
• /
• pp.9-17
• /
• 1992

This paper represents the expert system for selecting the superstructure types of bridges in the part of a preliminary bridge design. The system is implemented with the expert system tool called K-CLIPS which uses the production system for knowledge representation and provides the mechanism of forward chaining. This expert system is composed of a knowledge base, data base and a knowledge module built by the tool which consists of the knowledges on design procedures. During symbolic processing the data base supports the sub system in knowledge base.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.5
• /
• pp.413-417
• /
• 2002

The Internet technology has been recognized not only as a tool far communication in the 21st century but also as an environment for enabling changes in the paradigm of teaching and learning. This paper describes a web-based system development for chemical engineering education. Simulation and visualization of dynamic systems in the environment of a standard web-browser is made possible by extending its capabilities. ActiveX control is used to simulate the system tool far online representation of Virtual Lab. System that is developed using visual basic. The courseware is classified into tutorial, exercises, and virtual experiments.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.389-392
• /
• 2000

Gouge-free tool-path generation is an important issue in mold & die machining and researches on cutter interference avoidance can be found in many articles. One of the various methods is construction of tool-offlet surface or cutter-location (CL) surface on which the cutter-center point (CL-point) locates. Provided that the CL surface is represented in a suitable form, cutter-interference avoidance can be performed without the burden of computing CL data for every cutter-contact (CC) point. In the paper, various methods of constructing a CL surface in the z-map form are presented, where z-map is a special form of discrete nonparametric representation in which the height values at grid points on the xy-plane are stored as a 2D array z［i,j］.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.692-695
• /
• 2001

The EMFG(Extended Mark Flow Graph) is not only a powerful tool to. designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. We present a transitions-firing process and automatic changes of the number of marks in each box as a firing determination algorithm with the incident matrix and the state transition equation. The convenient analysis and design of a system as well as Computer Aided Design is possible because the operations of an EMFG ran be represented in the mathematical analysis with ease.

• Proceedings of the Microbiological Society of Korea Conference
• /
• 2002.10a
• /
• pp.185-193
• /
• 2002

We have developed GComp as an analysis tool for comparative analysis of microbial genomes. Thetool uses BLAST or FASTA as a preprocessing program for local alignments, parses the homology search results, and generates tables and files to show homology relationship between two genomes at a glance. The interface for graphical representation of the comparative genomic analysis has been also implemented. Through analysis of a few pairs of microbial genome sequences, the program has been proved to be practically useful and a few additional features have been devised and designed, which will be added in the further development.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.5 no.2
• /
• pp.61-84
• /
• 1987

This paper deals with actual constructions of programs for experiments in several parsers based on the theoritical results of others that represent on of the most fruiful contributions in computer science. Specifically the report deals with (1) a general computer representation of grammar (2) a precedence parser generator, (3) a LL (1) parser generator, (4) a practical SLR (1)/LALR (1) parser generator.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2003.10a
• /
• pp.429-436
• /
• 2003

A new linkage framework between elastic shell element with finite rotation and computar-aided geometric design (CAGD) (or surface is developed in the present study. The framework of shell finite element is based on the generalized curved two-parametric coordinate system. To represent free-form surface, cubic B-spline tensor-product functions are used. Thus the present finite element can be directly linked into the geometric modeling produced by surface generation tool in CAD software. The efficiency and accuracy of the Previously developed linear elements hold for the nonlinear element with finite rotations. To handle the finite rotation behavior of shells, exponential mapping in the SO(3) group is employed to allow the large incremental step size. The integrated frameworks of shell geometric design and nonlinear computational analysis can serve as an efficient tool in shape and topological design of surfaces with large deformations.

• Korean Journal of Oriental Medicine
• /
• v.12 no.1
• /
• pp.1-12
• /
• 2006

Recently according to the WIPO's policy of preserving traditional knowledge, constructing the database of traditional knowledge is in progress. To maximize the retrieving power of the knowledge resource systems which will be developed later, it is necessary to construct the ontology for the concepts used by traditional knowledge. In order to construct the ontology systematically, a standardized ontology representation method is needed, and OWL(Web Ontology Language) is the recommendation of W3C(World Wide Web Consortium) and is widely used. Ontology tools can be used to ease the construction of OWL ontology, but no research about the comparison of OWL ontology tools exists. This paper compares the tools of OWL by an objective point of view and with that one can make a decision of using the appropriate tool for constructing OWL ontologies.

• Journal of Korean Institute of Industrial Engineers
• /
• v.26 no.4
• /
• pp.325-335
• /
• 2000

Gouge-free tool-path generation is an important issue in mold & die machining and researches on cutter interference avoidance can be found in many articles. One of the various methods is construction of tool-offset surface of cutter-location (CL) surface on which the cutter-center point (CL-point) locates. Provided that the CL surface is represented in a suitable form, cutter-interference avoidance can be performed without the burden of computing CL data for every cutter-contact (CC) point. In the paper, various methods of constructing a CL surface in the z-map form are presented, where z-map is a special form of discrete nonparametric representation in which the height values at grid points on the xy-plane are stored as a 2D array z[i,j].