• 대한수학회논문집
• /
• 제12권3호
• /
• pp.513-519
• /
• 1997

We show that each orthomodular lattice containing only atomic nonpath-connected blocks is a full subalgebra of an irreducible path-connected orthomodular lattice and there is a path-connected orthomodualr lattice L containing a weakly path-connected full subalgebra C(x) for some element x in L.

• 대한수학회논문집
• /
• 제14권1호
• /
• pp.31-37
• /
• 1999

We prove the following: every chain-finite OML is path-connected; every finite block of an OML L is path-connected with at least one other block in L; every OML with unifromly finite sites is path-connected.

• Kyungpook Mathematical Journal
• /
• 제46권3호
• /
• pp.445-448
• /
• 2006

Let N be a normal subgroup of a path-connected topological group (G, $t$). In this paper, the authors consider the existence of path-connectedness in refined topologies in order to address the property of maximal path-connectedness in topological groups. In particular, refinements on $t$ and refinements on the quotient topology on G/N are studied. The preservation of path-connectedness in extending topologies and translation topologies is also considered.

• 대한수학회보
• /
• 제46권5호
• /
• pp.845-856
• /
• 2009

A block of an orthomodular lattice L is a maximal Boolean subalgebra of L. A site is a subalgebra of an orthomodular lattice L of the form S = A $\cap$ B, where A and B are distinct blocks of L. An orthomodular lattice L is called with finite sites if |A $\cap$ B| < $\infty$ for all distinct blocks A, B of L. We prove that there exists a weakly path-connected orthomodular lattice with finite sites which is not path-connected and if L is an orthomodular lattice such that the height of the join-semilattice [ComL]$\vee$ generated by the commutators of L is finite, then L is pathconnected.

• 대한수학회보
• /
• 제50권1호
• /
• pp.305-320
• /
• 2013

Topological semilattices with path-connected intervals are special abstract convex spaces. In this paper, we obtain generalized KKM type theorems and their analytic formulations, maximal element theorems and collectively fixed point theorems on abstract convex spaces. We also apply them to topological semilattices with path-connected intervals, and obtain generalized forms of the results of Horvath and Ciscar, Luo, and Al-Homidan et al..

• 한국정보과학회논문지:시스템및이론
• /
• 제34권10호
• /
• pp.539-554
• /
• 2007

이 논문에서는 진구간 그래프(proper interval graph)가 각각 일대일, 일대다. 다대다 k-서로소인 경로 커버를 가질 조건을 고찰한다. 진구간 그래프는 $k{\geq}2$인 경우, k-연결되어 있는 경우에만 일대일 k-서로소인 경로 커버를 가지며, k+1-연결되어 있는 경우에만 일대다 k-서로소인 경로 커버를 가짐을 증명하였다. 그리고 $k{\geq}3$일 때 진구간 그래프는 2k-1-연결되어 있는 경우에만 (쌍형) 다대다 k-서로소인 경로 커버를 가진다.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.285-292
• /
• 1995

Some nonpath-connected orthomodular lattices are given : Every infinite direct product of othomodular lattices containing infinitely many non-Boolean factors is a nonpath-connected orthomodular lattice. The orthomodular lattice of all closed subspaces of an infinite dimensional Hilbert space is a nonpath-connected orthomodular lattice.

• 한국산업정보학회논문지
• /
• 제5권1호
• /
• pp.1-15
• /
• 2000

In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

• 제어로봇시스템학회논문지
• /
• 제12권7호
• /
• pp.671-678
• /
• 2006

This article proposes a smooth path generation and time scheduling method for general tasks defined by non-smooth path segments in industrial robotic applications. This method utilizes a simple 3rd order polynomial function for smooth interpolation between non-smooth path segments, so that entire task can effectively maintain constant line speed of operation. A predictor-corrector type numerical mapping technique, which correlates time based speed profile to the smoothed path in Cartesian space, is also provided. Finally simulation results show the feasibility of the proposed algorithm.

• 대한수학회지
• /
• 제33권2호
• /
• pp.217-225
• /
• 1996

An orthomodular lattice (abbreviated by OML) is an ortholattice L which satisfies the orthomodular law: if x $\leq$ y, then $y = x \vee (x' \wedge y)$ [5]. A Boolean algebra B is an ortholattice satisfying the distributive law : $x \vee (g \wedge z) = (x \vee y) \wedge (x \vee z) \forall x, y, z \in B$.