• International Journal of Railway
• /
• v.1 no.3
• /
• pp.94-98
• /
• 2008

Static inverters are essential devices onboard of rolling stock. State-of-the-art static inverters have an impact on both rail infrastructure and vehicle maintenance due to their new topology with new features. The paper describes two important aspects as examples of new features available in state-of-the-art static inverters: active input current control and the effects on the rail infrastructure as well as the detection of the state of charge and the state of health of batteries to simplify vehicle maintenance.

• Architectural research
• /
• v.10 no.2
• /
• pp.21-26
• /
• 2008

The number of measured degrees of freedom for detecting the damage of any structures is usually less than the number of model degrees of freedom. It is necessary to expand the measured data to full set of model degrees of freedom for updating modal data. This study presents the expansion methods to estimate all static displacements and dynamic modal data of finite element model from the measured data. The static and dynamic methods are derived by minimizing the variation of the potential energy and the Gauss's function, respectively. The applications illustrate the validity of the proposed methods. It is observed that the numerical results obtained by the static approach correspond with the Guyan condensation method and the derived static and dynamic approaches provide the fundamental idea for damage detection.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.238-242
• /
• 2021

Game theory has been regarded as a useful theoretical tool for modeling the interactions between distinct entities and thus it has been harnessed in various research field. In particular, research attention has been shown to how to apply game theory to modeling the interactions between malign and benign entities in the field of wireless networks. Although various game theoretic modeling work have been proposed in the field of wireless networks, our proposed work is disparate to the existing work in the sense that we focus on mobile malign node detection problem in static wireless sensor networks. More specifically, we propose a Bayesian game theoretic modeling for mobile malign node detection problem in static wireless sensor networks. In our modeling, we formulate a two-player static Bayesian game with imperfect information such that player 1 is aware of the type of player 2, but player 2 is not aware of the type of player 1. We use four strategies in our static Bayesian game. We obtain Bayesian Nash Equilibria with pure strategies under certain conditions.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.13 no.6
• /
• pp.289-296
• /
• 2018

Drone detection in FMCW radar system needs complex techniques because a drone beat frequency is highly dynamic and unpredictable. Therefore, the current static signal processing algorithms cannot show appropriate detection accuracy. With dynamic signal fluctuation and environmental clutters, it can fail to detect a drone or make false detection. It affects to the radar system integrity and safety. Constant false alarm rate (CFAR), one of famous static signal process algorithm is effective for static environment. But for drone detection, it shows low detection accuracy. In this paper, we suggest neural network based FMCW radar system for detecting a drone. We use recurrent neural network (RNN) because it is the effective neural network for signal processing. In our FMCW radar system, one transmitter emits FMCW signal and four-way fixed receivers detect reflected drone beat frequency. The coordinate of the drone can be calculated with four receivers information by triangulation. Therefore, RNN only learns and inferences reflected drone beat frequency. It helps higher learning and detection accuracy. With several drone flight experiments, RNN shows false detection rate and detection accuracy as 21.1% and 96.4%, respectively.

• Transactions of the Society of Information Storage Systems
• /
• v.1 no.2
• /
• pp.115-120
• /
• 2005

As a popularity of a portable digital device such as a cellular phone, a digital camera and a MP3 player is spreading, the demand of the mobile storage device increases rapidly. A bluray technology using 405nm laser diode and objective lens having high NA(Numerical Aperture), 0.85, satisfies a miniaturization and a high capacity which are the requirements of the portable device. To develop SFFOP(small form factor optical pickup), it is prerequisite to minimize the number of optical components and establish evaluation and assembly method of micro optical pickup system as well as mass production method of micro optical component. To minimize optical elements of optical pickup, there have been many researches to use P-HOE(Polarized Holographic Optical Element) due to its extremely small size and versatile function. However, P-HOE is handled and assembled very accurately in SFFOP. In this paper, static error signal detection method is developed for an alignment of P-HOE in SFFOP. Using developed static error signal detection method, P-HOE can be aligned very accurately with real time result of static error signals of pickup such as FES(focusing error signal) and TES(Tracking Error Signal). The developed static error signal detection method is verified by the evaluation of commercialized DVD Pickup. And finally. developed static error signal detection method is applied for the assembly of P-HOE in SFFOP system satisfies specification of BD(Blu-ray Disk).

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.11a
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.605-615
• /
• 2018

Due to the rapid growth of the Internet of Things market, the use of the C/C++ language, which is the most widely used language in embedded systems, is also increasing. To improve the quality of code in the C/C++ language and reduce development costs, it is better to use static analysis, a software verification technique that can be performed in the first half of the software development life cycle. Many programs use static analysis to verify software safety and many static analysis tools are being used and studied. In this paper, we use Clang static analysis tool to check security weakness detection performance of verified test code. In addition, we compared the static analysis results of the test codes applied with the source obfuscation techniques, layout obfuscation, data obfuscation, and control flow obfuscation techniques, and the static analysis results of the original test codes, Analyze the detection ability impact of the Clang static analysis tool.

• Journal of Navigation and Port Research
• /
• v.36 no.3
• /
• pp.163-168
• /
• 2012

Recently, people's desire for the waterfront space has been increasing, and more people want to spend their leisure time close to the water. This paper proposes a damage detection technique using the static strain for the floating structure. An existing damage index, in which the modal strain energy was utilized to identify possible location of damage, is expanded to apply the static strain. The new damage index is expressed in terms of the static strains of undamaged and damaged structures. After calculating damage index, the possible damage locations in the structure are determined by the pattern recognition technique. The accuracy and feasibility of the proposed method is demonstrated by using experimental strain data from a scale model of floating structure.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.4A
• /
• pp.693-700
• /
• 2006

To detect and evaluate the damage present in bridge, static identification method is known to be simple and effective, compared to dynamic method. In this study, the damage detection method in steel box girder bridge using static responses including displacement, slope and curvature is examined. The static displacement is calculated using finite element analysis and the slope and curvature are determined from the displacement using central difference method. The location of damage is detected using the absolute differences of these responses in intact and damaged bridge. Steel box girder bridge with corner crack is modeled using singular element in finite element method. The results show that these responses were significantly useful in detecting and predicting the location of damage present in bridge.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.34 no.1
• /
• pp.31-40
• /
• 2024

Recently, static analysis-based signature and pattern detection technologies have limitations due to the advanced IT technologies. Moreover, It is a compatibility problem of multiple architectures and an inherent problem of signature and pattern detection. Malicious codes use obfuscation and packing techniques to hide their identity, and they also avoid existing static analysis-based signature and pattern detection techniques such as code rearrangement, register modification, and branching statement addition. In this paper, We propose an LLVM IR image-based automated static analysis of malicious code technology using machine learning to solve the problems mentioned above. Whether binary is obfuscated or packed, it's decompiled into LLVM IR, which is an intermediate representation dedicated to static analysis and optimization. "Therefore, the LLVM IR code is converted into an image before being fed to the CNN-based transfer learning algorithm ResNet50v2 supported by Keras". As a result, we present a model for image-based detection of malicious code.