• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.135-147
• /
• 2015

Owing to the notion of a normal adjacency for a digital product in [8], the study of product properties of digital topological properties has been substantially done. To explain a normal adjacency of a digital product more efficiently, the recent paper [22] proposed an S-compatible adjacency of a digital product. Using an S-compatible adjacency of a digital product, we also study product properties of digital topological properties, which improves the presentations of a normal adjacency of a digital product in [8]. Besides, the paper [16] studied the product property of two digital covering maps in terms of the $L_S$- and the $L_C$-property of a digital product which plays an important role in studying digital covering and digital homotopy theory. Further, by using HS- and HC-properties of digital products, the paper [18] studied multiplicative properties of a digital fundamental group. The present paper compares among several kinds of adjacency relations for digital products and proposes their own merits and further, deals with the problem: consider a Cartesian product of two simple closed $k_i$-curves with $l_i$ elements in $Z^{n_i}$, $i{\in}\{1,2\}$ denoted by $SC^{n_1,l_1}_{k_1}{\times}SC^{n_2,l_2}_{k_2}$. Since a normal adjacency for this product and the $L_C$-property are different from each other, the present paper address the problem: for the digital product does it have both a normal k-adjacency of $Z^{n_1+n_2}$ and another adjacency satisfying the $L_C$-property? This research plays an important role in studying product properties of digital topological properties.

• Fire Science and Engineering
• /
• v.25 no.5
• /
• pp.8-13
• /
• 2011

High strength concrete is the occurrence of explosive spalling associated with high temperature such as a fire. The spalling causes the sever reduction of the cross sectional area with the exposure of the reinforcing steel, which originates a problem in the structural behaviour. The purpose of this study is to investigate the mechanical properties of lightweight mortar using perlite and polypropylene fiber for fire protection covering material. For this purpose, selected test variables were the ratio of water to cement, the ratio of cement to perlite, contents of polypropylene fiber. As a result of this study, it has been found that addition of perlite and polypropylene fiber to mortar modifies its pore structure and reduces its density. And it has been found that a new lightweight mortar can be used in the fire protection covering material.

• Structural Engineering and Mechanics
• /
• v.54 no.5
• /
• pp.955-971
• /
• 2015

In this paper, the influence of the polled direction of piezoelectric materials on the stress distribution is studied under time-harmonic dynamical load (time-harmonic Lamb's problem). The system considered in this study consists of piezoelectric covering layer and piezoelectric half-plane, and the harmonic dynamical load acts on the free face of the covering layer. The investigations are carried out by utilizing the exact equations of motion and relations of the linear theory of electro-elasticity. The plane-strain state is considered. It is assumed that the perfect contact conditions between the covering layer and half-plane are satisfied. The boundary value problems under consideration are solved by employing Fourier exponential transformation techniques with respect to coordinates directed along the interface line. Numerical results on the influence of the polled direction of the piezoelectric materials such as PZT-5A, PZT-5H, PZT-4 and PZT-7A on the normal stresses, shear stresses and electric potential acting on the interface plane are presented and discussed. As a result of the analyses, it is established that the polled directions of the piezoelectric materials play an important role on the values of the studied stresses and electric potential.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.11-18
• /
• 2006

The logical analysis of data(LAD) is a Boolean-logic based data mining tool. A critical step in analyzing data by LAD is the pattern generation stage where useful knowledge and hidden structural information in data is discovered in the form of patterns. A conventional method for pattern generation in LAD is based on term enumeration that renders the generation of higher degree patterns practically impossible. In this paper, we present a novel optimization-based pattern generation methodology and propose two mathematical programming models, a mixed 0-1 integer and linear programming (MILP) formulation and a well-studied set covering problem (SCP) formulation for the generation of optimal and heuristic patterns, respectively. With benchmark datasets, we demonstrate the effectiveness of our models by automatically generating with ease patterns of high complexity that cannot be generated with the conventional approach.

• The KIPS Transactions:PartA
• /
• v.16A no.1
• /
• pp.35-42
• /
• 2009

This paper proposes a new coverage algorithm for intelligent robot. Many algorithms for improving the performance of coverage have been focused on minimizing the total coverage completion time. However, if one does not have enough time to finish the whole coverage, the optimal path could be different. To tackle this problem, we propose a new coverage algorithm, which we call MaxCoverage algorithm, for covering maximal area within the deadline. The MaxCoverage algorithm decides the navigation flow by greedy algorithm for Set Covering Problem. The experimental results show that the MaxCoverage algorithm performs better than other algorithms for random deadlines.

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.4
• /
• pp.571-578
• /
• 1998

In this paper, we deal with a node weighted Steiner Ring Problem (SRP) arising from the deployment of Synchronous Optical Networks (SONET), a standard of transmission using optical fiber technology. The problem is to find a minimum weight cycle (ring) covering a subset of nodes in the network considering node and link weights. We have developed two mathematical models, one of which is stronger than the other in terms of LP bounds, whereas the number of constraints of the weaker one is polynomially bounded. In order to solve the problem optimally, we have developed some preprocessing rules and valid inequalities. We have also prescribed an effective heuristic procedure for providing tight upper bounds. Computational results show that the stronger model is better in terms of computation time, and valid inequalities and preprocessing rules are effective for solving the problem optimally.

• Journal of Electrical Engineering and Technology
• /
• v.7 no.2
• /
• pp.151-156
• /
• 2012

The current study presents a zero-one integer programming approach to determine the minimum break point set for the coordination of directional relays. First, the network is reduced if there are any parallel lines or three-end nodes. Second, all the directed loops are enumerated to reduce the iteration. Finally, the problem is formulated as a set-covering problem, and the break point set is determined using the zero-one integer programming technique. Arbitrary starting relay locations and the arbitrary consideration of relay sequence to set and coordinate relays result in navigating the loops many times and futile attempts to achieve system-wide relay coordination. These algorithms are compared with the existing methods, and the results are presented. The problem is formulated as a setcovering problem solved by the zero-one integer programming approach using LINGO 12, an optimization modeling software.

• Journal of Korean Institute of Industrial Engineers
• /
• v.41 no.4
• /
• pp.396-407
• /
• 2015

The literature about intelligence assets allocation focused on mainly single or partial assets such as TOD and GSR. Thus, it is limited in application to the actual environment of operating various assets. In addition, field units have generally vulnerabilities because of depending on qualitative analysis. Therefore, we need a methodology to ensure the validity and reliability of intelligence asset allocation. In this study, detection probability was generated using digital geospatial data in MGIS (Military Geographic Information System) and simulation logic of BCTP (Battle Commander Training Programs) in the R.O.K army. Then, the optimal allocation mathematical model applied concept of simultaneous integrated management, which was developed based on the partial set covering model. Also, the proposed GA (Genetic Algorithm) provided superior results compared to the mathematical model. Consequently, this study will support effectively decision making by the commander by offering the best alternatives for optimal allocation within a reasonable time.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.11-14
• /
• 2003

In interconnection network for parallel processing, the cycle partitioning problem for parallel transmission with faulty vertieces or edges is very important. In this paper, we assume that k($\leq$m-1) edges do not share any vertices of m dimension hypercube Q$_{m}$ and show that it is possible to construct a cycle set which consists of k cycles covering all the vertices of the hypercube and one cycle including one of the given edges. This cycle set can be used to parallel transmission between two vertices joined by faulty edges.s.

• Fire Science and Engineering
• /
• v.24 no.4
• /
• pp.41-46
• /
• 2010

High strength concrete (HSC) has been mainly used in large SOC structures. HSC have superior property as well as improvement in durability compared with normal strength concrete. In spite of durability of HSC, explosive spalling in concrete front surface near the source of fire occurs serious problem in structural safety. Therefore, this study is concerned with experimentally investigation of fire resistance at high temperature due to fireproof material covering thickness in addition to concrete cover. From the test result, it was appeared that the use of fireproof material results in good performance for fire resistance and spalling prevention, and the optimal fireproof covering thickness is 1~3mm. On the other hand, the temperature was rapidly increased by explosive spalling within 30 minutes and showed very little rise caused by evaporation heat after then. It was also found that the void channel was remained at high temperature as PP fiber melts at about $200^{\circ}C$, and the pore pressure in concrete was decreased.