• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제24권2호
• /
• pp.161-197
• /
• 2020

Total variation minimization is standard in mathematical imaging and there have been numerous researches over the last decades. In order to process large-scale images in real-time, it is essential to design parallel algorithms that utilize distributed memory computers efficiently. The aim of this paper is to illustrate recent advances of domain decomposition methods for total variation minimization as parallel algorithms. Domain decomposition methods are suitable for parallel computation since they solve a large-scale problem by dividing it into smaller problems and treating them in parallel, and they already have been widely used in structural mechanics. Differently from problems arising in structural mechanics, energy functionals of total variation minimization problems are in general nonlinear, nonsmooth, and nonseparable. Hence, designing efficient domain decomposition methods for total variation minimization is a quite challenging issue. We describe various existing approaches on domain decomposition methods for total variation minimization in a unified view. We address how the direction of research on the subject has changed over the past few years, and suggest several interesting topics for further research.

• 천문학회보
• /
• 제40권1호
• /
• pp.82.1-82.1
• /
• 2015

We investigate the long-term spatial drift of the center and the temporal variation of the shutter delay time map of Y4KCam mounted on the CTIO 1.0m telescope. We have collected shutter delay time maps for over 7 years as a part of long-term survey program. We find that the center of the shutter delay time map can drift up to $450{\mu}m$ on the CCD. This effect can result in a small amount of error unless the proper shutter delay time correction, but it does not appear to cause any significant problems in photometric measurements. We obtain the mean value of the shutter delay time of $69.1{\pm}0.9$ msec and find no temporal variation of the shutter delay time of Y4KCam for over 7 years, indicative of the mechanical stability of the shutter. We suggest that using a master shutter delay time correction frame would be sufficient to achieve high precision photometry and this does not add up errors more than ~ 2.5 mmag across the CCD frame with exposure times longer than 1 sec.

• 한국산업융합학회 논문집
• /
• 제12권3호
• /
• pp.149-155
• /
• 2009

A new finite element equation is derived by applying quadratic and cubic time integration scheme to the variational formulation in time-integral for the analysis of the transient elastodynamic problems to increase the numerical accuracy and stability. Emphasis is focused on methodology for cubic time integration scheme procedure which are never presented before. In this semidiscrete approximations of the field variables, the time axis is divided equally and quadratic and cubic time variation is assumed in those intervals, and space is approximated by the usual finite element discretization technique. It is found that unconditionally stable numerical results are obtained in case of the cubic time variation. Some numerical examples are given to show the versatility of the presented formulation.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.923-929
• /
• 2002

We discuss scheduling analysis for a discrete event system with time windows of which firing or holding time delays are subject to random variation within some finite range. To do this, we propose a modified p-lime Petri net, named p+-time Petri net. We develop a condition for which a synchronized transition does not have a dead token, that is, the firing epochs do not violate the time window constraints. We propose a method of computing the feasible range of the token sojourn time at each place based on a time difference graph. We also discuss an application for analyzing wafer residency times within the process chambers for a dual-armed cluster tool for chemical vapor deposition.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2000년도 춘계 학술대회 논문집 통권 3호 Proceedings of the 2000 KSRS Spring Meeting
• /
• pp.13-18
• /
• 2000

We observed sea level variation of the long time at Kerguelen island in the South Indian Ocean with ARGOS data and meteorological data during about 1 year(May 1993~March 1994) through using filter, spectral analysis, coherency and phase, and found characteristics for the two oceanic signal levels(detided oceanic signal level, h$_{detided}$ and seasonal oceanic level, h$_{corr.ib}$). The forms of variations are very well agreed to between ARGOS data and meteorological data for atmospheric pressure in the observed periods. The seasonal difference of sea level between Summer and Winter is about 1.6cm. Both the detided oceanic signal level(h$_{detided}$) variation and the inverted barometer level(h$_{ib}$) variation have a strong correlation for T>1day period bands. Characteristics of h$_{detided}$ variation are decided not by the influence of any meteorological distributions (pressure, winds, etc), but the influence of another factors(temperature, salinity, etc.) for T>2days periods bands. h$_{corr.ib}$ plays an very important role of sea level variation of the long time term(especially T>about 180days period bands).

• 대한수학회보
• /
• 제50권2호
• /
• pp.611-626
• /
• 2013

In the paper we study the finite-time ruin probability in a general risk model with constant interest force, in which the claim sizes are pairwise quasi-asymptotically independent and arrive according to an arbitrary counting process, and the premium process is a general stochastic process. For the case that the claim-size distribution belongs to the consistent variation class, we obtain an asymptotic formula for the finite-time ruin probability, which holds uniformly for all time horizons varying in a relevant infinite interval. The obtained result also includes an asymptotic formula for the infinite-time ruin probability.

• 응용통계연구
• /
• 제27권4호
• /
• pp.513-521
• /
• 2014

일반적으로 현 시점에서 목표로 하고 있는 추정량의 산포가 지난시점의 추정량의 산포보다 크다면 지난시점과 비교하여 현 시점의 표본의 크기는 줄어드는 것이 타당하다. 계속조사에서 지난 시점의 추정량의 변동계수와 모집단의 크기 변동과 현 시점의 추정량의 목표오차를 이용하여 표본의 크기를 결정하는 것을 연구한 여러 논문들이 있다. 그런데 모집단은 크기의 변동과 산포의 변동이 있을 수 있으므로 본 연구에서는 지난 시점의 추정량의 변동계수와 모집단의 크기, 모집단의 산포 변동과 현 시점의 추정량의 목표오차를 반영하여 현 시점의 표본의 크기를 구하는 문제를 연구한다. 또한 모의실험을 통하여 기존 표본크기의 공식들과 비교분석한다.

• 전기학회논문지
• /
• 제64권6호
• /
• pp.912-921
• /
• 2015

In this paper, we introduce fuzzy inference-based real-time deterioration diagnosis system with the aid of infrared thermal imaging camera. In the proposed system, the infrared thermal imaging camera monitors diagnostic field in real time and then checks state of deterioration at the same time. Temperature and variation of temperature obtained from the infrared thermal imaging camera variation are used as input variables. In addition to perform more efficient diagnosis, fuzzy inference algorithm is applied to the proposed system, and fuzzy rule is defined by If-then form and is expressed as lookup-table. While triangular membership function is used to estimate fuzzy set of input variables, that of output variable has singleton membership function. At last, state of deterioration in the present is determined based on output obtained through defuzzification. Experimental data acquired from deterioration generator and electric machinery are used in order to evaluate performance of the proposed system. And simulator is realized in order to confirm real-time state of diagnostic field

• 한국환경보건학회지
• /
• 제37권4호
• /
• pp.258-266
• /
• 2011

Objectives: The aim of this study is to examine the possible changes over the past ten years in the estimated daily dietary lead intake (Pb-D) stemming from the variation of daily intake amounts for each food group. The following factors were considered; 1. time trends in Pb-D as the estimated values, 2. the time trend in Pb-D by food groups 3. the most influential food groups for dietary Pb intake. Methods: Estimated Pb-D was drawn from food consumption according to food groups reported in the Korean National Health and Nutrition Survey and the lead contents of each food group as reported in 23 prior publications. Results: The estimated Pb-D in a 2009 survey was 40.8 ${\mu}g/day$, of which 22.5 ${\mu}g/day$ (55.1%) was of plant origin and 18.3 ${\mu}g/day$ (44.9%) was of animal origin. Meats and poultry, fish and shellfish among foods of animal origin and beverages of plant origin had the largest contribution in Pb-D among the food groups. Conclusion: Over past ten years, daily lead intakes have slightly increased among men. Otherwise, no clear variation is apparent among women.

• Asian-Australasian Journal of Animal Sciences
• /
• 제4권1호
• /
• pp.79-83
• /
• 1991

Diurnal variation in faecal chromic oxide levels was estimated from 4 hourly faecal sampling of 56 wethers allotted to one of six different feeding patterns. Sampling occurred on days 6 and 7 (Period 1) after a controlled release device was administered, and was repeated on days 14 and 15 (Period 2) following re-randomisation of the wethers to the feeding patterns. Increasing the frequency of feeding tended to be associated with higher faecal chromic oxide levels (p < 0.05), particularly in wethers fed thrice daily at 8 hour intervals. There was no interaction between feeding pattern and period, sampling day or time within-day. There were significant period x time within-day (p < 0.05) and day x time within-day (p < 0.001) interactions, indicating that variation in faecal chromic oxide between sample times was not consistent. This implies that sampling at any time of day is unlikely to result in a biased estimate of pasture intake, providing sufficient samples are collected. Significant period (p < 0.001) and period x day (p < 0.01) effects were associated with slow faecal chromic oxide equilibration in period 1. Equilibration did not occur until after day 7, indicating a need for caution when commencing sampling.