• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.461-484
• /
• 2014

This essay suggests a constructive interpretation of probabilities by diagnosing problems of the objective and the epistemic interpretations of probability. According to this interpretation, attributions of the mathematical structure of probability to a given system can be understood as positing constructive theoretical hypotheses showing the relationship among empirical data. The constructive interpretation is applied to comprehend probability claims in the explanation of temporal asymmetrical behaviour of our universe. A new approach interpreting probabilities as constructive theoretical terms enables us to circumvent shortcomings of both objective and subjective interpretation of probability, and appreciate why these interpretations nevertheless appear to be convincing in our case.

• Journal of Soil and Groundwater Environment
• /
• v.13 no.6
• /
• pp.50-61
• /
• 2008

In this study, new integrated particle tracking algorithm was developed to reduce the inherent problem of Eulerian- Lagrangian method, or adverse effect of particle tracking error on mass balance error. The new integrated particle tracking algorithm includes numerical method, semi-analytical method, and analytical method which consider both temporal and spatial changes of velocity field during time step. Detail of mathematical derivations is well illustrated and four examples are made to verify through the comparison of the new integrated particle tracking with analytical solution or Runge-Kutta method. Additionally, It was shown that the there is better superiority of the new integrated particle tracking algorithm over other existing particle tracking method such as Lu's method.

• Korean Journal of Logic
• /
• v.4
• /
• pp.37-62
• /
• 2000

괴테의 불완전성 정리와 그것의 역사적 배경을 이루었던 힐베르트의 프로그램이 어떤 관계에 놓이느냐 하는 쟁점은 전자가 후자를 논박하느냐 하는 문제로 요약될 수 있다. 전자는 수리논리학에서의 한 정리이고 후자는 어떤 철학적 해석이 요구되는 요소를 지니고 있다. 따라서 전자는 '그 자체만으로는' 후자를 논박할 수 없으며, 어떤 철학적 해석이 부여될 때에만 그런 일은 가능할 수 있다. 후자가 지니고 있는 철학적 요소 중에서 가장 중요한 것은 힐베르트의 "유한주의"의 개념이다. 이 개념에 대해서 어떤 철학적 해석이 부여되느냐에 따라, 전자는 후자를 논박할 수도 있고 그렇지 않을 수도 있다. 특히, 힐베르트의 "유한주의"에 대한 철학적 해석은 괴델의 "특수한 유한주의적" 해석과 겐첸의 "구성주의적 해석"으로 대변할 수 있으며, 각각 논박설과 반논박설의 근거를 제공하고 있다. 결국, 문제는 그러한 철학적 해석들이 힐베르트의 사유에 비추어 얼마나 정당한가 하는 점이다. 이 글에서 나는 겐첸의 해석이 괴델의 해석에 대해 대등하게 경합적일 뿐만 아니라, 어떤 점에서는 힐베르트의 사유에 비추어 더 정당하다는 것을 보이고자 한다.

• Journal of Korean Society of Steel Construction
• /
• v.8 no.4 s.29
• /
• pp.105-113
• /
• 1996

본 연구에서는 철골모멘트골조의 패널존변형을 명시적으로 고려한 탄성층 간변위의 근사해석 방법을 제안하였다. 본 방법은 고전적 포탈법의 가정 및 D 치법에 기반한 해석적 접근법이다. 즉 포탈법의 가정에 따라 횡력을 받는 골조를 보-기둥 부분 골조로 분해한 후 대표적 내부 부분골조의 보, 기둥 및 패널존에서 기인하는 모든 횡변위 성분을 해석적으로 계산한다. 이때에 필요한 모든 내력(가령 패널존 전단변형 산정을 위한 보의 불균형모멘트)의 결정에 D 치법을 이용한다. 구조바닥의 강막작용을 고려하면 위의 과정을 통하여 산출된 대표적 내부 부분골조의 횡변위는 전체 골조의 횡변위와 거의 동일할 것으로 기대할 수 있다. 본 방법의 타당성 여부는 반강절 접합요소를 사용한 해석적 엄밀해와 비교하여 검증하였으며 만족스런 결과를 주는 것을 확인하였다. 본 연구의 방법에 의해 컴퓨터해석에 의하지 않고도 철골모멘트골조의 탄성층간변위를 실용성있는 정확도로서 신속하게 산정할 수 있으므로 본 연구의 결과는 예비적 횡강성 평가에 유용하게 사용될 수 있다. 또한 본 방법의 적용과정에서 해석자는 철골모멘트골조의 횡변위 기동에 관한 물리적 감각을 증진시킬 수 있을 것으로 사료된다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2000.04a
• /
• pp.23-23
• /
• 2000

고체 추진기관의 연소관은 높은 열과 압력 상태에서 작동하며, 따라서 연소관이 임무 수행중 구조적 건전성을 유지할 수 있는가를 실험적, 해석적 방법 등을 통하여 확인할 필요가 있다. 일반적으로 이론적 해석을 통해 엄밀해를 얻거나 수치 해석적 방법을 사용하여 근사적 해를 구하고, 실험결과와 비교함으로써 연소관의 구조적 건전성을 평가한다.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.97-108
• /
• 2008

In this paper, we investigate the analytic Feynman integral, the analytic Fourier-Feynman transform and convolution product on Wiener space. We then consider various results between these concepts.

• Journal of Korean Philosophical Society
• /
• v.126
• /
• pp.133-158
• /
• 2013

The main aim of this paper is to show that Gadamer's notion of historical constraint of interpretation is an unsuccessful theoretical postulation. Gadamer tries to present the limits of knowledge and interpretation in terms of his notion of understanding as an event. According to Gadamer, interpretation is bound to be incomplete by nature, and this leads to the thesis of "the uncertainty of interpretation". Although Gadamer seems to make his case successfully against the objective and ahistorical frame of interpretation, his thesis of the uncertainty of interpretation inevitably brings up the fear of nihilistic relativism. To meet this problem, Gadamer offers a constraint of hermeneutic situation, which is derived from the historicity underlying all forms of our existence. Nevertheless, the notion of historicity as the essence of human life does not seem to explain successfully how the actual content of an interpretation is constrained. Drawing on the experientialist notion of 'the embodied understanding", I suggest that the working constraint of interpretations can be appropriately found in the commonality of human experience which is conspicuous at the bodily and physical level of experience. In sum, interpretations, as part of mental and abstract level of experience, arise out of the bodily and physical level of experience, and at the same time strongly constrained by it.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.418-426
• /
• 1995

설계의 신뢰성은 응력해석을 통하여 확인될 수 있으며, 해석결과는 대상 부품의 구조적 건전성을 입증하는 근거가 된다. 본 보고서는 ANSYS의 피로해석 모듈을 이용한 CANDU 6핵연료채널의 응력해석 및 ASME Code에 따른 해석 절차 개발을 소개하였다. 응력해석은 ASME Code Section III NB-3200 의 $\ulcorner$Design by Analysis$\lrcorner$에 기초한 해석절차에 따라 수행하였으며, 체계적인 해석을 위해 자료 처리용 ANSYS 매크로 및 FORTRAN 프로그램을 개발하였다. 해석은 각 조건에 따라 기계적응력과 열응력해석으로 분리하여 수행한 후 조합되었으며, ANSYS 피로해석 모듈을 이용하여 선정된 절점들의 기계적응력과 열응력의 합에 대한 최대응력강도범위를 계산하였다. 응력해석 결과, CANDU 6 핵연료채널의 구조적 건전성이 입증되었으며, ANSYS를 이용한 ASME Code해석절차가 확립되어 CANDU 원자로 해석의 신뢰성을 크게 향상 시켰음은 물론 독자적인 수행을 위한 발판을 마련하였다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1998.06e
• /
• pp.255-258
• /
• 1998

본 연구에서는 해석적인 방법을 사용하여 고감도 멘드릴형 광섬유 음향센서를 설계하고자 하였다. 음향감지부의 형상으로 실린더형 멘드릴 및 중공원통형 층상복합체 멘드릴을 선정하고, 음향감도에 대한 이론식을 유도하여 재질변수 및 형상변수 등에 따른 음향감도를 해석하였다. 또한 해석적 방법 및 유한요소법을 이용한 분석결과를 비교하여 해석적인 방법의 타당성을 검증하였다. 그 결과, 멘드릴의 외경변화에 의한 감도변화 경향만이 다소 차이를 보이고 있으나 그 이외의 재질변수 및 형상변수에 의한 음향감도 변화 경향은 서로 잘 일치하는 것으로 분석되었다.

• Computational Structural Engineering
• /
• v.8 no.3
• /
• pp.5-10
• /
• 1995

공학분야에서 흔히 접하게 되는 접촉충격 문제들의 해석을 위해 접촉충격의 지배방정식과 효율적인 해석방법인 pinball contact-impact 알고리즘에 대해 기술하였다. 예제로 보여준 충돌하는 두 구조계의 접촉충격 해석과 자동차의 crashworthiness 해석결과들은 전술한 알고리즘이 매우 효율적임을 입증하고 있다. 자동차의 crashworthiness 해석과 같이 해석대상 모델이 크고 복잡한 경우에는 짧은 경과시간 동안의 거동변화를 파악하고자 하더라도 엄청난 계산시간이 소요된다. 따라서 효율적인 crashworthiness 해석을 위해서는 전술한 접촉충격 알고리즘 외에도, 논외의 대상이라 본문에서 소개하지는 않았으나, 강력한 요소(one-point integration element), 효과적인 비선형 동적해석 알고리즘, 해의 정확도를 높일 수 있는 adaptive method, 효율적인 시간적분을 위한 mixed time integration method(subcycling)와 explicit method 등을 복합적으로 혼합하여 사용하여야 한다.