• Honam Mathematical Journal
• /
• v.29 no.1
• /
• pp.19-40
• /
• 2007

Let L be the differential operator, Lu = $u_{tt}+u_{xxxx}$. We consider nonlinear beam equations, Lu + $bu^+$ = j, in H, where H is the Hilbert space spanned by eigenfunctions of L. We reveal the existence of multiple solutions of the nonlinear beam problems by critical point theorems.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.1802-1806
• /
• 2006

It is important to consider the effects of land-use changes on surface runoff, stream flow, and groundwater recharge. Expansion of urban areas significantly impacts the environment in terms of ground water recharge, water pollution, and storm water drainage. Increase of impervious area due to urbanization leads to an increase in surface runoff volume, contributes to downstream flooding and a net loss in groundwater recharge. Assessment of the hydrologic impacts or urban land-use change traditionally includes models that evaluate how land use change alters peak runoff rates, and these results are then used in the design of drainage systems. Such methods however do not address the long-term hydrologic impacts of urban land use change and often do not consider how pollutants that wash off from different land uses affect water quality. L-THIA (Long-Term Hydrologic Impact Assessment) is an analysis tool that provides site-specific estimates of changes in runoff, recharge and non point source pollution resulting from past or proposed land-use changes. It gives long-term average annual runoff for a land use configuration, based on climate data for that area. In this study, the environmental and hydrological impact from the urbanized basin had been examined with GIS L-THIA in Korea.

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.17-35
• /
• 2020

In this paper we introduce and consider a new class of variational inequalities with four operators. This class is called the extended general mixed quasi variational inequality. We show that the extended general mixed quasi variational inequality is equivalent to the fixed point problem. We use this alternative equivalent formulation to discuss the existence of a solution of extended general mixed quasi variational inequality and also develop several iterative methods for solving extended general mixed quasi variational inequality and its variant forms. We consider the convergence analysis of the proposed iterative methods under appropriate conditions. We also introduce a new class of resolvent equation, which is called the extended general implicit resolvent equation and establish an equivalent relation between the extended general implicit resolvent equation and the extended general mixed quasi variational inequality. Some special cases are also discussed.

• Proceedings of the Korea Environmental Mutagen Society Conference
• /
• 2004.05a
• /
• pp.122-122
• /
• 2004

• Communications for Statistical Applications and Methods
• /
• v.9 no.1
• /
• pp.75-86
• /
• 2002

We consider the problem of estimating the change-point in mean change model with one change-point. Gombay and Huskova(1998) derived a class of change-point estimators with the score function of rank. A change-point estimator with the log score function of rank is suggested and is shown to be involved in the class of Gombay and Huskova(1988). The simulation results show that the proposed estimator has smaller rose, larger proportion of matching the true change-point than the other estimators considered in the experiment when the change-point occurs in the middle of the sample.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.757-777
• /
• 2019

In this paper, we study the convergence analysis of the sequences generated by the proximal point method for an infinite family of pseudo-monotone equilibrium problems in Banach spaces. We first prove the weak convergence of the generated sequence to a common solution of the infinite family of equilibrium problems with summable errors. Then, we show the strong convergence of the generated sequence to a common equilibrium point by some various additional assumptions. We also consider two variants for which we establish the strong convergence without any additional assumption. For both of them, each iteration consists of a proximal step followed by a computationally inexpensive step which ensures the strong convergence of the generated sequence. Also, for this two variants we are able to characterize the strong limit of the sequence: for the first variant it is the solution lying closest to an arbitrarily selected point, and for the second one it is the solution of the problem which lies closest to the initial iterate. Finally, we give a concrete example where the main results can be applied.

• International Journal of Quality Innovation
• /
• v.5 no.1
• /
• pp.1-9
• /
• 2004

The nonhomogeneous poisson process (NHPP) is often used to model repairable systems that are subject to a minimal repair strategy, with negligible repair times. In this situation, the system can be characterized by its intensity function. There have been many NHPP models according to intensity functions. However, the intensity function of system in use can be changed because of repair or its aging. We consider the single change point model as the modification of the power law process. The shape parameter of its intensity function is changed before and after the change point. We detect the presence of the change point using Bayesian methodology. Some numerical results are also presented.

• Journal of the Korean Data and Information Science Society
• /
• v.21 no.1
• /
• pp.179-183
• /
• 2010

In this paper, we consider the change point problem in diusion processes based on discretely observed sample. Particularly, we consider the change point test for the dispersion parameter when the drift has unknown parameters. In performing a test, we employ the cusum of squares test based on the residuals. It is shown that the test has a limiting distribution of the sup of a Brownian bridge. A simulation result as to the Ornstein-Uhlenbeck process is provided for illustration. It demonstrates the validity of our test.

• Communications of the Korean Mathematical Society
• /
• v.16 no.3
• /
• pp.415-425
• /
• 2001

We consider the problem of determining conductivity of the medium from the measurements of the electric potential on the boundary and the corresponding current flux across the boundary. We give a formula for reconstructing the conductivity and its normal derivative at the point of the boundary simultaneously from the localized Diichlet to Neumann map around that point.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.6 no.4
• /
• pp.234-239
• /
• 2006

In the past decade, several tools have been developed to automate the floating-point to fixed-point conversion for DSP systems. In the conversion process, a number of scaling shifts are introduced, and they inevitably alter the original code sequence. Recently, we have observed that a compiler can often be adversely affected by this alteration, and consequently fails to generate efficient machine code for its target processor. In this paper, we present an optimization technique that safely migrates scaling shifts to other places within the code so that the compiler can produce better-quality code. We consider our technique to be safe in that it does not introduce new overflows, yet preserving the original SQNR. The experiments on a commercial fixed-point DSP processor exhibit that our technique is effective enough to achieve tangible improvement on code size and speed for a set of benchmarks.