• Bulletin of the Society of Naval Architects of Korea
• /
• v.12 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.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
• /
• v.31 no.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).

• The Korean Journal of Applied Statistics
• /
• v.25 no.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
• /
• v.18 no.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.

• The Mathematical Education
• /
• v.57 no.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.

• Journal of Convergence for Information Technology
• /
• v.9 no.8
• /
• pp.20-26
• /
• 2019

In this study, the optimal shape parameter condition is presented after analyzing the attributes of the software reliability model according to the change of the shape parameter of Loma life distribution with infinite fault NHPP. In order to analyze the software failure phenomena, the parametric estimation method was applied to the Maximum Likelihood Estimation method, and the nonlinear equation was applied to the bisection method. As a result, it was found that when the attributes according to the change of the shape parameter are compared, the smaller the shape parameter is, the better the prediction ability of the true value, and reliability attributes are efficient. Through this study, it is expected that software developers can increase reliability by preliminarily grasping the type of software failure based on shape parameter, and can be used as basic information to improve the software reliability attributes.

• Journal of Power Electronics
• /
• v.15 no.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.

• Journal of the Korean Mathematical Society
• /
• v.35 no.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.

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• 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.