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

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

• 식품과학과 산업
• /
• 제43권2호
• /
• pp.79-82
• /
• 2010

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.982-983
• /
• 2011

악성코드의 수가 급격히 늘어나면서, 최근에는 하루에도 수 만개의 신 변종 악성코드가 쏟아져 나온다. 악성코드로 인한 국내 피해를 줄이기 위해 한국인터넷진흥원에서는 신 변종 악성코드를 즉각적으로 분석하고 분석 결과를 공유하기 위해 노력하고 있다. 하지만 악성코드를 정의하고 분류하는 방침에 있어서 표준화된 규칙이 없어 악성 코드 분석 결과를 공유하는 대에 어려움이 따른다. 본 논문에서는 현재의 악성코드 정의 및 분류 방안에 대한 한계점을 개선하기 위해 악성-속성을 규정하고 이를 이용한 악성 코드 정의 및 분류 방안에 대해 제시한다.

• LP가스
• /
• 통권92호
• /
• pp.39-46
• /
• 2004

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

• ETRI Journal
• /
• 제11권1호
• /
• pp.123-135
• /
• 1989

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.373-375
• /
• 2001

소프트웨어를 아키텍쳐 수준에서 정확하고 엄밀하게 설계, 분석하는 것이 점차 중요해짐에 따라 사용이 쉬우면서 기술적으로 성숙된 아키텍쳐 기술언어(ADL Architecture Description Language)의 필요성이 커지고 있다. 본 논문에서는 컴포넌트 기반의 도메인 아키텍쳐 모델링 시 C2 스타일의 아키텍쳐 기술을 지원하는 ADL을 정의한다. 본 논문에서 정의한 ADL은 자바(Java)와 유사한 구문으로 컴포넌트 명세와 아키텍쳐 명세를 분리하여 기술할 수 있는 표기 형식을 제공한다.

• 건설관리
• /
• 제1권3호
• /
• pp.31-35
• /
• 2000

• 대한화장품학회지
• /
• 제28권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결합체 나노입자는 그 자체로도 원료로 사용 될 수 있을 뿐 아니라 생리 활성성분의 운반체로의 개발이 기대되어 진다.

• 응용통계연구
• /
• 제34권2호
• /
• pp.279-293
• /
• 2021

본 논문은 선형 회귀모형에서 벌점 추정량의 신의 성질에 대한 충분조건을 구성하는 방법을 소개하였다. 신의 추정량, 벌점 추정량, 신의 벌점 추정량, 신의 성질을 명확히 정의하였으며 이를 바탕으로 신의 성질에 대한 최적조건과 최적조건에 대한 충분조건을 구성하는 방법을 대부분의 벌점함수에 적용 가능하도록 하나의 통합된 원리로 소개하였다. 추가로 신의 성질에 대한 이해를 돕기 위해 간단한 예제와 함께 가상실험 결과를 첨부하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.322-324
• /
• 2003

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