• Title/Summary/Keyword: 증명이론

Search Result 623, Processing Time 0.027 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.

The Effect of Self-consciousness and Materialism on Compulsive Buying and Conspicuous Consumption of American Female College Students (자의식과 물질주의가 미국 여대생의 충동구매와 과시소비성향에 미치는 영향에 관한 연구)

  • Park, Min-Jung
    • Korean Journal of Human Ecology
    • /
    • v.18 no.3
    • /
    • pp.705-717
    • /
    • 2009
  • 본 연구의 목적은 미국 여대생의 자의식, 물질주의성향, 충동구매와 과시적 소비성향간의 관계에 관하여 조사하는데 있다. 상징적 자기완성이론을 이론적 근거로 하여 가설을 설계하였으며, 설문지 조사법을 이용하여 자료를 수집하였다. 편의표본추출법을 적용하여 미국 중서부지역의 한 대학교의 여대생 315명을 연구대상으로 설문조사를 하였으며, 최종적으로 296명의 응답을 연구결과분석에 이용하였다. Stepwise 회귀분석을 통한 분석 결과 공적 자의식은 물질주의성향과 충동구매성향 및 과시소비성향에 정적 영향을 미치는 것으로 나타났으며, 사적 자의식은 과시소비성향에 부적 영향을 미치는 것으로 나타났다. 또한, 단순회귀분석을 통한 분석 결과 물질주의성향과 충동구매성향 및 과시적 소비 성향 간에 정적인 관계가 있는 것으로 나타났다. 본 연구는 자의식, 물질주의성향, 충동구매와 과시소비 성향간의 관계 메커니즘을 증명해 보임으로써, 사회 심리학적 소비자 행동연구에 이론적 틀을 제시하였다. 또한, 본 연구결과는 미국 여대생을 표적 시장으로 하는 기업이 표적소비자의 소비행동과 심리를 이해하는데 중요한 자료로 이용될 것으로 기대된다.

Variable Speed Control of Wind Turbines Using Robust Fuzzy Algorithm (강인 퍼지 이론을 이용한 풍력 터빈의 가변 속도 제어)

  • Sung, Hwa-Chang;Park, Jin-Bae;Joo, Young-Hoon
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.18 no.1
    • /
    • pp.1-6
    • /
    • 2008
  • In this paper, we present the robust fuzzy algorithm for variable speed control of wind turbines. Generally, the plants of wind turbines are consisted of complex nonlinearities, and the parameters of variable speed of wind turbines are represented as uncertain terms. For solving these complexity, we propose the robust fuzzy algorithm. At first, the exact fuzzy modeling are performed for variable speed of wind turbines. Next, we design the fuzzy controller for reanalyzed T-S fuzzy model of the wind turbines, then, we prove the stability of the plant through the Lyapunov stability theorem. At last, an example is included for visualizing the efficiency of the proposed technique.

Improved Curved Beam Theory for Vibration and Deflection Analyses (진동 및 처짐해석을 위한 개선된 곡선보이론)

  • Kim, Nam-Il;Choi, Jung-Ho
    • Journal of Korean Association for Spatial Structures
    • /
    • v.10 no.4
    • /
    • pp.123-132
    • /
    • 2010
  • To overcome the drawback of currently available curved beam theories having non-symmetric thin-walled cross sections, a curved beam theory based on centroid-shear center formulation is presented for the spatially coupled free vibration and elastic analyses. For this, the displacement field is expressed by introducing displacement parameters defined at the centroid and shear center axes, respectively. Next the elastic strain and kinetic energies considering the thickness-curvature effect and the rotary inertia of curved beam are rigorously derived by degenerating the energies of the elastic continuum to those of curved beam. In order to illustrate the validity and the accuracy of this study, FE solutions using the Hermitian curved beam elements are presented and compared with the results by centroid formulation, previous research and ABAQUS's shell elements.

  • PDF

Acupuncture in Practical Veterinary Medicine

  • 김갑수
    • Journal of the korean veterinary medical association
    • /
    • v.33 no.1
    • /
    • pp.38-43
    • /
    • 1997
  • 동서양을 막론하고 최근들어 수의침술의 관심이 높아지고 있다. 지금까지의 입장을 고수하려는 서양의 학자(school medicine)들 중에서 종양의학에 관심을 갖는 것 뿐만아니라, 환축을 갖고 있는 사람들로부터 부작용이 심한 약물치료로 부터 벗어나 좀더 자연적인 방법으로 환축을 최소의 부작용을 유발할 수 있는 치료법을 찾으려는 노력의 댓가인 것이다. 본 내용에서는 침술의 근본이론인 동양철학의 의미를 다시 한번 상기시키고 1991-1994년 사이에 Berlin소재 본인 근무하던 대학병원과 개인병원에서 직접 치료했던 말과 소동물(애완견)을 증례별로 정리하였다. 도표(Table 1-5)에서 알 수 있듯이 아직도 그 작용기전이 밝혀지지는 않았지만 실제임상에서 침술이 차지하는 비중이 점점 증가하고 있다. 약물의 투입만을 고수하려는 우리의 수의임상과는 대조적으로 이러한 상황으로부터 탈피하려는 서양의 움직임이 오히려 최근에 들어서는 수의침술을 배우기 위하여 유럽이나 구미지역으로 유학을 떠나야 하는 실정으로 전도되어 버렸다. 본 내용에서는 자세하게 다루지는 못하였지마는 모든 환자들을 음양오행으로 분석을 하여 질환의 원인을 구명하고 진단, 치료하였다. 그렇기 때문에 임상학적으로나 전통적인 서양의학적으로는 같은 질병이라도 동양의학적으로는 환축의 성격이나 감정표현방식의 차이에 따라서 전혀 다른 진단과 치료방법을 선택하여야 하는 경우가 종종 나타난다. 이러한 동양의학의 질서를 이해할 수 없는 서양의학자들에게 침술을 단지 하나의 효과만으로 파고드는 것은 어려운 일이 아닐 수 없다. 이러한 상황을 보다 효과적으로 극복할 수 있는 길은 우리 스스로 동양철학을 보다 더 많이 이해하고 침술이론의 허실을 분석하여 체계적이며 이론적인 수의침술발전의 기여하여야 할 것이다. 그리고 수의침술의 생리적인 기전을 현대의학적인 관점에서 해석하고 증명하는 노력이 좀더 많이 기울어져야 할 것이다.

  • PDF

Proof that the Election Problem belongs to NF-completeness Problems in Asynchronous Distributed Systems (비동기적 분산 시스템에서 선출 문제는 NF-completeness 문제임을 증명)

  • Park, Sung-Hoon
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.29 no.3
    • /
    • pp.169-175
    • /
    • 2002
  • This paper is about the hardness of the Election problem in asynchronous distributed systems in which processes can crash but links are reliable. The hardness of the problem is defined with respect to the difficulty to solve it despite failures. It is shown that problems encountered in the system are classified as three classes of problems: F (fault-tolerant), NF (Not fault-tolerant) and NFC(NF-completeness). Among those, the class NFC is the hardest problems to solve. In this paper, we prove that the Election problem is the most difficult problem which belongs to the class NFC.

Nerve Blocks for Diagnosis and Prognosis of Chronic Pain (만성통증의 진단과 예후판정을 위한 신경차단)

  • Lee, Doo-Ik
    • The Korean Journal of Pain
    • /
    • v.11 no.2
    • /
    • pp.173-181
    • /
    • 1998
  • 감별신경차단이 주의깊은 병력 청취, 이학적검사, 신경학적검사를 대체할 수는 없으며 적절한 검사실 또는 심리학적 연구를 줄이는데 의도되서는 안된다. 그러나 이들의 진단적 노력에서도 환자 통증의 원인을 규명할 수 없고 따라서 적절한 치료를 지침해줄 수 없을 때 감별신경차단이 상당한 도움이 될 수 있다. 감별신경차단이 통상적인 진단방법의 결과와 다른 기전을 말해 줄 수 있으나 그런 결과들이 사전의 치료방법이 환자 통증의 제거 실패한 점을 설명해줄 수 있으며, 나아가 특이한 증후군에 대한 적절한 치료방법을 결정해줄 수 있다. 발표된 논문들을 기본으로 고찰한 바, 진단과 예후판정을 위한 도루로써의 신경차단의 이론적 배경을 위축시키는 많은 제한성들이 있음을 알 수 있다. 추가해서 이들 수기들은 임상적 유용성을 증명하기에는 미흡하다. 그러므로 이상적인 진단적 신경차단을 위해서는, 수기관리와 호과의 입증 뿐만 아니라 결과의 분석과 적용에 있어서도 주의가 필요하다. 연구자들은 어떤 경우들에 있어 이들 수기가 계속되는 치료의 지침에 도움이 되는 정보를 제공한다고 보고 있으며, 그러므로 수행자들의 축적된 판단을 조급하게 일축할 필요는 없다. 끝으로 만성통증의 진단적 분류가 혼동되고 복잡하기 때문에 비록 유효성의 증명이 미흡하지만 해부학적 및 생리학적 감각을 얻기 위해서는 진단적 차단의 선별적인 사용의 필요서을 합리화해주고 있다.

  • PDF

Application of Chiu's Velocity Distribution Equation to Laboratory Channel with Varied Channel Slope (Chiu 유속분포공식의 하상경사가 변화는 실험실 수로에 적용성 분석)

  • Choo, Tai-Ho;Ok, Chi-Youl;Je, Sung-Jin;Lee, Seoung-Kwan
    • Proceedings of the KAIS Fall Conference
    • /
    • 2007.05a
    • /
    • pp.99-103
    • /
    • 2007
  • 정확하고 신뢰성 높은 유량 자료는 수자원의 정량적인 계획과 관리에 필수적이다. 이를 위하여 Chiu는 기존의 결정론적인 흐름 방향 유속분포식의 한계를 극복할 수 있는 방법으로 확률통계에서 사용되는 엔트로피 개념을 이용한 3차원 유속분포 식을 제안하였고, 이를 실험실 데이터와 자연하천에 적용하여 신뢰성과 정확성을 지속적으로 증명하여 마침내 이에 대한 활용성이 매우 크게 대두되어 Chiu의 유속공식을 적극적으로 사용하고 있는 실정이다. 그러나 지금까지 이론적인 유속 분포식을 검증하기 위하여 단면 형상이 일정한 직사각형이나 사다리꼴 동의 실험수로에서부터 불규칙한 단면 형상을 갖는 자연 하천에 대한 적용을 거의 이루고 있는 실정이나, 하상경사가 변하는 경우에도 엔트로피 파라미터(M)가 이에 대응하여 평형상태에 도달하려고 하는지에 대한 연구는 전무하다. 본 연구에서는 하상경사를 임의로 변경 가능한 실험수로를 선택하여 정밀법에 의한 유속측정을 실시하였다. 같은 지점의 같은 단면에서 하상경사(${\Theta}$)가 0.000935부터 0.025794까지 28번의 경사변화를 주고 각 경사마다 유량을 측정하여 28개의 유량측정 데이터를, Chiu의 엔트로피 유속공식에 적용하여, 평균유속과 최대유속 사이의 관계가 선형관계, 즉 하상경사가 변하는 경우에도 엔트로피 파라미터(M)가 이에 대응하여 평형상태에 도달함을 증명하였다.

  • PDF

Node Disjoint Parallel Paths of Even Network (이븐 연결망의 노드 중복 없는 병렬 경로)

  • Kim, Jong-Seok;Lee, Hyeong-Ok
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.35 no.9_10
    • /
    • pp.421-428
    • /
    • 2008
  • A. Ghafoor proposed Even networks as a class of fault-tolerant multiprocessor networks in [1] and analyzed so many useful properties include node disjoint paths. By introducing node disjoint paths in [1], fault diameter of Even networks is d+2(d=odd) and d+3(d=even). But the lengths of node disjoint paths proved in [1] are not the shortest. In this paper, we show that Even network Ed is node symmetric. We also propose the shortest lengths of node disjoint paths using cyclic permutation, and fault diameter of Even networks is d+1.

Efficient Multiple Multicast Algorithms in Wormhole - Routed Networks (웜홀 라우팅 망에서의 효율적인 다중 멀티캐스트 알고리즘)

  • Kim, Si-Gwan;Cho, Jung-Wan
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.27 no.4
    • /
    • pp.373-382
    • /
    • 2000
  • The most important metric in wormhole-routed networks is the start-up latency. In this paper, we present new multicast algorithms that reduce node contention so that multiple multicast messages can be implemented with reduced latency. By exploiting available channels evenly as much as possible, these new algorithms show better performance than the existing multicast algorithms for wormhole 2D systems when multiple multicasts are involved. All algorithms presented are proven to be deadlock-free. A simulation study has been conducted that compares the performance of these multicast algorithms under various situations in a 2D mesh. We show that the overall performance of ours are up to 20% better than the previous studies. We observe that reducing the number of the generated multidestination messages closely related to shorter message latency. These proposed algorithms can be easily extended to 3D mesh systems.

  • PDF