• Structural Engineering and Mechanics
• /
• 제18권1호
• /
• pp.59-78
• /
• 2004

This paper is devoted to illustrate some numerical procedures to solve the boundary equilibrium problems of three-dimensional solids that are subjected to thermal strains. The constitutive equations take into account the bounded tensile strength of the material and they are presented in the framework of non-linear elasticity and small strains. The associated equilibrium problem is solved numerically by means of the finite element method and the numerical techniques, i.e. the Newton-Raphson method and the secant method, are revised in order to assure the solution convergence of the discretized problem. Some numerical examples are illustrated.

• Korean Journal of Mathematics
• /
• 제7권1호
• /
• pp.45-51
• /
• 1999

Let X and Y be topological vector spaces. For a sequence {$T_j$} of bounded operators from X into Y the $c_0$-multiplier convergence of ${\sum}T_j$ is an invariant on topologies which are stronger (need not strictly) than the topology of pointwise convergence on X but are weaker (need not strictly) than the topology of uniform convergence on bounded subsets of X.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1579-1586
• /
• 2015

In this paper we investigate the barrellednes of some spaces of X-valued measures, X being a barrelled normed space, and provide examples of non barrelled spaces of bounded linear operators from a Banach space X into a barrelled normed space Y, equipped with the uniform convergence topology.

• 대한수학회보
• /
• 제51권3호
• /
• pp.803-812
• /
• 2014

Let ${\mathcal{S}}^0_{\mathcal{H}}$ be the class of normalized univalent harmonic mappings in the unit disk. A subclass ${\mathcal{V}}^{\mathcal{H}}(k)$ of ${\mathcal{S}}^0_{\mathcal{H}}$, whose analytic part is function with bounded boundary rotation, is introduced. Some bounds for functionals, specially harmonic pre-Schwarzian derivative, described in ${\mathcal{V}}^{\mathcal{H}}(k)$ are given.

• 대한수학회논문집
• /
• 제11권3호
• /
• pp.595-600
• /
• 1996

We give a characterization of a deductive system. We introduce the concept of maximal deductive systems and show that every bounded Hilbert algebra with at least two elements contains at least one maximal deductive system. Moreover, we introduce the notion of radical and semisimple in a Hilbert algebra and prove that if H is a bounded Hilbert algebra in which every element is an involution, then H is semisimple.

• 호남수학학술지
• /
• 제39권2호
• /
• pp.143-159
• /
• 2017

In this paper, we show that algebraic properties of Toeplitz operators on both Bergman spaces and Hardy spaces on the unit disc essentially generalizes on arbitrary bounded domains in the plane. In particular, we obtain results for the uniqueness property and commuting problems of the Toeplitz operators on the Hardy and the Bergman spaces associated to bounded domains.

• 충청수학회지
• /
• 제11권1호
• /
• pp.13-26
• /
• 1998

The purpose of this note is to study the relation between Heyting algebra and t-algebra which is the dual concept of BCK-algebra. We define t-algebra with binary operation ${\rhd}$ which is a generalization of the implication in the Heyting algebra, and define a bounded ness and commutativity of it, and then characterize a Heyting algebra and a Boolean algebra as a bounded commutative t-algebra X satisfying $x=(x{\rhd}y){\rhd}x$ for all $x,y{\in}X$.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.104.4-104
• /
• 2001

This paper addresses a supervisory control problem to meet bounded time constraints in real-time nondeterministic discrete event systems (DESs) represented as timed transition models. For a timed language specification representing a bounded time constraint, this paper introduces the notions of trace-controllability and time-controllability. Based on the notions, this paper presents the necessary and sufficient conditions for the existence of a supervisor for a real-time nondeterministic DES to achieve the specification.

• Journal of applied mathematics & informatics
• /
• 제5권3호
• /
• pp.867-875
• /
• 1998

In this paper we prove that any continuous function on a bounded closed interval of can be approximated by the superposition of a bounded sigmoidal function with a fixed weight. In addition we show that any continuous function over $\mathbb{R}$ which vanishes at infinity can be approximated by the superposition f a bounded sigmoidal function with a weighted norm. Our proof is constructive.

• 충청수학회지
• /
• 제29권2호
• /
• pp.347-359
• /
• 2016

In this paper, we show that the solutions to perturbed functional differential system $$y^{\prime}=f(t,y)+{\int_{t_0}^{t}}g(s,y(s),Ty(s))ds$$, have a bounded properties. To show the bounded properties, we impose conditions on the perturbed part ${\int_{t_0}^{t}}g(s,y(s),Ty(s))ds$ and on the fundamental matrix of the unperturbed system y' = f(t, y) using the notion of $t_{\infty}$-similarity.