• 제목/요약/키워드: pre-logic

검색결과 131건 처리시간 0.019초

ON SPECIAL SETS IN PRE-LOGICS

  • Ahn, Sun-Shin;Yoo, Jae-Kwang
    • 호남수학학술지
    • /
    • 제33권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.

L-pre-separation axioms in (2, L)-topologies based on complete residuated lattice-valued logic

  • Zeyada, Fathei M.;Abd-Allahand, M. Azab;Mousa, A.K.
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제9권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.

온칩 테스트 로직을 이용한 TSV 결함 검출 방법 (TSV Defect Detection Method Using On-Chip Testing Logics)

  • 안진호
    • 전기학회논문지
    • /
    • 제63권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.

Fuzzy r-Pre-semineighborhoods and Fuzzy r-Pre-semicontinuous Maps

  • Lee, Seok-Jong;Eoum, Youn-Suk
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제1권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.

  • PDF

색광 부호화와 전연산 후캐리 처리를 이용한 논리 및 산술연산 (Logic/Arithmetic Operation Using Color Light Encoding and Pre-operation Post-carry Processing Methods)

  • 황상현;배장근;김성용;김수중
    • 한국통신학회:학술대회논문집
    • /
    • 한국통신학회 1991년도 추계종합학술발표회논문집
    • /
    • 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.

Cancer Cell Recognition by Fuzzy Logic

  • Na, Cheol-Hun
    • Journal of information and communication convergence engineering
    • /
    • 제9권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.

실생활 속 사례를 통한 알고리즘 학습이 논리적 사고력에 미치는 영향 (The Effect of Algorithm Learning in Real Life Case on Logical Thinking Ability)

  • 김진동;양권우
    • 정보교육학회논문지
    • /
    • 제14권4호
    • /
    • pp.555-560
    • /
    • 2010
  • 본 연구의 목적은 생활 속에서 알고리즘 개념을 포함하는 사례들을 이용한 알고리즘 학습이 초등학생들의 논리적 사고력에 어떤 영향을 미치는가에 대해 알아 보는 것이다. 이를 위해 사전 GALT 검사, 생활 속에서 알고리즘을 지도할 수 있는 사례 선정 및 지도안 작성후 실험처치, 사후 GALT 검사, 그리고 사전, 사후 GALT 검사 결과 간의 대응 표본 t 검증 순으로 실험을 실시하였다. 그 결과 논리적 사고력의 변화 정도와 논리적 사고력을 구성하는 하위 5 개 영역(보존논리, 비례논리, 조합논리, 확률논리, 변인통제논리)의 변화 정도는 유의수준 .05에서 통계적으로 유의미한 결과를 얻었지만 상관논리 변화 정도는 유의 수준 .05에서 통계적으로 유의미한 결과를 얻지 못하였다.

  • PDF

'가깝다'에 관하여

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

  • PDF

Fuzzy Logic을 이용한 영상분할 알고리즘 (Image Segmentation Algorithm with Fuzzy Logic)

  • 이상진;황성훈;려지환;정호선
    • 전자공학회논문지B
    • /
    • 제28B권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.

  • PDF