• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.623-626
• /
• 2000

The purpose of this paper is to find an efficient solution for multiple constant multiplication (MCM) problem. Since the circuit structure can be represented as a directed acyclic graph, evolutionary computing is considered as an effective tool for optimization of circuit synthesis. In this paper, we propose a stack type operator as a chromosome element to synthesize a directed acyclic graph efficiently. This type of chromosome can represent a graph structure with a set of simple symbols and so we can employ the similar method to a conventional GA.

• Journal of the Korean Institute of Gas
• /
• v.2 no.1
• /
• pp.53-58
• /
• 1998

By knowledge-based approach, the SDG(Signed Directed Graph) is automatically synthesized, which is commonly used to represent the causal effects between process variables. Automatic synthesis of SDG is progressed by two steps : (1)inference step uses knowledge base and (2)verification step uses Loop-Verifier. First, Topology and Knowledge Base are constructed by using the information on equipment. And then, Primary-SDG is synthesized by Character Pattern Matching between Variable-Relation-Representation generated by using Topology and Variable-Tendency-Data contained in Knowledge Base. Finally, a modified SDG is made after the Primary-SDG is verified by Loop-Verifier.

• International Journal of Computer Science & Network Security
• /
• v.24 no.5
• /
• pp.33-39
• /
• 2024

In a previous study we proceeded to the remodularization architecture based on classes and packages using the Formal Concept Analysis (FCA)[13] [14] [30]. we then got two possible remodularized architectures and we explored the issue of redistributing classes of a package to other packages, we used an approach based on Oriented Graph to determine the packages that receive the redistributed classes and we evaluated the quality of a remodularized software architecture by metrics [31] [28] [29]. In this paper, we will address the issue of the efficiency of the Oriented Graph in the remodularization of software architectures compared to the Formal Concept Analysis FCA method. The formal method of FCA concept is not popularized among scientists as opposed to the use of the labeled directed graph. It is for this reason that our directed graph approach is more effective in its simplicity and popularity.

• Journal of Korean Institute of Industrial Engineers
• /
• v.28 no.3
• /
• pp.264-273
• /
• 2002

This paper focuses on disassembly sequencing, which is the problem of determining the optimum disassembly level and the corresponding disassembly sequence for a product at its end-of-life with the objective of maximizing the overall profit. In particular, sequence-dependent operation times, which frequently occur in practice due to tool-changeover, part reorientation, etc, are considered in the parallel disassembly environment. To represent the problem, a modified directed graph of assembly states is suggested as an extension of the existing extended process graph. Based on the directed graph, the problem is transformed into the shortest path problem and formulated as a linear programming model that can be solved straightforwardly with standard techniques. A case study on a photocopier was done and the results are reported.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.4
• /
• pp.1188-1195
• /
• 2014

This paper presents an analytical technique for reliability evaluation of electrical distribution network (EDN) containing distributed generation (DG). Based on hierarchical levels of circuit breaker controlling zones and feeder sections, a directed-relation-graph (DRG) for an END is formed to describe the hierarchical structure of the EDN. The reliability indices of EDN and load points can be evaluated directly using the formed DRG, and the reliability evaluation of an EDN containing DGs can also be done without re-forming the DRG. The proposed technique incorporates multi-state models of photovoltaic and diesel generations, as well as weather factors. The IEEE-RBTS Bus 6 EDN is used to validate the proposed technique; and a practical campus EDN containing DG was also analyzed using the proposed technique.

• Journal of the Korean Society of Combustion
• /
• v.16 no.2
• /
• pp.16-22
• /
• 2011

It is a challenging task to apply large detailed chemical mechanisms of fuel oxidation in simulation of complex combustion phenomena. There exist a few systematic methodologies to reduce detailed chemical mechanisms to smaller sizes involving less computational load. This research work concerns generation of a skeletal chemical mechanism by a directed relation graph with specified accuracy requirement. Two sequential stages for mechanism reduction are followed in a perfectly stirred reactor(PSR) for high temperature chemistry and to consider the autoignition delay time for low and high temperature chemistry. Reduction was performed for the detailed chemical mechanism of n-heptane consisting of 561 species and 2539 elementary reaction steps. Validation results show acceptable agreement for the autoignition delay time and the PSR calculation in wide parametric ranges of pressure, temperature and equivalence ratio.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.521-531
• /
• 2000

Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.9
• /
• pp.3258-3273
• /
• 2021

Malware is a severe threat to the computing system and there's a long history of the battle between malware detection and anti-detection. Most traditional detection methods are based on static analysis with signature matching and dynamic analysis methods that are focused on sensitive behaviors. However, the usual detections have only limited effect when meeting the development of malware, so that the manual update for feature sets is essential. Besides, most of these methods match target samples with the usual feature database, which ignored the characteristics of the sample itself. In this paper, we propose a new malware detection method that could combine the features of a single sample and the general features of malware. Firstly, a structure of Directed Cyclic Graph (DCG) is adopted to extract features from samples. Then the sensitivity of each API call is computed with Markov Chain. Afterward, the graph is merged with the chain to get the final features. Finally, the detectors based on machine learning or deep learning are devised for identification. To evaluate the effect and robustness of our approach, several experiments were adopted. The results showed that the proposed method had a good performance in most tests, and the approach also had stability with the development and growth of malware.

• Journal of Internet Computing and Services
• /
• v.6 no.6
• /
• pp.117-125
• /
• 2005

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 implement the effective sequency reducible algorithm and delay reducible algorithm. As a result of implementation, we can see that the delay reducible algorithm takes less execution time than the sequency reducible algorithm. Therefore, we can reduce the flow graph to dominator tree effectively.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.14 no.5
• /
• pp.941-947
• /
• 2011

This paper deals with the consensus problem for multi-agent linear dynamic systems with directed communication topology. All the agents are identical high-order linear systems and their state information is exchanged through a communication network with directed graph. It is shown that a consensus is achieved if there exists a feasible solution to a set of linear matrix inequalities obtained for a simultaneous stabilization problem for multiple systems. Examples are presented to show the effectiveness of the proposed method.