• Korean Journal of Mathematics
• /
• 제28권3호
• /
• pp.439-447
• /
• 2020

Let M be a lattice module over a C-lattice L. Let Spec^s(M) be the collection of all second elements of M. In this paper, we consider a topology on Spec^s(M), called the second classical Zariski topology as a generalization of concepts in modules and investigate the interplay between the algebraic properties of a lattice module M and the topological properties of Spec^s(M). We investigate this topological space from the point of view of spectral spaces. We show that Spec^s(M) is always T₀-space and each finite irreducible closed subset of Spec^s(M) has a generic point.

• 한국지능시스템학회논문지
• /
• 제20권6호
• /
• pp.875-883
• /
• 2010

We introduce the concept of intuitionistic smooth topology in Lowen's sense and we prove that the family IST(X) of all intuitionistic smooth topologies on a set is a meet complete lattice with least element and the greatest element [Proposition 3.6]. Also we introduce the notion of level fuzzy topology on a set X with respect to an intuitionistic smooth topology and we obtain the relation between the intuitionistic smooth topology $\tau$ and the intuitionistic smooth topology $\eta$ generated by level fuzzy topologies with respect to $\tau$ [Theorem 3.10].

• 대한수학회보
• /
• 제39권2호
• /
• pp.333-346
• /
• 2002

Let $F={F^v:S^1->S^1,v\in\; V$ and $g={G^v:S^1->S^1,v\in\; V$ be disjoint flows defined on the unit circle $S^1$, that is such flows that each their element either is the identity mapping or has no fixed point ((V, +) is a 2-divisible nontrivial abelian group). The aim of this paper is to give a necessary and sufficient codition for topological conjugacy of disjoint flows i.e., the existence of a homeomorphism $\Gamma:S^1->S^1$ satisfying $$\Gamma\circ\ F^v=G^v\circ\Gamma,\; v\in\; V$$ Moreover, under some further restrictions, we determine all such homeomorphisms.

• 대한전자공학회논문지
• /
• 제12권2호
• /
• pp.11-17
• /
• 1975

이 논문은 한글문자의 자동인식을 위한 기초적인 연구로서 기본문자의 구조에 대해서 검토하였다. 기본문자를 구조, 선분구조 및 물자 graph의 node와의 연결곤계 들 구조를 세가지 측면에서 집합 및 군론에 의한 대수적인 분석을 하고 또 그들의 각 구조의 복잡성에 대한 계릉을 고찰하였다. 나아가서 10개의 모음은 한 요소의 Affine 변환에 의한 연속회전으로 이루어지는 회전변환군 속에서 다수의 동치관계가 존재한다는 것을 기술하므로써, 한글문자의 인식에 있어서는 topological 골격외에 기하적 성질이 특히 중요하다는 것을 아울러 지적 하였다. The paper examined the character structure as a basic study for the recognition of Korean characters. In view of concave structure, line structure and node relationship of character graph, the algebraic structure of the basic Korean characters is are analized. Also, the degree of complexities in their character structure is discussed and classififed. Futhermore, by describing the fact that some equivalence relations are existed between the 10 vowels of rotational transformation group by Affine transformation of one element into another, it could be pointed out that the geometrical properting in addition to the topological properties are very important for the recognition of Korean characters.

• 전자공학회논문지D
• /
• 제36D권11호
• /
• pp.33-44
• /
• 1999

3차원 위상변이 마스크의 단차 효과를 분석하기 위해 투명 경계조건, 주기적인 경계조건, 및 연속조건을 가진 경계요소법을 광 리소그래피 공정 시뮬레이션에 새로이 적용하였으며, 해석적인 해와 참고문헌의 결과와 비교함으로써 구현된 모듈의 정확성을 검증하였다. 또한, 기존의 rigorous coupled wave analysis에 의한 방법에 비해 수렴성과 계산 시간 측면에서 경계요소법을 이용하는 것이 더 효율적임을 확인하였다. 끝으로 비교적 간단한 위상변이 마스크와 다층-위상변이 마스크에 대한 최적 설계 과정을 기술하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2003년도 가을 학술발표회 논문집
• /
• pp.429-436
• /
• 2003

A new linkage framework between elastic shell element with finite rotation and computar-aided geometric design (CAGD) (or surface is developed in the present study. The framework of shell finite element is based on the generalized curved two-parametric coordinate system. To represent free-form surface, cubic B-spline tensor-product functions are used. Thus the present finite element can be directly linked into the geometric modeling produced by surface generation tool in CAD software. The efficiency and accuracy of the Previously developed linear elements hold for the nonlinear element with finite rotations. To handle the finite rotation behavior of shells, exponential mapping in the SO(3) group is employed to allow the large incremental step size. The integrated frameworks of shell geometric design and nonlinear computational analysis can serve as an efficient tool in shape and topological design of surfaces with large deformations.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2002년도 봄 학술발표회 논문집
• /
• pp.505-511
• /
• 2002

In the present study, we visualize the linkage framework between geometric modeling and shell finite element based on B-spline representation. For the development of a consistent shell element, geometrically exact shell elements based on general curvilinear coordinates is provided. The NUBS(Non Uniform B-Spline) is used to generate the general free form shell surfaces. Employment of NUBS makes shell finite element handle the arbitrary geometry of the smooth shell surfaces. The proposed shell finite element .model linked with NUBS surface representation provides efficiency for the integrated design and analysis of shell surface structures. The linkage framework can potentially provide efficient integrated approach to the shape topological design optimizations for shell structures.

• 대한수학회보
• /
• 제31권2호
• /
• pp.187-192
• /
• 1994

The author extended the small properties of topological semilattices to that of regular semigroups [3]. In this paper, it could be shown that a semigroup S is almost regular if and only if over bar RL = over bar R.cap.L for every right ideal R and every left ideal L of S. Moreover, it has shown that the Bohr compactification of an almost regular semigroup is regular. Throughout, a semigroup will mean a topological semigroup which is a Hausdorff space together with a continuous associative multiplication. For a semigroup S, we denote E(S) by the set of all idempotents of S. An element x of a semigroup S is called regular if and only if x .mem. xSx. A semigroup S is termed regular if every element of S is regular. If x .mem. S is regular, then there exists an element y .mem S such that x xyx and y = yxy (y is called an inverse of x) If y is an inverse of x, then xy and yx are both idempotents but are not always equal. A semigroup S is termed recurrent( or almost pointwise periodic) at x .mem. S if and only if for any open set U about x, there is an integer p > 1 such that x$^{p}$ .mem.U.S is said to be recurrent (or almost periodic) if and only if S is recurrent at every x .mem. S. It is known that if x .mem. S is recurrent and .GAMMA.(x)=over bar {x,x$^{2}$,..,} is compact, then .GAMMA.(x) is a subgroup of S and hence x is a regular element of S.

• 전기학회논문지
• /
• 제58권10호
• /
• pp.1936-1941
• /
• 2009

This paper deals with a new methodology for topology optimization in which the topology of the design domain may change during the shape optimization process. To achieve this, the concept of the topological gradient is introduced to compute the sensitivity of an objective function when a small hole is drilled in the domain. Based on shape and topological sensitivity values, the shape and topology of the design domain may be simultaneously changed during design iterations if necessary. To verify the advantages and also to facilitate understanding of the method itself, two electrostatic design problems have been tested by using 2D finite element analysis: the first is the inverse problem of a simple dielectric model and the second is the rotor design of a MEMS actuator.

• Journal of applied mathematics & informatics
• /
• 제42권3호
• /
• pp.663-680
• /
• 2024

The zero divisor graph is the most basic way of representing an algebraic structure as a graph. For any commutative ring R, each element is a vertex on the zero divisor graph and two vertices are defined as adjacent if and only if the product of those vertices equals zero. In this research, we determine some topological indices such as the Wiener index, the edge-Wiener index, the hyper-Wiener index, the Harary index, the first Zagreb index, the second Zagreb index, and the Gutman index of zero divisor graph of integers modulo prime power and its direct product.