• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.437-461
• /
• 2016

This paper investigates weakening-free fuzzy logics with three weak forms of associativity (of multiplicative conjunction &). First, the wta-uninorm (based) logic $WA_tMUL$ and its two axiomatic extensions are introduced as weakening-free weakly associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness is established for $WA_tMUL$ and the two axiomatic extensions with an additional axiom using construction in the style of Jenei-Montagna.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.11 no.3
• /
• pp.171-177
• /
• 2011

The decision making process is based on accurate and timely available information. To obtain precise information from the internet is becoming more difficult due to the continuous increase in vagueness and uncertainty from online information resources. This also poses a problem for blind people who desire the full use from online resources available to other users for decision making in their daily life. Ontology is considered as one of the emerging technology of knowledge representation and information sharing today. Fuzzy logic is a very popular technique of artificial intelligence which deals with imprecision and uncertainty. The classical ontology can deal ideally with crisp data but cannot give sufficient support to handle the imprecise data or information. In this paper, we incorporate fuzzy logic with heavyweight ontology to solve the imprecise information extraction problem from heterogeneous misty sources. Fuzzy ontology consists of fuzzy rules, fuzzy classes and their properties with axioms. We use Fuzzy OWL plug-in of Protege to model the fuzzy ontology. A prototype is developed which is based on OWL-2 (Web Ontology Language-2), PAL (Protege Axiom Language), and fuzzy logic in order to examine the effectiveness of the proposed system.

• Journal of the Korean Society for Precision Engineering
• /
• v.23 no.3 s.180
• /
• pp.22-31
• /
• 2006

This paper introduces an approach to an ontology-based knowledge framework for product life cycle management (PLM). Participants in a product life cycle want to share comprehensive product knowledge without any ambiguity and heterogeneity. However, previous knowledge management approaches are limited in providing those aspects. Therefore, we suggest an ontology-based knowledge framework including knowledge maps, axioms and specific knowledge far domain. The bottom level, the axiom, specifies the semantics of concepts and relations of knowledge so that ambiguity of the semantics can be alleviated. The middle level is a product development knowledge map; it defines the concepts and the relations of the product domain common knowledge and guides engineers to process their engineering decisions. The middle level is then classified further into more detailed levels, such as generic product level, specific product level, product version level, and product item level for PLM. The top level is specialized knowledge fer a specific domain that gives the solution of a specific task or problem. It is classified into three knowledge types: expert knowledge, engineering function knowledge, and data-analysis-based knowledge. This proposed framework is based on ontology to accommodate a comprehensive range of unambiguous knowledge for PLM and is represented with first-order logic to maintain a uniform representation.

• Nuclear Engineering and Technology
• /
• v.31 no.2
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• Journal of Educational Research in Mathematics
• /
• v.25 no.3
• /
• pp.367-379
• /
• 2015

The existence of mathematical objects was considered through diorism which was used in ancient Greece as conditions for the existence of the solution of the problem. Proposition I-22 of Euclid Elements has diorism for the existence of triangle. By discussing the diorism in Elements, ancient Greek mathematician proved the existence of defined object by postulates or theorems. Therefore, the existence of mathematical object is verifiability in the axiom system. From this perspective, construction is the main method to guarantee the existence in the Elements. Furthermore, we suggest some implications about the existence of mathematical objects in school mathematics.

• Korean Management Science Review
• /
• v.29 no.3
• /
• pp.45-65
• /
• 2012

Test and evaluation of weapon system is an important task to evaluate the performance of overseas weapon system purchasing project. Especially, quantitative evaluation of performances is hardly completed in defense projects where multiple criteria are conflicted each other. In order to solve this problem, we apply Axiomatic Design (AD) and Inner Dependence AHP method. First, finite functional requirements (FRs) are categorized in hierarchy structure by selecting proper design parameters (DPs) to implement their corresponding FRs. If there are no ways to select DPs when design is coupled between FRs and DPs, then inner dependence is allowed to overcome the strict rule of independence in AHP. Second, the weights of DPs are calculated by applying both Inner Dependence AHP method for coupled design and normal AHP method for uncoupled or decoupled design. Finally, information axiom of AD is applied to the proposed weapon systems by calculating information contents for all parameters. Weapon system with minimum sum of information contents is considered as the best solution. The proposed method in this study should be used in multiple criteria decision making problems involving various conflicting criteria.

• The Korean Journal of Physiology
• /
• v.21 no.1
• /
• pp.91-101
• /
• 1987

The present experiment was carried out, in the rabbit and cat, in order to explore functional interrelationship between the vestibular semicircular canals and extraocular muscles, which are involved in the vestibulooculomotor reflex as the receptor and effector organ respectively. Semicircular canals were subjected to electrical stimulation, lymphatic fluid flow or acute freezing, and responses of the extraocular muscles were recorded in terms of changes in electromyographic activity and isometric tension. Electrical stimulation of a unilateral canal elicited contraction of the superio-medial muscle group (superior oblique, superior rectus and medial rectus muscles) in the ipsilateral eye and the inferio-lateral muscle group (inferior oblique, inferior rectus and lateral rectus muscles) in the contralateral eye. Thus a simple and distinct axiom was found in the pattern of the reflex-response of the extraocular muscles. Inhibition of the unilateral canals elicited the extraocular muscle responses contrary to those observed by excitation of the canal. Based on the present experimental results, it was demonstrated that the functional interrelations between the semicircular canals and extraocular muscles are rather equivalent in the frontal eyed cats (with binocular vision) and lateral eyed rabbits (with monocular vision). Therefore the previous thesis that the vestibuloocular relations vary from species to species awaits experimental reevaluation.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.9
• /
• pp.1866-1873
• /
• 2002

The pipe-cutting machine developed in this study is a portable device used to cut a steel pipe. The machine, which is attached to the steel pipe by magnetic force, is moving around the pip e using four wheels. It also works for straight cutting of a steel plate. For the higher precision and labor time reduction, the automation of a pipe-cutting process is needed. However, it is not easily achieved because of vibrations and the loss of track. It is also found that the problems of the automation arise from the coupling of the functional requirements for the pipe-cutting machine. So, it is very difficult io solve the problems by a conventional design method. To overcome the difficulties the new design process for the pipe-cutting machine is established by axiomatic approach in this paper. Based on the Independence Axiom design process, a new product is designed and manufactured. Finally, it is verified by experiments that the performance of the automatic pipe-cutting machine is improved

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.1 s.256
• /
• pp.77-88
• /
• 2007

Axiomatic Design has been developed as a general design framework during past two decades and TRIZ has been developed for a design tool over 50 years. Axiomatic design is quite excellent in that design should be decoupled. When a design matrix is established, the characteristics of the design are identified according to the coupling properties. If the design is coupled, a decoupling process should be found. However, axiomatic design does not specifically indicate how to decouple a coupled design. In this research, the coupling manner is classified into six patterns. Each pattern could be solved by an appropriate TRIZ module. A table, which matches the coupling pattern and a TRIZ module, is proposed for effective application of the two design theories. The decoupling ideas are proposed by using TRIZ modules. When the number of decoupled designs is more than one, the engineer should select the final idea. The proposed method is applied to practical cases such as a tape feeder and a beam adjuster of the laser marker.

• Journal of the Korean School Mathematics Society
• /
• v.2 no.1
• /
• pp.121-131
• /
• 1999

Recently our educational methodologies have been changed to an open, student-centered structure. Mathematics is now learned through experiential interaction and less emphasis is placed on abstract theories. For example, the axioms of the geometry in the middle school curriculum have been expressed by using symbolic letters. Students find these abstractions very difficult and it hinders their ability to grasp the significance of geometrical concepts. In an effort to simplify these abstract concepts and enhance the students interest and ability to learn, the GSP (Geometry Sketchpad) is proving to be a useful and effective tool. First, Second and third grade students have found the GSP to be extremely useful. While the pad has no sound function it still enables the students to freely change diagrams without disrupting the integrity of the program. There is also a running order of instructions at the bottom of the screen to facilitate the step by step understanding of mathematical procedures. This function makes the program ideal for use by teachers, students and even beginners. Anyone experiencing difficulty can get immediate assistance from the guidebook which is located at the back of each program. Allowing individuals to manipulate and actually see the changing deductions and axiom proofs on the computer screen provides them with immediate feedback and reinforcement. It also enhances their overall interest in learning geometry. The use of the GSP is proving to be an innovative and effective tool in facilitating the transition of mathematics into an open, student-centered educational forum.