• Journal of the Korea Safety Management & Science
• /
• v.3 no.2
• /
• pp.33-49
• /
• 2001

This article is concerned with various aspects of establishing the global standard for occupational safety and health management system (OHSMS). The notion, main features, and brief history of the OHSMS are presented. The OHSAS 18000, its assets and liabilities, are reviewed as a prototype of the global standard. It is also addressed the possibility of combining ISO 9000(quality management system), 14000(environmental management system) and the OHSMS into the integrated management system (IMS) as a whole. The concepts of internal and external customers are presented to explain why the environment, safety and health should be incorporated into the notion of total quality 'Participation of the members' and 'standardization of the 4Ms (Man, Machine, Materials and Method)'are emphasized as the major enablers of the IMS. Finally, the industrial, academic and governmental roles are discussed for developing the IMS and setting it down into the Korean industries.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.887-890
• /
• 1993

By introducing the notion of constraint-oriented fuzzy inference, we will show that it provides us ways of fuzzy control methods that has abilities of adaptation, learning and self-organization. The basic supporting techniques behind these abilities are“hard”processing by Artificial Intelligence or traditional computational framework and“soft”processing by Neural Network or Genetic Algorithm techniques. The reason that these techniques can be incorporated to fuzzy control systems is that the notion of“constraint”itself has two fundamental properties, that is, the“modularity”property due to its declarativeness and the“logicality”property due to its two-valuedness. From the former property, the modularity property, decomposing and integrating constraints can be done easily and efficiently, which enables us to carry out the above“soft”processing. From the latter property, the logicality property, Qualitative Reasoning and Instance Generalization by Symbolic Reasoning an be carried out, thus enabling the“hard”processing.

• Journal of information and communication convergence engineering
• /
• v.13 no.2
• /
• pp.86-96
• /
• 2015

In mobile communication, mobile services [MSs] (e.g., phone calls, short/multimedia messages, and Internet data) incur a cost to both mobile users (MUs) and mobile service providers (MSPs). The proposed model MobPrice consists of dynamic data pricing schemes for mobile communication in order to achieve optimal usage of MSs at minimal prices. MobPrice inspires MUs to subscribe MSs with flexibility of data sharing and intra-peer exchanges, thereby reducing overall cost. The main contributions of MobPrice are three-fold. First, it proposes a novel k-level data-pricing (kDP) scheme for MSs. Second, it extends the kDP scheme with the notion of service-sharing-based pricing schemes to a collaborative peer-to-peer data-pricing (pDP) scheme and a cluster-based data-pricing (cDP) scheme to incorporate the notion of 'cluster' (made up of two or more MUs) in mobile communication. Third, our performance study shows that the proposed schemes are indeed effective in maximizing MS subscriptions and minimizing MS's price/user.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.1-27
• /
• 2016

We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from 3-Lie algebras are provided. We also describe ternary distributive algebraic structures coming from groups and give examples from vector spaces whose bases are elements of a finite ternary distributive set. We introduce a cohomology theory that is analogous to Hochschild cohomology and relate it to a formal deformation theory of these structures.

• Kyungpook Mathematical Journal
• /
• v.57 no.1
• /
• pp.85-97
• /
• 2017

The notions of regular uni-soft filters, uni-soft MV -filters and Boolean uni-soft filters are introduced, and related properties are investigated. Characterizations of regular uni-soft filters, uni-soft MV -filters and Boolean uni-soft filters are discussed.Relations between regular uni-soft filters and uni-soft MV -filters are considered. It is shown that the notion of a uni-soft MV -filter coincides with the notion of a regular uni-soft filter in BL-algebras.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.6 no.12
• /
• pp.3338-3351
• /
• 2012

There is an intuitive connection between signcryption and key agreement. Such a connector may lead to a novel way to construct authenticated and efficient group key agreement protocols. In this paper, we present a primary approach for constructing an authenticated group key agreement protocol from signcryption. This approach introduces desired properties to group key agreement. What this means is that the signcryption gives assurance to a sender that the key is available only to the recipient, and assurance to the recipient that the key indeed comes from the sender. Following the generic construction, we instantiate a distributed two-round group key agreement protocol based on signcryption scheme given by Dent [8]. We also show that this concrete protocol is secure in the outsider unforgeability notion and the outsider confidentiality notion assuming hardness of the Gap Diffie-Hellman problem.

• Communications of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.183-196
• /
• 2011

Molodtsov [5] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to an implicative ideal of BCK-algebras. The notion of implicative soft ideals in BCK-algebras and implicative idealistic soft BCK-algebras is introduced, and related properties are investigated. Relations between implicative soft ideals and commutative (resp. positive implicative) soft ideals are discussed. Also, relations between implicative idealistic soft BCK-algebras and commutative (resp. positive implicative) idealistic soft BCK-algebras are provided.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1589-1600
• /
• 2019

In this paper, we apply the notion of cocyclic maps to the category of pairs proposed by Hilton and obtain more general concepts. We discuss the concept of cocyclic morphisms with respect to a morphism and find that it is a dual concept of cyclic morphisms with respect to a morphism and a generalization of the notion of cocyclic morphisms with respect to a map. Moreover, we investigate its basic properties including the preservation of cocyclic properties by morphisms and find conditions for which the set of all homotopy classes of cocyclic morphisms with respect to a morphism will have a group structure.

• Honam Mathematical Journal
• /
• v.43 no.3
• /
• pp.547-559
• /
• 2021

We first define the notions of filter continuous, filter sequentially continuous and filter strongly continuous in the framework of fuzzy normed space (FNS), and then we introduce the notion of filter slowly oscillating sequences in the setting of FNS and shows that this notion is stronger than slowly oscillating sequences. Further, we define the concept of filter slowly oscillating continuous functions, filter Cesàro slowly oscillating sequences as well as some other related notions in the aforementioned space and investigate several related results.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.53-65
• /
• 2019

Recently, Chung and Lee [2] introduced the notion of topological stability for a finitely generated group action, and proved a group action version of the Walters's stability theorem. In this paper, we introduce the concepts of continuous shadowing and continuous inverse shadowing of a finitely generated group action on a compact metric space X with respect to various classes of admissible pseudo orbits and study the relationships between topological stability and continuous shadowing and continuous inverse shadowing property of group actions. Moreover, we introduce the notion of structural stability for a finitely generated group action, and we prove that an expansive action on a compact manifold is structurally stable if and only if it is continuous inverse shadowing.