• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.3
• /
• pp.39-47
• /
• 2002

This paper deals with study of a new framework for the traceback of distributed DoS(Denial of Service) attacks in the Internet, in which many sources flood "spoofed" IP packets towards a single victim. In our scheme, the destination host traces those anonymous packets' losses, and infers the logical end-to-end paths back towards the sources. This method is based on the fact that there is a strong correlation between packet losses when those packets traverse along a same route, and the simulation results show high probabilities of detecting the topology under a certain condition. Compared with previous approaches, our scheme has a number of distinct features: It can be performed in realtime or non-realtime, without any supports of routers or ISPs. Our results may be applied to the inference of physical topology and to support previous approaches.pproaches.

• Journal of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.932-944
• /
• 1998

In this paper we first prove a new minimum theorem using the upper semicontinuity of minimizing functions, which is comparable to Berge's theorem. Next, as applications, we shall prove the existence of equilibrium in generalized games and the existence theorem of zeros.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.899-908
• /
• 2017

We call a sequence $(T_n)_n$ of bounded operators on a Banach space X, BSC-Sequence if it is a Cauchy sequence in the strong operator topology and is uniformly bounded below. We determine conditions under which such sequences has a fixed point.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.2
• /
• pp.115-127
• /
• 2009

In the present paper we introduce and study L-pre-$T_0$-, L-pre-$T_1$-, L-pre-$T_2$ (L-pre-Hausdorff)-, L-pre-$T_3$ (L-pre-regularity)-, L-pre-$T_4$ (L-pre-normality)-, L-pre-strong-$T_3$-, L-pre-strong-$T_4$-, L-pre-$R_0$-, L-pre-$R_1$-separation axioms in (2, L)-topologies where L is a complete residuated lattice.Sometimes we need more conditions on L such as the completely distributive law or that the "$\bigwedge$" is distributive over arbitrary joins or the double negation law as we illustrate through this paper. As applications of our work the corresponding results(see[1,2]) are generalized and new consequences are obtained.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.1
• /
• pp.52-59
• /
• 2014

Operator training simulator, within a training environment designed to understand the principles and behavior of the railway system with respect to operator's entries and predefined scenario, can provide a very strong benefit in facilitating operators' handling undesired operations. This simulator consists of computer system and applications, and the purpose of applications is to generate the power and voltage and analyze the AC substation and DC railway, respectively. This paper describes a novel approach to the new techniques for AC/DC hybrid simulation for the operator training simulator in the railway system. We first propose the structure the database of railway system. Then, topology processing and power flow using a linked-list method based on the proposed database, full or decoupled newton-rapshon methods are presented. Finally, the interface between the analysis for AC substation using a newton-rapshon method and the analysis for DC railway system using a time-interval power flow method is described. We have verified and tested the developed algorithm through the extensive testing for the proposed test system. To demonstrate the validity of the developed algorithm, comparative simulations between the proposed algorithm and PSS/E for the test system were conducted.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.7
• /
• pp.834-841
• /
• 2004

Experimental study on the three-dimensional topology of hairpin packet structures in turbulent boundary layers were carried out. Two different Reynolds number based on momentum thickness, Re$\sub$$\theta$/=514 and 934 were generated in a blowing type wind tunnel under the condition of zero pressure gradient. Simultaneous measurements of velocity fields at a wall-normal plane and wall-parallel plane by a plane PIV and a Stereo-PIV systems. The two Nd:Yag laser systems and three CCD cameras were synchronized to obtain instantaneous velocity fields at the same time. To avoid optical noise at the crossing line by the two laser light sheets, a new optical arrangement using polarization was applied. The obtained velocity fields show the existence of hairpin packet structure vividly and the idealized hairpin vortex signature is confirmed by experiment. Two counter-rotating vortex pair which reflects the cutting plane of hairpin legs are found both side of a strong streaky structure when the wall-normal plane cuts the hairpin head.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.1
• /
• pp.1-10
• /
• 2007

An advantage of the mobile ad hoc network (MANET) is that mobile nodes can self-organize the network topology without the help of network infrastructure. However, for the perfect self-organization of the MANET, each mobile node needs to self-configure its address. Even though a mobile node configures a unique address during the booting time, its address may conflict with nodes in other MANETs since MANETs containing the same address can be merged. The address autoconfiguration protocol implemented in this work consists of the strong DAD (Duplicate Address Detection) and the weak DAD. A unique address of a node is assigned by the strong DAD during the booting time and the weak DAD is used to detect address conflict and resolve address conflict during the ad hoc routing. In this work, we have implemented address autoconfiguration in the IPv6-based MANET using AODV as the routing protocol. We describe how the IPv6 address autoconfiguration is implemented and verify our implementation by showing the test scenarios on our testbed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.8
• /
• pp.1114-1122
• /
• 2018

In this paper, we propose a theoretical framework for provisioning marginal resources in wired and wireless computer networks which include Internet. In more detail, we propose a mathematical model for the upper bounds of marginal capacity in grid networks, where the resource is designed a priori by normal traffic estimation and marginal resource is prepared for unexpected events such as natural disasters and abrupt flash crowd in public affairs. To be specific, we propose a method to evaluate an upper bound for minimum marginal capacity for an arbitrary grid topology using the concept of a strong Roman domination number. To that purpose, we introduce a graph theory to model and analyze the characteristics of general grid structure networks. After that we propose a new tight upper bound for the strong Roman domination number. Via a numerical example, we show the validity of the proposition.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.9 no.4
• /
• pp.21-28
• /
• 2009

Most of domestic shipyards are located at coastal regions which are affected by typhoons nearly every year. For effectiveness of shipbuilding, shipyards contain many facilities which are light-weighted and affected dominantly by wind. In the present paper, we analyze various wind fields over a shipyard including surrounding topology and structures to evaluate the structural safety of the facilities posed in the strong wind. Extreme wind speed for a study region was estimated by typhoon Monte Carlo simulation and then used for inlet wind speed for CFD analysis for wind load on the facilities. Considering geometrical wind effects, we assess the surface pressure of the elements as the pressure factor, the ratio of surface pressure to dynamic pressure. The results show that the simulated wind speed is greater than the design wind speed for the some facilities because of the shipyard's geometry. It also shows that surrounding topography in coastal area is needed to be considered and adjustment for design wind speed at wind load standard application is necessary for mooring ship and industry facilities.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.575-590
• /
• 2017

A new class of functions called $R_{\theta}$-supercontinuous functions is introduced. Their basic properties are studied and their place in the hierarchy of strong variants of continuity, which already exist in the literature, is elaborated. The class of $R_{\theta}$-supercontinuous functions properly contains the class of $R_z$-supercontinuous functions [39] which in turn properly contains the class of $R_{cl}$-supercontinuous functions [43] and so includes all cl-supercontinuous (clopen continuous) functions ([38], [34]) and is properly contained in the class of $R_{\delta}$-supercontinuous functions [24].