• Honam Mathematical Journal
• /
• v.33 no.1
• /
• pp.61-71
• /
• 2011

The notion of a complicated pre-logic is introduced and investigated some properties of it. A special set in a pre-logic is established and some related its properties are discussed. Also more extended special sets in a pre-logic are introduced and some relations with deductive systems are obtained.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.2
• /
• pp.115-127
• /
• 2009

In the present paper we introduce and study L-pre-$T_0$-, L-pre-$T_1$-, L-pre-$T_2$ (L-pre-Hausdorff)-, L-pre-$T_3$ (L-pre-regularity)-, L-pre-$T_4$ (L-pre-normality)-, L-pre-strong-$T_3$-, L-pre-strong-$T_4$-, L-pre-$R_0$-, L-pre-$R_1$-separation axioms in (2, L)-topologies where L is a complete residuated lattice.Sometimes we need more conditions on L such as the completely distributive law or that the "$\bigwedge$" is distributive over arbitrary joins or the double negation law as we illustrate through this paper. As applications of our work the corresponding results(see[1,2]) are generalized and new consequences are obtained.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.12
• /
• pp.1710-1715
• /
• 2014

In this paper, we propose a novel on-chip test logic for TSV fault detection in 3-dimensional integrated circuits. The proposed logic called OTT realizes the input signal delay-based TSV test method introduced earlier. OTT only includes one F/F, two MUXs, and some additional logic for signal delay. Thus, it requires small silicon area suitable for TSV testing. Both pre-bond and post-bond TSV tests are able to use OTT for short or open fault as well as small delay fault detection.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.1 no.1
• /
• pp.62-68
• /
• 2001

In this paper, we introduce the concepts of fuzzy r-pre-semiopen and r-pre-semiclosed sets. With them we define fuzzy r-pre-semiinterior and r-pre-semiclosure. We also introduce and investigate the properties of a fuzzy r-pre-semicontinuous map, a fuzzy r-pre-semiopen map and a fuzzy r-pre-semiclosed map. These concepts are generalizations of the Bai Shi-Zhongs fuzzy pre-semicontinuity.

• Honam Mathematical Journal
• /
• v.32 no.4
• /
• pp.625-632
• /
• 2010

The notions of commutative pre-logics and terminal sections are introduced. Characterizations of a commutative prelogic are provided. Properties of deductive systems in pre-logics which are upper semilattices are considered.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.86-91
• /
• 1991

A capability of performing the optical logic and arithmetic operations is followed by an effective encoding technique. In this paper, we proposed the color light encoding technique. By using this encoding technique, the space bandwidth product(SBP) is minimized in the output plane. In addition, we proposed the pre-operation pro-carry processing method that performs faster than the same time operation and carry processing method in optical computing. We proposed that the color liquid crystal device(CLCD) is used as the encoded color light input source.

• Journal of information and communication convergence engineering
• /
• v.9 no.4
• /
• pp.466-470
• /
• 2011

This paper proposes the new method based on fuzzy logic which recognizes between normal and abnormal. The object image was the Thyroid Gland cell image that was diagnosed as normal and abnormal(two types of abnormal : follicular neoplastic cell, and papillary neoplastic cell), respectively. The nuclei were successfully diagnosed as normal and abnormal. The multiple feature parameters (pre-obtained 16 feature parameters of image data) were used to extract the features of each nucleus. As a consequence of using fuzzy logic algorithm, proposed in this paper, average recognition rate of 98.25% was obtained.

• Journal of The Korean Association of Information Education
• /
• v.14 no.4
• /
• pp.555-560
• /
• 2010

The purpose of this study is to investigate the effect of learning algorithm which uses real-life examples including the concept of algorithm on the logical thinking of elementary school students. For this purpose, the experiment was performed by pre-GALT test, a case selection of algorithm which can be taught in real-life, experiment treatment after completing teaching plan, post-GALT test, and paired sample t-test on the results of pre and post GALT in order. As a result, changes in the degree of logical thinking ability and in five sub-regions(conservative logic, proportional logic, combinatorial logic, probabilistic logic, controlling variables) composing of logical thinking obtained statistically significant results in .05 significance level but changes in the correlational logic couldn't obtain the significant results.

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.28B no.9
• /
• pp.719-726
• /
• 1991

The symplified segmentation method was proposed for hardware implementation based on the human visual system. The segmentation method using fuzzy logic and just noticeable difference(JND) is composed of pre-filtering, initial segmentation and post processing. Experimental coding results show that reconstructed image using the proposed method is good on visual percerption even at a high compression ratio of 30:1.