• Kyungpook Mathematical Journal
• /
• v.58 no.2
• /
• pp.399-426
• /
• 2018

Cofinite graphs and cofinite groupoids are defined in a unified way extending the notion of cofinite group introduced by Hartley. These objects have in common an underlying structure of a directed graph endowed with a certain type of uniform structure, called a cofinite uniformity. Much of the theory of cofinite directed graphs turns out to be completely analogous to that of cofinite groups. For instance, the completion of a directed graph Γ with respect to a cofinite uniformity is a profinite directed graph and the cofinite structures on Γ determine and distinguish all the profinite directed graphs that contain Γ as a dense sub-directed graph. The completion of the underlying directed graph of a cofinite graph or cofinite groupoid is observed to often admit a natural structure of a profinite graph or profinite groupoid, respectively.

• Journal of the Korean Society of Safety
• /
• v.18 no.2
• /
• pp.64-72
• /
• 2003

A new reliability assessment methodology is presented and the new method is compared with fault tree analysis. The system is modeled by directed graph at a new methodology, which is composed of nodes and arcs. The directed graph corresponds to the layout of chemical process and is easy to construct. Therefore, the directed graph analysis is applicable to the chemical process that has complex sequence. The example of fault tree analysis and directed graph analysis is given. The directed graph analysis has proved to be a valuable and useful method for the reliability assessment of chemical process.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.113-125
• /
• 2019

In this paper, we consider the Ricci curvature of a directed graph, based on Lin-Lu-Yau's definition. We give some properties of the Ricci curvature, including conditions for a directed regular graph to be Ricci-flat. Moreover, we calculate the Ricci curvature of the cartesian product of directed graphs.

• Industrial Engineering and Management Systems
• /
• v.9 no.3
• /
• pp.227-241
• /
• 2010

A memory module industry's supply chain usually consists of multiple manufacturing sites and multiple distribution centers. In order to fulfill the variety of demands from downstream customers, production planners need not only to decide the order allocation among multiple manufacturing sites but also to consider memory module industrial characteristics and supply chain constraints, such as multiple material substitution relationships, capacity, and transportation lead time, fluctuation of component purchasing prices and available supply quantities of critical materials (e.g., DRAM, chip), based on human experience. In this research, a directed graph-based supply network planning (DGSNP) model is developed for memory module industry. In addition to multi-site order allocation, the DGSNP model explicitly considers production planning for each manufacturing site, and purchasing planning from each supplier. First, the research formulates the supply network's structure and constraints in a directed-graph form. Then, a proposed genetic algorithm (GA) solves the matrix form which is transformed from the directed-graph model. Finally, the final matrix, with a calculated maximum profit, can be transformed back to a directed-graph based supply network plan as a reference for planners. The results of the illustrative experiments show that the DGSNP model, compared to current memory module industry practices, determines a convincing supply network planning solution, as measured by total profit.

• Journal of the Korean Institute of Gas
• /
• v.16 no.6
• /
• pp.41-47
• /
• 2012

There are PFD(Process Flow Diagram) and P&ID(Piping and Instrument Diagram) for designing and managing chemical process efficiently. They provide the operation condition and equipment specifications of chemical process, but they do not provide the reliability of chemical process. Therefore, in this study, Reliability Flow Diagram(RFD) which provide the cycle and time of preventive maintenance has been developed using Directed Graph Analysis methodology. Directed Graph Analysis methodology is capable of assessing the reliability of chemical process. It models chemical process into Directed Graph with nodes and arcs and assesses the reliability of normal operation of chemical process by assessing Directed Graph sequential. In this paper, the chemical process reliability transition according to operation time was assessed. And then, Reliability Flow Diagram has been developed by inserting the result into P&ID. Like PFD and P&ID, Reliability Flow Diagram provide valuable and useful information for the design and management of chemical process.

• Journal of Korean Port Research
• /
• v.12 no.1
• /
• pp.55-64
• /
• 1998

Directed graphic algorithm was applied to an empirical analysis of traffic occupant fatalities based on a model by Crandall. In this paper, Crandall's data on U.S. traffic fatalities for the period 1947-1981 are focused and extended to include 1982-1993. Based on the 1947-1981 annual data, the directed graph algorithms reveal that occupant traffic deaths are directly caused by income, vehicle miles, and safety devices. Vehicle mileage is caused by income and rural driving. The estimation is conducted using three stage least squares regression. Those results show a difference between the traditional regression methodology and causal graphical analysis. It is also found that forecasts from the directed graph based model outperform forecasts from the regression-based models, in terms of mean squared forecasts error. Furthermore, it is demonstrates that there exists some latent variables between all explanatory variables and occupant deaths.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.267-275
• /
• 2004

Directed graph and Lindenmayer system (L-system) are two major encoding methods of representation to develop creatures in application field of artificial life. It is difficult to define real morphology structurally using the L-systems which are a grammatical rewriting system because L-systems represent genotype as loops, procedure calls, variables, and parameters. This paper defines a class of representations called structured directed graph, which is identified by its ability to define structures of the genotype in the translation to the phenotype, and presents an example of creating 3D flowers using a directed graph which is proper method to represent real morphology, and interactive genetic algorithm which decodes the problem with human's emotional evaluation. The experimental results show that natural flower morphology can be generated by the proposed method.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2536-2542
• /
• 2000

The dominator tree presents the dominance frontier from directed graph to the tree. we present the effective algorithm for constructing the dominator tree from arbitrarY directed graph. The reducible flow graph was reduced to dominator tree after dominator calculation. And the irreducible flow graph was constructed to dominator-join graph using join-edge information of information table. For reducing the dominator tree from dominator-join graph, we present the effective sequency reducible algorithm and delay reducible algorithm.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.21 no.2
• /
• pp.19-23
• /
• 1984

A new directed product graph(DPG) is proposed from the product graph for electrical networks. By introducing the direction of an dege and the concept of a loop to product graph, it is more easy and rapid to obtain topologically the denominator of Mason's formula without relation of the sign rule and without arising terms cancelled. Also the constraints of tree selection at a given network-graph can be removed.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.1
• /
• pp.131-146
• /
• 1996

In this paper, we describe the facial structure of the steiner problem in a directed graph by formulating it as set covering problem. We first characterize trivial facets and derive a necessary condition for nontrival facets. We also introduce a class of valid inequalities with 0-1 coefficients and show when such inequalities define facets.