• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.603-611
• /
• 1996

Let consider the following problem: find an element u(t) in a Banach space U from the equation $$ x'(t) = Ax(t) + f(t,x(t)) + \Phi_0 u(t), 0 \leq t \leq T $$ with initial and terminal conditions $$ x(0) = 0, x(T) = \phi $$ in a Banach space X where $\phi \in D(A)$. This problem is a kind of control engineering inverse problem and contains nonlinear term, so that it is difficult and interesting. Thee proof main result in this paper is based on the Fredholm property of [1] in section 3. Similar considerations of linear system have been dealt with in many references. Among these literatures, Suzuki[5] introduced this problem for heat equation with unknown spatially-varing conductivity. Nakagiri and Yamamoto[2] considered the identifiability problem, which A is a unknown operator to be identified, where the system is described by a linear retarded functional differential equation. We can also apply to determining the magnitude of the control set for approximate controllability if X is a reflexive space, i.e., we can consider whether a dense subset of X is covered by reachable set in section 4.

• Journal of Navigation and Port Research
• /
• v.36 no.9
• /
• pp.729-735
• /
• 2012

The primary wave energy conversion by a three-dimensional bottom-mounted oscillating water column (OWC) wave power device in regular waves has been studied. The linear potential boundary value problem has been solved following the boundary matching method. The optimum shape parameters such as the chamber length and the depth of the front skirt of the OWC chamber obtained through two-dimensional numerical tests in the frequency domain have been applied in the design of the present OWC chamber. Time-mean wave power converted by the OWC device and the time-mean second-order wave forces on the OWC chamber structure have been presented for different wave incidence angles in the frequency-domain. It has been shown that the peak period of $P_m$ for the optimum damping parameter coincides with the peak period of the time.mean wave drift force when ${\gamma}=0$.

• Computers and Concrete
• /
• v.5 no.2
• /
• pp.101-116
• /
• 2008

The microscopic determination of air void characteristics in hardened concrete, defined in EN 480-11 as the linear-traverse method, is an extremely time-consuming and tedious task. Over past decades, several researchers have proposed relatively expensive mechanical automated systems which could replace the human operator in this procedure. Recently, the appearance of new high-resolution flatbed scanners has made it possible for the procedure to be automated in a fully-computerized and thus cost-effective way. The results of our work indicate the high sensitivity of such image analysis automated systems firstly to the quality of sample surface preparation, secondly to the selection of the air void threshold value, and finally to the selection of the probe system. However, it can be concluded that in case of careful validation and the use of the approach which is proposed in the paper, such automated systems can give very good estimate of the air void system parameters, defined in EN 480-11. The amount of time saved by using such a procedure is immense, and there is also the possibility of using alternative stereological methods to assess other, perhaps also important, characteristics of air void system in hardened concrete.

• Journal of Electrical Engineering and Technology
• /
• v.6 no.5
• /
• pp.697-705
• /
• 2011

In this paper, a closed-loop system constructed with a linear plant and nonlinearity in the feedback connection is considered to argue against its planar orbital stability. Through a state space approach, a main result that presents a sufficient stability criterion of the limit cycle predicted by solving the harmonic balance equation is given. Preliminarily, the harmonic balance of the nonlinear feedback loop is assumed to have a solution that determines the characteristics of the limit cycle. Using a state-space approach, the nonlinear loop equation is reformulated into a linear perturbed model through the introduction of a residual operator. By considering a series of transformations, such as a modified eigenstructure decomposition, periodic averaging, change of variables, and coordinate transformation, the stability of the limit cycle can be simply tested via a scalar function and matrix. Finally, the stability criterion is addressed by constructing a composite Lyapunov function of the transformed system.

• Atmosphere
• /
• v.32 no.3
• /
• pp.191-206
• /
• 2022

Assimilation trials were performed using the Korea Institute of Atmospheric Prediction Systems (KIAPS) Korea Integrated Model (KIM) semi-operational forecast system to assess the impact of ground-based Global Navigation Satellite System (GNSS) Zenith Total Delay (ZTD) on forecast. To use the optimal observation in data assimilation of KIM forecast system, in this study, the ZTD observation were pre-processed. It involves the bias correction using long term background of KIM, the quality control based on background and the thinning of ZTD data. Also, to give the effect of observation directly to data assimilation, the observation operator which include non-linear model, tangent linear model, adjoint model, and jacobian code was developed and verified. As a result, impact of ZTD observation in both analysis and forecast was neutral or slightly positive on most meteorological variables, but positive on geopotential height. In addition, ZTD observations contributed to the improvement on precipitation of KIM forecast, specially over 5 mm/day precipitation intensity.

• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.235-250
• /
• 2023

Let 1 ≤ p, q < ∞ be fixed, and let R = [r_jk] be an infinite scalar matrix such that 1 ≤ r_jk < ∞ and sup_j,k r_jk < ∞. Let 𝓑(𝑙_p, 𝑙_q) be the set of all bounded linear operator from 𝑙_p into 𝑙_q. For a fixed Banach algebra 𝐁 with identity, we define a new vector space S^R_p,q(𝐁) of infinite matrices over 𝐁 and a paranorm G on S^R_p,q(𝐁) as follows: let $$S^R_{p,q}({\mathbf{B}})=\{A:A^{[R]}{\in}{\mathcal{B}}(l_p,l_q)\}$$ and $G(A)={\parallel}A^{[R]}{\parallel}^{\frac{1}{M}}_{p,q}$, where $A^{[R]}=[{\parallel}a_{jk}{\parallel}^{r_{jk}}]$ and M = max{1, sup_j,k r_jk}. The existance of S^R_p,q(𝐁) equipped with the paranorm G(·) including its completeness are studied. We also provide characterizations of β -dual of the paranormed space.

• Nonlinear Functional Analysis and Applications
• /
• v.29 no.1
• /
• pp.131-164
• /
• 2024

In this research, we study a modified relaxed Tseng method with a single projection approach for solving common solution to a fixed point problem involving finite family of τ-demimetric operators and a quasi-monotone variational inequalities in real Hilbert spaces with alternating inertial extrapolation steps and adaptive non-monotonic step sizes. Under some appropriate conditions that are imposed on the parameters, the weak and linear convergence results of the proposed iterative scheme are established. Furthermore, we present some numerical examples and application of our proposed methods in comparison with other existing iterative methods. In order to show the practical applicability of our method to real word problems, we show that our algorithm has better restoration efficiency than many well known methods in image restoration problem. Our proposed iterative method generalizes and extends many existing methods in the literature.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.663-668
• /
• 2001

X and Y are Banach spaces for which K(X, Y), the space of compact operators from X to Y, is an M-ideal in L(X, Y), the space of bounded linear operators form X to Y. If Z is a closed subspace of Y such that L(X, Z) has property SU in L(X, Y) and d(T, K(X, Z)) = d(T, K(X, Y)) for all $T \in L(X, Z)$, then K(X, Z) is an M-ideal in L(X, Z) if and only if it has property SU is L(X, Z).

• Water Engineering Research
• /
• v.1 no.2
• /
• pp.137-146
• /
• 2000

A windows-based software package, named DREDGE, is developed for estimating sediment resuspension and contaminant release during dredging operations. DREDGE allows user to enter the necessary dredge information, site characteristics, operational data, and contaminant characteristics, then calculates an array of concentration using the given values. The program mainly consists of the near-field models, which are obtained empirically, for estimating sediment resuspension and the far-field models, which are obtained analytically, for suspended sediment transport. A linear equilibrium partitioning approach is applied to estimate particulate and dissolved contaminant concentrations. This software package which requires only a minimal amount of data consists of three components; user input, tabular output, and graphical output. Combining the near-field and far-field models into a user-friendly windows-based computer program can greatly save dredge operator's, planners', and regulators' efforts for estimating sediment transports and contaminant distribution.

• Journal of the Korean Data and Information Science Society
• /
• v.24 no.5
• /
• pp.1077-1088
• /
• 2013

High-dimensional data analysis arises from almost all scientific areas, evolving with development of computing skills, and has encouraged penalized estimations that play important roles in statistical learning. For the past years, various penalized estimations have been developed, and the least absolute shrinkage and selection operator (LASSO) proposed by Tibshirani (1996) has shown outstanding ability, earning the first place on the development of penalized estimation. In this paper, we first introduce a number of recent advances in high-dimensional data analysis using the LASSO. The topics include various statistical problems such as variable selection and grouped or structured variable selection under sparse high-dimensional linear regression models. Several unsupervised learning methods including inverse covariance matrix estimation are presented. In addition, we address further studies on new applications which may establish a guideline on how to use the LASSO for statistical challenges of high-dimensional data analysis.