• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.853-855
• /
• 1994

The object of present note is to give a very short proof of Stirling's formula which uses only a formula for the generalized zeta function. There are several proofs for this formula. For example, Dr. E. J. Routh gave an elementary proof using Wallis' theorem in lectures at Cambridge ([5, pp.66-68]). We can find another proof which used the Maclaurin summation formula ([5, pp.116-120]). In [1], they used the Central Limit Theorem or the inversion theorem for characteristic functions. In [2], pp. Diaconis and D. Freeman provided another proof similarly as in [1]. J. M. Patin [7] used the Lebesgue dominated convergence theorem.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.27 no.11
• /
• pp.690-695
• /
• 2014

In this paper, we develop a explosion-proof LED lighting (Ex circuit) circuit of Explosion-proof LED Signal Lamp (Ex LSL) to utilize the core module of the explosion-proof Local Control System (Ex LCS) for offshore plant applications. And then analyzed its electrical, optical and thermal characteristics. Ex circuit was applied input voltage from AC/DC(12~254) V. In this experiments, stable light-on characteristics were confirmed by eyes for the every input voltages with min. 78,462 and max. $517,975cd/m^2$ of luminance. also Output current and output luminance was made proportional. Because the measured maximum surface temperature of Ex circuit was $54.23^{\circ}C$ at AC 48 V, Ex circuit was rated with T6 of temperature class. Finally, Ex circuit was shown stable light on characteristics under the $-50^{\circ}C$ and $60^{\circ}C$ during 12 hours of test period.

• Communications of the Korean Mathematical Society
• /
• v.11 no.2
• /
• pp.495-501
• /
• 1996

There is currently a regain of interest in ADI (Alternating Direction Implicit) method as a preconditioner for iterative Method for solving large sparse linear systems, because of its suitability for parallel computation. However the classical ADI is not applicable to FE(Finite Element) matrices. In this paper wer propose a Block-ADI method, which is applicable to Finite Element metrices. The new approach is a combination of classical ADI method and domain decompositi on. Also, we provide a partial proof of the convergence based on the results from the regular splittings, in case the discretization metrix is symmetric positive definite.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.421-436
• /
• 1997

In this paper we first give a simple proof of the analytic characterization theorems of the operator symbols by using the characterization theorem for white noise functionals. We next give a criterion for the convergence of operators on white noise functionals in terms of their symbols and then use this result to give a proof for the Fock expansion theorem of operators on white noise functionals.

• Journal of Convergence for Information Technology
• /
• v.8 no.6
• /
• pp.187-192
• /
• 2018

This thesis is about the study of inverter terminal boxes in a explosion proof type exhaust fan that can control wind volume and operating time. In Korea, there is no ventilator to adjust the amount of wind and operating time when working in poor conditions. The purpose of the project is to create a explosion terminal box that can control the operating time and wind speed of a suitable explosion ventilator in hazardous environments. The two explosion-proof switches allow the operation time to be driven 1 hour, 3 hours and continuous time, and the speed of the induction motor rotation was set in 3 stages at 2000 rpm, 2600 rpm and 3000 rpm to control the volume. The tested motor used a half-horsepower barrier three-phase induction motor and a full-bridge inverter to set the desired flow rate and operating time.

• The KIPS Transactions:PartA
• /
• v.11A no.2
• /
• pp.203-206
• /
• 2004

Wegmann's method has been known as the most efficient one for the Theodorsen equation that is needed to solve conformal mapping. It was researched in the earlier studies (1). However divergence was revealed in some difficult problems by numerical experiment using Wegmann's method. We analyzed the cause of divergence and proposed an improved method by applying a low frequency pass filter to Wegmann's method. Numerical experiments using the improved method showed convergence for all divergent problems using the Wegmann's method. In this paper, we prove theroretically the cause of convergence in the Numerical experiment using the improved method by applying a low frequency pass filter to Wegmann's method. We make use of Fourier transforms in this theoretical proof of convergence.

• East Asian mathematical journal
• /
• v.31 no.3
• /
• pp.301-310
• /
• 2015

In this paper, we establish a strong convergence for the Noor iterative scheme associated with Lipschitz strongly pseudocontractive mappings in real Banach spaces. It's proof-method is very simple by comparing with the previous proofs known.

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.553-562
• /
• 2005

It is well-known that the smoothness of 4-point interpolatory Deslauriers-Dubuc(DD) subdivision scheme is $C^{1}$. N. Dyn[3] proved that 4-point interpolatory subdivision scheme is $C^{1}$ by means of eigenanalysis. In this paper we take advantage of Laurent polynomial method to get the same result, and give new way of strict proof on Laurent polynomial method.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1483-1486
• /
• 2002

In this paper, a new scheme of iterative loaming control of a robot manipulator is presented. The proposed method uses a fuzzy sliding mode controller(FSMC), which is designed based on the similarity between the fuzzy logic control(FLC) and the sliding mode control(SMC), for the feedback. With this, the proposed method makes possible fDr fast iteration and has advantages that no linear approximation is used for the derivation of the learning law or in the stability proof Full proof of the convergence of the fuzzy sliding base learning scheme Is given.

• Journal of the Korea Convergence Society
• /
• v.9 no.11
• /
• pp.75-81
• /
• 2018

Anonymity and privacy issues are becoming important as all transactions in the blockchain are open to users. Public blockchains appear to guarantee anonymity by using public-key addresses on behalf of users, but they can weaken anonymity by tracking with various analytic techniques based on transaction graph. In this paper, we propose a scheme to protect anonymity and privacy by converging various security techniques such as k-anonymity, mixing, blind signature, multi-phase processing, random selection, and zero-knowledge proof techniques with incentive mechanism and contributor participation. Through performance analysis, our proposed scheme shows that it is difficult to invade privacy and anonymity through collusion attacks if the number of contributors is larger than that of conspirators.