• 대한기계학회논문집
• /
• 제18권6호
• /
• pp.1421-1429
• /
• 1994

An algorithm is developed for solving the inverse kinematic problem of a 6-degree-of-freedom robot with a wrist offset for which the closed form inverse solutions are not obtainable, but knowledge of one joint variable allows closed form solutions of the remaining joint variables. The algorithm does not require Forward Kinematics nor Jacobian but uses the implicit kinematic relationships between joint variables and the given hand position. An iterative back substitution method is used to solve the inversion and the optimal conditions of the convergence are incoporated. An example is given to illustrate the concepts, the solution procedure and its convergency.

• 대한수학교육학회지:수학교육학연구
• /
• 제13권1호
• /
• pp.13-28
• /
• 2003

Practice of proof is considered in, the view of language and meta-mathematics, recognizing the role of proof that is the means of communication and development of mathematical understanding. Linguistic components in proof texts are symbol, verbal language and visual text, and contain the implicit knowledge in the meta-mathematics view. This study investigates the functions of linguistic elements according to Halliday's functional grammar and the rhetoric skills in proof texts in math textbook, teacher's note, and student's written text. We need to inquire into the aspects of language for mathematics learning process and the understanding and use of students' language.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제15권1호
• /
• pp.59-68
• /
• 2011

This paper proposes a modified category framework derived from VAMP and VIMT projects for describing teachers' mathematical and pedagogical values, and examines the dialectical relations between values awareness/willingness and teaching, based on case studies of student teachers of secondary mathematics from a follow-up project of VIMT. The preliminary results show that student teachers would teach certain values depending on the awareness of values priority, willingness to teach, their teaching capabilities and classroom conditions. So, mathematics teacher educators should provide relevant courses to facilitate student teachers to be aware of their implicit values and be willing to enact these values, and to empower student teachers with the knowledge and experiences to teach the values.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 하계학술대회 논문집 A
• /
• pp.436-438
• /
• 1993

A rule based fuzzy expert system in self-tune PID controllers is presented in this paper. The rule base. the core of the expert system, is extracted from the Wills' tuning map and the author's knowledge about the implicit relations between PID gains and controlled output response. The overall control system consists of the relay feedback scheme and the expert system, where the one is responsible for initial tuning and the other for subsequent tuning. The PID control system with the proposed fuzzy expert system, shows better convergence rate and control performances than those of a Litt in spite of the fact that the two rule bases are extracted from the same maps provided by Wills.

• Journal of Information Science Theory and Practice
• /
• 제10권1호
• /
• pp.45-58
• /
• 2022

Community enterprise plays an important role for developing local business. Products from local communities apply local specialties such as high-quality materials and inherited wisdom. This work aims to support merchandises from local community enterprises by bringing out their specialties related to local wisdom and intangible cultural aspects. An ontology is applied to demonstrate the innate information regarding the implicit values of the products and is used as a core for a semantic search system. Details of the products are gathered from their respective community using an interview method and are extracted to align with the developed ontological schema. The semantic search system thus is implemented with a recommendation process for online accessibility for providing the organised information. From evaluation, the developed ontology and its instances are rated highly for their consistency, conciseness, and completeness. In usage, accuracy of the query and recommendation results are evaluated at 97.38% searching accuracy and 85.03% for recommending interesting products.

• 지능정보연구
• /
• 제17권3호
• /
• pp.43-61
• /
• 2011

본 연구는 사용자의 정적, 외부환경과 연관된 동적 상황정보와 사회적 관계와 연관된 개인적 상황정보들을 의사결정 요소로서 고려한 의사결정의 동적 변환(Dynamic Adaptation)을 제안한다. 즉, 의사결정자의 정적, 외재적 정보보다 과거의 경험, 주관적 선호도 및 사회적 관계와 연관된 상황정보(Social Context)를 의사결정에 동적으로 반영하고 동시에 의사결정 해의 사용시점에서의 가용성에 따라 유용 가능한 대안을 추출하는 방법론을 제안하고자 한다. 이를 위해, 정적, 외재적 및 사회적 상황정보를 이용하여 의사결정 추론한다. 추론은 의사결정자의 과거 경험에 기반한 사례기반 추론과 해당 의사결정 결과가 가용하지 않을 경우 수정을 위한 제약식 만족추론으로 이루어진다. 이를 위해 개인적 경험 등의 정보에 기반한 '문제상황 온톨로지'(Problem Context Ontology)와 집단의 경험적 지식에 기반한 '솔루션 온톨로지'(Solution Ontology)를 구축하였다. 의사결정단계는 상황정보 인식 및 문제상황 온톨로지에 매핑하는 단계, 경험적 사례로부터 문제상황에 가장 적합한 사례를 선택하는 단계, 생성된 솔루션이 가용하지 않을 경우 솔루션 온톨로지와 제약식 만족추론을 통해 새로운 대안을 생성하는 단계로 이루어진다. 본 방법론을 모임에 적합한 식당을 제안하는 예제를 적용함으로써 타당성을 검증하였다. 또한 실험을 통해 사회적 상황정보를 고려하여 생성된 의사결정대안이 그렇지 않은 경우보다 의사결정자의 만족도를 향상시켰으며, 생성된 의사결정대안이 가용하지 않은 경우 제약조건식과 솔루션 온톨로지를 이용해 생성한 대안이 유의미함을 검증하였다.

• 지능정보연구
• /
• 제8권1호
• /
• pp.141-157
• /
• 2002

XML(eXtensible Markup Language, XML)은 인터넷에서의 자료 교환을 위해 고안된 언어이다. 본 논문에서는 XML의 개념을 발전시킨 확장형 규칙 표식 언어(eXtensible Rule Markup Language, XRML)를 제안하고 있다. XRML은 웹 페이지에 내재된 암묵적 규칙의 식별, 구조적인 규칙으로의 변환, 사람과 소프트웨어 에이전트간의 지식 공유를 가능하게 하며, 이를 통해 지식기반시스템(Knowledge Based System)과 지식관리시스템(Knowledge Management System)의 통합을 실현할 수 있는 새로운 언어가 될 것이다. 본고에서는 XRML이 이상과 같은 능력을 갖기 위해 반드시 갖춰야 할 6가지 설계 기준과, 이들 기준을 반영한 XRML 구성 요소로서 RIML(Rule Identification Markup Language), RSML(Rule Structure Markup Language)과 RTML(Rule Triggering Markup Language)을 설계하였으며, 개별 요소들의 기능 및 특성과 함께 태그와 DTD(Document Type Definition)도 식별하였다. 나아가 전술한 구조를 기반으로 하여 XRML을 워크플로우 시스템상의 폼처리에 적용한 Form/XRML이라는 프로토타입 시스템을 설계하고 구현하였다. 본 프로토타입의 개발을 통해, 지식기반시스템의 지식을 활용하는 RTML이 폼을 비롯한 다양한 응용시스템에 내재될 수 있으며, 웹 페이지의 암묵적 규칙과 지식기반시스템의 규칙이 일관성 있게 유지될 수 있음을 보여 주었다. 요컨대 본 연구는 XRML이 지능형 웹으로 발전하기 위한 새로운 도구이며, KBS와 KMS의 통합을 위한 중요한 도구임을 입증하였다는 점에서 큰 의의를 갖는다고 하겠다.

• Structural Engineering and Mechanics
• /
• 제56권4호
• /
• pp.549-567
• /
• 2015

A first-order moment method (FORM) reliability analysis is commonly used for structural stability analysis. It requires the values and partial derivatives of the performance to function with respect to the random variables for the design. These calculations can be cumbersome when the performance functions are implicit. A Gaussian process (GP)-based response surface is adopted in this study to approximate the limit state function. By using a trained GP model, a large number of values and partial derivatives of the performance functions can be obtained for conventional reliability analysis with a FORM, thereby reducing the number of stability analysis calculations. This dynamic renewed knowledge source can provide great assistance in improving the predictive capacity of GP during the iterative process, particularly from the view of machine learning. An iterative algorithm is therefore proposed to improve the precision of GP approximation around the design point by constantly adding new design points to the initial training set. Examples are provided to illustrate the GP-based response surface for both structural and non-structural reliability analyses. The results show that the proposed approach is applicable to structural reliability analyses that involve implicit performance functions and structural response evaluations that entail time-consuming finite element analyses.

• 대한지리학회지
• /
• 제44권3호
• /
• pp.410-427
• /
• 2009

본 연구는 도해력의 의미를 점검하고 도해력의 발달수준을 판단할 수 있는 기준에 대해 검토한 후, 2005${\sim}$2007년까지 의 학업성취도 문항중 그래픽 자료를 활용한 문항을 중심으로 학교급별로 기대되는 도해력의 수준과 실제 숙달 수준을 분석하는 데 그 목적이 있다. 그 결과를 정리하면 다음과 같다. 첫째, 학교급이 올라갈수록 그래픽 자료를 읽는 데 명시적 정보추출능력보다는 함축적 정보추출능력과 개념적 정보추출능력이 많이 요구된다. 둘째, 전체 문항 중 숙달 수준에 해당하는 문항의 비율은 학교급이 올라갈수록 낮아진다. 셋째, 학교급별 숙달 수준은 초등학교의 경우 단순한 지도에 명시된 정보나 등고선, 단순한 지도, 기본적인 선 그래프 등에 함축된 정보를 읽을 수 있는 수준이고, 중학교의 경우 제시된 자료를 활용해 지도와 그래프에 나타난 지리적 현상의 직접적인 인과관계를 추론할 수 있는 수준이며, 고등학교의 경우 일상생활의 경험을 통해 습득한 지식을 적용해 그래픽 자료를 읽을 수 있는 수준이다.

• 한국추진공학회지
• /
• 제21권6호
• /
• pp.21-31
• /
• 2017

본 연구에서는 모드 천이가 발생하는 동안 상세한 유동 특성을 조사하기 위해, 이론분석과 수치해석을 수행하였다. 이론분석은 기존의 기체역학과 종래 보고된 이론식들 재정립하였으며, 수치해석은 2차원 비정상 압축성 Navier-Stokes 방정식을 풀기 위해 fully implicit finite volume scheme을 사용해 수행하였다. 해석의 검증을 위하여 실험 결과와 비교하였다. 격리부 입구 전온도와 수소 연료의 당량비를 변화시키면서 모드 천이에 미치는 영향을 조사하였다. 해석과 실험 결과는 정성적으로 잘 일치하였다. 당량비가 증가하면 스크램제트 모드에서 램제트 모드로 천이가 발생하였다. 이 때, 천이는 당량비에 따라 불연속적으로 나타나며, Non-allowable region이 존재하였다. 한편 격리부 입구에서 전온도의 증가는 모드 천이 경계를 변화시켰다.