• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.187-205
• /
• 2015

We discuss the relationship between interval-valued fuzzy ideals and interval-valued fuzzy congruence on a distributive lattice L and show that for a generalized Boolean algebra the lattice of interval-valued fuzzy ideals is isomorphic to the lattice of interval-valued fuzzy congruences. Finally we consider the products of interval-valued fuzzy ideals and obtain a necessary and sufficient condition for an interval-valued fuzzy ideal on the direct sum of lattices to be representable as a direct sum of interval-valued fuzzy ideals on each lattice.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.11
• /
• pp.56-64
• /
• 1992

The sum-of-product type MVL (Multiple-valued logic) functions can be directly transformed into the exclusive-sum-of-literal-product(ESOLP) type MVL functions with a substitution of the OR operator with the exclusive-OR(XOR) operator. This paper presents an algorithm that can reduce the number of minterms for the purpose of minimizing the hardware size and the complexity of the circuit in the realization of ESOLP-type MVL functions. In Boolean algebra, the joinable true minterms can form the cube, and if some cubes form a cube-chain with adjacent cubes by the insertion of false cubes(or, false minterms), then the created cube-chain can become a large cube which includes previous cubes. As a result of the cube grouping, the number of minterms can be reduced artificially. Since ESOLP-type MVL functions take the MIN/XOR structure, a XOR circuit and a four-valued MIN/XOR dynamic-CMOS PLA circuit is designed for the realization of the minimized functions, and PSPICE simulation results have been also presented for the validation of the proposed algorithm.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.337-342
• /
• 1995

A semiring is a binary system $(S, +, \times)$ such that (S, +) is an Abelian monoid (identity 0), (S,x) is a monoid (identity 1), $\times$ distributes over +, 0 $\times s s \times 0 = 0$ for all s in S, and $1 \neq 0$. Usually S denotes the system and $\times$ is denoted by juxtaposition. If $(S,\times)$ is Abelian, then S is commutative. Thus all rings are semirings. Some examples of semirings which occur in combinatorics are Boolean algebra of subsets of a finite set (with addition being union and multiplication being intersection) and the nonnegative integers (with usual arithmetic). The concepts of matrix theory are defined over a semiring as over a field. Recently a number of authors have studied various problems of semiring matrix theory. In particular, Minc [4] has written an encyclopedic work on nonnegative matrices.

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.645-657
• /
• 1994

If S is a semiring of nonnegative reals, which linear operators T on the space of $m \times n$ matrices over S preserve the column rank of each matrix\ulcorner Evidently if P and Q are invertible matrices whose inverses have entries in S, then $T : X \longrightarrow PXQ$ is a column rank preserving, linear operator. Beasley and Song obtained some characterizations of column rank preserving linear operators on the space of $m \times n$ matrices over $Z_+$, the semiring of nonnegative integers in [1] and over the binary Boolean algebra in [7] and [8]. In [4], Beasley, Gregory and Pullman obtained characterizations of semiring rank-1 matrices and semiring rank preserving operators over certain semirings of the nonnegative reals. We considers over certain semirings of the nonnegative reals. We consider some results in [4] in view of a certain column rank instead of semiring rank.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.372-377
• /
• 2004

We introduce the concepts of intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a lattice, and discuss the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruence on a distributive lattice. Also we prove that for a generalized Boolean algebra, the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences. Finally, we consider the products of intuitionistic fuzzy ideals and obtain a necessary and sufficient condition for an intuitionistic fuzzy ideals on the direct sum of lattices to be representable on a direct sum of intuitionistic fuzzy ideals on each lattice.

• Journal for History of Mathematics
• /
• v.12 no.1
• /
• pp.32-44
• /
• 1999

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.47
• /
• pp.219-232
• /
• 1998

A lot of difficulties exist in analyzing the structure of a system owing to the complex and organic relations in the systems we face in reality. Focuses have been put on the research of optimal solution in a defined structure, however, on the assumption that the structure of the system has been already defined. With the grasping of the structure as the most prior condition, ISM(Interpretive Structural Modeling) and FSM(Fuzzy Structural Modeling) are suggested as solutions in this paper. ISM uses the systematic application of some elementary notions of graph theory and boolean algebra, FSM uses Fuzzy conception for representing relationship between elements. In FSM, the entries in the relation matrix are taken to value on the interval [0,1] by virtue of a fuzzy binary relation. Numeric examples are used as the actual application as follows.

• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.405-414
• /
• 2012

In this paper, we propose a reliability estimation method for DI&C systems. At the system level, a fault tree model is suggested and Boolean algebra is used to obtain the minimal cut sets. At the component level, an exponential distribution is used to model hardware failures, and Bayesian estimation is suggested to estimate the failure rate. Additionally, a binomial distribution is used to model software failures, and a recently developed software reliability estimation method is suggested to estimate the software failure rate. The overall system reliability is then estimated based on minimal cut sets, hardware failure rates and software failure rates.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.11
• /
• pp.25-30
• /
• 2015

The enormous increase of data with the development of the information technology make internet users to be hard to find suitable information tailored to their needs. In the face of changing environment, the information filtering method, which provide sorted-out information to users, is becoming important. The data on the internet exists as various type. However, similarity calculation algorithm frequently used in existing collaborative filtering method is tend to be suitable to the numeric data. In addition, in the case of the categorical data, it shows the extreme similarity like Boolean Algebra. In this paper, We get the similarity in SNS user's information which consist of the mixed data using the Gower's similarity coefficient. And we suggest a method that is softer than radical expression such as 0 or 1 in categorical data. The clustering method using this algorithm can be utilized in SNS or various recommendation system.

• The Journal of the Korea Contents Association
• /
• v.8 no.4
• /
• pp.86-91
• /
• 2008

To present the design procedure of discretized 8-bit tent map executing the transformation of tent function which is one of the chaotic functions, first, the truth table of discretized tent map was written, and then according to the simplified Boolean algebra equations obtained from the truth table, the discretized map is implemented with the exclusive logic gate as a real hardware. The discretized tent map circuit which provides the feedback circuit for generating the period-8 states relevant to the 8-bit finite precision is also designed and presented in this paper. Furthermore, it might be used stream cipher system with a new key-stream circuit for generate of chaotic binary sequence.