• Magazine of the Korea Concrete Institute
• /
• v.10 no.5
• /
• pp.89-100
• /
• 1998

본 연구는 양생온도이력이 콘크리트 강도에미치는 영향을 평가하기 위한 것으로 물 시멘트비가 60%, 45%, 26%인 3종류의 콘크리트에대하여 5$^{\circ}C$부터 5$0^{\circ}C$까지의 항온양생과 초기재령에 고온도이력을 변수로 한 변동온도양생을 실시한 공시체의 압축강도를 측정하였다. 또한 그 실험결과에 강도평가 방법의 하나인 Maturity 개념을 도입하여 강도평가에 미치는 재령, w/c, 온도이력 등에 대한 영향을 평가하였다. 항온양생 실험결과에 따르면 물시멘트비가 낮을수록 초기재령에서의 강도발현은 높게 나타나며 양생온도 5$0^{\circ}C$인 경우를 제외하고 재령7일까지의 강도발현은 양생온도가 높을수록 크게 나타나고 있다. 한편, 변동온도양생실험결과에 의하면 초기재령에서 고온양생한 콘크리트의 강도발현은 물시멘트비의 영향을 크게 받으며, 1주 이후의 양생온도가 강도발현에 미치는 영향은 1주까지의 고온도이력에 대한 영향에 비교해 2차적이다. 기존의 Maturity개념인 Saul-Bergstrom의 함수와 Ooi의 함수를 가지고 항온 및 변동온도 양생실험결과를 분석한 결과, 전체적으로 Saul-Bergstrom식에 의한 경우가 실험값과의 차이가 작게 나타났으나 두 식 모두 Maturity 가 큰 경우에는 계산에 의한 값이 실험에 의한 값보다 크게 나타나고 있어 장기 재령시 강도평가는 한계강도 개념을 고려한 새로운 Matruity함수를 제안할 필요가 있다.

• Korean Journal of Optics and Photonics
• /
• v.20 no.6
• /
• pp.319-327
• /
• 2009

We introduce a new design technique by treating a two-group zoom lens system with a wide angle of view. First, the concept of the global optimization is introduced in the initial design stage, and from this, the global design technique is completed by analyzing and summarizing large quantities of modern design data. That is, we define the global structure function to achieve a new conceptual design technique for global optimization. And the function is put in a simple form by referring lots of patent data, manipulated with other algebraic equations, and solved finally such that we obtain the global solution region. The global solution region corresponds to the global optimization and suggests insightful systematized directions for the design of two-group zoom lens systems. These directions are attractive compared to global optimization.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.1
• /
• pp.169-176
• /
• 2014

Counting processes are widely used in many fields, whose properties are determined by the intensity function. For estimation of the parameters of the intensity functions when the process is observed continuously over a fixed interval, the likelihood function is of interest. However in the literature there are only heuristic derivations and some results are not coincident. We thus in this note derive the likelihood function of the counting process in a rigorous way. So this note fill up a hole in derivation of the likelihood function.

• Progress in Medical Physics
• /
• v.3 no.2
• /
• pp.67-81
• /
• 1992

Lots of physical phenomena which deteriorate the faithfulness of radiological images exist. The most common types of degradation are a loss of resolution and an increase in noise. This article deals with resolution. factors that influence it. and its characterisation. The problem of resolution failure due to a generic blurring phenomenum is described diagramatically and mathematically. for both one dimensional and two dimensional signals. The definition of the point spread function. the line spread function. the convolution integral and the modulation transfer function are made. The concept of frequency domain operations using the Fourier Transform is also discussed.

• Communications of Mathematical Education
• /
• v.13 no.1
• /
• pp.337-360
• /
• 2002

그래프 능력을 바탕으로 한 함수의 그래프 표현은 함수 교수 ${\cdot}$ 학습상 중요한 위치를 차지한다. 그러나 부적절한 함수 그래프 과제 교수 ${\cdot}$ 학습 방법은 학생들의 지식 구성, 이해 과정에 영향을 주면서 수학적 오류를 형성하게 하였다. 그러므로 체계적인 오류 분석을 기반으로 한 좋은 교수학적 프로그램을 통해 수학적 오류를 예견하고 학습 과정에서 그것을 잘 처치, 활용하는 것이 효과적인 함수 교수 ${\cdot}$ 학습을 위해 요구된다. 본 연구에서는 지필 환경하에서 함수 그래프 과제를 수행한 학생들에게서 일반적으로 나타나는 수학적 오류를 점검하고, 새로운 교육용 테크놀러지 환경하에서 이러한 수학적 오류가 변화되는 과정을 살펴보고자 하였다. 첫 번째 연구 문제를 위해 고등학생 119명을 대상으로 양적 연구를 실시하였으며, 함수에 대한 개념 이미지로부터의 오류가 가장 많이 나타났음을 확인할 수 있었다. 두 번째 연구문제를 위해 고등학생 2명을 대상으로 사례 연구를 실시하였는데, 그 결과 기존의 수학적 오류가 새로운 교수학적 환경하에서 변화, 극복되는 것을 확인할 수 있었다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.12 no.7
• /
• pp.1110-1114
• /
• 2001

The discrete wavelet concept in the k-domain is applied to efficiently represent Green function of integral equations. Application of discrete wavelet concept to Green function in the k-domain can be implemented equivalently by using spatial domain variable-sized windows. The proposed method consists of constant Q-filtering, changing the center of coordinates, and transforming spatially filtered Green functions into those in the k-domain. A mathematical expression of Green function based on the discrete wavelet concept is derived and its characteristics are discussed.

• Communications of the Korean Mathematical Society
• /
• v.14 no.2
• /
• pp.233-286
• /
• 1999

Berkeley의 H. Wu 교수에 의하여 1993년에 제창된 Wu 거리는 다변수 복소함수론의 기하학적 연구에 중심적인 역할을 하는 여러 불변거리 중 가장 최근에 발견되었다. 짧은 역사에도 불구하고 이 개념의 유용성이 두드러지는 점을 감안하여, 이 연구의 내용과 전망 그리고 여러 관련 문제 등을 소개하려는 것이 이 논문의 목표이다.

• The Mathematical Education
• /
• v.61 no.3
• /
• pp.419-439
• /
• 2022

This study is based on Freudenthal's mathmatising process and the didactical phenomenology of linear function concept, I have described and examined the process in which students represent the constant rate of change into tables, graphs and equations and, in this way, how they construct mental objects and essence of the linear function concept. The students used the proportionality as composite units, when they represented the phenomenon with constant rate of change into tables. When representing in graphs, all but one student represented it into a line. There were differences among the students in the level they were using the given conditions, co-variation perspective, and corresponding rules when formulating equations. The students compared the relationship between two variables in a multiplicative way, and under the guidance of teachers they reached to the understanding that its relationship becomes a constant. Moreover, they could construct mental objects of a constant rate of change, understanding the situation where the relationship between time difference and distance difference becomes one value, namely speed. The students had difficulties in connecting the rate of change with the inclination of a line. The students constructed the essence (concept) of linear functions, after building and organizing the image that the rate of change is constant, the graph is linear, and the equation is formulated as y=ax+b (a: inclination, b: intercept).

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.1
• /
• pp.33-38
• /
• 2004

In this paper, we will define comonotonically additive interval-valued functionals which are generalized comonotonically additive real-valued functionals in Schmeidler[14] and Narukawa[12], and prove some properties of them. And we also investigate some relations between comonotonically additive interval-valued functionals and interval-valued Choquet integrals on a suitable function space, cf.[9,10,11,13].