• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.1
• /
• pp.47-51
• /
• 1974

In this paper, we have tried to study topological method for generating trees and Co-trees of a given circuit which is required in the first step of analysis of networks, and also illustrative examples that compare with other available methods in aspect of the efficiency are given. It is believed that the proposed method is more efficient than other methods already available and that it will play a fundamental role in the topological analysis of electrical networks.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.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].

• The Pure and Applied Mathematics
• /
• v.29 no.1
• /
• pp.19-29
• /
• 2022

Information systems and decision rules with imprecision and uncertainty in data analysis are studied in complete residuated lattices. In this paper, we introduce the notions of Alexandrov pretopology (precotopology) and join-meet (meet-join) operators in complete co-residuated lattices. Moreover, their properties and examples are investigated.

• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.569-575
• /
• 2023

As a new topological property, we introduce paracompact space via co-compact sets. We give some characterizations and implications theorems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.178-180
• /
• 2004

인터넷에서 전 세계에 분포되어 있는 수많은 노드로 파일을 전송하는 경우 어떻게 하면 빨리, 효율적으로 전송할 것인가가 큰 문제가 된다. 전송을 순차적으로 할 경우, 수행시간이 길어지고 되고, parallel stream으로 전송하여 수행시간을 줄인 경우에도 송신자 링크의 병목현상이라는 문제가 발생한다. 본 연구에서는 토폴로지 정보를 이용하여 지역적으로 가까운 노드들은 그룹으로 만들고, 각 그룹 간의 한 번의 전송을 통해, 전송 시간을 줄이고, 송신자 링크의 병목 현상을 해결하기 위한 방법을 제안한다.

• Journal of Powder Materials
• /
• v.29 no.2
• /
• pp.132-151
• /
• 2022

The CoCrFeMnNi high-entropy alloy (HEA), which is the most widely known HEA with a single face-centered cubic structure, has attracted significant academic attention over the past decade owing to its outstanding multifunctional performance. Recent studies have suggested that CoCrFeMnNi-type HEAs exhibit excellent printability for selective laser melting (SLM) under a wide range of process conditions. Moreover, it has been suggested that SLM can not only provide great topological freedom of design but also exhibit excellent mechanical properties by overcoming the strength-ductility trade-off via producing a hierarchical heterogeneous microstructure. In this regard, the SLM-processed CoCrFeMnNi HEA has been extensively studied to comprehensively understand the mechanisms of microstructural evolution and resulting changes in mechanical properties. In this review, recent studies on CoCrFeMnNi-type HEAs produced using SLM are discussed with respect to process-induced microstructural evolution and the relationship between hierarchical heterogeneous microstructure and mechanical properties.

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.399-415
• /
• 2017

Given a topological space X and a non-negative integer k, we study the self-homotopy equivalences of X that do not change maps from X to n-sphere $S^n$ homotopically by the composition for all $n{\geq}k$. We denote by ${\varepsilon}^{\sharp}_k(X)$ the set of all homotopy classes of such self-homotopy equivalences. This set is a dual concept of ${\varepsilon}^{\sharp}_k(X)$, which has been studied by several authors. We prove that if X is a finite CW complex, there are at most a finite number of distinguishing homotopy classes ${\varepsilon}^{\sharp}_k(X)$, whereas ${\varepsilon}^{\sharp}_k(X)$ may not be finite. Moreover, we obtain concrete computations of ${\varepsilon}^{\sharp}_k(X)$ to show that the cardinal of ${\varepsilon}^{\sharp}_k(X)$ is finite when X is either a Moore space or co-Moore space by using the self-closeness numbers.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.7-27
• /
• 2015

Kuneth formula is to compute (co)-homology of $A{\otimes}B$ for known (co)-homology of the complexes A and B. In the ordinary case, this is done by using elementary homological methods in an abelian category. However, when we consider the bounded cochain complex with values in $\mathbb{R}$ and its structure as a real Banach space, the techniques of homological algebra for constructing K$\ddot{u}$nneth type formulas on it are not effective. The most notable facts are the image of a morphism of Banach spaces is not necessarily closed, and also the closed summand of a Banach space need not be a topological direct summand. The main goal of this paper is to construct the theory of K$\ddot{u}$nneth type formula on bounded cohomology with real coefficients in the suitable category of Banach spaces with some restricted conditions.

• Nuclear Engineering and Technology
• /
• v.52 no.8
• /
• pp.1661-1668
• /
• 2020

A physical protection system (PPS) is used for the protection of critical facilities. This paper proposes a structure analytic hierarchy approach (SAHA) for the hierarchical evaluation of the PPS effectiveness in critical infrastructure. SAHA is based on the traditional analysis methods "estimate of adversary sequence interruption, EASI". A community algorithm is used in the building of the SAHA model. SAHA is applied to cluster the associated protection elements for the topological design of complicated PPS with graphical vertexes equivalent to protection elements.

• Journal of the Society of Naval Architects of Korea
• /
• v.44 no.3 s.153
• /
• pp.228-237
• /
• 2007

The flow characteristics around a horn-type rudder behind an operating propeller of a high-speed large container carrier are studied through a numerical method in fully wetted and cavitating flow conditions. The computations are carried out in a small scale ratio of 10.00(gap space=5mm) to consider the gap effects. The Reynolds averaged Navier-Stokes equation for a mixed fluid and vapor transport equation applying cavitation model are solved. The axisymmetry body-force distribution technique is utilized to simulate the flow behind an operating propeller. The gap flow, the three-dimensional flow separation, and the cavitation are the flow characteristics of a horn-type rudder. The pattern of three-dimensional flow separation is analyzed utilizing a topological rule. The various cavity positions predicted by CFD were shown to be very similar to rudder erosion positions in real ship rudder. The effect of a preventing cavitation device, a horizontal guide plate, is also investigated.