• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.024 seconds

Game Theoretic Approach for Energy Efficient Rate Scheduling on the interference channel (간섭채널에서 에너지 효율적인 전송률 스케줄링을 위한 게임이론적 접근)

  • Oh, Chang-Yoon
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.8
    • /
    • pp.55-62
    • /
    • 2014
  • A game theoretic approach is applied for studying the energy efficient rate scheduling. The individual utility function is defined first. Then, a non cooperative rate game is modeled in which each user decides the transmission rate to maximize its own utility. The utility function considered here is the consumed energy for the individual user's data transmissions. In particular, using the fact that the utility function is convex, we prove the existence of Nash Equilibrium in the energy efficient rate scheduling problem at hand. Accordingly, a non cooperative scheduling algorithm is provided. For better energy efficiency, the sum of the individual user's utility function is optimized Finally, the convergence analysis and numerical results to show the energy efficiency of the proposed algorithms are provided.

Exact Constrained Optimal Design (정확최적실험계획법)

  • Kim, Young-Il
    • Communications for Statistical Applications and Methods
    • /
    • v.16 no.2
    • /
    • pp.299-308
    • /
    • 2009
  • It is very rare to conduct an experimental design with a single objective in mind. since we have uncertainties in model and its assumptions. Basically we have three approaches in literature to handle this problem, the mini-max, compound, constrained experimental design. Since Cook and Wong (1994) announced the equivalence between the compound and the constrained design, many constrained experimental design approaches have adopted the approximate design algorithm of compound experimental design. In this paper we attempt to modify the row-exchange algorithm under exact experimental design setting, not approximate experimental design one. This attempt will provide more realistic design setting for the field experiment. In this process we proposed another criterion on how to set the constrained experimental design. A graph to show the general issue of infeasibility, which occurs quite often in constrained experimental design, is suggested.

An Experimental Study of Private Key and Secret Key Disclosure Vulnerability in Cryptographic Service Provider(CSP) Module (Cryptographic Service Provider(CSP) 모듈의 개인키/비밀키 노출 취약점에 대한 실험적 연구)

  • Park, Jin-Ho;Cho, Jae-Ik;Im, Eul-Gyu
    • Convergence Security Journal
    • /
    • v.7 no.3
    • /
    • pp.61-70
    • /
    • 2007
  • In Windows operating system, CSPs(Cryptographic Service Providers) are provided for offering a easy and convenient way of using an various cryptographic algorithms to applications. The applications selectively communicate with various CSPs through a set of functions known as the Crypto API(Cryptographic Application Program Interface). During this process, a secure method, accessing data using a handle, is used in order to prevent analysis of the passing parameters to function between CryptoAPI and CSPs. In this paper, our experiment which is using a novel memory traceback method proves that still there is a vulnerability of private key and secret key disclosure in spite of the secure method above-mentioned.

  • PDF

Negotiation system using mobile agents on the wireless environment (무선 환경 하에서의 이동 에이전트를 이용한 협상 시스템)

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

  • PDF

Water Right Allocation for Equitable Water Use in Shared Rivers by North and South Koreas (남북공유하천의 공평한 물 이용을 위한 수리권 배분)

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

  • PDF

3D Reconstruction Using the Planar Homograpy (평면 호모그래피를 이용한 3차원 재구성)

  • Yoon Yong-In;Ohk Hyung-Soo;Choi Jong-Soo;Oh Jeong-Su
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.31 no.4C
    • /
    • pp.381-390
    • /
    • 2006
  • This paper proposes a new technque of the camera calibration to be computed a homography between the planar patterns taken by a single image to be located at the three planar patterns from uncalibrated images. It is essential to calibrate a camera for 3-dimensional reconstruction from uncalibrated image. Since the proposed method should be computed from the homography among the three planar patterns from a single image, it is implemented to more easily and simply to recover 3D reconstruction of an object than the conventional. Experimental results show the performances of the proposed method are the better than the conventional. We demonstrate examples of recovering 3D reconstruction using the proposed algorithm from uncalibrated images.

Interpolation-based Precoding Approximation Algorithm for Low Complexity in Multiuser MIMO-OFDM Systems (다중 사용자 MIMO-OFDM 시스템에서 계산양 감소를 위한 선형 보간법 기반 프리코딩 근사화 기법)

  • Lim, Dong-Ho;Kim, Bong-Seok;Choi, Kwon-Hue
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.35 no.11A
    • /
    • pp.1027-1037
    • /
    • 2010
  • In this paper, we propose the linear interpolation-based BD (Block Diagonalization) precoding approximation algorithm for low complexity in downlink multiuser MIMO-OFDM (Multiple-input Multiple-output Orthogonal Frequency Division Multiplexing) systems. In the case of applying the general BD precoding algorithm to multiuser MIMO-OFDM systems, the computational complexity increases in proportional to the number of subcarriers. The proposed interpolation-based BD precoding approximation algorithm can be achieved similar SER performance with general BD algorithm and can decrease the computational complexity. It is proved that proposed algorithm can achieve the significantly decreased computational complexity by computer simulation.

Proof of the Variability Propagation Principle in a Pull Serial Line : Existence and Measurement (풀흐름라인에서 변동성전파원리에 대한 증명 : 존재와 측정)

  • Choe, Sang-Woong
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.27 no.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.

Enzyme Production Related to Alcohol Metabolism from Thermophilic Fungus Thermoascus aurantiacus (호열성 사상균 Thermoascus aurantiacus의 알코올분해대사 관련 효소학적 특성)

  • Ko Hee-Sun;Kim Hyun-Soo
    • Microbiology and Biotechnology Letters
    • /
    • v.34 no.3
    • /
    • pp.216-220
    • /
    • 2006
  • Thermophillic fungus Thermoascus aurantiacus showed excellent growth and produced high amount of alcohol oxidase and catalase in a pectin medium. Besides, the strain produced enzymes which related with pectin or alcohol decomposition. We detected extracellular pectin esterase (EC 3.1.1.11) activity and, both intracellular and extracellular pectinase (EC 4.2.2.10) activity, as pectinolytic enzymes produced by T. aurantiacus. The production of methanol decomposition enzymes, such as alcohol oxidase (AOD, EC 1.1.3.13), alcohol dehydrogenase (ADH, EC 1.1.1.1), formaldehyde dehydrogenase (FADH, EC 1.2.1.1) and formate dehydrogenase (FDH, EC 1.2.1.2) follows by pectin esterase reaction which is converted to methanol. We concluded that T. aurantiacus has pectinolytic and alcohol - oxidative enzymological mechanism which produced carbon dioxide as a final material, started from pectin.

Overexpression of ER Resident Molecular Chaperones and Characterization of Their Interaction with Thyroglobulin in FRTL5 cells. (GRP94는 thyroglobulin의 folding에 관여한다.)

  • Seong, Yeon-Mun;Shong, MinHo;Kwon, O-Yu
    • Journal of Life Science
    • /
    • v.9 no.1
    • /
    • pp.76-83
    • /
    • 1999
  • Mammalial expression vectors containing GRP94, BiP, ERp72, and PDI, were introduced into FRTL5 cells. Transfected cells were selected by neomycin resistance for exogenously overexpressed proteins in the ER. The use of a reducible cross-linker, DSP, markedly improved the ability to detect noncovalent interactions of PDI, BiP and GRP94 with newly-synthesized thyroglobulin. Under normal conditions, GRP94 was found to associate transiently with early Tg folding intermediates, displaying interaction kinetics similar to those reported for another ER chaperones of BiP.

  • PDF