• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.117-120
• /
• 1998

In this paper, we construct the uniformity of a BCI-algebra.

• Kyungpook Mathematical Journal
• /
• v.28 no.1
• /
• pp.23-34
• /
• 1988

A version of Ascoli's Theorem (equating compact and equicontinuous sets) is presented in the context of convergence spaces. This theorem and another, (involving equicontinuity) are applied to characterize compact subsets of quasi-multipliers of a $C^*$-algebra B, and to characterize the compact subsets of the state space of B. The classical Ascoli Theorem states that, for pointwise pre-compact families F of continuous functions from a locally compact space Y to a complete Hausdorff uniform space Z, equicontinuity of F is equivalent to relative compactness in the compact-open topology([4] 7.17). Though this is one of the most important theorems of modern analysis, there are some applications of the ideas inherent in this theorem which arc not readily accessible by direct appeal to the theorem. When one passes to so-called "non-commutative analysis", analysis of non-commutative $C^*$-algebras, the analogue of Y may not be relatively compact, while the conclusion of Ascoli's Theorem still holds. Consequently it seems plausible to establish a more general Ascoli Theorem which will directly apply to these examples.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1247-1263
• /
• 2019

In ordered trees, two randomly chosen vertices are said to be dependent if one lies under the other. If not, we say that they are independent. We consider several classes of ordered trees with uniform updegree requirements and find the generating functions for the trees with two marked dependent/independent vertices. As a result, we compute the probability for two vertices being dependent/independent. We also count such trees by the distance between two independent vertices.

• Spatial Information Research
• /
• v.5 no.2
• /
• pp.147-160
• /
• 1997

"The "Map Algebra", beeing recognized as a viable theoretical framework for GIS (Geographica Infonnation System), models map layers as "operands" which are the basic unit of geo-processing, and a variety of GIS commands as "operators." In this paper, we attempt at lifting some limitations of map algebras proposed in GIS literature. First, we model map layer as "function" such that we may employ the notion of meta operator (or, higher-order funtion) available in the functional programming paradigm. This approach provides map algebraic language with "programmability" needed in GIS user language. Second, we extend the semantics of, and improve on the sytactic structure of map algebraic language. Mer the data model and language associated with map algebra are formalized, we proceed to design and implement a prototype of map algebraic processor. The parser of the language in our prototype plays the role of transforming the native and heterogeneous user language of current GISs into a canonical map algebraic language. The prototype, named "MapSee" is a proof-of-concept system for the ideas we propsed in this paper. We believe that the uniform interface based on the map algebraic language will make promising infrastructure to support "Internet GIS." This is because the uniform but powerful interface through the Web clients allow access to both geo-data and geo-processing resources distributed over the network.to both geo-data and geo-processing resources distributed over the network.

• Progress in Superconductivity
• /
• v.3 no.2
• /
• pp.183-187
• /
• 2002

In this paper we analyzed the electromagnetic behavior of high $-T_{c}$ superconductor under the quench state using finite element method. Poisson equation was used in finite element analysis as a governing equation and was solved using algebra equation using Gallerkin method. We first investigate d the electromagnetic behavior of U-type superconductor. Finally we applied our analysis techniques to 5.5 kVA meander-line superconducting fault current limiters (SFCL) which are currently developed by many power-system researcher in the world. Meshes of 14,600 elements were used in analysis of this SFCL. Analysis results show that the distribution of current density was concentrated to inner curvature in meander-line type-superconductors and maximum current density 14.61 $A/\m^2$ and also maximum Joule heat was 6,420 W/㎥. We concluded that this meander line-type SFCL was not pertinet fur uniform electromagnetic field distribution.n.

• Structural Engineering and Mechanics
• /
• v.27 no.6
• /
• pp.713-739
• /
• 2007

Nowadays computers can perform symbolic computations in addition to mere number crunching operations for which they were originally designed. Symbolic computation opens up exciting possibilities in Structural Mechanics and engineering. Classical areas have been increasingly neglected due to the advent of computers as well as general purpose finite element software. But now, classical analysis has reemerged as an attractive computer option due to the capabilities of symbolic computation. The repetitive cycles of simultaneous - equation sets required by the finite element technique can be eliminated by solving a single set in symbolic form, thus generating a truly closed-form solution. This consequently saves in data preparation, storage and execution time. The power of Symbolic computation is demonstrated by six examples by applying symbolic computation 1) to solve coupled shear wall 2) to generate beam element matrices 3) to find the natural frequency of a shear frame using transfer matrix method 4) to find the stresses of a plate subjected to in-plane loading using Levy's approach 5) to draw the influence surface for deflection of an isotropic plate simply supported on all sides 6) to get dynamic equilibrium equations from Lagrange equation. This paper also presents yet another computationally efficient and accurate numerical method which is based on the concept of derivative of a function expressed as a weighted linear sum of the function values at all the mesh points. Again this method is applied to solve the problems of 1) coupled shear wall 2) lateral buckling of thin-walled beams due to moment gradient 3) buckling of a column and 4) static and buckling analysis of circular plates of uniform or non-uniform thickness. The numerical results obtained are compared with those available in existing literature in order to verify their accuracy.

• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.881-889
• /
• 1994

Let ($X, \Beta, \mu$) be a measure space with the $\sigma$-algebra $\Beta$ and the probability measure $\mu$. Throughouth this article set equalities and inclusions are understood as being so modulo measure zero sets. A transformation T defined on a probability space X is said to be measure preserving if $\mu(T^{-1}E) = \mu(E)$ for $E \in B$. It is said to be ergodic if $\mu(E) = 0$ or i whenever $T^{-1}E = E$ for $E \in B$. Consider the sequence ${x, Tx, T^2x,...}$ for $x \in X$. One may ask the following questions: What is the relative frequency of the points $T^nx$ which visit the set E\ulcorner Birkhoff Ergodic Theorem states that for an ergodic transformation T the time average $lim_{n \to \infty}(1/N)\sum^{N-1}_{n=0}{f(T^nx)}$ equals for almost every x the space average $(1/\mu(X)) \int_X f(x)d\mu(x)$. In the special case when f is the characteristic function $\chi E$ of a set E and T is ergodic we have the following formula for the frequency of visits of T-iterates to E : $$ lim_{N \to \infty} \frac{$\mid${n : T^n x \in E, 0 \leq n $\mid$}{N} = \mu(E) $$ for almost all $x \in X$ where $$\mid$\cdot$\mid$$ denotes cardinality of a set. For the details, see [8], [10].

• Journal of the Korean Association of Geographic Information Studies
• /
• v.12 no.1
• /
• pp.64-72
• /
• 2009

The method to generate a digital elevation model(DEM) from contour lines causes a problem in which the low relief landform cannot be clearly presented due to the fact that it is significantly influenced by the expression of micro landform elements according to the interval of contours. Thus, this study attempts to develop a landcover burning method that recovers the micro relief landform of the DEM, which applies buffering and map algebra methods by inputting the elevation information to the landcover. In the recovering process of the micro landform, the DEM was recovered using the buffering method and elevation information through the map algebra for the landcover element for the micro landform among the primary DEM generation, making landcover map, and landcover elements. The recovering of the micro landform was applied based on stream landforms. The recovering of landforms using the buffering method was performed for the bar, which is a polygonal element, and wetland according to the properties of concave/convex through generating contours with a uniform interval in which the elevation information applied to the recovered landform. In the case of the linear elements, such as bank, road, waterway, and tributary, the landform can be recovered by using the elevation information through applying a map algebra function. Because the polygonal elements, such as stream channel, river terrace, and artificial objects (farmlands) are determined as a flat property, these are recovered by inputting constant elevation values. The results of this study were compared and analyzed for the degree of landform expression between the original DEM and the recovered DEM. In the results of the analysis, the DEM produced by using the conventional method showed few expressions in micro landform elements. The method developed in this study well described wetland, bar, landform around rivers, farmland, bank, river terrace, and artificial objects. It can be expected that the results of this study contribute to the classification and analysis of micro landforms, plain and the ecology and environment study that requires the recovering of micro landforms around streams and rivers.