• Kyungpook Mathematical Journal
• /
• v.43 no.4
• /
• pp.593-604
• /
• 2003

In this paper we introduce the integral type Lupas-$B{\acute{e}}zier$ operator $\tilde{B}_{n,{\alpha}}$, which is a new approximation operator of probabilistic type. We study the rate of pointwise convergence of the operators $\tilde{B}_{n,{\alpha}}$ for local bounded functions and get an asymptotically estimate by means of some methods and techniques of probability theory.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.4
• /
• pp.413-419
• /
• 2009

A decentralized adaptive control method is proposed for large-scale systems with unknown time-delayed nonlinear interconnections unmatched in control inputs. It is assumed that the time-delayed interaction terms are bounded by unknown nonlinear bounding functions. The nonlinear bounding functions and uncertain nonlinear functions of large-scale systems are compensated by the function approximation technique using neural networks. The dynamic surface control method is extended to design the proposed memoryless local controller for each subsystem of uncertain nonlinear large-scale time delay systems. Therefore, although the interconnected systems consist of a large number of subsystems, the proposed controller can be designed simply. We prove that all the signals in the total closed-loop system are semiglobally uniformly bounded and the control errors converge to an adjustable neighborhood of the origin. Finally, an example is given to demonstrate the effectiveness and applicability of the proposed scheme.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.437-442
• /
• 2014

In this paper we prove Ekeland's variational principle in the setting of locally complete spaces for lower semi continuous functions from above and bounded below. We use this theorem to prove Caristi's fixed point theorem in the same setting and also for lower semi continuous functions.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.412-415
• /
• 1995

Previously obtained results of L$_{2}$-gain and H$_{\infty}$ control via state feedback of nonlinear systems are extended to a class of nonlinear system with uncertainties. The required information about the uncertainties is that the uncertainties are bounded in Euclidian norm by known functions of the system state. The conditions are characterized in terms of the corresponding Hamilton-Jacobi equations or inequalities (HJEI). An algorithm for finding an approximate local solution of Hamilton-Jacobi equation is given. This results and algorithm are illustrated on a numerical example..

• Interaction and multiscale mechanics
• /
• v.2 no.1
• /
• pp.31-44
• /
• 2009

While the classical theory of Griffith is the foundation of modern understanding of brittle fracture, it has a number of significant shortcomings: Griffith theory does not predict crack initiation and path and it suffers from the presence of unphysical stress singularities. In 1998, Francfort and Marigo presented an energy functional minimization method, where the crack (or its absence) as well as its path are part of the problem's solution. The energy functionals act on spaces of functions of bounded variations, where the cracks are related to the discontinuity sets of such functions. The new model presented here uses modified energy functionals to account for molecular interactions in the vicinity of crack tips, resulting in Barenblatt cohesive forces, such that the model becomes free of stress singularities. This is done in a physically consistent way using recently published concepts of Sinclair. Here, for the consistency of the model, it becomes necessary to allow for crack reversibility and to consider local minimizers of the energy functionals. The latter is achieved by introducing different time scales. The model is solved in its global as well as in its local version for a simple one-dimensional example, showing that local minimization is necessary to yield a physically reasonable result.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1045-1061
• /
• 2023

Using variational methods, Krasnoselskii's genus theory and symmetric mountain pass theorem, we introduce the existence and multiplicity of solutions of a parameteric local equation. At first, we consider the following equation $$\{-div[a(x,{\mid}{\nabla}u{\mid}){\nabla}u]\,=\,{\mu}(b(x){\mid}u{\mid}^{s(x)-2}-{\mid}u{\mid}^{r(x)-2})u\;in\;{\Omega},\\u\,=0\,on\;{\partial}{\Omega},$$ where Ω⊆ ℝ^N is a bounded domain, µ is a positive real parameter, p, r and s are continuous real functions on ${\bar{\Omega}}$ and a(x, ξ) is of type |ξ|^p(x)-2. Next, we study boundedness and simplicity of eigenfunction for the case a(x, |∇u|)∇u = g(x)|∇u|^p(x)-2∇u, where g ∈ L^∞(Ω) and g(x) ≥ 0 and the case $a(x,\,{\mid}{\nabla}u{\mid}){{\nabla}u}\,=\,(1\,+\,{\nabla}u{\mid}^2)^{\frac{p(x)-2}{2}}{\nabla}u$ such that p(x) ≡ p.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.24 no.12
• /
• pp.948-953
• /
• 2014

Many studies using the assumed mode method have been found for the free vibration analysis of stiffened plate with known elastic boundary conditions. However many local structures such as tank edges and equipment foundations consist of connected structures and it is very difficult to find suitable elastic boundary conditions. In this study combined polynomials which satisfy simply and fixedly supported boundary conditions are proposed. The proposed method has been applied to tanks which bounded by bulkhead and a deck. The results of this study shows good agreements with these obtain by the FEA S/W(Patran/Nastran).

• Journal of Korean Society of Rural Planning
• /
• v.20 no.4
• /
• pp.101-112
• /
• 2014

The public value of agriculture and rural areas is closely associated with the concept of multifunctionality of agriculture and rural areas, which in turn signifies economic values other than the production function of agriculture and rural areas. Based on the survey results, virtual scenarios were set up and the contingent valuation method (CVM) was used to estimate the amount consumers are willing to pay (WTP) for the public functions of agriculture and rural areas. This study selected five domains of the public value (environment conservation, maintenance of landscape and cultural tradition, enhancement of national prestige, local community maintenance and socio-economic functions, and food security) and 21 value items as components of the public value. An economic assessment of the public value of agriculture and rural areas was conducted using a binomial logistic regression model. The estimation results showed that the public value consumers are willing to pay ranges from a minimum of 6,346.8 billion won to a maximum of 9,327.2 billion won.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.22 no.2
• /
• pp.174-180
• /
• 2012

This paper proposes a decentralized adaptive output-feedback controller design for nonlinear interconnected systems with unknown time delays. The interaction terms with unknown delays are related to all states of subsystems. The time-delayed functions are compensated by using appropriate Lyapunov-Krasovskii functionals and function approximation technique. The observer dynamic surface design technique is employed to design the proposed memoryless local controller for each subsystem. In addition, we prove that all signals in the closed-loop system are semiglobally uniformly bounded and control errors converge to an adjustable neighborhood of the origin.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.975-976
• /
• 1993

This talk presents the overview of the author's research and development activities on fuzzy inference hardware. We involved it with two distinct approaches. The first approach is to use application specific integrated circuits (ASIC) technology. The fuzzy inference method is directly implemented in silicon. The second approach, which is in its preliminary stage, is to use more conventional microprocessor architecture. Here, we use a quantitative technique used by designer of reduced instruction set computer (RISC) to modify an architecture of a microprocessor. In the ASIC approach, we implemented the most widely used fuzzy inference mechanism directly on silicon. The mechanism is beaded on a max-min compositional rule of inference, and Mandami's method of fuzzy implication. The two VLSI fuzzy inference chips are designed, fabricated, and fully tested. Both used a full-custom CMOS technology. The second and more claborate chip was designed at the University of North Carolina(U C) in cooperation with MCNC. Both VLSI chips had muliple datapaths for rule digital fuzzy inference chips had multiple datapaths for rule evaluation, and they executed multiple fuzzy if-then rules in parallel. The AT & T chip is the first digital fuzzy inference chip in the world. It ran with a 20 MHz clock cycle and achieved an approximately 80.000 Fuzzy Logical inferences Per Second (FLIPS). It stored and executed 16 fuzzy if-then rules. Since it was designed as a proof of concept prototype chip, it had minimal amount of peripheral logic for system integration. UNC/MCNC chip consists of 688,131 transistors of which 476,160 are used for RAM memory. It ran with a 10 MHz clock cycle. The chip has a 3-staged pipeline and initiates a computation of new inference every 64 cycle. This chip achieved an approximately 160,000 FLIPS. The new architecture have the following important improvements from the AT & T chip: Programmable rule set memory (RAM). On-chip fuzzification operation by a table lookup method. On-chip defuzzification operation by a centroid method. Reconfigurable architecture for processing two rule formats. RAM/datapath redundancy for higher yield It can store and execute 51 if-then rule of the following format: IF A and B and C and D Then Do E, and Then Do F. With this format, the chip takes four inputs and produces two outputs. By software reconfiguration, it can store and execute 102 if-then rules of the following simpler format using the same datapath: IF A and B Then Do E. With this format the chip takes two inputs and produces one outputs. We have built two VME-bus board systems based on this chip for Oak Ridge National Laboratory (ORNL). The board is now installed in a robot at ORNL. Researchers uses this board for experiment in autonomous robot navigation. The Fuzzy Logic system board places the Fuzzy chip into a VMEbus environment. High level C language functions hide the operational details of the board from the applications programme . The programmer treats rule memories and fuzzification function memories as local structures passed as parameters to the C functions. ASIC fuzzy inference hardware is extremely fast, but they are limited in generality. Many aspects of the design are limited or fixed. We have proposed to designing a are limited or fixed. We have proposed to designing a fuzzy information processor as an application specific processor using a quantitative approach. The quantitative approach was developed by RISC designers. In effect, we are interested in evaluating the effectiveness of a specialized RISC processor for fuzzy information processing. As the first step, we measured the possible speed-up of a fuzzy inference program based on if-then rules by an introduction of specialized instructions, i.e., min and max instructions. The minimum and maximum operations are heavily used in fuzzy logic applications as fuzzy intersection and union. We performed measurements using a MIPS R3000 as a base micropro essor. The initial result is encouraging. We can achieve as high as a 2.5 increase in inference speed if the R3000 had min and max instructions. Also, they are useful for speeding up other fuzzy operations such as bounded product and bounded sum. The embedded processor's main task is to control some device or process. It usually runs a single or a embedded processer to create an embedded processor for fuzzy control is very effective. Table I shows the measured speed of the inference by a MIPS R3000 microprocessor, a fictitious MIPS R3000 microprocessor with min and max instructions, and a UNC/MCNC ASIC fuzzy inference chip. The software that used on microprocessors is a simulator of the ASIC chip. The first row is the computation time in seconds of 6000 inferences using 51 rules where each fuzzy set is represented by an array of 64 elements. The second row is the time required to perform a single inference. The last row is the fuzzy logical inferences per second (FLIPS) measured for ach device. There is a large gap in run time between the ASIC and software approaches even if we resort to a specialized fuzzy microprocessor. As for design time and cost, these two approaches represent two extremes. An ASIC approach is extremely expensive. It is, therefore, an important research topic to design a specialized computing architecture for fuzzy applications that falls between these two extremes both in run time and design time/cost. TABLEI INFERENCE TIME BY 51 RULES {{{{Time }}{{MIPS R3000 }}{{ASIC }}{{Regular }}{{With min/mix }}{{6000 inference 1 inference FLIPS }}{{125s 20.8ms 48 }}{{49s 8.2ms 122 }}{{0.0038s 6.4㎲ 156,250 }} }}