• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제27권1호
• /
• pp.75-92
• /
• 2024

Mathematical argument has been given much attention in the research literature as a mediating construct between reasoning and proof. However, there have been relatively less efforts made in the research that examined the nature of empirical arguments represented in textbooks and how students perceive them as proofs. Cases of point include Intermediate Value Theorem [IVT] and Maximum-Minimum theorem [MMT] in grade 11 in Korea. In this study, using Toulmin's framework (1958), the author analyzed the substance of the empirical arguments provided for both MMT and IVT to draw comparisons between the nature of datum, claims, and warrants among empirical arguments offered in textbooks. Also, an online survey was administered to learn about how students view as proofs the empirical arguments provided for MMT and IVT. Results indicate that nearly half of students tended to accept the empirical arguments as proofs. Implications are discussed to suggest alternative approaches for teaching MMT and IVT.

• 한국경영과학회지
• /
• 제26권4호
• /
• pp.39-45
• /
• 2001

Maximum and minimum of rendom variables are frequently encountered in the stochastic modelling for various OR problems. We summarize and extend characteristics of maximum and minimum, emphasizing the case in which random variables are independent and all of them except one are distributed exponential. As an application, we derive a transform-free expression for the M/G/1 queue length distribution.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권2호
• /
• pp.247-257
• /
• 2010

In this article an explanation of monotonicity of functions and the definition of local extrema in Korean highschool textbooks based on national curriculum(revised in 2007) are analyzed critically. On the basis of this analysis, we indicate some problems and propose its improvements.

• 품질경영학회지
• /
• 제7권2호
• /
• pp.7-10
• /
• 1979

In this paper the Rao-Blackwell and Lehmann-$Scheff{\acute{e}}$ Theorem are used to drive the minimum variance unbiased estimators of system reliability for a number of distributions when a system consists of n Components whose random life times are assumed to be independent and identically distributed. For the case of a negative exponential life time, we obtain the maximum likelihood estimator of the system reliability and compair it with minimum variance unbiased estimator of the system reliability.

• KIEE International Transactions on Power Engineering
• /
• 제2A권3호
• /
• pp.121-128
• /
• 2002

This study proposes a new method for transmission system expansion planning using fuzzy integer programming. It presents stepwise cost characteristics analysis which is a practical condition of an actual system. A branch and bound method which includes the network flow method and the maximum flow - minimum cut set theorem has been used in order to carry out the stepwise cost characteristics analysis. Uncertainties of the permissibility of the construction cost and the lenient reserve rate and load forecasting of expansion planning have been included and also processed using the fuzzy set theory in this study. In order to carry out the latter analysis, the solving procedure is illustrated in detail by the branch and bound method which includes the network flow method and maximum flow-minimum cut set theorem. Finally, case studies on the 21- bus test system show that the algorithm proposed is efficiently applicable to the practical expansion planning of transmission systems in the future.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 추계학술대회 논문집 전력기술부문
• /
• pp.350-353
• /
• 2001

This study proposes a new method for the transmission system expansion planning using the fuzzy integer programming. It presents stepwise cost characteristics analysis which is a practical condition of an actual systems. A branch and bound method which includes the network flow method and the maximum flow-minimum cut set theorem has been used in order to proceed the stepwise cost characteristics analysis. Uncertainties of the permission of the construction cost and not strict reserve rate and load forecasting of expansion planning have been included and also processed using fuzzy set theory in this study. In order to proceed the latter analysis, the solving procedure is illustrated in detail by branch and bound method which includes the network flow method and maximum flow-minimum cut set theorem. Finally, case studies on 21-bus test system show that the algorithm proposed is efficiently applicable to the practical expansion planning of transmission systems in future.

• 대한산업공학회지
• /
• 제19권4호
• /
• pp.105-114
• /
• 1993

In this article, a planar geodesic (2-dimensional minimum length curve between two points) on which the maximum curvature is constrained and with prescribed initial and terminal directions is studied. A generic problem is formulated by the minimum-time optimal control problem in free terminal time. It is shown that the optimal path ($G^2$) may contain a singular arc or not and that the general types of $G^2$ can he classified into the 3 classes of control sequences. Finally, the explicit form of $G^2$ is derived geometrically as well as algebraically form the main theorem of this article.

• 대한전기학회논문지
• /
• 제33권1호
• /
• pp.9-16
• /
• 1984

This paper describes the minimum cost expansion planning which is based on the economical aspect under the various conditions on the power system expansion planning. It presents not only linear cost characteristics analysis but also stepwise cost characteristics analysis which satisfies practical condition in the power system. The latter analysis must be handled by integer programming (IP), because the relation between the cost and the capacity has stepwise characteristics. In order to proceed the latter analysis, the solving procedure is illustrated in detais by using branch and bound method which includes the network flow theory and maximum flow-minimum cut theorem.

• 대한수학회보
• /
• 제33권3호
• /
• pp.329-334
• /
• 1996

The notion of approximate derivative was introduced by Denjoy in 1916 [3]. Khintchine [5] proved that Rolle's theorem holds for approximate derivatives and Tolstoff [8] proved that every approximate derivative is of Baire class 1 and has Darboux property. Goffman and Neugebauer [4] proved the above results of Tolstoff [8] in a different and simplified method. Also they [4] proved indirectly (via Darboux property) that approximate derivatives possess mean value property.

• 대한토목학회논문집
• /
• 제29권5A호
• /
• pp.477-486
• /
• 2009

이 논문은 정다각형 중실 변단면을 갖는 정적 최강아치에 관한 연구이다. 아치의 지간길이와 체적은 정다각형 단면깊이의 형상함수에 상관없이 항상 일정하다. 아치에 정적 연직 집중하중과 수평 집중하중이 작용하는 경우에 단면에 발생하는 최대 수직응력을 산정하였다. 산정된 최대 수직응력이 최소가 되는 정적 최강아치의 변단면 형상, 즉 일정체적 변단면 아치의 단면비를 산정하였다. 부정정 아치의 부정정력을 구하기 위하여 최소일의 원리를 이용하였다. 일련의 수치해석 예를 통하여 정적 최강아치의 단면비를 표 및 그림에 나타내었다. 이 연구의 결과는 아치구조의 최소중량 설계에 매우 유용한 자료를 제공 할 수 있다.