• International journal of advanced smart convergence
• /
• 제11권1호
• /
• pp.1-10
• /
• 2022

Single-view reconstruction (SVR) is a fundamental method in computer vision. Often used for reconstructing human-made environments, the Manhattan world assumption presumes that planes in the real world exist in mutually orthogonal directions. Accordingly, this paper addresses an automatic SVR algorithm for Manhattan worlds. A method for estimating the directions of planes using graph-cut optimization is proposed. After segmenting an image from extracted line segments, the data cost function and smoothness cost function for graph-cut optimization are defined by considering the directions of the line segments and neighborhood segments. Furthermore, segments with the same depths are grouped during a depth-estimation step using a minimum spanning tree algorithm with the proposed weights. Experimental results demonstrate that, unlike previous methods, the proposed method can identify complex Manhattan structures of indoor and outdoor scenes and provide the exact boundaries and intersections of planes.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 한국정밀공학회 1996년도 춘계학술대회 논문집
• /
• pp.294-298
• /
• 1996

This paper presents an attempt to find the physical structure of dynamic systems which achieves the behavior of a given system function. The scheme pursued by te paper would be regarded as synthesizing dynamic systems, and a method to synthesize them analytically is proposed by means of bond graph prototypes. The method proposed adopts several concepts used to synthesize networks in the electrical field, but yet demonstrates its own strengths such as the freedom from the causality assignment and determination of junction types. Also, it is shown that this method has further advantages in reticulating a given specification into feedforward and feedback expansions relative to electrical network synthesis and the method introduced by Redfield. The proposed method is examined through an example to trace the outline of the analytical synthesis of dynamic systems using bond graph prototypes.

• Communications of the Korean Mathematical Society
• /
• 제22권2호
• /
• pp.277-287
• /
• 2007

We prove that if a graph G of bounded degree has finitely many p-hyperbolic ends($1) in which every bounded energy finite p-harmonic function is asymptotically constant for almost every path, then the set $\mathcal{HBD}_p(G)$ of all bounded energy finite p-harmonic functions on G is in one to one corresponding to $\mathbf{R}^l$, where $l$ is the number of p-hyperbolic ends of G. Furthermore, we prove that if a graph G' is roughly isometric to G, then $\mathcal{HBD}_p(G')$ is also in an one to one correspondence with $\mathbf{R}^l$.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• 제5권1호
• /
• pp.29-33
• /
• 2004

In this paper, I'm tying to define the connection of the Device Characteristics and the Error Terms, and yield maximum estimated value of the mismatching errors by modeling the individual devices with signal-flow graph, and by seeking the transfer function of the system with the mismatching error in the combination of the devices using the Signal-flow Graph Gain Formula.

• Bulletin of the Korean Mathematical Society
• /
• 제52권2호
• /
• pp.467-481
• /
• 2015

Choi and Park introduced an invariant of a finite simple graph, called signed a-number, arising from computing certain topological invariants of some specific kinds of real toric manifolds. They also found the signed a-numbers of path graphs, cycle graphs, complete graphs, and star graphs. We introduce a signed a-polynomial which is a generalization of the signed a-number and gives a-, b-, and c-numbers. The signed a-polynomial of a graph G is related to the $Poincar\acute{e}$ polynomial $P_{M(G)}(z)$, which is the generating function for the Betti numbers of the real toric manifold M(G). We give the generating functions for the signed a-polynomials of not only path graphs, cycle graphs, complete graphs, and star graphs, but also complete bipartite graphs and complete multipartite graphs. As a consequence, we find the Euler characteristic number and the Betti numbers of the real toric manifold M(G) for complete multipartite graphs G.

• Journal of applied mathematics & informatics
• /
• 제35권1_2호
• /
• pp.59-74
• /
• 2017

A radio labeling of a graph G is a function $f:V(G){\rightarrow}\{1,2,{\ldots},k\}$ with the property that ${\mid}f(u)-f(v){\mid}{\geq}1+diam(G)-d(u,v)$ for every pair of vertices $u,v{\in}V(G)$, where diam(G) and d(u, v) are diameter and distance between u and v in the graph G respectively. The radio number of a graph G, denoted by rn(G), is the smallest integer k such that G admits a radio labeling. In this paper, we completely determine radio number of all transformation graphs of a path.

• School Mathematics
• /
• 제4권2호
• /
• pp.161-192
• /
• 2002

This paper investigated the teaching and teaming of contents-related graphing in Korean secondary textbooks and suggested the improved methods of graph instruction through this analysis. reification-the case of function, In Harel, G., Dubinsky(Eds.), The Concept of Function : Aspects of Epistemology and Pedagogy Textbooks are analyzed from the viewpoint of the proportion of graphing contents, their sequencing, the proportion of each domain in graphing activities (interpretation vs. construction, quantitative vs. qualitative aspect, local vs. global aspect) and tasks (prediction, translation, scaling), and the difference in the graphing contents between the sixth and the seventh curriculum. This analysis demonstrates that graphing contents are increasing in textbooks, therefore the high school textbooks appear in almost every content area. The graphing activities concentrate on the construction, the quantitative aspects, and the local aspects, and are gradually focusing on the interpretation and global aspects of high school textbooks. Furthermore, most of graphing tasks favor translation. In contrast, the current seventh curriculum includes a balance of interpretation and construction activities and has more global aspects than the sixth curriculum based textbooks; however, the qualitative approach still rarely appears. For the graphing tasks, translation is still prevalent, but the importances of prediction tasks based on graph have increased in comparison with the sixth curriculum textbooks. Further, the seventh curriculum based textbooks are designed to stimulate more dynamic graphing instruction by introducing new tools such as graphing calculators and computer software. We suggest that the qualitative and global aspects should be emphasized in early graph instruction, a variety of graph activities in realistic contexts should be performed, and educational technology such as graphing calculator and computer can be efficient to implement these ideas.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• 제36C권5호
• /
• pp.1-12
• /
• 1999

A new algorithm of constructing binary decision diagram(BDD) for design verification of switch-level circuits is proposed in this paper. In the switch-level circuit, functions are characterized by serial and parallel connections of switches and the final logic values may have high-impedance and unstable states in addition to the logic values of 0 and 1. We extend the BDD to represent functions of switch-level circuits as acyclic graphs so called switch-level binary decision diagram (SLBDD). The function representation of the graph is in the worst case, exponential to the number of inputs. Thus, the ordering of decision variables plays a major role in graph sizes. Under the existence of pass-transistors and domino-logic of precharging circuitry, we also propose an input ordering algorithm for the efficiency in graph sizes. We conducted several experiments on various benchmark circuits and the results show that our algorithm is efficient enough to apply to functional simulation, power estimation, and fault-simulation of switch-level design.

• Journal of the Korean Institute of Telematics and Electronics
• /
• 제24권6호
• /
• pp.1074-1079
• /
• 1987

We present a fast, constructive algorithm for the automatic placement of standard cells, which consists of two steps. The first step is responsible for cell-row assignment of each cell, and converts the circuit connectivity into a multi-stage graph under to constraint that sum of the cell-widths in each stage of the multi-state graph does not exceed maximum cell-row width. Generatin of feed-through cells in the final layout was shown to be drastically reduced by this step. In the second step, the position of each cell within the row is determined one by one from left to right so that the cost function such as the local channel density is minimized. Our experimental result shows that this algorithm yields near optimal results in terms of the number of feed-through cells and the horizontal tracks, while running about 100 times faster than other iterative procedures such as pairwise interchange and generalized force directed relaxation method.

• Journal of applied mathematics & informatics
• /
• 제35권5_6호
• /
• pp.565-586
• /
• 2017

In this paper we continue to investigate the Super Vertex Mean behaviour of all graphs up to order 5 and all regular graphs up to order 7. Let G(V,E) be a graph with p vertices and q edges. Let f be an injection from E to the set {1,2,3,${\cdots}$,p+q} that induces for each vertex v the label defined by the rule $f^v(v)=Round\;\left({\frac{{\Sigma}_{e{\in}E_v}\;f(e)}{d(v)}}\right)$, where $E_v$ denotes the set of edges in G that are incident at the vertex v, such that the set of all edge labels and the induced vertex labels is {1,2,3,${\cdots}$,p+q}. Such an injective function f is called a super vertex mean labeling of a graph G and G is called a Super Vertex Mean Graph.