• 대한수학회보
• /
• 제25권2호
• /
• pp.179-183
• /
• 1988

In this paper we study a $C^{*}$-dynamical system (A, G, .alpha.) where A is a UHF-algebra, G is a finite abelian group and .alpha. is a *-automorphic action of product type of G on A. In [2], A. Kishimoto considered the case G= $Z_{n}$, the cyclic group of order n and investigated a condition in order that the fixed point algebra $A^{\alpha}$ of A under the action .alpha. is UHF. In later N.J. Munch studied extremal tracial states on $A^{\alpha}$ by employing the method of A. Kishimoto [3], where G is a finite abelian group. Generally speaking, when G is compact (not necessarily discrete and abelian), $A^{\alpha}$ is an AF-algebra and its ideal structure was well analysed by N. Riedel [4]. Here we obtain some conditions for $A^{\alpha}$ to be UHF, where G is a finite abelian group, which is an extension of the result of A. Kishimoto.oto.

• 대한수학회논문집
• /
• 제28권2호
• /
• pp.285-295
• /
• 2013

In this note we present sufficient conditions for the existence of Radon-Nikodym derivatives (RND) of operator valued measures with respect to scalar measures. The RND is characterized by the Bochner integral in the strong operator topology of a strongly measurable operator valued function with respect to a nonnegative finite measure. Using this result we also obtain a characterization of compact sets in the space of operator valued measures. An extension of this result is also given using the theory of Pettis integral. These results have interesting applications in the study of evolution equations on Banach spaces driven by operator valued measures as structural controls.

• Korean Journal of Mathematics
• /
• 제18권1호
• /
• pp.45-52
• /
• 2010

Generalizing $Lindel{\ddot{o}}f$ frames and almost compact frames, we introduce a concept of almost $Lindel{\ddot{o}}f$ frames. Using a concept of ${\delta}$-filters on frames, we characterize almost $Lindel{\ddot{o}}f$ frames and then have their permanence properties. We also show that almost $Lindel{\ddot{o}}f$ regular $D({\aleph}_1)$ frames are exactly $Lindel{\ddot{o}}f$ frames. Finally we construct an almost $Lindel{\ddot{o}}fication$ of a frame L via the simple extension of L associated with the set of all ${\delta}$-filters F on L with ${\bigvee}\{x^*{\mid}x{\in}F\}=e$.

• 대한수학회논문집
• /
• 제17권2호
• /
• pp.253-260
• /
• 2002

For an outer action $\alpha$ of a finite group G on a factor M, it was proved that H is a, normal subgroup of G if and only if there exists a finite group F and an outer action $\beta$ of F on the crossed product algebra M $\times$$_{\alpha}$ G = (M $\times$$_{\alpha}$ F. We generalize this to infinite group actions. For an outer action $\alpha$ of a discrete group, we obtain a Galois correspondence for crossed product algebras related to normal subgroups. When $\alpha$ satisfies a certain condition, we also obtain a Galois correspondence for fixed point algebras. Furthermore, for a minimal action $\alpha$ of a compact group G and a closed normal subgroup H, we prove $M^{G}$ = ( $M^{H}$)$^{{beta}(G/H)}$for a minimal action $\beta$ of G/H on $M^{H}$.f G/H on $M^{H}$.TEX> H/.

• Selected Papers of The Society of Naval Architects of Korea
• /
• 제2권1호
• /
• pp.1-17
• /
• 1994

For a planar curve-sided panel with constant or linear density distributions of source or doublet in the singularity methods, Cantaloube and Rehbach show that the surface integral can be transformed into contour integral by using Stokes'formulas. As an extension of their formulations, this paper deals with a planar polygonal panel for which we derive the closed-forms of the potentials and the velocities induced by the singularity distributions. Test calculations show that the analytical evaluation of the closed-forms is superior to numerical integration (suggested by Cantaloube and Rehbach) of the contour integral. The compact and explicit expressions may produce accurate values of matrix elements of simultaneous linear equations in the singularity methods with much reduced computer time.

• 천문학논총
• /
• 제25권3호
• /
• pp.59-64
• /
• 2010

The core and global properties of the early-type ("red sequence") galaxies in the Virgo and Fornax clusters are examined using high-quality HST/ACS imaging for 143 galaxies. Rather than dividing neatly into disparate populations having distinct formation and/or evolution histories, many of the core and global properties of these galaxies show smooth and systematic variations along the galaxy luminosity function. The few examples of the rare class of compact elliptical galaxies in our sample all show properties that are strongly suggestive of tidal stripping by massive galaxies; if so, then these systems should not be viewed as populating the low-luminosity extension of so-called "normal" elliptical sequences. These results demonstrate that complete and/or unbiased samples are a pre-requisite for identifying the physical mechanisms that gave rise to the early-type galaxies we observe locally, and how these mechanisms varied with mass and environment.

• International Journal of Contents
• /
• 제6권3호
• /
• pp.19-24
• /
• 2010

Task scheduling is an integrated component of computing with the emergence of grid computing. In this paper, we address two different task scheduling models, which are static Round-Robin (RR) and dynamic Fastest Site First (FSF) task scheduling method, using extended timed marked graphs, which is a special case of Stochastic Petri Nets (SPN). Stochastic reward nets (SRN) is an extension of SPN and provides compact modeling facilities for system analysis. We build hierarchical SRN models to compare two task scheduling methods. The upper level model simulates task scheduling and the lower level model implements task serving process for different sites with multiple servers. We compare these two models and analyze their performances by giving reward measures in SRN.

• International Journal of Contents
• /
• 제5권4호
• /
• pp.88-93
• /
• 2009

It is important for communication networks to possess the capability to overcome failures and provide survivable services. We address modeling and analysis of performability affected by both performance and availability of system components for a token ring network under failure and repair conditions. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, hierarchical SRN modeling techniques are used to overcome state largeness problem. The upper level model is used to compute availability and the lower level model captures the performance. And Normalized Throughput Loss (NTL) is obtained for the composite ring network for each node failures occurrence as a performability measure. One of the key contributions of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performability analysis for a token ring network under SRN reward concepts.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.636-638
• /
• 2010

Task scheduling is an integral part of parallel and distributed computing. Extensive research has been conducted in this area leading to significant theoretical and practical results. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, we address task scheduling model using extended timed marked graph, which is a special case of SRNs. And we analyze this model by giving reward measures in SRN.

• 호남수학학술지
• /
• 제41권3호
• /
• pp.559-568
• /
• 2019

In this paper we introduce and study the concept of of (${\varphi}$, ${\psi}$)-am-enability of a locally compact group G, where ${\varphi}$ is a continuous homomorphism on G and ${\psi}:G{\rightarrow}{\mathbb{C}}$ multiplicative linear function. We prove that if the group algebra $L^1$ (G) is (${\tilde{\varphi}}$, ${\tilde{\psi}}$)-amenable then G is (${\varphi}$, ${\psi}$)-amenable, where ${\tilde{\varphi}}$ is the extension of ${\varphi}$ to M(G). In the case where ${\varphi}$ is an isomorphism on G it is shown that the converse is also valid.