• Journal of applied mathematics & informatics
• /
• 제22권1_2호
• /
• pp.39-48
• /
• 2006

Let ${\gamma}$(G) be the domination number of a graph G. It is shown that for any $k {\ge} 0$ there exists a Cartesian graph bundle $B{\Box}_{\varphi}F$ such that ${\gamma}(B{\Box}_{\varphi}F) ={\gamma}(B){\gamma}(F)-2k$. The domination numbers of Cartesian bundles of two cycles are determined exactly when the fibre graph is a triangle or a square. A statement similar to Vizing's conjecture on strong graph bundles is shown not to be true by proving the inequality ${\gamma}(B{\bigotimes}_{\varphi}F){\le}{\gamma}(B){\gamma}(F)$ for strong graph bundles. Examples of graphs Band F with ${\gamma}(B{\bigotimes}_{\varphi}F) < {\gamma}(B){\gamma}(F)$ are given.

• 충청수학회지
• /
• 제18권1호
• /
• pp.73-80
• /
• 2005

The aim of the paper is to study the connectivity and the edge-connectivity of inserted graph I(G) of a graph G with the help of connectivity and the edge-connectivity of that graph G.

• 충청수학회지
• /
• 제19권1호
• /
• pp.37-47
• /
• 2006

In this paper we characterize the graphs whose inserted graphs are Hamiltonian, and we study the relationship between Hamiltonian graphs and inserted graphs. Also we prove that if a connected graph G contains at least 3 vertices then inserted graph of the square of G is Hamiltonian and if G contains at least 3 edges then the square of inserted graph of G is Hamiltonian.

• Korean Journal of Mathematics
• /
• 제21권2호
• /
• pp.151-159
• /
• 2013

An $L(j,k)$-labeling of a graph G is a vertex labeling such that the difference of the labels of any adjacent vertices is at least $j$ and that of any vertices of distance two is at least $k$ for given $j$ and $k$. The minimum span of all L(2, 1)-labelings of G is called the ${\lambda}$-number of G and is denoted by ${\lambda}(G)$. In this paper, we find a lower bound of the ${\lambda}$-number of the Cartesian product $K_m{\Box}C_n$ of the complete graph $K_m$ of order $m$ and the cycle $C_n$ of order $n$. In fact, we show that when $n{\geq}3$, ${\lambda}(K_4{\Box}C_n){\geq}7$ and the equality holds if and only if n is a multiple of 8. Moreover when $m{\geq}5$, ${\lambda}(K_m{\Box}C_n){\geq}2m-1$ and the equality holds if and only if $n$ is even.

• Journal of Electrical Engineering and information Science
• /
• 제2권6호
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• 한국정보통신학회논문지
• /
• 제21권2호
• /
• pp.429-434
• /
• 2017

n개의 정점들을 가지는 그래프 G=(V, E)에서 각 정점에는 마지막에 놓여야 하는 고유한 상자가 존재한다. 따라서 각 정점과 상자를 1부터 n까지의 정수로 나타내고 정점 i에 놓여야 하는 상자는 상자 i로 나타낸다. 하지만 초기에 상자들은 순열(permutation) ${\pi}$에 따라서 정점 i에 상자 ${\pi}$(i)가 놓여있다. 각 단계에서 로봇은 G의 한 에지 상을 움직일 수 있고, 어떤 순간에 많아야 하나의 상자를 운반할 수 있다. 또한 정점에 도착하면 운반 중인 상자와 정점에 놓여 있는 상자를 교환할 수 있다. 문제는 모든 정점이 자신의 상자를 받을 수 있도록, 다시 말해서, ${\pi}$에 의해 섞여진 상자를 정렬하는, 로봇의 움직임의 최소 단계 수를 찾는 것이다. 본 논문에서는 그래프 G가 사이클(cycle)인 경우에 최소 단계수의 상한 값을 찾고 이 단계 안에 정렬을 수행하는 로봇의 움직임을 $O(n^2)$ 시간에 찾는 수 있음을 보일 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2020년도 춘계학술발표대회
• /
• pp.595-598
• /
• 2020

IoU (Intersection over Union) is the most commonly used index in target detection. The core requirement of target detection is what is in the image and where. Based on these two problems, classification training and positional regression training are needed. However, in the process of position regression, the most commonly used method is to obtain the IoU of the predicted bounding box and ground-truth bounding box. Calculating bounding box regression losses should take into account three important geometric measures, namely the overlap area, the distance, and the aspect ratio. Although GIoU (Generalized Intersection over Union) improves the calculation function of image overlap degree, it still can't represent the distance and aspect ratio of the graph well. As a result of technological progress, Bounding-Box is no longer represented by coordinates x,y,w and h of four positions. Therefore, the IoU can be further optimized with the center point and aspect ratio of Bounding-Box.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2006년도 추계 학술대회
• /
• pp.221-226
• /
• 2006

We usually use two techniques(influence function and local influence) for detecting outliers. But, we cannot use these difficult techniques in elementary industrial statistics course for college students. We can use some simple graphical methods(box plot, dandelion seed plot, influence graph and cumulative deletion plot) for univariate and bivariate outlier detection and outlier effect in elementary industrial statistics course for college students.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.60.5-60
• /
• 2001

It is very difficult to design and analyze the relay circuit because one have to consider and analyze in order the behavior in which the relay contacts. In this paper, we propose the relay circuit to EMPG (Extended Mark Flow Graph) convension with a box´s characteristic equation. It will give you a lot of benefits in case of analysis and check of the relay circuit to convert the relay circuit into EMPG.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.692-695
• /
• 2001

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 개념적으로 또는 상세하게 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문은 EMFG의 트랜지션들이 점화하는 과정 및 트랜지션이 점화 완료하였을 때의 각 박스들의 마크 수 변화를 접속 행렬 및 상태천이 방정식을 이용한 점화 결정 알고리즘으로 표현하고자 한다. EMFG의 동작이 수학적으로 해석 가능해짐으로 인해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.