• Journal for History of Mathematics
• /
• v.14 no.1
• /
• pp.47-60
• /
• 2001

The present study develops the given theme “Mathematics and Reality” along two lines. First, we explore the answers, in its various facets, to the following question: How is it possible that mathematics shows such wondrous efficiency when explaining nature\ulcorner In addition to a comparative analysis between empiricism and rationalism, constructivism as a function of idealism is compared with realism within the frame provided by rationalism. The second step involves limiting our discussion to realism. We attempt to explain the various stages of mathematical realism and their points of difficulty. Postulate of parallels, Godel's theorem, continuum hypothesis and choice axiom are typical examples used in demonstrating undecidable propositions. They clearly show that it is necessary to mitigate the mathematical realism which depends on bivalent logic based on an objective exterior world. Lowenheim-Skolem theorem, which states that reality is composed not of one block but rather of diverse domains, also reinforces this line of thought. As we can see the existence of undecidable propositions requires limiting the use of reductio ad absurdum proof which depends on the concept of excluded middle. Consequently, it becomes obvious that bivalent logic must inevitably cede to a trivalent logic since there are three values involved: true, false, and undecidable.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.24 no.1
• /
• pp.112-116
• /
• 2010

As one of the countermeasures to improve the recovery characteristics of the SFCL (superconducting fault current limiter), the method using the trigger of high-TC superconducting element (HTSC) when the quench in the HTSC element occurred was proposed. To confirm the suggested method, the control circuit to detect the quench occurrence of HTSC element in case of the fault occurrence was designed and the current limiting and recovery experiments of the SFCL using the designed control circuit were performed. Through the analysis for the experimental results, the points of both the open time and the closing time of a power switch comprising the control circuit could be adjusted by the resistance amplitude of a normal conducting current limiting resistor (CLR) and the recovery characteristics of the SFCL together with the current limiting operation could be confirmed to be improved by using the control circuit.

• Journal of applied mathematics & informatics
• /
• v.7 no.2
• /
• pp.467-482
• /
• 2000

Testing equality of two and k distributions has long been an interesting issue in statistical inference. To overcome the sparseness of data points in high-dimensional space and deal with the general cases, we suggest several projection pursuit type statistics. Some results on the limiting distributions of the statistics are obtained, some properties of Bootstrap approximation are investigated. Furthermore, for computational reasons an approximation for the statistics the based on Number theoretic method is applied. Several simulation experiments are performed.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.9 no.6
• /
• pp.621-626
• /
• 1999

In this paper a new cluster validation index which is heuristic but able to eliminate the monotonically decreasing tendency occurring in which the number of cluster c gets very large and close to the number of data points n is proposed. We review the FCM algorithm and some conventional cluster validity criteria discuss on the limiting behavior of the proposed validity index and provide some numerical examples showing the effectiveness of the proposed cluster validity index.

• The Korean Journal of Applied Statistics
• /
• v.17 no.2
• /
• pp.311-326
• /
• 2004

We propose a Markov model of two bottleneck ECN/RED gateways experiencing a large number of TCP users. We show that, as the number of users becomes large, the queue sizes per user of the both gateways converge at steady-state to individual fixed points. Also, we derive a computational algorithm to exactly obtain the fixed points and present simulation example showing the limiting behavior of the gateway traffic.

• Journal of the Korean Chemical Society
• /
• v.15 no.4
• /
• pp.165-169
• /
• 1971

A general method of calculating the frequency shift due to lattice defects is developed for a one dimensional lattice with an arbitrary number of lattice points. The method is based on the Fourier transform of the equation of motion. It is shown that the frequency spectrum is determined by the roots of 5${\times}$5 secular equation, the coefficients of which depend on defects in the mass and the force constant as well as the number of the lattice points. For the limiting case of infinite lattice, the dimension of the secular equation reduces to three and the result agrees with that of Montroll and Potts.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1168-1170
• /
• 2003

The GMS geometric correction method with highspeed and high accuracy is needed. In this paper, a selection method of residual errors for the GMS geometric correction using GCPs (ground control points) is described. Namely, it is a technique for limiting the number of residual error acquisition using GCPs in each block to reduce the processing time. As the result, since the processing time was about 7.0 minutes on conventional geometric correction and about 5.6 minutes on the proposed method, it was shown that the processing time of about 1.4 minutes was shortened.

• The Korean Journal of Applied Statistics
• /
• v.34 no.6
• /
• pp.863-874
• /
• 2021

In this paper, we propose a post-selection inference procedure for the fused lasso signal approximator (FLSA). The FLSA finds underlying sparse piecewise constant mean structure by applying total variation (TV) semi-norm as a penalty term. However, it is widely known that this convex relaxation can cause asymptotic inconsistency in change points detection. As a result, there can remain false change points even though we try to find the best subset of change points via a tuning procedure. To remove these false change points, we propose a post-selection inference for the FLSA. The proposed procedure applies a permutation test based on CUSUM statistic. Our post-selection inference procedure is an extension of the permutation test of Antoch and Hušková (2001) which deals with single change point problems, to multiple change points detection problems in combination with the FLSA. Numerical study results show that the proposed procedure is better than naïve z-tests and tests based on the limiting distribution of CUSUM statistics.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.294_295
• /
• 2009

Superconducting fault current limiter (SFCL) is an power device of a novel concept. While SFCLs generate no ohmic loss during the operation carrying normal currents, they can limit fault currents very fast making large impedance by their quench characteristics. In 2006, KEPCO has developed a distribution class hybrid type SFCL by a collaborative research project with LS industrial systems. The SFCL has merits in practical and economical points of view. In the SFCL, the superconductor just plays a role of a fault detector and the current limiting is completed by the other current limiting element made of normal metals throu호 the line commutation. As a result, the required amounts of superconductors can be reduced considerably. Consequently, the hybrid SFCL can be fabricated with small size and cost, maintaining perfect current limiting performance. Currently, KEPCO is carrying out a research project at Gochang power test center for the purpose of the verification test of the 22.9 kV/ 630 A class SFCL for the practical application in real grid. Through the project, a long term operational test and fault current test will be done. In this paper, the back ground of development and installation of the SFCL will be explained and the operation plan of the SFCL for the verification test is also introduced.

• Nutrition Research and Practice
• /
• v.9 no.6
• /
• pp.658-666
• /
• 2015

BACKGROUND/OBJECTIVES: The current study examined trends in adherence to dietary recommendations and compared the levels of adherence between diagnosed and undiagnosed subjects with type 2 diabetes mellitus (T2DM) in Korea over the past 14 years. SUBJECTS/METHODS: Data were collected from the 1998-2012 Korea National Health and Nutrition Examination Surveys (KNHANES). Diagnosed diabetes was defined as giving a positive response to questions about awareness of the disease, a physician's diagnosis of diabetes, or medical treatment for diabetes, whereas undiagnosed diabetes was defined as having a fasting glucose level ${\geq}126mg/dl$. Assessment of adherence level was based on 6 components of dietary guidelines, considering meal patterns and intake levels of calories, carbohydrates, vegetable/seaweed, sodium, and alcohol. The participants received 1 point if they met the criteria for each of the 6 components, and the total possible score ranged from 0 to 6 points. Multivariate generalized linear regression was performed, taking into account the complex survey design. RESULTS: Among all diabetic patients aged 30 years or older, the proportion of diagnosed diabetes increased dramatically, from 40.9% in 1998 to 75.9% in 2012 (P for trend < 0.001). The overall adherence levels to dietary recommendations were low and did not significantly differ between diagnosed and undiagnosed subjects with T2DM for all survey years. Several improvements were observed, including increased adherence to maintaining sufficient vegetable/seaweed consumption (increased from 0.12 to 0.16 points) and limiting sodium intake (increased from 0.12-0.13 points to 0.19-0.24 points; P for trend < 0.001), while adherence to maintaining moderate alcohol consumption decreased. CONCLUSIONS: Analysis of data collected by the KNHANES indicates that Korean T2DM patients have poor adherence to dietary recommendations and maintenance of a healthy lifestyle, regardless of disease awareness. This finding suggests that development of practical, evidence-based guidelines is necessary and that provision and expansion of educational programs for T2DM patients is critical after diagnosis.