• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.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.

• Journal of Educational Research in Mathematics
• /
• v.13 no.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.

• Research in Mathematical Education
• /
• v.15 no.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.

• Proceedings of the KIEE Conference
• /
• 1993.07a
• /
• 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
• /
• v.10 no.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.

• Journal of Intelligence and Information Systems
• /
• v.17 no.3
• /
• pp.43-61
• /
• 2011

In this research, we propose a dynamic decision making using social context based on ontology. Dynamic adaptation is adopted for the high qualified decision making, which is defined as creation of proper information using contexts depending on decision maker's state of affairs in ubiquitous computing environment. Thereby, the context for the dynamic adaptation is classified as a static, dynamic and social context. Static context contains personal explicit information like demographic data. Dynamic context like weather or traffic information is provided by external information service provider. Finally, social context implies much more implicit knowledge such as social relationship than the other two-type context, but it is not easy to extract any implied tacit knowledge as well as generalized rules from the information. So, it was not easy for the social context to apply into dynamic adaptation. In this light, we tried the social context into the dynamic adaptation to generate context-appropriate personalized information. It is necessary to build modeling methodology to adopt dynamic adaptation using the context. The proposed context modeling used ontology and cases which are best to represent tacit and unstructured knowledge such as social context. Case-based reasoning and constraint satisfaction problem is applied into the dynamic decision making system for the dynamic adaption. Case-based reasoning is used case to represent the context including social, dynamic and static and to extract personalized knowledge from the personalized case-base. Constraint satisfaction problem is used when the selected case through the case-based reasoning needs dynamic adaptation, since it is usual to adapt the selected case because context can be changed timely according to environment status. The case-base reasoning adopts problem context for effective representation of static, dynamic and social context, which use a case structure with index and solution and problem ontology of decision maker. The case is stored in case-base as a repository of a decision maker's personal experience and knowledge. The constraint satisfaction problem use solution ontology which is extracted from collective intelligence which is generalized from solutions of decision makers. The solution ontology is retrieved to find proper solution depending on the decision maker's context when it is necessary. At the same time, dynamic adaptation is applied to adapt the selected case using solution ontology. The decision making process is comprised of following steps. First, whenever the system aware new context, the system converses the context into problem context ontology with case structure. Any context is defined by a case with a formal knowledge representation structure. Thereby, social context as implicit knowledge is also represented a formal form like a case. In addition, for the context modeling, ontology is also adopted. Second, we select a proper case as a decision making solution from decision maker's personal case-base. We convince that the selected case should be the best case depending on context related to decision maker's current status as well as decision maker's requirements. However, it is possible to change the environment and context around the decision maker and it is necessary to adapt the selected case. Third, if the selected case is not available or the decision maker doesn't satisfy according to the newly arrived context, then constraint satisfaction problem and solution ontology is applied to derive new solution for the decision maker. The constraint satisfaction problem uses to the previously selected case to adopt and solution ontology. The verification of the proposed methodology is processed by searching a meeting place according to the decision maker's requirements and context, the extracted solution shows the satisfaction depending on meeting purpose.

• Journal of Intelligence and Information Systems
• /
• v.8 no.1
• /
• pp.141-157
• /
• 2002

extensible Markup Language (XML) is a new markup language for data exchange on the Internet. In this paper, we propose a language extensible Rule Markup Language (XRML) which is an extension of XML. The implicit rules embedded in the Web pages should be identifiable, interchangeable with structured rule format, and finally accessible by various applications. It is possible to realize by using XRML. In this light, Web based Knowledge Management Systems (KMS) can be integrated with rule-based expert systems. To meet this end, we propose the six design criteria: Expressional Completeness, Relevance Linkability, Polymorphous Consistency, Applicative Universality, Knowledge Integrability and Interoperability. Furthermore, we propose three components such as RIML (Rule Identification Markup Language), RSML (Rule Structure Markup Language) and RTML (Rule Triggering Markup Language), and the Document Type Definition DTD). We have designed the XRML version 0.5 as illustrated above, and developed its prototype named Form/XRML which is an automated form processing for disbursement of the research fund in the Korea Advanced Institute of Science and Technology (KAISI). Since XRML allows both human and software agent to use the rules, there is huge application potential. We expect that XRML can contribute to the progress of Semantic Web platforms making knowledge management and e-commerce more intelligent. Since there are many emerging research groups and vendors who investigate this issue, it will not take long to see XRML commercial products. Matured XRML applications may change the way of designing information and knowledge systems in the near future.

• Structural Engineering and Mechanics
• /
• v.56 no.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.

• Journal of the Korean Geographical Society
• /
• v.44 no.3
• /
• pp.410-427
• /
• 2009

This study aims to rethink the meaning of graphicacy, discuss the possible criteria to evaluate the level of graphicacy, and show how the graphicacy differs through different grades. First, it finds that as school grades advance, implicit information processing abilities, and conceptual information processing abilities were more required comparing to explicit information processing abilities, when interpreting graphic data. Secondly, the percentage of items which examinee showed a proficient level, decreased as school grades advanced. Thirdly, the graphicacy level of sixth graders was the status of being able to derive explicit information from pictorial maps and read implicit information in simple contour map or line graphs. Ninth graders were able to infer causal relationship between geographic phenomenons by utilizing graphic materials. Tenth graders could read graphic materials by utilizing simple knowledge and experience.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.21 no.6
• /
• pp.21-31
• /
• 2017

In the present study, theoretical and numerical analyses have been carried out to investigate the detailed flow characteristics during the mode transition. The theoretical analysis rearranged the knowledge of gasdynamics and the previous studies, and the numerical analysis has conducted to solve the 2D unsteady compressible Navier-Stokes equations with a fully implicit finite volume scheme. To validate the numerical analysis, the experiment was compared with it. The total temperature at the inlet of isolator and the hydrogen fuel equivalent ratio were changed to investigate their effects on the mode transition phenomenon. As the results, the numerical analysis reproduced well the experiment qualitatively, the increment in the hydrogen fuel equivalent ratio induced the scram-mode to ram-mode transition which is discontinuous with a non-allowable region, and the variation in the total temperature changed the boundary of the mode transition.