• 전기전자학회논문지
• /
• 제18권4호
• /
• pp.517-522
• /
• 2014

본 논문은 임의의 네트워크 시간 지연이 존재하는 선형 다개체 시스템의 일치문제를 다룬다. 다개체 시스템의 상태일치를 위한 충분조건은 선형행렬방정식을 이용하여 제공된다. 또한, 제안한 충분조건아래에서 임의의 크기를 갖는 네트워크 지연이 존재하는 경우에도 일치에 도달할 수 있음을 증명한다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 수치 예제를 제공한다.

• 대한교통학회지
• /
• 제28권5호
• /
• pp.131-139
• /
• 2010

통행수단을 선택하는 문제는 기종점간을 운행하는 여러 교통수단 중 어떤 통행수단을 선택할 것인가를 결정하는 것이다. 현재까지 제시된 대부분의 통행수단 관련연구들은 모형의 속성이나 풀이과정, 현실 적용방법들에 관한 것으로서 수단선택시 통행수단간에 존재하는 균형(equilibrium)에 대한 연구는 거의 없는 실정이다. 즉, 통행자가 통행수단을 선택할 때 이들 수단간에 균형이 존재한다는 것으로 이는 마치 통행배정모형(traffic assignment)에서 경로선택(route choice)시 경로들간에 Wardrop의 사용자 균형(user equilibrium)이 존재하는 것처럼, 수단선택시에도 수단간에 균형이 존재할 수 있다는 것이다. 본 연구는 통행수단간에 이런 균형이 존재함을 증명하며, 국가교통DB(KTDB)자료를 이용하여 균형이 존재함을 확인한다. 또한, 본 연구에서 증명한 균형상태의 수단간 선택확률을 구하기 위한 모형과 풀이과정도 제시하는데, 제시하는 모형은 고정점이론(fixed point theorem)에 기초한다. 제시된 모형은 간단한 예제를 통하여 평가하며, 통행수단간 균형상태의 해를 도출하고 있음을 확인한다.

• 정보보호학회논문지
• /
• 제31권5호
• /
• pp.959-972
• /
• 2021

분산 신원증명은 정보주체가 자신의 신원정보를 직접 관리하고, 필요시 제공한다는 자기주권 신원증명의 개념을 기반으로 하고 있다. 하지만, 발급기관으로부터 신원정보를 발급받아 온다는 절차가 필요하고, 발급기관의 관리 소홀로 인한 대량의 정보 유출 우려가 존재한다. 본 논문에서는 정보주체와 발급기관을 일치시켜 1:1 또는 1:N 소규모 그룹에서 참여자들만 신원증명이 가능한 Peer DID 기술을 기반으로 개인 간 분산 신원증명 시스템을 제안한다. 블루투스와 같은 단거리 무선 통신을 이용하여 모바일 디바이스로 직접 연결하고, 정보주체가 직접 자신의 정보를 생성하여 상대방에게 제공하므로 정보의 자기주권을 실현한다. 제안 시스템을 통하여 신원증명 절차를 간소화하고, 보안 및 프라이버시를 개선할 수 있으며, 비용도 절감할 수 있다. 나아가 제안 시스템과 분산 원장을 연결하여 다른 도메인의 이용자와 상호 신원증명 할 수 있도록 확장된 구성도 가능하다. 향후에는 다양한 기술을 기반으로 사람과 사물, 사물과 사물 인증에도 활용할 수 있는 신원증명 시스템에 대한 확장 연구가 필요하다.

• 한국수학사학회지
• /
• 제23권3호
• /
• pp.57-73
• /
• 2010

초월수의 연구는 2000년 이상 수학자들을 괴롭혀 왔던 고대 그리스의 기하학 문제의 하나인 원적문제가 불가능하다는 것을 보여줌으로써 수학사의 중요한 분야임을 입증하였다. Liouville은 1844년에 처음으로 구체적인 초월수의 예를 제시하였고, 칸토어는 1874년에 초월수의 존재성을 증명하였다. Louville 정리는 많은 초월수를 만들어 낼 뿐 아니라 초월수의 존재성을 증명하는데 이용할 수 있다. 1873년에 Hermite가 자연로그의 밑수 e가 초월수임을 보이고, 1882년에 Lindemann이 원주율 $\pi$가 초월수임 증명하였다. 1934년에 Gelfond와 Schneider는 각각 힐버트의 7번째 문제에 대한 서로 다른 완전한 해를 찾았다. 1966년에 Baker는 Gelfond-Schneider 정리의 일반화된 결과를 증명하였다. 이 연구의 목적은 초월수의 개념과 발달과정을 살피고, 미해결 문제를 제시하여 초월수의 연구가 촉진되도록 후학들에게 연구 동기를 부여하고자 한다.

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

최근 사회는 디지털기술을 기반으로 비대면전환이 빠르게 이루어지고 있다. 이에 디지털 신분증과 디지털 신원인증에 대한 관심이 증가하고 있다. 기존 오프라인에서 사용되고 있는 플라스틱 신분증은 분실 및 위·변조의 위험성이 존재한. 또한 현재 온라인에서 널리 사용되고 잇는 신원인증 모델들을 데이터의 주권이 사용자가 아닌 서비스 제공자에게 있다는 문제점이 있다. 위와 같은 문제들을 해결하고 사용자의 신원정보를 효과적으로 관리하기 위해 분산신원증명의 필요성이 제기되었다. 본 논문에서는 분산신원증명의 구조와 서비스 적용 사례에 대해 살펴본다.

• 한국결정성장학회지
• /
• 제2권1호
• /
• pp.70-75
• /
• 1992

강유전 요업체내에 존재하는 잔류응력에 대한 모델이 제시되었다. 모델로부터 다음과 같은 두가기 사실을 알 수 있었다. 첫째 잔류응력은 입계와 분역경계에 존재하며, 입계에 존재하는 응력이 분역경계에 존재하는 응력보다 컸다. 둘째는 입자내에 분역이 존재할 때, 잔류응력은 입자크기가 증가함에 따라 감소했다. 위와 같은 사실은 ($PbZr_{0.4}Ti_{0.6}O_3$)요업체에서 분극에 의해 유발된 미세균열과 입자크기에 따른 승온과 냉각시 유전율차이로부터 증명되었다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2014년도 추계학술대회
• /
• pp.259-260
• /
• 2014

본 논문에서는 영상에 존재하는 운동정보를 이용하여 관심맵을 얻는 방법을 제안한다. 운동의 크기, 방향, 그리고 영상의 색을 이용한다. 이를 이용함으로써 기존의 static image에서 구하는 관심맵보다 향상된 결과를 얻을 수 있다. 실험에서는 다양한 모션이 존재하는 영상을 이용하여 제안방법의 우수성을 증명하였다.

• 정보보호학회지
• /
• 제24권1호
• /
• pp.32-38
• /
• 2014

본 논문은 수년간 급격하게 증가되어 많은 피해를 초래하고 있는 악성코드를 탐지하기 위한 기법을 제안한다. 악성코드 제작자로부터 생산되고 인터넷에 유포되는 대부분의 악성코드는 처음 개발된 제로-데이 악성코드의 코드 일부를 그래도 재사용하는 경우가 많다. 이러한 특징에 의해 악성코드 변종들 사이에는 악의적 행위를 위해 사용되는 함수들 중 공통으로 포함되는 코드들이 존재하게 된다. 논문에 저자는 이점에 착안하여 코드 재사용 검사 여부를 통한 악성코드 변종 탐지 기법을 제안하고 있다. 그리고 변종 샘플을 이용한 변종 탐지의 가능성을 증명하는 실험과 실제 공통으로 존재하는 재사용 코드 일부(함수) 추출 정확성을 알아보는 실험을 수행하여 주장을 뒷받침한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2013년도 추계학술대회
• /
• pp.48-49
• /
• 2013

Saliency는 인간의 시각에서 관심 영역이나 객체를 찾기 위한 기법으로 최근 영상 리타겟팅, 영상분할 등에 다양하게 활용되고 있다. 기존 제안된 방법들을 전체영상을 대상으로 saliency map을 구하게 되어, 복잡한 객체들의 구성, 큰 전경객체들의 존재 등의 경우에는 성능이 저하되는 문제점이 있다. 따라서 본 논문에서는 배경이 존재하는 영상들을 대상으로 기존 방식중의 하나인 histogram based contrast(HBC)을 개선하는 방법을 제안한다. 배경영역의 빈도확률을 HBC에 적용하여 배경에 존재하는 픽셀값의 saliency을 감소하면, 상대적으로 전경에 존재하는 픽셀들의 saliency는 증가하게 된다. 실험에서는 제안한 기법으로 배경의 saliency는 감소하고, 전경객체는 증가하는 것을 증명하였다.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.37-58
• /
• 2011

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.