• 충청수학회지
• /
• 제10권1호
• /
• pp.43-56
• /
• 1997

In this paper, we introduce a new class of ${\delta}$-frames and study its properties. To do so, we introduce ${\delta}$-filters, almost Lindel$\ddot{o}$f frames and Lindel$\ddot{o}$f frames. First, we show that a complete chain or a complete Boolean algebra is a ${\delta}$-frame. Next, we show that a ${\delta}$-frame L is almost Lindel$\ddot{o}$f iff for any ${\delta}$-filter F in L, ${\vee}\{x^*\;:\;x{\in}F\}{\neq}e$. Last, we show that every regular Lindelof ${\delta}$-frame is normal and a Lindel$\ddot{o}$f ${\delta}$-frame is preserved under a ${\delta}$-isomorphism which is dense and codense.

• Journal of applied mathematics & informatics
• /
• 제39권3_4호
• /
• pp.569-585
• /
• 2021

In this paper, we introduce the concept of relative co-fuzzy annihilator filters in distributive lattices. We give a set of equivalent conditions for a co-fuzzy annihilator to be a fuzzy filter and we characterize distributive lattices with the help of co-fuzzy annihilator filters. Furthermore, using the concept of relative co-fuzzy annihilators, we prove that the class of fuzzy filters of distributive lattices forms a Heyting algebra. We also study co-fuzzy annihilator filters. It is proved that the set of all co-fuzzy annihilator filters forms a complete Boolean algebra.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1979년도 하계 전자.전기연합학술발표회논문집
• /
• pp.69-72
• /
• 1979

This paper deals with the computer method of finding the minimal sum of products for a switching function by using the MASK method derived from the characteristics of the Boolean algebra. The experiments with the program which is dissimilar to the previous computer programs show that the algorithm presented will be more efficient.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제3권2호
• /
• pp.121-135
• /
• 1999

This paper studies the problem of inverting minimal path sets to obtain minimal cut sets for complex system. We describe efficiency of inversion algorithm by the use of boolean algebra and we develop inclusion-exclusion algorithm and pivotal decomposition algorithm for reliability calculation of complex system. Several examples are illustrated and the computation speeds between the two algorithms are undertaken.

• 전기의세계
• /
• 제28권11호
• /
• pp.37-44
• /
• 1979

This paper deals with the computer program of finding the minimal sum-of-products for a switching function by using the MASK method derived from the characteristics of the Boolean algebra. The approach differs from the previous procedures in that all the prime implicants are determined only by the bit operation and the minimal sum-of-products are obtained by the modified Petrick method in this work. The important features are the relatively small amount of the run time and the less memory capacity to solve a problem, as compared to the previous computer programs.

• 한국통신학회논문지
• /
• 제5권1호
• /
• pp.49-53
• /
• 1980

Since Zadeh had published the fuzzy set theory at 1965, it has been applied to many fields such as realizability of communication nets, automatic control, learning systems, switching circuits. In this paper, the method of applying a fuzzy logic to a pattern classification is studied and the difference of fuzzy logic from Boolean algebra is discussed. Classfication experiment is carried out 16 persons' photos of three families by fourty male and female observers and recognition rate 94% is obtained.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 춘계종합학술대회논문집
• /
• pp.406-410
• /
• 2003

B.M. Schen([2])은 함수의 합성 "${\circ}$" 과 차집합 연산 "-"에 대하여 닫혀있는 함수들의 집합 ${\Phi}$에서의 대수적 구조인 subtraction semigroup (${\Phi}$; ${\circ}$,-)를 정의하였다. 이 구조에서 (${\Phi}$; ${\circ}$)는 semgroup, (${\Phi}$; -)는 [1]에서 정의한 subtraction algebra를 이룬다. B.M. Schen은 [2]에서 모든 subtraction semigroup은 invertible function들의 difference semigroup과 동형이라는 사실을 밝혔다. 본 논문에서는 이 subtraction semigroup의 일반화로써 near subtraction semigroupd을 정의하고 이의 한 특수한 형태인 strong near subtraction semigroup의 개념을 정의하여 이들의 일반적인 성질과 ideal의 특성을 조사하고 이들의 응용도를 조사하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제15권11호
• /
• pp.215-224
• /
• 2010

대부분의 만성질환은 다수의 유전자-유전자 사이의 상호작용에 의해서 발병하는 복합질환이다. 복합질환의 발병에 관여하는 단일염기다형성(single nucleotide polymorphism; SNP)과 유전자 사이의 상호작용을 찾아내는 연구는 질환의 예방과 치료에 기여한다. 기존의 연구 방법은 주로 특정 유전자 내 SNP 조합을 찾아내는 데 그치고 있다. 본 연구에서는 SNP 조합의 구성원 사이에 일어나는 구체적인 상호작용을 나타내는 부울식을 찾는 방법을 제시한다. 본 논문에서 제안하는 방법은 두 단계로 이루어진다. 제 1 단계에서는 엔트로피에 기반한 상호정보를 이용하여 발병에 관여하는 SNP 조합을 찾는다. 제 2단계에서는 제 1 단계에서 찾은 SNP 조합으로 이루어지는 부울식 중에서 발병 예측정확도가 가장 높은 부울식을 찾는다. 제안한 방법을 임상자료에 적용하여 그 효율성을 실험하였으며 기존 연구들과 장단점을 비교하였다.

• 정보교육학회논문지
• /
• 제13권3호
• /
• pp.341-349
• /
• 2009

본 논문에서는 정보 과학교육에서 디지털 시스템의 동작 원리를 이해하는데 기초가 되는 디지털 논리 회로에 대한 내용을 쉽게 이해할 수 있도록, 전기회로 실험 조작 활동을 통한 논리회로 결과 검증 방법을 제안하였다. 그리고 제안한 검증방법을 활용하고 실생활 디지털 기기 예제를 통해 PBL 기법에 기반한 논리회로의 개념교육 방법 및 부울 논리 교육 방법을 제안하고 실제 수업에 적용한 결과를 난이도 할당의 적절성 및 학생들의 문제해결력 측면에서 분석하였다.

• 한국CDE학회논문집
• /
• 제10권6호
• /
• pp.432-443
• /
• 2005

Recent three-dimensional feature-based CAD systems based on solid or non-manifold modelling functionality have been widely used for product design in manufacturing companies. When product models associated with features are used in various downstream applications such as analysis, however, simplified and abstracted models at various levels of detail (LODs) are frequently more desirable and useful than the full detailed model. To provide multi-resolution models, the features need to be rearranged according to a criterion that measures the significance of the feature. However, if the features are rearranged, the resulting shape is possibly different from the original because union and subtraction Boolean operations are not commutative. To solve this problem, in this paper, the new concept of the effective zone of a feature is defined and identified using Boolean algebra. By introducing the effective zone, an arbitrary rearrangement of features becomes possible and arbitrary LOD criteria may be selected to suit various applications. Besides, because the effective zone of a feature is independent of the data structure of the model, the multi-resolution modelling algorithm based on the effective zone can be implemented on any 3D CAD system based on conventional solid representations as well as non-manifold topological (NMT) representations.