• 대한임베디드공학회논문지
• /
• 제4권2호
• /
• pp.97-102
• /
• 2009

In this paper, the problem of stability analysis for networked control systems with norm-bounded parameter uncertainties is investigated. By construction Lyapunov's functional, a new delay-dependent stability criterion for uncertain networked control system is established in terms of LMIs (linear matrix inequalities) which can be easily by various convex optimization algorithms. One numerical example is included to show the effectiveness of proposed criterion.

• 호남수학학술지
• /
• 제8권1호
• /
• pp.21-49
• /
• 1986

A class of singular quadratic control problem is considered. The state is governed by a higher order system of ordinary linear differential equations and very general nonstandard boundary conditions. These conditions in many important cases reduce to standard boundary conditions and because of the conditions the usual controllability condition is not needed. In the special case where the coefficient matrix of the control variable in the cost functional is a time-independent singular matrix, the corresponding optimal control law as well as the optimal controller are computed. The method of investigation is based on the theory of least-squares solutions of multi-valued operator equations.

• BMB Reports
• /
• 제55권12호
• /
• pp.627-632
• /
• 2022

Dickkopf-1 (DKK1) is a secreted protein that acts as an antagonist of the canonical WNT/β-catenin pathway, which regulates osteoblast differentiation. However, the role of DKK1 on osteoblast differentiation has not yet been fully clarified. Here, we investigate the functional role of DKK1 on osteoblast differentiation. Primary osteoprogenitor cells were isolated from human spinal bone tissues. To examine the role of DKK1 in osteoblast differentiation, we manipulated the expression of DKK1, and the cells were differentiated into mature osteoblasts. DKK1 overexpression in osteoprogenitor cells promoted matrix mineralization of osteoblast differentiation but did not promote matrix maturation. DKK1 increased Ca⁺ influx and activation of the Ca⁺/calmodulin-dependent protein kinase II Alpha (CAMK2A)-cAMP response element-binding protein 1 (CREB1) and increased translocation of p-CREB1 into the nucleus. In contrast, stable DKK1 knockdown in human osteosarcoma cell line SaOS2 exhibited reduced nuclear translocation of p-CREB1 and matrix mineralization. Overall, we suggest that manipulating DKK1 regulates the matrix mineralization of osteoblasts by Ca⁺-CAMK2A-CREB1, and DKK1 is a crucial gene for bone mineralization of osteoblasts.

• Korean Journal of Mathematics
• /
• 제24권1호
• /
• pp.1-13
• /
• 2016

This paper shows that the solutions to the perturbed functional dierential system $$y^{\prime}=f(t,y)+{\int_{t_0}^{t}}g(s,y(s),Ty(s))ds$$ have uniformly Lipschitz stability and asymptotic property. To sRhow these properties, we impose conditions on the perturbed part ${\int_{t_0}^{t}}g(s,y(s),Ty(s))ds$ and the fundamental matrix of the unperturbed system $y^{\prime}=f(t,y)$.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• pp.367-369
• /
• 1986

Guaranteed cost control is a method applicable to a class of systems with uncertain parameters that guarantees an upper bound of the cost functional. This paper is concerned with a matrix decomposition technique used to yield a reasonable upper bound of the cost functional for a finite-time LQ regulator problem. The uncertain linear systems dealt with in this paper are described by a set of state equations of single-input phase-variable canonical form which contain unknown but bounded uncertain parameters.

• 충청수학회지
• /
• 제29권1호
• /
• pp.1-11
• /
• 2016

This paper shows that the solutions to nonlinear perturbed functional differential system $$y^{\prime}=f(t,y)+{\int}^t_{t_0}g(s,y(s),Ty(s))ds+h(t,y(t))$$ have the asymptotic property by imposing conditions on the perturbed part ${\int}^t_{t_0}g(s,y(s),Ty(s))ds,h(t,y(t))$ and on the fundamental matrix of the unperturbed system y' = f(t, y).

• 충청수학회지
• /
• 제28권4호
• /
• pp.499-511
• /
• 2015

This paper shows that the solutions to the perturbed dierential system $$y^{\prime}=f(t,y)+{\int}_{t_o}^{t}g(s,y(s))ds+h(t,y(t),Ty(t))$$ have bounded property. To show this property, we impose conditions on the perturbed part ${\int}^{t}_{t_o}g(s,y(s))ds+h(t,y(t),Ty(t))$ and on the fundamental matrix of the unperturbed system y' = f(t, y).

• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.962-970
• /
• 2000

Multithreading is attractive in that it can tolerate memory latency and synchronization by effectively overlapping communication with computation. While several compiler techniques have been developed to produce multithreaded codes from functional languages programs, there still remains a lot of works to implement loops effectively. Executing lops in a style of multithreading usually causes some overheads, which can reduce severely the effect of multirheading. This paper suggests several methods in terms of architectures or compilers which can optimize loop execution by multithreading. We then simulate and analyze them for the matrix multiplication program.

• Kyungpook Mathematical Journal
• /
• 제56권1호
• /
• pp.47-55
• /
• 2016

In this paper, we consider a discrete predator-prey system obtained from a continuous Beddington-DeAngelis type predator-prey system by using the method in [9]. In order to investigate dynamical behaviors of this discrete system, we find out all equilibrium points of the system and study their stability by using eigenvalues of a Jacobian matrix for each equilibrium points. In addition, we illustrate some numerical examples in order to substantiate theoretical results.

• 대한수학회논문집
• /
• 제21권2호
• /
• pp.397-407
• /
• 2006

We construct polynomial-fitting interpolation rules to agree with a function f and its first derivative f' at equally spaced nodes on the interval of interest by introducing a linear functional with which we produce systems of linear equations. We also introduce a matrix whose determinant is not zero. Such a property makes it possible to solve the linear systems and then leads to a conclusion that the rules are uniquely determined for the nodes. An example is investigated to compare the rules with Hermite interpolating polynomials.