• Title/Summary/Keyword: 힐버트

Search Result 108, Processing Time 0.024 seconds

Hilbert and Formalism (힐버트와 형식주의)

  • Choi, Won-Bae
    • Journal for History of Mathematics
    • /
    • v.24 no.4
    • /
    • pp.33-43
    • /
    • 2011
  • In this paper I discuss if we can regard Hilbert at the time of Hilbert's program as an instrumentalist. For this I first provide some textual evidences for the instrumentalist interpretation, then examine the three recent criticisms in turn. I argue that the reading Hilbert as an instrumentalist is still tenable in spite of these criticisms.

A Study on the Hardware Complexity Reduction of Hilbert transformer by MAG algorithm (MAG 알고리즘에 의한 힐버트 변환기의 하드웨어 복잡도 감소에 관한 연구)

  • Kim, Young-Woong;Lee, Young-Seock
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.12 no.1
    • /
    • pp.364-370
    • /
    • 2011
  • The Hilbert transform performs a role to transform band pass signals into low pass signals in wireless communication systems. The operation of Hilbert transform is based on a convolution process which is required adding and multiplying calculations. When the Hilbert transform is designed and hardware-implemented at gate level, the adding and multiplying operation requires a high power consumption and a occupation of wide area on a chip. So the results of adding and multiplying operation cause to degrade the performance of implemented system. In this paper, the new Hilbert transformer is proposed, which has a low hardware complexity by application of MAG(Minimum Adder Graph) algorithm. The proposed Hilbert transformer was simulated in ISE environment of Xilinx and showed the reduction of hardware complexity comparing with the number of gate in the conventional Hilbert transformer.

Performance Analysis of digital phase shifter using Hilbert transform (힐버트 변환을 이용한 디지털 위상천이기의 성능 분석)

  • Seo, Sang Gyu;Jeong, Bong-Sik
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.14 no.1
    • /
    • pp.39-44
    • /
    • 2013
  • In this paper digital phase-shifter for multi-arm spiral antennas was designed by using Hilbert transform. All frequency components in input signal are phase-shifted for 90 degree by Hilbert transform, and the transform is implemented by FIT and IFIT. Digital phase-shifter generates two signals with phase difference of 90 degree by using Hilbert transform from input signals sampled by analog-digital converter(ADC), and then the input signal is phase-shifted for a given phase by using two signals. Hilbert transform based on digital phase-shifter is designed by Xilinx System generator, and the effects of input noise, FIT point, sampling period, initial phase of input signal, and shifted phase are simulated and its results are compared with Matlab results.

A Study on the design of Hilbert transformer using the MAG Algorithm (MAG 알고리즘을 이용한 힐버트 변환기의 설계에 관한 연구)

  • Lee, Young-seock
    • The Journal of Korea Institute of Information, Electronics, and Communication Technology
    • /
    • v.7 no.3
    • /
    • pp.121-125
    • /
    • 2014
  • A hardware implementation of Hilbert transform is indespensible element in DSP system, but it suffers form a high complexity of system level hardware resulted in a large amount of the used gate. In this paper, we implemented the Hilbert transformer using MAG algorithm that reduces the complexity of hardware.

A Study on Hilbert Transform Pair of Wavelet using Truncated Coefficient Vector (절단된 계수 벡터를 사용한 웨이브렛의 힐버트 변환쌍에 관한 연구)

  • 배상범;김남호
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.7 no.5
    • /
    • pp.1095-1100
    • /
    • 2003
  • The wavelet transform pair used simultaneously when two wavelets are designed to form an approximate Hilbert transform pair provide excellent property than present DWT(discrete wavelet transform), especially in field that detect wide-band signals like pulse and increase the bit rate at the same bandwidth. In this paper, the two dyadic wavelet bases which form an approximate Hilbert transform pair were designed, and flat delay filter which has the truncated coefficient vector is used in order that the two filters can form Hilbert transform relation in the process of design.

Implementation of 2-D Incoherent Imaging using Hilbert Transform based on Two-Pupil Optical Heterodyne Scanning System (Two-Pupil 광학 헤테로다인 스캐닝 시스템 기반의 힐버트 변환을 활용한 2-D 인코히어런트 이미징 구현)

  • Kyung, Min-Gu;Doh, Kyu-Bong
    • Journal of Advanced Navigation Technology
    • /
    • v.16 no.2
    • /
    • pp.240-246
    • /
    • 2012
  • The Hilbert transform, which has been hitherto discussed in coherent imaging, is for the first time investigated in the context of incoherent imaging. Because the Hilbert transform of the information is superposed coherently with the original light field. We present a two-pupil optical heterodyne scanning system and analyze mathematically the design of its two pupils such that the optical system can perform the Hilbert transform on incoherent objects. In this paper, we review and formulate the definition of an analytic signal of a function and from which we can obtain the Hilbert transform of the function. and we analyze the design of pupils so as to obtain the Hilbert transform and show some 2-D simulations. Computer simulation results of the idea clarify the theoretical results.

Hilbert's Program as Research Program (연구 프로그램으로서의 힐버트 계획)

  • Cheong, Kye-Seop
    • Journal for History of Mathematics
    • /
    • v.24 no.3
    • /
    • pp.37-58
    • /
    • 2011
  • The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

Bernays and the Axiomatic Method (베르나이스와 공리적 방법)

  • Park, Woo-Suk
    • Korean Journal of Logic
    • /
    • v.14 no.2
    • /
    • pp.1-38
    • /
    • 2011
  • Bernays has not drawn scholarly attention that he deserves. Only quite recently, the reevaluation of his philosophy, including the projects of editing, translating, and reissuing his writings, has just started. As a part of this renaissance of Bernays studies, this article tries to distinguish carefully between Hilbert's and Bernays' views regarding the axiomatic method. We shall highlight the fact that Hilbert was so proud of his own axiomatic method on textual evidence. Bernays' estimation of the place of Hilbert's achievements in the history of the axiomatic method will be scrutinized. Encouraged by the fact that there are big differences between the early middle Bernays and the later Bernays in this matter, we shall contrast them vividly. The most salient difference between Hilbert and Bernays will shown to be found in the problem of the uniformity of the axiomatic method. In the same vein, we will discuss the later Bernays' criticism of Carnap, for Carnap's project of philosophy of science in the late 1950's seems to be a continuation and an extension of Hilbert's faith in the uniformity of the axiomatic method.

  • PDF

Zermelo and the Axiomatic Method (제르멜로와 공리적 방법)

  • Park, Woo-Suk
    • Korean Journal of Logic
    • /
    • v.11 no.2
    • /
    • pp.1-56
    • /
    • 2008
  • This article intends to examine the widespread assumption, which has been uncritically accepted, that Zermelo simply adopted Hilbert's axiomatic method in his axiomatization of set theory. What is essential in that shared axiomatic method? And, exactly when was it established? By philosophical reflection on these questions, we are to uncover how Zermelo's thought and Hilbert's thought on the axiomatic method were developed interacting each other. As a consequence, we will note the possibility that Zermelo, in his early as well as late thought, had views about the axiomatic method entirely different from that of Hilbert. Such a result must have far-reaching implications to the history of set theory and the axiomatic method, thereby to the philosophy of mathematics in general.

  • PDF