• 한국컴퓨터정보학회논문지
• /
• 제19권8호
• /
• pp.55-62
• /
• 2014

게임이론을 적용하여 에너지 효율적인 전송률 스케줄링 방안을 제안한다. 먼저, 개별 단말의 효용함수를 정의하고, 효용함수를 최적화하도록 에너지를 결정하는 비협력적 전송률 게임을 모델링한다. 여기서, 효용함수는 개별 단말이 데이터 전송시 소모하는 전송 에너지이다. 특히, 개별 단말의 효용함수가 Convex 함수임을 이용하여 에너지 효율적인 전송률 스케줄링 문제가 나쉬 평형이 존재함을 증명하고, 이를 기반으로 비협력적 스케줄링 알고리즘을 제안한다. 또한, 에너지 효율의 개선을 위해서 개별 단말의 효용함수의 합을 최적화하는 협력적 스케줄링 알고리즘도 제안한다. 성능 분석을 위하여 비협력적 알고리즘과 협력적 알고리즘의 수렴도 결과와 에너지 효율성 결과를 제시한다.

• Communications for Statistical Applications and Methods
• /
• 제16권2호
• /
• pp.299-308
• /
• 2009

실험을 시행하는 경우 모형과 수반하는 가정들이 가지고 있는 불확실성 때문에 하나의 목적만 가지고 실험을 수행하는 경우는 거의 없다. 문헌에서는 이러한 문제를 해결하기 위한 3가지 방법이 존재한다. 최대-최소법, 복합실험법 그리고 제약실험법이 그것이다. 복합실험법과 제약실험법의 동격성이 Cook과 Wong(1994)의 논문에 의해 증명된 이래로 많은 수많은 제약실험법의 방법들이 제안되었지만 모두 복합실험법의 근사알고리즘에 기초하였다. 따라서 본 논문에서는 제약실험법하에서의 정확알고리즘을 제안하여 실제적인 실험환경하에서 도움을 주고자 하였다. 이러한 과정에서 본 논문에서는 다른 형태의 제약실험법의 형태를 제안하였으며 부산물로 비 타당성의 문제를 볼 수 있는 그림을 첨부하였다.

• 융합보안논문지
• /
• 제7권3호
• /
• pp.61-70
• /
• 2007

Windows 운영체제는 응용프로그램이 쉽고 편리하게 다양한 암호화 알고리즘을 사용할 수 있도록 CSPs(Cryptographic Service Providers)를 제공하고 있으며, 이 응용프로그램은 CryptoAPI(Cryptographic Application Program Interface)를 통하여 선택적으로 다양한 CSP 모듈을 이용할 수 있다. 이 때 CryptoAPI와 CSP 모듈 사이에서 함수로 전달되는 파라미터의 분석을 방지하기 위해 핸들을 이용한 안전한 데이터 접근 방식을 사용하고 있다. 본 논문에서는 새롭게 제시한 메모리 역추적 기법을 통해 위와 같은 보안기법에서도 개인키/비밀키와 같은 중요한 데이터가 노출되는 취약점이 존재한다는 것을 실험을 통해 증명하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2002년도 추계정기학술대회
• /
• pp.553-561
• /
• 2002

최근에 휴대 단말기를 이용한 무선 인터넷이 급속도로 발전하고 있으며, 이에 기업의 전자상거래 환경도 무선 인터넷 환경으로 옮겨가고 있는 추세이며, 또한 그 응용 범위를 넓히기 위한 연구들도 많이 수행되고 있다. 그러한 연구 중 사용자의 편의성 및 경제성을 제공하기 위한 연구로서 무선 환경 하에서의 이동 에이전트를 이용한 자동협상 시스템의 필요성이 대두되고 있다. 그러나 좁은 대역폭과 휴대 단말기의 제한된 자원과 같은 무선 단말기의 특성 때문에 기존의 에이전트를 기반으로 하는 자동 협상 시스템을 무선 환경 하에서 적용하여 사용하는 데는 많은 어려움이 존재한다. 본 논문에서는 기존의 에이전트 기반 협상 시스템을 무선 환경 하에서 협상을 수행할 수 있도록 확장한 ENS(Extended Negotiation System 을 제안한다. 본 논문에서 제시한 ENS은 기존의 협상 전략을 포함하여 무선 환경 하에서 이용할 수 있도록 하였으며, 무선 환경의 구매자가 무선 단말기를 장시간 이용함으로써 부담해야 하는 경제적, 시간적 비용을 감소시키기 위하여 좀 더 효율적으로 자동 협상을 수행하는 구매 에이전트를 설계, 구현하였다. 또한 본 논문에서 제안한 협상 엔진은 협상을 수행하는데 핵심적이 역할을 수행하며, 빠른 시간 내에 제안을 생성하고, 탐색 공간을 축소함으로써 좀더 효율적으로 협상을 수행하도록 인공 지능 분야의 여러 문제들에 대해 그 효율성이 증명된 CSP 기법을 사용한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2011년도 학술발표회
• /
• pp.101-105
• /
• 2011

공유하천의 물 배분문제는 이해당사자간 입장차이가 뚜렷하여 일관된 해결책을 찾기가 어려운 과제이다. 따라서 문제해결을 위한 접근방법이나 적용하고자 하는 논리와 원칙이 일방적일 수 있으며, 연안국가간 서로 상반되는 논리를 주장하는 것이 대부분이다. 즉 어떤 국가든 자기에게 가장 유리한 입장을 취하게 되며 상대방의 주장에 동조하는 자세는 자국 내에서 큰 비판에 직면할 수 있다는 정치적 부담이 있다. 결국 각각의 연안국가들은 자기에게 가장 유리한 이론과 논리를 내세우게 되며 타협과 협력에 도달하기 위해서는 수문, 기상, 사회, 문화, 경제 및 정치적 문제를 극복해야 한다. 본 연구에서는 남북공유하천의 공평하고 합리적인 이용방법을 제시하기 위하여 이해관계가 복잡한 하류유역의 수리권을 추정하였다. 이를 위해 국제 공유하천에서 수리권 배분을 위한 표준화된 법칙이 없으므로 과거 사례 분석을 통해 해석방법을 찾고자 하였다. 아울러 현재 남북공유하천의 문제점을 진단하고 국제사례를 통해 하류국가인 남한지역에 기득수리권이 존재함을 증명하고자 하였다. 또한 수리권 배분(북한의 임남댐 보장방류량)을 위해 국제적으로 적용된 사례와 이의 평가기준 등을 고려하여 남북공유하천에 적용하고자 하였다.

• 한국통신학회논문지
• /
• 제31권4C호
• /
• pp.381-390
• /
• 2006

본 논문에서는 비 교정 영상에서 3장의 평면 패턴 영상들을 위치시켜, 한 장의 영상으로 찍어 얻은 영상으로부터 이들 평면 패턴 영상 간에 호모그래피(homography)로 카메라 교정을 하는 새로운 기법이 제안된다. 비교정 영상에서 3차원 재구성을 하려면 카메라 교정이 필수적이다. 제안된 방법은 대상 영상내에 존재하는 패턴 영상 간에 호모그래피를 계산함으로써, 3차원 재구성 시, 보다 쉽고 간단히 구현한다. 실험 결과는 제안된 방법(한 장내에 3장의 패턴영상 사용에 의한 카메라 교정법이 기존 방법(3장의 패턴영상 사용에 비해 매우 유용함을 확인한다. 또한, 비 교정 입력 영상에서 제안된 알고리즘을 이용한3차원 재구성의 예로 증명한다.

• 한국통신학회논문지
• /
• 제35권11A호
• /
• pp.1027-1037
• /
• 2010

본 논문에서는 블록 대각화 프리코딩 기법을 사용하는 다중 사용자 MIMO-OFDM 하향링크 시스템에서 전체시스템의 복잡도와 계산양을 감소시키기 위한 선형 보간법 기반 블록 대각화 프리코딩 근사화 기법을 제안한다. 일반적인 블록 대각화 프리코팅 기법을 다중 사용자 MIMO-OFDM 시스템에 그대로 적용할 경우 계산양이 부반송파의 수에 비례하여 증가하는 단점이 존재한다. 제안하는 선형 보간법 기반 블록 대각화 프리코딩 근사화 기법은 시스템의 복잡도와 계산양을 감소시키기 위하여 선형 보간법을 프리코딩 행렬의 근사화에 사용하여 성능을 최대한 유지하면서 계산양을 매우 크게 감소시킬 수 있다. 본 논문에서 제안된 선형 보간법 기반 블록 다각화 프리코딩 근사화 기법을 이용하여 시스템의 계산양을 매우 감소시킬 수 있음을 모의실험을 통해 증명했다.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.185-205
• /
• 2002

In this study, we consider infinite supply of raw materials and backlogged demands as given two boundary conditions. And we need not make any specific assumptions about the inter-arrival of external demand and service time distributions. Under these situations, the ultimate objective of this study is to prove the variability propagation principle in a pull serial line and is to measure it in terms of the first two moments of the inter-departure process subject to number of cards in each cell. Two preparations are required to achieve this objective : The one is to derive a true lower bound of variance of the inter-departure process. The other is to establish a constrained discrete minimax problem for the no backorder (backlogging) probabilities in each cell. We may get some fundamental results necessary to a completion for the proof through the necessary and sufficient conditions for existence of optimal solution of a constrained discrete minimax problem and the implicit function theorem. finally, we propose a numeric model to measure the variability propagation principle. Numeric examples show the validity and applicability of our study.

• 한국미생물·생명공학회지
• /
• 제34권3호
• /
• pp.216-220
• /
• 2006

본 균의 생육 및 효소생산에 유용한 탄소원으로서 자연계의 식물에 풍부한 펙틴을 탄소원으로 할 경우, 그 생육도는 전분보다 뛰어났으며, alcohol oxidase와 catalase의 생산량도 높아지는 것으로 나타났다. 특히 alcohol oxidase의 경우는 전분의 15배 이상의 생산량을 보여 본 균과 펙틴 이용성과의 관계를 시사하였고, 세포외 pectin esterase, pectinase등의 높은 활성이 검출되어 이를 증명하였다. 또한 alcohol oxidase 반응에서 생성되는 물질인 formaldehyde를 산화하는 formaldehyde dehydrogenase와, formate를 산화하여 $CO_2$를 생성하는 formate dehydrogenase의 반응을 발견하여, 본 균의 pectin 이용성과 관련한 일련의 에너지 대사계의 존재를 추정할 수 있었다.

• 생명과학회지
• /
• 제9권1호
• /
• pp.76-83
• /
• 1999

Endoplasmic reticulum (ER)내에 단백질의 folding과 안정화에 관여하는 단백질을 molecular cha-perone이라고 한다. GRP94 역시 ER내에 존재하는 molecular chaperone으로 알려지고 있지만 갑상선세포에서 단백질의 folding에 관여한다는 증거는 아직 불충분하다. 본 설험은 molecular chaperone을 세포내에서 overexpression시킬 수 있는 system을 확립하였다. 그 중에서 GRP94가 단백질의 folding에 직접적으로 관여한다는 증거를 얻기 위하여, endogenous GRP94를 code한 cDNA를 overexpression vector에 의해서 forced expression시킴으로 신생thyroglobulin의 folding에 직접적으로 관여하는 증거를 immun-oprecipitation으로 증명하였다.