• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제3권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.

• 대한토목학회논문집
• /
• 제12권1호
• /
• pp.9-17
• /
• 1992

본 논문에서는 교량의 예비설계 단계중에서 상부구조 형식의 선정에 대한 전문가 시스템을 구축하는 것을 나타낸다. 본 시스템을 구축하기 위한 도구로는 전진추론방식 및 생산시스템으로 지식표현되는 전문가 시스템 개발용 도구인 K-CLIPS가 이용되었으며, 이 도구 위에서 구성된 지식 모듈, 데이터 베이스 및 지식 베이스로 시스템이 구성되었다. 지식 모듈은 주로 교량의 형식 선정과정을 관리하는 설계순서에 관한 지식이고, 지식 베이스 내에 있는 각 부 시스템이 심볼처리에 의해 수행되는 과정에서 데이타 베이스는 이를 지원해 주는 역할을 한다.

• 제어로봇시스템학회논문지
• /
• 제8권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.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• 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］.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.692-695
• /
• 2001

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 개념적으로 또는 상세하게 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션이 점화 완료하였을 때의 각 박스들의 마크 수 변화를 접속 행렬 및 상태천이 방정식을 이용한 점화 결정 알고리즘으로 표현하고자 한다. EMFG의 동작이 수학적으로 해석 가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.

• 한국미생물학회:학술대회논문집
• /
• 한국미생물학회 2002년도 추계학술대회
• /
• 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.

• 정보과학회지
• /
• 제5권2호
• /
• pp.61-84
• /
• 1987

1950년대 초기의 Compiler가 나온 이후로 지금까지 Compiler를 만드는 기 술이 급격히 발전해 왔다. Backus는 “초기의 FORTRAN Compiler를 만드는데 18man-years가 걸렸다”고 하였다. 그러나 현재에 이르러서는 Computer Science Department의 학생들이 Compiler구조 시간을 통하여 한학기 정도의 작업으로도 실제 Compiler를 설치할 수 있게 되었다. 이렇게 지난 20여년간 크게 발전할 수 있었던 이유에 대하여 Aho and Ullman은 Compilation과정을 modulor하게 구 성하는 법을 이해하였고, Compilation중의 여러 중요한 작업을 처리하는 조직 적 기술을 연구 개발 하였으며, 특히 이를 뒷받침하는 software tools을 개발 하였음을 말하고 있다. 여기서 말하는 compiler writing tools는 scanner (lexical analyzer)나 parser generators에서 크게는 compiler generator 혹은 compiler compiler를 의미하고 있다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2003년도 가을 학술발표회 논문집
• /
• 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.

• 한국한의학연구원논문집
• /
• 제12권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.

• 대한산업공학회지
• /
• 제26권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].