• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(4)
• /
• pp.300-305
• /
• 1996

격납건물용 콘크리트는 그 배합이 변경될 때마다 장기거동 특성시험 (크립, 건조수축, 탄성계수, 포아슨비, 열팽창계수 등)을 수행하여 그 시험결과를 설계회사가 텐돈의 인장 작업전까지 검토하게 되어 있으나, 이 중 크립(Creep)시험은 특성상 장기간이 소요되는 관계로 적시에 시험결과를 제공할 수 없는 경우가 종종 발생한다. 본 연구에서는 이 경우 유사한 배합비를 가진 콘크리트와의 물성치 대비 및 크립 변형율의 예측을 통하여 실험치가 허용치 이내에 드는 가를 분석하므로써, 사용된 콘크리트의 크립거동에 대한 안정성을 검토하였다.

• 논리연구
• /
• 제15권1호
• /
• pp.1-16
• /
• 2012

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 이를 위한 한 예로 UL을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 UL 채계를 소개하고 그에 상응하는 UL-대수를 정의한 후 UL이 대수적으로 완전하다는 것을 보인다. 다음으로 UL을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제21권1호
• /
• pp.39-57
• /
• 2018

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 비대수적 크립키형 의미론 즉 집합 이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 우리는 가-유니놈에 기반한 퍼지 논리 HpsUL의 한 확장 체계인 $CnHpsUL^*$을 소개한다. 다음으로 CnHpsUL*을 위한 집합 이론적 크립키형 의미론을 소개한다.

• 논리연구
• /
• 제17권3호
• /
• pp.441-461
• /
• 2014

이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.

• 논리연구
• /
• 제17권1호
• /
• pp.181-196
• /
• 2014

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제9권1호
• /
• pp.97-136
• /
• 2006

비트겐슈타인의 규칙따르기 개념에 대한 올바른 이해는 그의 후기 철학의 궤적을 살피는데 있어서 중요하다. 비트겐슈타인의 규칙따르기 문제에 대해 회의적 해석으로 유명한 크립키는 "탐구"의 201절을 문제 삼으며 '역설'의 문제를 새로운 형식의 철학적 회의주의로 간주했다. 본 논문은 규칙의 역설에 대한 크립키의 논증이 비트겐슈타인의 관점과 무엇 때문에 충돌하는지를 밝히면서 그와 함께 비트겐슈타인이 '규칙의 역설'을 제시한 궁극적 이유를 규명하는데 있다. 규칙의 역설에 대한 크립키 논증의 의의와 한계를 비판적으로 다룸으로서 필자는 다음과 같은 점을 주장할 것이다. 비트겐슈타인에게 있어서 규칙은 우리들의 행동을 이끄는 지침의 역할을 하며, 규칙의 문제를 추론과 연관시켜 수학이 엄격한 규칙을 따르는 인간의 지적 활동이며, 규칙에 대한 비트겐슈타인의 관점은 귀납적 회의주의와 무관하다. 이런 맥락에서 비트겐슈타인을 회의주의자 혹은 상대주의자로 평가하는 것은 문제가 있다. 그런 점에서 비트겐슈타인은 오히려 어떤 이론이나 선입견에 사로잡히지 않은 봄의 방식을 강조한 철학자로 평가하는 것이 옳다.

• 논리연구
• /
• 제22권2호
• /
• pp.291-307
• /
• 2019

이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 집합 이론적인 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계와 그에 상응하는 크립키형 의미론을 소개한다. 다음으로 FR을 위한 집합 이론적 완전성 결과를 제공한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.298-301
• /
• 2024

클라우드 환경에서 컨테이너 사용이 증가하면서 컨테이너 환경을 대상으로 하는 여러 보안 위협이 증가하고 있다. 대표적인 악성 컨테이너는 크립토재킹 컨테이너로, 인스턴스 소유자의 승인 없이 리소스를 탈취하여 암호화폐를 채굴하는 공격이다. 이러한 공격은 리소스 낭비를 초래할 뿐 아니라 자원을 공유하는 정상 컨테이너나 호스트 인프라에까지도 영향을 미칠 수 있다. 따라서 본 논문에서는 크립토재킹 컨테이너를 탐지하기 위한 앙상블 기반의 크립토재킹 컨테이너 탐지 프레임워크 설계를 제안한다. 또한, 앙상블 모델 학습을 위한 데이터 수집에 있어 크립토재킹 컨테이너의 동적 특징을 나타내는 시스템 콜 및 네트워크 플로우 기반의 특성 활용 가능성을 사례 연구를 통해 분석하였다.

• 한국전산구조공학회논문집
• /
• 제17권4호
• /
• pp.413-421
• /
• 2004

본 논문에서는 깊은 지하 500m에 처분된 가압경수로(PWR) 고준위폐기물 처분용기에 지하수압과 벤토나이트 팽윤압이 가해지는 동안 처분용기에 발생하는 크립변형을 예측하기 위하여 처분용기에 대한 구조해석을 수행하였다. 보통 이러한 크립변형은 처분용기에 추가적인 외력이 작용하지 않더라도 처분용기에 작용하는 압력과 내부의 높은 열에 의하여 발생될 수 있다. 처분용 기내부의 열분포의 복잡성 덴 시간의존성으로 인하여 일단 외부 지하수압 및 팽윤압만 고려하여 크립해석을 수행하였다. 이를 위하여 적당한 크립함수를 사용하였으며, 해석은 1억$(10^8)$초 동안 수행하였다. 해석결과 1억초 동안 발생하는 크립 변형률은 매우 작으며 주희 처분용기의 위아래 덮개에 발생함을 알 수 있었다. 그러나 처분용기의 구조강도에 중요한 내부 주철삽입물에는 훨씬 더 작은 미소한 변형률만 발생하여 처분용기에 발생하는 크립변형은 처분용기의 구조적인 안전성에는 큰 영향을 미치지 않음을 알 수 있었다. 해석 초기에 처분용기 내에 급격히 응력이 증가하여 최고치에 도달한 후 잠깐동안 이 응력 값을 유지하다가 그 이 후에는 급격히 응력 값이 감소하는 응력이완현상을 보이고 있기 때문에 발생 응력 측면에서도 전혀 처분용기의 구조적인 안전성에 문제가 없음이 확인되었다.

• 대한환경공학회지
• /
• 제29권5호
• /
• pp.533-539
• /
• 2007

본 연구에서는 염소, 오존, UV에 의한 크립토스포리디움의 불활성화정도를 평가하기 위해 HCT-8세포를 사용하는 세포배양법과 최적확수기법을 결합하였다. 이 방법은 크립토스포리디움 감염성을 평가하는데 있어 "gold standard"라고 여겨지는 동물감염성 실험 만큼이나 민감하였고 소독제에 의한 크립토스포리디움의 불활성화를 측정할 수 있는 유용한 방법이었다. 실험실규모의 연구결과, $5^{\circ}C$, pH 7.0 조건에서 크립토스포리움을 약 1 log 불활성화시키기위한 염소와 오존 CT값은 각각 $1,250mg{\cdot}min/L,\;16mg{\cdot}min/L$ 이었다. 이는 오존을 사용하여 소독하였을 때 조차도 낮은 온도에서는 크립토스포리디움을 불활성화시키기 어렵다는 것을 보여주는 것이다. 염소와 오존과는 달리 UV는 온도에 상관없이 크립토스포리디움을 불활성화시키기에 매우 효과적이어서 UV가 2 $mJ/cm^2$ 조사되었을 때 크립토스포리디움이 3 log 이상 불활성화되었다.