• 대한조선학회지
• /
• 제12권1호
• /
• pp.1-8
• /
• 1975

As a first step of a thermal stress analysis in a watertight bulkhead plate during welding of a spool type penetration piece, the bulkhead plate has been idealized as infinite plate with a circular hole. The exact solution for the transient temperature distribution and the associated quasi-static thermal stress which arise in a infinite plate subjected to an instantaneous point source of heat acting on the periphery of the circular hole. And the solutions have been extended to the case of a moving heat source with the aid of the Duhamel's superposition integral. The solutions can be applied to the problems such as a circular cutting or welding of a plate.

• 대한수학회보
• /
• 제52권4호
• /
• pp.1375-1382
• /
• 2015

We investigate what happens when we try to work with continuing block codes (i.e., left or right continuing factor maps) between shift spaces that may not be shifts of finite type. For example, we demonstrate that continuing block codes on strictly sofic shifts do not behave as well as those on shifts of finite type; a continuing block code on a sofic shift need not have a uniformly bounded retract, unlike one on a shift of finite type. A right eresolving code on a sofic shift can display any behavior arbitrary block codes can have. We also show that a right continuing factor of a shift of finite type is always a shift of finite type.

• East Asian mathematical journal
• /
• 제31권5호
• /
• pp.695-706
• /
• 2015

Let ${\mathcal{H}}$ be an infinite dimensional complex Hilbert space, and let $B({\mathcal{H}})$ be the algebra of all bounded linear operators on ${\mathcal{H}}$. Recall that an operator $T{\in}B({\mathcal{H})$ has property B(n) if ${\mid}T^n{\mid}{\geq}{\mid}T{\mid}^n$, $n{\geq}2$, which generalizes the class A-operator. We characterize the property B(n) of weighted shifts $S_{\lambda}$ over (${\eta},\;{\kappa}$)-type directed trees which appeared in the study of subnormality of weighted shifts over directed trees recently. In addition, we discuss the property B(n) of weighted shifts $S_{\lambda}$ over (2, 1)-type directed trees with nonzero weights are being distinct with respect to $n{\geq}2$. And we give some properties of weighted shifts $S_{\lambda}$ over (2, 1)-type directed trees with property B(2).

• 응용통계연구
• /
• 제25권5호
• /
• pp.813-820
• /
• 2012

A surplus process with two types of claims is considered, where Type I claims occur more frequently, however, their sizes are smaller stochastically than Type II claims. The ruin probabilities of the surplus caused by each type of claim are obtained by establishing integro-differential equations for the ruin probabilities. The formulas of the ruin probabilities contain an infinite sum and convolutions that make the formulas hard to be applicable in practice; subsequently, we obtain explicit formulas for the ruin probabilities when the sizes of both types of claims are exponentially distributed. Finally, we show through a numerical example, that Type II claims have more impact on the ruin probability of the surplus than Type I claims.

• Journal of the Optical Society of Korea
• /
• 제18권6호
• /
• pp.714-719
• /
• 2014

A pico-projector is a compact and mobile projector that has an infinite focus. We apply the pico-projector to a projection-type integral imaging system, which can expand the image depth to form multiple central depth planes. In a projection-type integral imaging system, the image flipping problem arises because the expanded elemental images pass through a lens array. To solve this problem, we propose the ray tracing of a pico-projector at a central depth plane and compensate the elemental image using a pixel-mapping process. Experiments to verify the proposed method are performed, and the results are presented.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제57권4호
• /
• pp.353-369
• /
• 2018

This study started with the following questions. Suppose that students do not accept various forms of geometric series tasks as the same task. Also, let's say that the approach was different for each task. Then, when they realize that they are the same task, how will students connect the different approaches? This study is a process of pro-actively confirming whether or not such a question can be made. For this purpose, three students in the second grade of high school participated in the teaching experiment. The results of this study are as follows. It also confirmed how the students think about the various types of tasks in the geometric series. For example, students have stated that the value is 1 in a series type of task. However, in the case of the 0.999... type of task, the value is expressed as less than 1. At this time, we examined only mathematical expressions of students approaching each task. The problem of reachability was not encountered because the task represented by the series symbol approaches the problem solved by procedural calculation. However, in the 0.999... type of task, a variety of expressions were observed that revealed problems with reachability. The analysis of students' expressions related to geometric series can provide important information for infinite concepts and limit conceptual research. The problems of this study may be discussed through related studies. Perhaps more advanced research may be based on the results of this study. Through these discussions, I expect that the contents of infinity in the school field will not be forced unilaterally because there is no mathematical error, but it will be an opportunity for students to think about the learning method in a natural way.

• 융합정보논문지
• /
• 제9권8호
• /
• pp.20-26
• /
• 2019

본 연구에서는 무한고장 NHPP 로맥스 수명분포의 형상모수 변화에 따른 소프트웨어 신뢰성 모형의 속성을 새롭게 분석한 후 최적의 형상모수 조건을 제시하였다. 소프트웨어 고장현상을 분석하기 위하여 모수추정은 최우추정법을 사용하였고, 비선형 방정식의 계산은 이분법을 적용하였다. 그 결과, 형상모수(k)의 변화에 따른 속성을 비교하였을 때 형상모수가 작을 수록 참값에 대한 예측능력이 우수하고, 신뢰 속성이 효율적임을 알 수 있었다. 본 연구를 통하여, 소프트웨어 개발자들은 형상모수에 근거한 소프트웨어 고장형태를 사전에 파악함으로서 신뢰도를 성장시킬 수 가 있으며, 또한, 소프트웨어의 신뢰속성을 향상시키는데 필요한 기본정보로 활용할 수 있을 것으로 기대한다.

• Journal of Power Electronics
• /
• 제15권3호
• /
• pp.786-795
• /
• 2015

In this paper, an active damping control scheme for LLCL filters based on the PR (proportional-resonant) regulator is proposed for grid-connected three-level T-type PWM converter systems. The PR controller gives an infinite gain at the resonance frequency. As a result, the oscillation can be suppressed at that frequency. In order to improve the stability of the system in the case of grid impedance variations, online grid impedance estimation is applied. Simulation and experimental results have verified the effectiveness of the proposed scheme for three-phase T-type AC/DC PWM converters.

• 대한수학회지
• /
• 제35권3호
• /
• pp.691-712
• /
• 1998

We consider an M$_1$, M$_2$/G/1/ K retrial queueing system with a finite priority queue for type I calls and infinite retrial group for type II calls where blocked type I calls may join the retrial group. These models, for example, can be applied to cellular mobile communication system where handoff calls have higher priority than originating calls. In this paper we apply the supplementary variable method where supplementary variable is the elapsed service time of the call in service. We find the joint generating function of the numbers of calls in the priority queue and the retrial group in closed form and give some performance measures of the system.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.587-590
• /
• 1991

It is general to make the circuit analysis of current-fed type inverter driven by current source with rippleless input under the assumption of infinite induction Ld in direct current reactor(DCL). This paper focusing on the fact that Ld has bounded value in real circuit, examines operating characteristics by analysis of static state characteristics of current type inverter driven by voltage source and compares it with the operating characteristics of the circuit driven by current source.