• 제목/요약/키워드: 존재 증명

검색결과 532건 처리시간 0.027초

A Dominating Set Algorithm (지배집합 알고리즘)

  • Lee, Sang-Un
    • Journal of the Korea Society of Computer and Information
    • /
    • 제18권9호
    • /
    • pp.121-129
    • /
    • 2013
  • This paper proposes a linear-time algorithm that has been designed to obtain an accurate solution for Dominating Set (DS) problem, which is known to be NP-complete due to the deficiency of polynomial-time algorithms that successfully derive an accurate solution to it. The proposed algorithm does so by repeatedly assigning vertex v with maximum degree ${\Delta}(G)$among vertices adjacent to the vertex v with minimum degree ${\delta}(G)$ to Minimum Independent DS (MIDS) as its element and removing all the incident edges until no edges remain in the graph. This algorithm finally transforms MIDS into Minimum DS (MDS) and again into Minimum Connected DS (MCDS) so as to obtain the accurate solution to all DS-related problems. When applied to ten different graphs, it has successfully obtained accurate solutions with linear time complexity O(n). It has therefore proven that Dominating Set problem is rather a P-problem.

Proof of equivalence of solutions of boundary integral and variational equations of the linear elasticity problem (선형 탄성 문제의 경계적분식 해와 변분해의 동등성 증명)

  • 유영면;박찬우;권길헌
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • 제11권6호
    • /
    • pp.1001-1004
    • /
    • 1987
  • In this study mathematical properties of variational solution and solution of the boundary integral equation of the linear elasticity problem are studied. It is first reviewed that a variational solution for the three-dimensional linear elasticity problem exists in the Sobolev space [ $H^{1}$(.OMEGA.)]$^{3}$ and, then, it is shown that a unique solution of the boundary integral equation is identical to the variational solution in [ $H^{1}$(.OMEGA.)]$^{3}$. To represent the boundary integral equation, the Green's formula in the Sobolev space is utilized on the solution domain excluding a ball, with small radius .rho., centered at the point where the point load is applied. By letting .rho. tend to zero, it is shown that, for the linear elasticity problem, boundary integral equation is valid for the variational solution. From this fact, one can obtain a numerical approximatiion of the variational solution by the boundary element method even when the classical solution does not exist.exist.

Alternating Offers Bargaining Game and Wardrop's User Equilibrium (Nash의 협상게임과 Wardrop의 사용자 균형)

  • Lim, Yong-Taek
    • Journal of Korean Society of Transportation
    • /
    • 제23권4호
    • /
    • pp.37-45
    • /
    • 2005
  • This paper presents a relationship between Nash bargaining game and Wardrop user equilibrium, which has been widely used in transportation modeling for route choice problem. Wardrop user equilibrium assumes that drivers in road network have perfect information on the traffic conditions and they choose their optimal paths without cooperation each other. In this regards, if the bargaining game process is introduced in route choice modeling, we may avoid the strong assumptions to some extent. For such purpose, this paper derives a theorem that Nash bargaining solution is equivalent to Wardrop user equilibrium as the barging process continues and prove it with some numerical examples. The model is formulated based on two-person bargaining game. and n-person game is remained for next work.

Free Oscillation Analysis in the Coastal Area using Integrated Finite Difference Method (적분차분법을 이용한 연안역에서의 해수고유진동해석)

  • LEE Byung-Gul
    • Korean Journal of Fisheries and Aquatic Sciences
    • /
    • 제27권6호
    • /
    • pp.782-786
    • /
    • 1994
  • Integrated finite difference method (IFDM) is used to solve one dimensional free oscillation problem in the coastal area. To evaluate the solution accuracy of IFDM in free oscillation analysis, two finite difference equations based on area discretization method and point discretization method are derived from the governing equations of free oscillation, respectively. The difference equations are transformed into a generalized eigenvalue problem, respectively. A numerical example is presented, for which the analytical solution is available, for comparing IFDM to conventional finite difference equation (CFDM), qualitatively. The eigenvalue matrices are solved by sub-space iteration method. The numerical results of the two methods are in good agreement with analytical ones, however, IFDM yields better solution than CFDM in lower modes because IFDM only includes first order differential operator in finite difference equation by Green's theorem. From these results, it is concluded that IFDM is useful for the free oscillation analysis in the coastal area.

  • PDF

An IP-address Auto-configuration Technique using Address Reservation for a Mobile Ad hoc Networks (모바일 애드 흑 네트워크에서의 주소 예약을 이용한 IP주소 자동 설정 기법)

  • Kim Namhoon;Ahn Soyeon;Moon Kyeongdeok;Lee Younghee
    • Journal of KIISE:Information Networking
    • /
    • 제31권6호
    • /
    • pp.659-672
    • /
    • 2004
  • A Mobile Ad hoc Network (MANET) is a group of independent mobile computing nodes that consist of a multi-hop wireless network without a central administration or any infrastructure. Every node that wants to join a MANET must obtain an address for communication. Having a centralized DHCP server that provides addresses to nodes, we can easily and automatically obtain addresses. However, a MANET lacks any fixed infrastructure such as a DHCP server. We therefore propose a distributed address autoconfiguration approach for a MANET using a reserved address and optimistic Duplicated Address Detection (DAD). The reserved address helps to reduce the allocation latency, and the optimistic DAD guarantees the uniqueness of addresses and lessens communication overhead. We then suggest methods of handling network partition and network merging situations, and go on to evaluate our approach through simulations. The simulation result shows that our scheme guarantees the uniqueness of allocated address and considerably improves allocation latency and communication overheads.

Application of a New NDI Method using Magneto-Optical Film for Inspection of Micro-Cracks (미소균열 탐상을 위한 자기광학소자를 이용한 비파괴탐상법의 제안과 적용)

  • Lee, Hyoung-No;Park, Han-Ju;Shoji, Tetsuo
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • 제21권2호
    • /
    • pp.197-203
    • /
    • 2001
  • Micro-defects induced by design and production failure or working environments are known as the cause of SCC(Stress Corrosion Cracking) in aged structures. Therefore, the evaluation of structural integrity based on micro-cracks is required not only a manufacturing step but also in-service term. So we introduce a new nondestructive inspection method using the magneto-optical film to detect micro-cracks. The method has some advantage such as high testing speed, real time data acquistion and the possibility of remote sensing by using of a magneto-optical film that takes advantage of the change of magnetic domains and domain walls. This paper introduces the concept of the new nondestructive inspection method using the magneto-optical film, also proves the possibility of this method as a remote testing system under oscillating load considering application on real fields by applying the method to four types of specimens.

  • PDF

Rethinking the Printed Music from the View of Media -Focused on Fugue in Unaccompanied Violin Sonata No. 3 by J. S. Bach- (인쇄 악보에 대한 미디어적 고찰 -J.S 바흐의 무반주 바이올린 소나타 제3번 '푸가'를 중심으로-)

  • Kim, Hyokyung;Byun, Hyuk
    • The Journal of the Korea Contents Association
    • /
    • 제16권10호
    • /
    • pp.656-663
    • /
    • 2016
  • The study focused on the printed sheet music delivering the classical music contents in the view of the media. Media scholar Marshall Mcluhan declared that the media is not just simple tool of delivery but is the main subject affecting the human perception and the content itself. The music media, sheet music invented by the development of the printing technique allowed the massive production and it generalized the classical music contents. However, the editing, the mandatory process for sheet music, created the editors who are standardizing and visualizing the music contents and until today, the sheet music delivers the editor's interpretation rather than the composer's. To prove this notion, the study will compare the manuscript and sheet music of Unaccompanied Violin Sonata no. 3 'Fugue' by J. S Bach and will discuss about the compatibility of the sheet music as the music media now.

A Study on the Non-linear Relationship between Asymmetric Interdependence and Conflict (불균형적 상호의존성과 갈등간 비선형적 관계에 대한 연구)

  • Kim, Jong-Keun;Kim, Jae-Wook
    • Journal of Distribution Research
    • /
    • 제10권2호
    • /
    • pp.49-72
    • /
    • 2005
  • As interdependence and conflict are important to the understanding of channel interactions, many researchers have studied their relationship. Identifying the relationship between interdependence and conflict will help understanding an exchange relationship. In social science, the relationship between interdependence and conflict is explained by two contradictory theories, and there are also inconsistent results in marketing science. The authors suggest non-linear relations between asymmetric interdependence and conflict, based on bilateral deterrence theory and conflict spiral theory. Using survey data from industrial market, we demonstrate that there is an inverted U-shaped relationship between asymmetric interdependence and interfirm conflict. The result show, as the magnitude of interdependence is high. the hypothesis on the non-linear relationship between asymmetric interdependence and conflicts is acceptable on both suppliers and distributors. Finally, we discuss several theoretical implications and suggest limitations and future research issues.

  • PDF

Input-Output Gains of Linear Periodic Time-Varying Systems with Applications to Multirate Signal Processing (다중비 신호처리에 적용한 선형 주기적 시변 시스템의 입출력 이득)

  • 이상철;박계원
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • 제4권5호
    • /
    • pp.963-969
    • /
    • 2000
  • In this paper, we define two input-output gains of linear periodic time-varying systems. One is the ratio of output with worst-case l2-norm over all inputs with unit 12-norm. It denotes G($\iota_2,\iota_2$.The other is the ratio of output with worst-case RMS value over all inputs with unit RMS value. It denotes G(RMS, RMS) .It is fact that these two gains are equivalent for linear time-invariant system. In this paper, we prove these two gains are also equivalent for linear periodic time-varying system. In addition, the relationship between two method of obtaining the generalized frequency responses for linear periodic time-varying system is derived. Finally, we apply the defined input-output gains to M-channel filter-bank which is multi-rate signal Processing system, used to speech coding. In the filter-bank, generally, aliasing distortion, magnitude distortion, and phase distortion are present. It is shown that these are kept small if the filter-bank is designed by a method that optimizes the gain G($\iota_2,\iota_2$ of an error system.

  • PDF

Sieving the Polymer Chains through Anodic Aluminum Oxide Membranes (Anodic Aluminum Oxide Membrane을 통한 고분자 사슬의 선택적 투과)

  • Choi, Yong-Joon;Lee, Han Sup
    • Membrane Journal
    • /
    • 제26권4호
    • /
    • pp.291-300
    • /
    • 2016
  • Techniques for selectively separating molecules of gas and liquid states using various separation membranes have been widely used in variety of applications such as chemical, biological, pharmaceutical, and petrochemical industries. As the nanochannel diameter, inter-channel distance and length of the nanochannel of the anodic aluminum oxide (AAO) membranes can be precisely controlled, various studies to effectively separate mixture of various molecules using AAO membrane have been widely carried out. In this study, we fabricated AAO membranes of cylindrical nanochannels of various diameter sizes and of through-hole structure, that is, nanochannels of which both ends of each nanochannel are open. Using those AAO membranes of through-hole nanochannel structure, we studied the selective permeation polymer chains dissolved in a solvent based on hydraulic volume of the polymer chains. We found a precise, quantitative relationship between the radius of gyration of polymer chains that permeated through nanochannels inside AAO membrane and the diameter of nanochannels. In addition, we demonstrate that the behavior of the polymer solution flowing through nanochannel of the AAO membrane can be successfully described with the Hagen-Poiseuille relationship. It is, therefore, possible to theoretically interpret the nanoflow of the solution flowing inside the cylindrical nanochannel.