• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.42 no.10 s.340
• /
• pp.47-54
• /
• 2005

In this paper, a new synthesis method for testability of synchronous sequential circuits is suggested on an incompletely-specified state transition graph (STG) by reducing the number of redundant faults. In the suggested synthesis method, 1) a given STG is modified by adding undefined states and unspecified input transitions using distinguishable transition, 2) the STG is modified to be strongly-connected as much as possible. Experimental results with MCNC benchmark show that the number of redundant faults of gate-level circuits synthesized by our modified STGs are reduced, and much higher fault coverage is obtained.

• Communications of the Korean Mathematical Society
• /
• v.30 no.3
• /
• pp.283-295
• /
• 2015

The atom-bond connectivity index of a graph G (ABC index for short) is defined as the summation of quantities $\sqrt{\frac{d(u)+d(v)-2}{d(u)d(v)}}$ over all edges of G. A cactus graph is a connected graph in which every block is an edge or a cycle. The aim of this paper is to obtain the first and second maximum values of the ABC index among all n vertex cactus graphs.

• The Journal of Korea Robotics Society
• /
• v.9 no.3
• /
• pp.178-184
• /
• 2014

Tendon driven robot mechanisms have many advantages such as allowing miniaturization and light-weight designs and/or enhancing flexibility in the design of structures. When designing or analyzing tendon driven mechanisms, it is important to determine how the tendons should be connected and whether the designed mechanism is easily controllable. Graph representation is useful to view and analyze such tendon driven mechanisms that are complicatedly interconnected between mechanical elements. In this paper, we propose a method of generalized graph representation that provides us with an intuitive analysis tool not only for tendon driven manipulators, but also various other kinds of mechanical systems which are combined with tendons. This method leads us to easily obtain structure matrix - which is the one of the most important steps in analyzing tendon driven mechanisms.

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.3
• /
• pp.218-223
• /
• 2012

Maintenance and improvement of the graph connectivity is very important for decentralized multi-agent systems. Although the CBBA (Consensus-Based Bundle Algorithm) guarantees suboptimal performance and bounded convergence time, it is only valid for connected graphs. In this study, we apply a decentralized estimation procedure that allows each agent to track the algebraic connectivity of a time-varying graph. Based on this estimation, we design a decentralized gradient controller to maintain the graph connectivity while agents are traveling to perform assigned tasks. Simulation result for fully-actuated first-order agents that move in a 2-D plane are presented.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.5 no.3
• /
• pp.239-244
• /
• 2010

In this paper, we study the adjacency matrix of a minimal connected quadrangular graph G, and then we obtain an upper bound on |E(G)| for such a graph G, and we obtain the graph for which the upper bound is attained. In addition, we obtain an upper bound on |E(G)| for a critical matching covered quadrangular graph G.

• Korean Journal of Mathematics
• /
• v.29 no.1
• /
• pp.13-24
• /
• 2021

For a finite commutative ring R with identity 1 ≠ 0, the zero divisor graph ��(R) is a simple connected graph having vertex set as the set of nonzero zero divisors of R, where two vertices x and y are adjacent if and only if xy = 0. We find the signless Laplacian spectrum of the zero divisor graphs ��(ℤn) for various values of n. Also, we find signless Laplacian spectrum of ��(ℤn) for n = pz, z ≥ 2, in terms of signless Laplacian spectrum of its components and zeros of the characteristic polynomial of an auxiliary matrix. Further, we characterise n for which zero divisor graph ��(ℤn) are signless Laplacian integral.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1305-1315
• /
• 2022

Let u be a function on a connected finite graph G = (V, E). We consider the mean field equation (1) $-{\Delta}u={\rho}\({\frac{he^u}{\int_Vhe^ud{\mu}}}-{\frac{1}{{\mid}V{\mid}}}\),$ where ∆ is 𝜇-Laplacian on the graph, 𝜌 ∈ ℝ\{0}, h : V → ℝ⁺ is a function satisfying min_x∈V h(x) > 0. Following Sun and Wang [15], we use the method of Brouwer degree to prove the existence of solutions to the mean field equation (1). Firstly, we prove the compactness result and conclude that every solution to the equation (1) is uniformly bounded. Then the Brouwer degree can be well defined. Secondly, we calculate the Brouwer degree for the equation (1), say $$d_{{\rho},h}=\{{-1,\;{\rho}>0, \atop 1,\;{\rho}<0.}$$ Consequently, the equation (1) has at least one solution due to the Brouwer degree d_𝜌,h ≠ 0.

• Korean Journal of Mathematics
• /
• v.20 no.2
• /
• pp.247-254
• /
• 2012

The Klee-Quaife problem is finding the minimum order ${\mu}(d,c,v)$ of the $(d,c,v)$ graph, which is a $c$-vertex connected $v$-regular graph with diameter $d$. Many authors contributed finding ${\mu}(d,c,v)$ and they also enumerated and classied the graphs in several cases. This problem is naturally extended to the case of digraphs. So we are interested in the extended Klee-Quaife problem. In this paper, we deal with an equivalent problem, finding the maximum diameter of digraphs with given order, focused on 2-regular case. We show that the maximum diameter of strongly connected 2-regular digraphs with order $n$ is $n-3$, and classify the digraphs which have diameter $n-3$. All 15 nonisomorphic extremal digraphs are listed.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.185-191
• /
• 2004

Given a connected graph G, we say that a set EC\;{\subseteq}\;V(G)$ is convex in G if, for every pair of vertices x, $y\;{\in}\;C$, the vertex set of every x - y geodesic in G is contained in C. The convexity number of G is the cardinality of a maximal proper convex set in G. In this paper, we show that every pair k, n of integers with $2\;{\leq}k\;{\leq}\;n\;-\;1$ is realizable as the convexity number and order, respectively, of some connected triangle-free graph, and give a lower bound for the convexity number of k-regular graphs of order n with n > k+1.

• Journal of Korean Institute of Industrial Engineers
• /
• v.22 no.4
• /
• pp.579-588
• /
• 1996

The purpose of this paper is to develop a method of Collision-Free Path Planning (CFPP) for an articulated robot. First, the configuration of the robot is built by a set of robot joint angles derived from robot inverse kinematics. The joint space, that is made of the joint angle set, forms a Configuration space (Cspcce). Obstacles in the robot workcell are also transformed into the Cobstacles using slice projection method. Actually the Cobstacles means the configurations of the robot causing collision with obstacles. Secondly, a connected graph, a kind of roadmap, is constructed by the free configurations in the Cspace, where the free configurations are randomly sampled from a free Cspace immune from the collision. Thirdly, robot paths are optimally determinant in the connected graph. A path searching algorithm based on $A^*$ is employed in determining the paths. Finally, the whole procedures for the CFPP method are shown for a proper articulated robot as an illustrative example.