• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.9
• /
• pp.1414-1421
• /
• 1997

This paper examines the physics and mechanics governing the dynamic interaction between physical systems and suggests the four structures of bond graph prototypes, considered as a general model that can promise their dynamic behavior physically resonable. The bond graph prototypes originating from the paper are more realistic junction structures than those used to model dynamic systems conventionally by bond graph standards in whether physical constraints are involved or not when the energy exchange between two dynamic components arises. It is shown that the bond graph prototypes are dynamic or energetic in their describing equations compared to the bond graph standards, and connectivity and causality are properties of dynamic systems upon which the steps developed in this paper for the bond graph prototypes are wholly based and their definitions an concepts are highly emphasized all through the paper.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.8
• /
• pp.1149-1154
• /
• 2013

In this paper, an algorithm having new edge growth with depth constraints for constructing Tanner graph of LDPC(Low density parity check) codes is proposed. This algorithm reduces effectively the number of small stoping set in the graph and has lower complexity than other algorithm. The simulation results shows the improved performance of the LDPC codes constructed by this algorithm.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.6
• /
• pp.3046-3070
• /
• 2017

Nowadays, the utilization of multiprocessor environments has been increased due to the increase in time complexity of application programs and decrease in hardware costs. In such architectures during the compilation step, each program is decomposed into the smaller and maybe dependent segments so-called tasks. Precedence constraints, required execution times of the tasks, and communication costs among them are modeled using a directed acyclic graph (DAG) named task-graph. All the tasks in the task-graph must be assigned to a predefined number of processors in such a way that the precedence constraints are preserved, and the program's completion time is minimized, and this is an NP-hard problem from the time-complexity point of view. The results obtained by different approaches are dominated by two major factors; first, which order of tasks should be selected (sequence subproblem), and second, how the selected sequence should be assigned to the processors (assigning subproblem). In this paper, a hybrid proposed approach has been presented, in which two different artificial ant colonies cooperate to solve the multiprocessor task-scheduling problem; one colony to tackle the sequence subproblem, and another to cope with assigning subproblem. The utilization of background knowledge about the problem (different priority measurements of the tasks) has made the proposed approach very robust and efficient. 125 different task-graphs with various shape parameters such as size, communication-to-computation ratio and parallelism have been utilized for a comprehensive evaluation of the proposed approach, and the results show its superiority versus the other conventional methods from the performance point of view.

• Journal of the Korea Computer Graphics Society
• /
• v.27 no.1
• /
• pp.1-8
• /
• 2021

This paper proposes a simple deformation method for editing the trajectory of a walking motion with preserving its style. To this end, our method analyzes the trajectory of the root joint into the graph and deforms it by applying the graph Laplace operator. The trajectory of the root joint is presented as a graph with a vertex defined the position and direction at each time frame on the motion dataThe graph transforms the trajectory into the differential coordinate, and if the constraints are set on the trajectory vertex, the solver iterative approaches to the solution. By modifying the root trajectory, we can continuously vary the walking motion, which reduces the cost of capturing a whole motion that is required. After computes the root trajectory, other joints are copied on the root and post-processed as a final motion. At the end of our paper, we show the application that the character continuously walks in a complex environment while satisfying user constraints.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.12
• /
• pp.5191-5211
• /
• 2016

It is essential to satisfy class-specific QoS constraints to provide broadband services for new generation networks. The present study proposes a QoS-driven multicast scheme for wireless networks in which the transmission rate and end-to-end delay are assumed to be bounded during a multiple multicast session. A distributed algorithm was used to identify a cost-efficient sub-graph between the source and destination which can satisfy QoS constraints of a multicast session. The model was then modified as to be applied for wireless networks in which satisfying interference constraints is the main challenge. A discrete power control scheme was also applied for the QoS-aware multicast model to accommodate the effect of transmission power level based on link capacity requirements. We also proposed random power allocation (RPA) and gradient power allocation (GPA) algorithms to efficient resource distribution each of which has different time complexity and optimality levels. Experimental results confirm that the proposed power allocation techniques decrease the number of unavailable links between intermediate nodes in the sub-graph and considerably increase the chance of finding an optimal solution.

• International Journal of Contents
• /
• v.10 no.3
• /
• pp.41-46
• /
• 2014

A cause-effect graph considers only the desired external behavior of a system by identifying input-output parameter relationships in the specification. When testing a software system with cause-effect graphs, it is important to derive a moderate number of tests while avoiding loss in fault detection ability. Pairwise testing is known to be effective in determining errors while considering only a small portion of the input space. In this paper, we present a new testing technique that generates pairwise tests from a cause-effect graph. We use a Boolean Satisbiability (SAT) solver to generate pairwise tests from a cause-effect graph. The Alloy language is used for encoding the cause-effect graphs and its SAT solver is applied to generate the pairwise tests. Using a SAT solver allows us to effectively manage constraints over the input parameters and facilitates the generation of pairwise tests, even in the situations where other techniques fail to satisfy full pairwise coverage.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.6
• /
• pp.2217-2229
• /
• 2015

Since the variations of illumination, the irregular changes of human shapes, and the partial occlusions, multiple person tracking is a challenging work in computer vision. In this paper, we propose a graph clustering method based on spatio-temporal information of moving objects for multiple person tracking. First, the part-based model is utilized to localize individual foreground regions in each frame. Then, we heuristically leverage the spatio-temporal constraints to generate a set of reliable tracklets. Finally, the graph shift method is applied to handle tracklet association problem and consequently generate the completed trajectory for individual object. The extensive comparison experiments demonstrate the superiority of the proposed method.

• Journal of Korean Society of Rural Planning
• /
• v.6 no.2 s.12
• /
• pp.12-19
• /
• 2000

Irrigation pipeline networks consist mainly of buried pipes and are therefore relatively free from topographic constraints. Installation of irrigation pipeline systems is increasing since the systems have several advantages compared to open channel systems. To achieve economic design of pipeline networks, the layout should meet several conditions such as shortest path, maximum flow, and least cost. Graph theory is mathematical tool which enable to find out optimum layout for complicated network systems. In this study, applicability of graph theory to figure out optimum layout of irrigation pipeline networks was evaluated.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.8
• /
• pp.1974-1984
• /
• 1994

This paper presents a relative coordinate formulation for constrained mechanical systems. Relative coordinates are defined along degrees of freedom of a joint. Graph theoretic analyses are performed to identify topological paths in mechanical systems. Cut constraints are generated to handle closed loop systems. Equations of motion are derived in the Cartesian space and transformed to the joint space. Relative generalized coordinates are corrected to satisfy the cut constraints by a parametrizatiom method.

• Journal of applied mathematics & informatics
• /
• v.39 no.1_2
• /
• pp.13-29
• /
• 2021

For a graph G = (V, E), a vertex coloring (or, simply, a coloring) of G is a function C : V (G) → {1, 2, …, k} (using the non-negative integers {1, 2, …, k} as colors). We say that a coloring of a graph G is injective if for every vertex v ∈ V (G), all the neighbors of v are assigned with distinct colors. The injective chromatic number χi(G) of a graph G is the least k such that there is an injective k-coloring [6]. In this paper, we study a natural variation of the injective coloring problem: coloring the edges of a graph under the same constraints (alternatively, to investigate the injective chromatic number of line graphs), we define the k- injective edge coloring of a graph G as a mapping C : E(G) → {1, 2, …, k}, such that for every edge e ∈ E(G), all the neighbors edges of e are assigned with distinct colors. The injective chromatic index χ′in(G) of G is the least positive integer k such that G has k- injective edge coloring, exact values of the injective chromatic index of different families of graphs are obtained, some related results and bounds are established. Finally, we define the injective clique number ωin and state a conjecture, that, for any graph G, ωin ≤ χ′in(G) ≤ ωin + 2.