• Title/Summary/Keyword: 정의신

Search Result 358, Processing Time 0.053 seconds

G$\ddot{o}$del's Mathematical Proof of the Existence of God (신의 존재에 대한 괴델의 수학적 증명)

  • Hyun, Woo-Sik
    • Journal for History of Mathematics
    • /
    • v.23 no.1
    • /
    • pp.79-88
    • /
    • 2010
  • G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.

A Study on Attributes to Define Malware (악성 코드 정의를 위한 속성 연구)

  • Park, Min-Woo;Seo, Sangwook;Chung, Tai-Myoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.11a
    • /
    • pp.982-983
    • /
    • 2011
  • 악성코드의 수가 급격히 늘어나면서, 최근에는 하루에도 수 만개의 신 변종 악성코드가 쏟아져 나온다. 악성코드로 인한 국내 피해를 줄이기 위해 한국인터넷진흥원에서는 신 변종 악성코드를 즉각적으로 분석하고 분석 결과를 공유하기 위해 노력하고 있다. 하지만 악성코드를 정의하고 분류하는 방침에 있어서 표준화된 규칙이 없어 악성 코드 분석 결과를 공유하는 대에 어려움이 따른다. 본 논문에서는 현재의 악성코드 정의 및 분류 방안에 대한 한계점을 개선하기 위해 악성-속성을 규정하고 이를 이용한 악성 코드 정의 및 분류 방안에 대해 제시한다.

시민단체에서 바라본 에너지 상대가격 체계 조기개편의 필요성

  • Park, Yong-Sin
    • LP가스
    • /
    • s.92
    • /
    • pp.39-46
    • /
    • 2004
  • 지난 7월 21일 우운식 의원 주최로 국회도서관 대강당에서 열린 '대기오염저감을 위한 에너지상대가격체계 조개개편 토론회'에서 발제자로 나선 한국환경정책평가연구원 강만옥 연구의원, 환경정의 박용신 국장, 인하대 기계공학부 이대엽 교수의 발제 내용을 본지에 게재한다.

  • PDF

초고집적 소자제조용 감광재료의 특성 및 레지스트 공정

  • Lee, Jae-Sin
    • ETRI Journal
    • /
    • v.11 no.1
    • /
    • pp.123-135
    • /
    • 1989
  • 본 논문에서는 $0.5\mum$의 최소선폭을 가지는 초고집적 소자제조에 필요한 레지스트 재료의 특성 및 레지스트 공정을 살펴보았다. 일반적인 레지스트 특성변수들 중에서 소자의 고집적화에 따라 중요한 미세형상 정의 및 건식식각에 의한 패턴전사에 관련된 변수들을 깊이 살펴보았다. 미세형상 정의에 필요한 레지스트 특성의 한계는 회절에 의한 분해능 한계 이론을 적용하였고, 패턴전사에 필요한 한계는 반응성 이온식각 과정을 고려하여 유추하였다. 마지막으로 굴곡이 있는 기판 상에서의 초미세 형상 정의를 위한 여러가지 레지스트 공정을 간단하게 비교 검토하였다.

  • PDF

Defining an ADL that supports the description of C2 style architectures (C2 스타일의 아키텍쳐 기술을 지원하는 ADL 정의)

  • 노성환;신동익;최재각;전태웅
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10a
    • /
    • pp.373-375
    • /
    • 2001
  • 소프트웨어를 아키텍쳐 수준에서 정확하고 엄밀하게 설계, 분석하는 것이 점차 중요해짐에 따라 사용이 쉬우면서 기술적으로 성숙된 아키텍쳐 기술언어(ADL Architecture Description Language)의 필요성이 커지고 있다. 본 논문에서는 컴포넌트 기반의 도메인 아키텍쳐 모델링 시 C2 스타일의 아키텍쳐 기술을 지원하는 ADL을 정의한다. 본 논문에서 정의한 ADL은 자바(Java)와 유사한 구문으로 컴포넌트 명세와 아키텍쳐 명세를 분리하여 기술할 수 있는 표기 형식을 제공한다.

  • PDF

자기조합형 세리신-PEG 나노입자의 합성과 특성

  • 조광용;문재유;김진국;정의수;엄상영;이용우;이광길;여주홍;조종수
    • Journal of the Society of Cosmetic Scientists of Korea
    • /
    • v.28 no.1
    • /
    • pp.116-134
    • /
    • 2002
  • 세리신은 누에고치의 고치실에서 추출되는 천연 단백질로서 많은 수산화기를 가지고 있어 뛰어난 보습성을 가진다. 이에 화장품에의 응용이 기대되나, 물에 잘 녹지 않는 특성을 가지고 있어서 화장품 원료로 사용하기에 어렵다는 단점이 있다. 본 연구에서는 친양쪽성 화합물인 poly(ethylene glycol)(PEG)을 세리신에 도입하여 수용성이며 자기조합형(self-assembled) 세리신-PEG 결합체를 합성하였다. 세리신내의 tyrosine 잔기의 방향 족 수산화기가 반응사이트임을 $^1$H-NMR 분석으로 알 수 있었으며, IR과 CD 측정으로 PEG 사슬의 도입으로 세리신의 구조가 불규칙한 coil구조에서 $\beta$-sheet구조로 구조적 변화가 일어남을 알 수 있었다. 또한 DSC 분석에서 세리신-PEG결합이후 각각의 녹는점이 떨어지는 것을 확인하여 상호 결정성에 영향을 주는 것을 확인하였다. 세리신-PEG 결합체는 자기조합하여 소수성 상호작용을 통해 200-400nm의 구형 나노입자를 이루며 투석방법을 통하여 얻을 수 있었다. 또한, 세리신-PEG 나노입자는 세리신자체보다 더 높은 보습력을 가지는 것을 확인하였다. 세리신-PEG 결합체의 cytotoxicity는 MTT assay에 의해 독성이 없음을 확인하였으며, 동물실험에 의한 독성도 전혀 나타내지 않음을 알 수있었다. 나노입자의 특성과 세리신의 보습성, 세리신-PEG의 친양쪽성 특성으로 세리신-PEG결합체 나노입자는 그 자체로도 원료로 사용 될 수 있을 뿐 아니라 생리 활성성분의 운반체로의 개발이 기대되어 진다.

Sufficient conditions for the oracle property in penalized linear regression (선형 회귀모형에서 벌점 추정량의 신의 성질에 대한 충분조건)

  • Kwon, Sunghoon;Moon, Hyeseong;Chang, Jaeho;Lee, Sangin
    • The Korean Journal of Applied Statistics
    • /
    • v.34 no.2
    • /
    • pp.279-293
    • /
    • 2021
  • In this paper, we introduce how to construct sufficient conditions for the oracle property in penalized linear regression model. We give formal definitions of the oracle estimator, penalized estimator, oracle penalized estimator, and the oracle property of the oracle estimator. Based on the definitions, we present a unified way of constructing optimality conditions for the oracle property and sufficient conditions for the optimality conditions that covers most of the existing penalties. In addition, we present an illustrative example and results from the numerical study.

The XML-based Client-Server Message Definition System for Massively Multi-player Online Games (대규모 온라인 게임을 위한 XML 기반의 클라이언트-서버 메시지 정의 시스템)

  • 박학봉;신지원;오삼권
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10b
    • /
    • pp.322-324
    • /
    • 2003
  • MMORPG(Massively Multi-player Online Role Playing Games)와 같은 클라이언트-서버 기반의 대규모 온라인 게임은 정보 전송을 위한 많은 메시지들을 정의하여 사용한다. 그러나 게임의 기획이나 내용 및 기타 게임 요소들이 변경되면 개발자들은 메시지를 추가하거나 변경하는 문서를 작성해야 하고 작성된 문서에 근거하여 프로그램의 수정작업을 수행해야 한다. 본 논문에서는 대규모 온라인 게임의 내용확장성으로 인해 지속적으로 반복되는 메시지의 추가 및 변경 작업을 용이하게 해주는 XML 기반의 메시지 정의 시스템을 제안한다. 제안된 시스템은 메시지 정의에 있어서 데이터의 구조 표현과 내용 표현이 동시에 가능한 XML을 이용했으므로 다양한 형식 (format)의 메시지를 정의할 수 있으며, 대규모 온라인 게임뿐만 아니라 클라이언트-서버 기반의 일반 통신 응용 프로그램에도 사용할 수 있다.

  • PDF