• 한국수학사학회지
• /
• 제23권1호
• /
• pp.79-88
• /
• 2010

괴델에 의하면, 모든 긍정성을 가진 존재를 신으로 정의할 때 신의 존재에 대한 수학적 증명은 가능하다. 신의 정의를 만족하는 대상이 존재가능하다면, 그 대상은 필연적으로 존재한다. 이를 위해서 그는 세 개의 정의와 다섯 개의 공리와 두개의 정리를 남겼고, 2차 양상논리 시스템 $S_5$과 공리 ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$를 사용했다.

• 정보보호학회논문지
• /
• 제14권4호
• /
• pp.49-59
• /
• 2004

공개되지 않은 함수에 대한 입력과 그에 따른 출력을 이용하여 그 함수와 같은 입출력을 가지는 부울함수표현을 찾아내는 것이 부울함수 합성문제이다. 전자공학 및 암호학 분야에서는 이 문제가 수리계획법의 한 부류인 0-1 integer programming 문제로 귀결되며, 본 논문에서는 부울함수 합성문제를 해결하는 하나의 예로 DES 의 비공개 논리인 입력 6비트, 출력 4비트의 S-box에 대한 부울함수표현을 찾는다. 이러한 결과는 임의의 함수에 대한 효율적인 하드웨어 구현과 블록암호 알고리즘의 대수적 구조를 이용한 암호분석기법에 이용될 수 있다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2003년도 가을 학술발표회 논문집
• /
• pp.227-234
• /
• 2003

This study presents the stress evaluation equations of circular column-box beam connection in steel frame piers. FEM analysis were carried out for circular column-box beam connection. Analysis models were made for design parameters such as joint angle, span length-width ratio(L/B), sectional-area ratio(S=A/sub w/A/sub f/), and circular column-box beam stiffness ratio(Ic/Ib). Analysis results were compared to the existing equation. Based on analysis results the stress evaluation equations of circular column-box beam connection are proposed by regression analysis.

• 인문언어
• /
• 제1권1호
• /
• pp.159-183
• /
• 2001

This paper surveys the meaning of the pen name ′Yi Sang(李箱)′ in the light of the arbitariness of language and the relationship among names, observing in three ways how the images of ′Sang′ (Box) appear differently in his works. In Particular, we look into (1) the relationship between a box and its inner boxes, (2) the divisional relationship in the box, and (3) the relationship between the box and an outer box. In Yi Sang′s work, image (1) gives shape to the relationship between the writer himself and his ancestors who are responsible for his present existence. Image (2) gives shape to two internally divided Yi Sangs, and is symbolized as a mirror that reflects two selves. Image (3) gives shape to a relationship between himself in the closed world and other people and/or a bigger outside world. All these symbolic relationships are fully represented in his work "Nalgae" (The Wing)". What is interesting is that Yi Sang has already employed these box images in his earlier poetry "Geonchuk-muhan-yukmyeon-gaucho" (Infinite Architectural Hexagon). furthermore, by visualizing his name as a sqaure($\square$), he means to suggest the intentional image of his pen name as a ′box′.

• Mycobiology
• /
• 제39권4호
• /
• pp.243-248
• /
• 2011

The ubiquitin-proteasome system is one of the major protein turnover mechanisms that plays important roles in the regulation of a variety of cellular functions. It is composed of E1 (ubiquitin-activating enzyme), E2 (ubiquitin-conjugating enzyme), and E3 ubiquitin ligases that transfer ubiquitin to the substrates that are subjected to degradation in the 26S proteasome. The Skp1, Cullin, F-box protein (SCF) E3 ligases are the largest E3 gene family, in which the F-box protein is the key component to determine substrate specificity. Although the SCF E3 ligase and its F-box proteins have been extensively studied in the model yeast Saccharomyces cerevisiae, only limited studies have been reported on the role of F-box proteins in other fungi. Recently, a number of studies revealed that F-box proteins are required for fungal pathogenicity. In this communication, we review the current understanding of F-box proteins in pathogenic fungi.

• 비교문화연구
• /
• 제36권
• /
• pp.97-122
• /
• 2014

During the Edo-period [江戶時代 1603-1867], Japan accepted the modern western science and culture while trading with Holland since 1609, and also through the influx of optical instruments in the $18^{th}$ century the culture of viewing pictures began to be developed. Especially, the peep-boxes and their pictures had been imported from China and Holland since the mid 1750s when they were flourished. The peep-box was rapidly and widely spread. Soon after, the peep-boxes and pictures had begun to be produced in Japan (megane [眼鏡] and megane-e [眼鏡繪]) since 1770s when the early visual culture settled down in Kyoto and Tokyo etc. The visual culture developed with the peep-box contains two remarkable factors in the cultural history of the $18^{th}$ century Japan. First, the peep-boxes became the popular device of visual entertainment, and opened the first phase of the modern visual culture before the advent of photography and cinema in the mid and end of the $19^{th}$ century. Secondly, the peep-box played a role of an educative media as a 'window to the unknown world' in the $18^{th}$ century Japan, by showing various pictures of many European cities. Through the peep-box pictures the 'western images' were spread and knowledges of Japanese about the west increased, although they were recognized just as 'Holland's images' without differentiation in each country.

• 한국인터넷방송통신학회논문지
• /
• 제21권2호
• /
• pp.1-6
• /
• 2021

본 논문에서는 C# 언어를 이용하여 CCTV 영상보안 시스템의 효율적인 구현을 제안한다. 제안한 방법에서는 AES 알고리듬의 각 라운드 과정에서 요구되는 지연시간의 최소화를 위한 합성체 기반의 S-Box를 설계하고, 이를 기반으로 한 영상보안 시스템을 GF(((22)2)2) 상에서 구현한다. 또한, 메모리 공간의 최소화를 위해서 각 라운드 변환 및 키 스케쥴링 과정에서 필요한 S-Box를 공동으로 사용하도록 설계한다. 성능평가를 통하여 기존의 방법 보다 제안한 방법이 보다 효율적임을 확인하였다. 제안한 CCTV 영상보안 시스템은 Visual Studio 2010을 사용하여 C# 언어로 구현하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2013년도 춘계학술대회 논문집
• /
• pp.1261-1262
• /
• 2013

• 정보보호학회논문지
• /
• 제8권3호
• /
• pp.17-26
• /
• 1998

본 논문에서는 DES(Data EncryptionStandard)시스템에서의 핵심부분에 해당되는f 함수에 대한 비선형 해석을 다룬다. 먼저 S-box의 입출력 형태를 비션형 결합함수 형태로 구성하여 f 함수에 대한 또 다른 형태의 분석방식을 제시한다. 이러한 분석방법은 DES뿐만 아니라 블록 암호시스템의 안전성 문제를 분석할 수 있으며, 또한 보다 안전한 블록암호 시스템을 제안하기 위한 기초자료로 사용될수 있을 것이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 추계학술대회
• /
• pp.627-628
• /
• 2010

2002년 S.Chow는 AES 암호 알고리즘을 화이트박스 공격에 강하게 구현하는 방법으로 화이트박스 AES(이하 WBC-AES) 암호를 제안하였다. 본 논문에서는 S.Chow가 제안한 WBC-AES에 대한 설명과 함께 이를 이용하여 콘텐츠를 보호하기 위한 방법에 관하여 기술하고자 한다.