• 제목/요약/키워드: 누승

검색결과 18건 처리시간 0.03초

N-멱등 공리를 갖는 누승적 미카놈 논리 (Involutive Micanorm Logics with the n-potency axiom)

  • 양은석
    • 논리연구
    • /
    • 제20권2호
    • /
    • pp.273-292
    • /
    • 2017
  • 이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계를 다룬다. 보다 구체적으로, 먼저 누승적 미아놈에 바탕을 두 논리 체계 $P_nIMIAL$, $FP_nIMIAL$을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 $FP_nIMICAL$가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

  • PDF

누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 (Some axiomatic extensions of the involutive mianorm Logic IMIAL)

  • 양은석
    • 논리연구
    • /
    • 제20권3호
    • /
    • pp.313-333
    • /
    • 2017
  • 이 글에서 우리는 누승적 미아놈 논리 IMIAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미아놈에 바탕을 둔 일곱 개의 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 네 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

  • PDF

누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 (Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL)

  • 양은석
    • 논리연구
    • /
    • 제18권2호
    • /
    • pp.197-215
    • /
    • 2015
  • 이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계의 표준 완전성을 다룬다. 이를 위하여, 먼저 누승적 미카놈에 바탕을 둔 네 논리 체계를 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 두 체계가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

  • PDF

누승적 멱등 유니놈 논리와 선표성 (Involutive Idempotent Uninorm Logics and Pretabularity)

  • 양은석
    • 논리연구
    • /
    • 제22권3호
    • /
    • pp.397-415
    • /
    • 2019
  • 이 글에서 우리는 퍼지 논리의 선표성 성질을 다룬다. 이를 위하여 먼저 누승적 멱등 유니놈 논리 IdIUL과 IUML 체계를 소개하고 IdIUL 체계와 우리에게 이미 알려진 $RM^T$ 체계의 관계를 다룬다. 다음으로 IUML은 선표성을 만족하지만 IdIUL은 그렇지 않다는 것을 보인다.

STROMGREN 구가 ALFVEN파 항성풍을 가진 32 Cyg의 선윤곽에 미치는 효과 (EFFECTS OF STR MGREN SPHERE ON LINE PROFILES OF 32 CYG WITH ALFV N WAVES DRIVEN WIND)

  • 김경미;최규홍
    • Journal of Astronomy and Space Sciences
    • /
    • 제15권1호
    • /
    • pp.101-110
    • /
    • 1998
  • 32Cyg의 B형 별 주위에 형성된 $str{\"{o}}mgren$ 구를 가정하고 공전궤도위상 0.06과 0.78에서 이론적인 선 윤곽을 계산하였다. 항성 풍의 속도분포에 따라 alfv n 파 모형의 선윤곽이 누승 함수의 속도 분포를 이용한 모형의 선 윤곽 보다 전체적으로 낮은 세기를 보였다. HII 모형은 HII 영역이 없는 경우보다 약한 선 윤곽을 보였으나 $\phi$ = 0.06에서는 HII 영역이 없는 모형이 HII 영역을 가진 모형에 비해 단지 적색편이 쪽에서만 약간의 차이를 보였다. 한편 $\phi$ = 0.79에서 HII 영역을 가진 $Alfv{\'{e}}n$ 파 모형의 선 윤곽은 적색편이와 청색 편이 쪽에서 각각 다른 속도기울기의 누승 함수 모형으로써 나타낼 수 있었다. 이는 급격한 초기 속도 기울기를 고려하여 2개의 가속영역을 가진 누승 함수 모형이라면 항성 풍의 가속과정을 고려하지 않음으로써 생기는 오차를 줄일 수 있음을 의미한다.의미한다.

  • PDF

곱셈기가 필요없는 2의 누승 계수를 사용한 프로그램 가능한 FIR필터의 구현 (Implementation of Programmable Multiplierless FIR Filters with Powers-of-Two Coefficients)

  • 오우진;이용훈
    • 한국통신학회논문지
    • /
    • 제19권11호
    • /
    • pp.2249-2254
    • /
    • 1994
  • 본 논문에서는 계수가 2의 누승으로 표현되는 프로그램 가능한 FIR 필터 (2PFIR 필터)를 구현할 때 유용한 성질을 구했다. 특히 2PFIR 필터의 계수가 갖는 2의 수능 값이 M ternary의 canonical signed digit (CSD) 코드로 표현되면 ternary 값을 M개보다 적은 {0, 1, 2, $\cdots$, M-1}의 부분집합에서 선택해도 같은 결과가 얻어진다는 사실을 보였다. 따라서 프로그램 가능한 2PFIR 필터의 쉬프터 길이가 M보다 작아지므로 훨씬 효율적으로 구현할 수 있다. 또한 본 논문에서는 몇 가지 실험 결과를 통해 2PFIR 필터의 쉬프터 길이를 추가적으로 감축할 수 있음을 보였다.

  • PDF

GF($2^m$) 상의 누승 및 역원을 구하는 방법에 관한 연구 (A Study on a Method for Computing the Powers and Inverses in GF($2^m$))

  • 박용준;강성수;김홍수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
    • /
    • pp.1191-1194
    • /
    • 1987
  • This paper presents a method for computing the powers and inverse of an element in GF($2^m$). This method is based on the squaring algorithm $A^2=\sum\limits_{i=0}^{2m-2}P_i$, where $Pi={\alpha}_{i/2}$ if i is even, Pi=0 otherwise, derived from the multiplication algorithm for two elements in GF($2^m$). The powers and inverses in GF($2^m$) for m=2, 3, 4,5 were obtained using computer program, and used in circuit realization of Galois switching function. The squaring and inverse generating circuits are also shown.

  • PDF

함수구배재료에서 천이탄성동적모드 III 균열전파 (Transient Elastodynamic Mode III Crack Growth in Functionally Graded Materials)

  • 이광호
    • 대한기계학회논문집A
    • /
    • 제34권7호
    • /
    • pp.851-858
    • /
    • 2010
  • 함수구배재료에서 구배방향을 따라 전파하는 천이모드 III 균열에 대한 일반적인 탄성해를 근접해법으로 얻었다. 함수구배재료의 전단계수 및 밀도는 구배방향을 따라 지수형적으로 변화한다고 가정하였다. 균열선단의 응력과 변위장은 응력확대계수 및 균열선단속도의 시간변화율에 의존하는 계수들을 갖는 방사상 좌표계의 누승으로 얻었다. 비균질성과 천이계수들이 응력 및 변위장의 고차항에 미치는 영향에 대하여 토론하였다.

강우시 농지-임야지역으로부터 발생하는 오염부하량 분석 (Analysis of Pollutant Loads of Rainfall Runoff From Agricultural-Forestry)

  • 여중현;김건하;서정무
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2004년도 학술발표회
    • /
    • pp.888-892
    • /
    • 2004
  • 농지, 임야지역에서의 강우유출수 수질의 파악은 수자원 수질관리에 있어서 바탕수질(Background water quality)이기 때문에 물관리에 있어 매우 중요한다. 본 연구는 농지와 임야가 혼합된 도시외곽지역에서 강우시에 발생하는 강우유출수의 수질 및 오염부하량에 대하여 유역특성이 다른 두 지역에서 분석을 실시하였다. 연구 대상 유역은 임야와 농경지가 주를 이루는 지역으로 농지의 비율이 자자 $0.4\%$$35.9\%$인 유역이다. 측정은 건기에서부터 강우기 때까지 각 유역 당 10개의 강우 사상에 대하여 실시하였다. 측정 대상 항목으로는 pH, SS, TCOD, SCOD, BOD, TP, TN, $NH_3-N$, $NO_3-N$, $PO_4-P$, Total coliform, Escherchia Coli를 측정하였고, pollutograph, loadgraph을 작성하였다. 분석 결과 농지의 비율이 큰 유역에서 발생하는 오염부하량이 모든 수질 항목에서 높게 나타났으며, SS, 유기물, 미생물 항목에서 초기강우세척철상(first flush)을 보이고 있었다. 또한 측정 자료에 내한 동계분석결과 SS항목과 유기물 항목은 높은 상관관계를 나타내고 있었으며, 강우에 따른 오염부하량은 누승함수, 2차함수의 형태로 증가하였다.

  • PDF