• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.279-282
• /
• 2024

The Use-after-free (UAF) bug is a long-standing temporal memory safety issue. To prevent UAF attacks, two commonly used approaches are lock-and-key and pointer nullification. Recently, ARM architecture supports the Memory Tagging Extension (MTE) that implemented a lock-and-key mechanism using a 4-bit tag during memory access. Previous research proposed a virtual address tagging scheme utilizing MTE to prevent UAF attacks. In this paper, we aimed to measure a simplified version of the previously proposed virtual address tagging scheme on real machines supporting MTE by implementing a simple module and conducting experiments.

• International Journal of Contents
• /
• 제11권1호
• /
• pp.69-72
• /
• 2015

Generally, existing parallel main-memory spatial index structures to avoid the trade-off between query freshness and CPU cost uses light-weight locking techniques. However, still, the lock based methods have some limits such as thrashing which is a well-known problem in lock based methods. In this paper, we propose a distributed index structure for moving objects exploiting the parallelism in multiple machines. The proposed index is a lock free multi-version concurrency technique based on the D-Stream model of Spark Stream. The proposed method exploits the multiversion nature of D-Stream of Spark Streaming.

• Wind and Structures
• /
• 제29권6호
• /
• pp.441-455
• /
• 2019

In this study, vortex induced vibrations of a cylinder mounted on a flexible rod are analyzed. This simple configuration represents the key element of new conception bladeless wind turbine (Whitlock 2015). In this study the structure oscillations equation coupled to the wake oscillation equation for this configuration are solved using analytical perturbation method, for the first time. An analytical expression that predicts the lock-in phenomena range of wind speed is derived. The discretized equations of motion are also solved using RKF45 numerical method. The equations of motion are discretized by Galerkin method. Free vibration mode shape of the structure taking into account the discontinuity of the cross section are used as comparison function. Numerical results are compared to the analytical results, and they show a satisfying agreement. The effect of system parameters on the oscillations of structure and wake as well as on the lock-in domain are presented. Moreover, it is shown that the values of wind speed triggering the start and the stop of the lock-in phenomenon, for increasing wind speed are different from those values obtained during the reverse process, i.e., when the wind speed decreases.

• 소음진동
• /
• 제4권2호
• /
• pp.147-154
• /
• 1994

In this study, ultransonic vibration cutting system was contructed by installing throw-away-tool tip (KT 350) by screw lock on the bending vibration mode in free-free beam. During the conventional cutting and ultransonic conventional cutting of SM45C, variations of cutting force, roughness and acceleration were measured. The results were compared and analyzed in detail, and it was found that the ultransonic vibration cutting was more effective in reducing cutting force compareed with the conventional cutting .

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.238-241
• /
• 2011

Locking은 다중 스레드간의 경쟁 상태를 조절하기 위한 전통적인 메커니즘이다. 하지만 Locking을 사용할 경우, 공유 데이터에 대한 잠금(lock) 및 해제(unlock)에 따른 대기 시간(waiting time)이 발생하며, 이는 전체 시스템 성능을 저하시킨다. Wait-free 동기화는 이러한 전통적인 Locking의 비용을 줄이고자 하는 기법이다. Wait-free 동기화의 기본 아이디어는 공유 데이터 수정 시 복제본을 생성해 처리함으로써 잠금에 따른 대기시간을 제거하는 것이다. 따라서 Wait-free 동기화 기법에서는 복제본생성 이후의 메모리 해제가 가장 큰 비용을 차지한다. 이에 본 논문에서는 Wait-free 동기화 및 메모리 해제 기법과 관련하여 주요 이슈 및 기술 현황에 대한 분석을 실시하였다.

• 한국해양공학회지
• /
• 제33권5호
• /
• pp.387-393
• /
• 2019

In this study, the free motion of a riser due to vortex shedding was numerically simulated with Large Eddy Simulation (LES) and Detached Eddy Simulation (DES) turbulence models. A numerical simulation program was developed by applying the Rhie-Chow interpolation method to the pressure correction of the OpenFOAM standard solver pimpleDyMFoam. To verify the developed program, the vortex shedding around the fixed riser at Re = 3900 was calculated, and the results were compared with the existing experimental and numerical data. Moreover, the vortex-induced vibration of a riser supported by a linear spring was numerically simulated while varying the spring constant. The results are compared with published direct numerical simulation (DNS) results. The present calculation results show that the numerical method is appropriate for simulating the vortex-induced motion of a riser, including lock-in phenomena.

• 한국통신학회논문지
• /
• 제19권9호
• /
• pp.1692-1701
• /
• 1994

이미 상용화된 시뮬레이터인 PSPICE의 기본적인 변형없이 새로운 소자나 시스템을 시뮬레이션하는데 있어 유용한 설계기법인 매크로모델링 기법을 이용하여 위상동기루프를 설계하였다. 위상동기루프는 위상 검출기와 전압제어 발진기, 루프 필터로 이루어져 있고, 이 중 위상 검출기와 전압제어 발진기를 매크로모델링 하였다. 루프 필터단은 외부에서 연결하도록 되어 있으며, 본 논문에서는 간단한 RC 저역통과 필터를 사용하였다. LM565CN PLL의 데이타 시트를 기준으로 설계한 매크로모델 파라미터로 시뮬레이션한 결과, 자유발진 주파수 2.5KHz에서 upper lock range와 lower lock range는 각각 1138Hz, 1500Hz였고, upper capture range와 lower capture range는 563Hz, 437Hz였다. 또한 실험결과와 시뮬레이션 결과가 일치함을 확인하였다.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2008년도 정기총회 및 학술발표대회
• /
• pp.233-236
• /
• 2008

To analyze the saline intrusion in the place, such as an estuary, the three-dimensional numerical model is developed. In this study, the advection terms of the governing equations are discretized by upwind scheme. By using an explicit scheme for the longitudinal direction and an implicit scheme for the vertical direction, the numerical model is free from the restriction of temporal step size caused by a relatively small grid ratio. The equation of state is used to consider the density, and the scalar transport equation for salinity is employed the third order TVD to scheme to prevent unphysical oscillation near discontinuity. In order to verify saline intrusion, the numerical model is conducted to compare the previous model in the lock exchange. The present model generally show a good agreement with the previous one.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제6권2호
• /
• pp.206-218
• /
• 2014

The wave attenuation by floating breakwaters in high amplitude waves, which can lead to wave overtopping and breaking, is examined by numerical simulations. The governing equations, the Navier-Stokes equations and the continuity equation, are calculated in a fixed Cartesian grid system. The body boundaries are defined by the line segment connecting the points where the grid line and body surface meet. No-slip and divergence free conditions are satisfied at the body boundary cell. The nonlinear waves near the moving body is defined using the modified marker-density method. To verify the present numerical method, vortex induced vibration on an elastically mounted cylinder and free roll decay are numerically simulated and the results are compared with those reported in the literature. Using the present numerical method, the wave attenuations by three kinds of floating breakwaters are simulated numerically in a regular wave to compare the performance.

• 한국광학회지
• /
• 제16권1호
• /
• pp.21-26
• /
• 2005

40 Gbit/s 광 시분할 신호(OTDM:optical time-division-multiplexed)로부터 클럭 재생된 10 GHz 신호를 얻기 위해 고조모드잠금된 광섬유 레이저와 TOAD(Terahertz Optical Asymmetric Demultiplexer)를 이용하여 광 위상 동기 회로를 구성하였다. 입력된 40Gbit/s 광 신호 펄스로부터 TOAD를 통과한 펄스의 위상 정보를 이용하여 10 GHz로 위상 동기된 신호를 추출하였다. 추출된 10GHz RF 신호와 주변의 잡음 신호의 비는 40 dB 이상으로 측정되었다. 또한 TOAD에서 위상 정보 추출 과정에 대한 시뮬레이션을 수행하였다. 위상 동기 주파수의 작동범위는 입력 광 펄스의 기본 주파수를 중심으로 10 kHz 이내에서 측정되었다.