• 대한수학회논문집
• /
• 제9권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.

• 한국전기전자재료학회논문지
• /
• 제27권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.

• 대한수학회논문집
• /
• 제11권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.

• 대한수학회보
• /
• 제34권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.

• 융합정보논문지
• /
• 제8권6호
• /
• pp.187-192
• /
• 2018

본 논문은 풍량 및 운전시간을 제어할 수 있는 방폭 타입 배풍기의 인버터 단자함 연구에 관한 것이다. 국내에서는 열악한 환경에서 작업 시에 풍량 및 운전 시간을 조정할 수 있는 배풍기가 없는 실정이다. 유해가스 및 폭발 위험성이 있는 환경에 적정한 방폭 배풍기의 운전 시간과 풍량을 제어할 수 있는 방폭 단자함을 제작하는 것이 목적이다. 2개의 방폭형 스위치를 사용하여 운전시간을 1 시간, 3 시간, 그리고 연속 시간으로 운전할 수 있도록 하였고, 유도전동기 회전 속도는 2000rpm, 2600rpm, 그리고 3000rpm으로 3 단계로 설정하여 풍량 제어하였다. 실험한 모터는 1/2 마력 3상 유도전동기 사용하였으며 풀 브리지 인버터를 제작하여 원하는 풍량과 운전시간 설정할 수 있도록 연구하였다.

• 정보처리학회논문지A
• /
• 제11A권2호
• /
• pp.203-206
• /
• 2004

저자는 등각사상을 구하기 위한 기존의 여러 Theodorsen 방정식의 해법 중 가장 유효한 해법으로 알려져 있는 Wegmann의 방법을 다룬바 있다. Wegmann의 방법으로 수치실험을 한 결과 난이도가 높다고 예상되는 문제에 있어 수렴했다가 발산을 하는 불안정현상이 나타났으며 수렵하지 않는 불안정현상의 원인을 분석하여 저주파필터를 적용한 새로운 반복법을 제안하였다. 원래의 Wegmann 반복법으로는 발산하는 모튼 문제에 있어서 새로 제안한 방법에 의해서 수렴하는 수치실험 결과를 얻었는데 본 논문에서는 저주파필터를 적용한 Wegmann해법에 의해 실험적으로 수렴한 결과를 Fourier 분석기법에 의해 이론적으로 증명한다.

• East Asian mathematical journal
• /
• 제31권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
• /
• 제18권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• 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.

• 한국융합학회논문지
• /
• 제9권11호
• /
• pp.75-81
• /
• 2018

블록체인 내의 모든 트랜잭션이 공개되기 때문에 익명성과 프라이버시 문제는 중요해지고 있다. 공개 블록체인은 사용자 대신 공개키 주소를 사용하여 익명성을 보장하는 것처럼 보이지만 트랜잭션 그래프를 기반으로 다양한 기법을 통해 추적함으로써 익명성을 약화시킬 수 있다. 본 논문에서는 블록체인 환경에서 익명성과 프라이버스를 보호하기 위하여 다양한 보안 기법을 융합하여 사용자의 추적을 어렵게 하는 기법을 제안한다. 제안 기법은 k-anonymity 기술, 믹싱 기술, 은닉서명, 다단계 기법, 램덤 선택기법, 영지식 증명 기법 등을 융합하여 인센티브 및 기여자의 참여를 통해 익명성과 프라이버시를 보호한다. 성능 분석을 통해 제안기법은 기여자의 수가 공모자의 수보다 많은 환경에서는 공모를 통한 프라이버시 및 익명성 훼손이 어렵다는 것을 보였다.