• East Asian mathematical journal
• /
• v.35 no.2
• /
• pp.239-257
• /
• 2019

The purpose of this study is to show that the topology is closely related to some subjects learned in school mathematics and then to give motivations for learning of the topology. To do this, it is showed that the topology is an abstracted device that deal with structure of limit and continuity introduced in school mathematics. This study took a literature study. The results of this study are as follows. First, the formal definition of general topology to structure open sets was examined. The nearness relation together with the closure operation was introduced and used to characterize for construction of general topology. Second, as definitions for continuity of function, we considered the intuitive definition, definition, structured definitions using open intervals and definition using open sets and then we investigated their roles. We also examined equivalent definition using the nearness relation which is helpful to understand continuity of function. Third, the sequence and its limit are treated in terms of continuous functions having the set of natural numbers and its extended set as domains. From these, it can be concluded that the convergence of sequence and the continuity of function are identified as functions that preserve the nearness relation and that the topology is a specialized tool for dealing with convergence and continuity.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.4
• /
• pp.55-63
• /
• 2001

This paper describes a methodology of product function deployment for understanding product functions and generating systematic functional relation charts. The product function deployment is based on the designer's understanding of product functions. The method involves following steps: 1) definition of product primary function and flows of energy, material, and information, 2) construction of a product tree using key parts, 3) definition of functions and interactions of the functional units, 4) construction of 'from-to' relation matrices, 5) grouping of the parts, and 6) construction of functional relation charts. With this approach, functional relation charts can be generated such that complex product functions are easily understood. The functional relation chart of a refrigerator is generated as an example.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.4
• /
• pp.433-442
• /
• 2016

This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.41 no.4
• /
• pp.229-238
• /
• 2017

This study started to deduce a permeability relationship that can consider the geometric features of various porous media under different flow regimes. With reference to the previous works of Kozeny and Carman, the conventional Darcy-Weisbach relation (Darcy's friction flow equation) was reviewed and expanded for porous flow analysis. Based on the capillary model, this relation was transformed to the friction equivalent permeability (FEP) definition. The validity of the FEP definition was confirmed by means of comparison with the Kozeny-Carman equation. Hereby, it was shown that the FEP definition is the generalized form of the Kozeny-Carman equation, which is confined to laminar flow through a circular capillary. In conclusion, the FEP definition as a new permeability estimation method was successfully developed by expanding the Darcy-Weisbach relation for porous flow analyses.

• Journal of Information Technology Services
• /
• v.7 no.4
• /
• pp.287-300
• /
• 2008

Our Study aims to examine, from a critical perspective, recent approaches to the definition of services, Studies that deal with the question of how to characterize services offer three types of response. The first approach developed by classical economists proposes to use technical criteria (immateriality, non-separability between consumption and production, non-storage, heterogeneity) as foundation for a specific definition of services. The second, which is today most widely cited definition, that of Peter Hill proposes an institutional or a relation-oriented definition which emphasizes service triangle. Finally, the work of Gadrey, which investigates the impact of new technologies on service activities, offers a new general definition of services that is compatible with the existence of several demand rationales.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.24 no.3
• /
• pp.199-216
• /
• 2013

In this paper, the 'facility' and its related concepts were analysed, and then ontological conceptual definition for the facility was conducted based on a variety of relationships between those concepts. First, as a facility conception relation, inclusion relation, instance relation, rule relation, attribute relation and part-whole relationships were investigated. Second, facility concepts were prescribed as a physical entity in which many parts were functionally integrated. Third, by strictly separating the basic concept and role concept, reading facility, exhibit facility, etc. were not supposed to make multiple inheritances by putting subordinate concepts as those of role concepts, not those of the concept of facility. Fourth and lastly, an ontology for the facility was made by using OWL DL.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.5
• /
• pp.1958-1968
• /
• 2015

In this paper, a new definition of short-circuit ratio concept for multi-converter HVDC systems is proposed. Analysis results of voltage interaction between converters show that the reactive power-voltage characteristic of a converter has a dominant effect on voltage interaction level compared with its active power-voltage characteristic. Such a relation between converter reactive power and voltage interaction level supports taking the former into account in the definition of short-circuit ratio concept for multi-converter systems. The proposed definition is verified by the method of maximum power curve for various system configurations. Furthermore, a formula to calculate transient overvoltage for multi-converter systems is derived based on the proposed definition, and the efficiency of the derived formula is verified.

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.739-748
• /
• 2015

The notion of quasi-lattice implication algebras is a generalization of lattice implication algebras. In this paper, we give an optimized definition of quasi-lattice implication algebra and show that this algebra is a distributive lattice and that this algebra is a lattice implication algebra. Also, we define a congruence relation Φ_F induced by a filter F and show that every congruence relation on a quasi-lattice implication algebra is a congruence relation Φ_F induced by a filter F.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.2
• /
• pp.107-113
• /
• 2014

The derivation of optimal information from decision table is based on the concept of indiscernibility relation and approximation space in rough set. Because decision table is more likely to be susceptible to the superposition or inconsistency in decision table, the reduction of attributes is a important concept in knowledge representation. While complete subsets of the attribute's domain is considered in algebraic definition, incomplete subsets of the attribute's domain is considered in information-theoretic definition. Therefore there is a marked difference between algebraic and information-theoretic definition. This paper proposes a conditional entropy using rough set as information theoretical measures in order to deduct the optimal information which may contain condition attributes and decision attribute of information system and shows its effectiveness.

• Design Convergence Study
• /
• v.16 no.1
• /
• pp.203-216
• /
• 2017

There are many definitions around brand. It complexify academic literature. Thus, this study collected meaningful definitions among many statements about brand and analyzed and classified them by available perspectives. This is especially necessary contents in domestic brand study, which is short of concept research about brand. Various literatures are refereed to brand definition introduction. But to etymological definition, several European linguistic theses are deeply reviewed and to institutional definition, wide range of information such as history, law and society is refereed. Total brand definitions are classified in . It is divided into 2 parts which are non-commercial context (etymological and institutional definition) and commercial context (producer, customer and the relation or interaction between producer and customer). In etymological definition, the word origin is clear word 'brandr' which means 'burning wood' and cattle-brand made this 'brand'. In legal definition, legal and institutional meaning of 'trademark' is examined. Etymological definition and institutional definition are fundamental and lexical definition which show brand history. These are foundation stones in brand studies.