• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.701-713
• /
• 2021

Race Condition은 둘 이상의 프로세스가 하나의 공통 자원에 대해 입력이나 조작이 동시에 일어나 의도치 않은 결과를 가져오는 취약점이다. 해당 취약점은 서비스 거부 또는 권한 상승과 같은 문제를 초래할 수 있다. 소프트웨어에서 취약점이 발생하면 관련된 정보를 문서화하지만 종종 취약점의 발생 원인을 밝히지 않거나 소스코드를 공개하지 않는 경우가 있다. 이런 경우, 취약점을 탐지하기 위해서는 바이너리 레벨에서의 분석이 필요하다. 본 논문은 UNIX 커널기반 File System의 Time-Of-Check Time-Of-Use (TOCTOU) Race Condition 취약점을 바이너리 레벨에서 탐지하는 것을 목표로 한다. 지금까지 해당 취약점에 대해 정적/동적 분석 기법의 다양한 탐지 기법이 연구되었다. 기존의 정적 분석을 이용한 취약점 탐지 도구는 소스코드의 분석을 통해 탐지하며, 바이너리 레벨에서 수행한 연구는 현재 거의 전무하다. 본 논문은 바이너리 정적 분석 도구인 Binary Analysis Platform (BAP)를 통해 Control Flow Graph, Call Graph 기반의 File System의 TOCTOU Race Condition 탐지 방법을 제안한다.

• 정보보호학회논문지
• /
• 제17권4호
• /
• pp.115-129
• /
• 2007

유비쿼터스 및 자동화된 컴퓨팅 환경은 개방적이고 동적이어야 하며, 끊김 없는(seamless)소프트웨어와 시스템 구조의 연동을 통한 일반적인 무선 접근으로 사용자에게 다가가는 퍼베이시브 서비스를 제공해야한다. 하지만 다양한 네트워크에서 모든 이동 기기들 간에 미리 정의된 보안 인증을 포함한 로밍 서비스를 제동하기는 매우 복잡하고 어렵다. 더욱이 퍼베이시브서비스 환경에서 끊김 없는 통신 서비스를 제공하기 위해, 다양한 무선 사업자간에 로밍 협정을 세팅하거나 스마트카드 기반의 효율적인 사용자 프로파일 모델링 연구나 다양한 종류의 사용자 인터페이스를 이용하여 자동화된 사용자 인증 시스템을 위한 보안 방안에 관한 연구는 많지 않다. 사용자에게 다가가는 네트워크 도메인 간의 퍼베이시브 보안 서비스를 포함한 상호 로밍이 가능한 로밍 코디네이터 기반의 보안 관리 프레임워크를 제안한다. USIM(Universal Subscriber Identity Module Card)을 이용한 상용 이동 통신은 하나의 서비스 도메인에서만 가능하지만 본 논문에서 제안한 로밍 코디네이터(Roaming Coordinator)는 PWLAN(Public Wireless Local Area Network)이나 3G 이동통신 그리고 WMAN(Wireless Metropolitan Area Network) 등의 다른 네트워크 도메인에서의 보안 서비스를 보다 안전하고 쉽게 제공할 수 있다.

• 해양환경안전학회지
• /
• 제28권4호
• /
• pp.601-609
• /
• 2022

잭업드릴링 리그는 해양 석유와 가스 탐사 산업에서 널리 사용되는 모바일 해양 플랫폼이다. 그것은 시추 및 생산을 위한 캔틸레버 시추 장치가 있는 독립적인 3개의 다리가 있는 자체 승강식 장치이다. 전형적인 잭업리그는 삼각형 선체, 타워형 데릭, 캔틸레버, 잭케이스, 거주구와 다리로 구성되며 여기에는 스퍼드캔 구조, 개방형 트러스, X-교차 구조로 구성된다. 일반적으로 잭업리그는 수심 130m~170m에서만 운용이 되고 있다. 최근 들어 개발 유정이 심해로 이동하면서, 깊은 수심과 가혹한 환경조건을 만족해야 한다. 리그의 작업 상태에서 모든 정적, 동적 하중은 레그(Leg)를 통해서 지탱되는 특징이 있다. 이러한 리그의 중요한 이슈는 순간적으로 큰 충격에너지를 발생시키는 충돌에 대한 레그의 안전성이다. 본 연구에서는 LS-Dyna 프로그램을 이용하여 DNV 선급에서 규정하고 있는 충돌에너지 35MJ 요구사항에 대한 수치해석 및 검증을 수행하였다. 충돌 선박은 배수량 7,500톤 작업 지원선을 사용하였고, 5가지 충돌조건을 선정하였다. 해석결과로부터 모든 충돌조건은 선급 기준을 만족하지 못한다. 코드 방향 충돌조건은 충돌에너지 15MJ, 브레이스 충돌조건은 6MJ이 합리적이다. 따라서 충돌시나리오에 따른 합리적인 충돌에너지 기준의 제정이 필요로 하다.

• 해양환경안전학회지
• /
• 제28권4호
• /
• pp.610-619
• /
• 2022

수소는 산소와 반응하여 전기에너지를 만들고 부산물로 물을 생성하므로 친환경 선박의 대체 연료로 대두되고 있다. 그러나 수소는 일반 화석연료와는 달리 낮은 점화 에너지와 높은 가연성 범위로 인하여 폭발의 위험성이 높은 물질이다. 그래서 선박에서 사용되는 수소의 안전성을 확보하기 위해서 수소의 누출·확산에 관한 유동 특성을 연구하는 것은 매우 중요하다. 본 연구에서는 선박 내부와 같은 밀폐공간에서 수소가 누출되었을 때 누출량, 통풍량, 환기 방식 등이 환기 성능에 어떤 영향을 미치는지에 대하여 수치적 해석을 수행하였다. 수치해석에는 CFD 상용 소프트웨어인 ANSYS CFX ver 18.1을 이용하였다. 누출량은 1 q = 1 g/s로 하여 1 q, 2 q, 3 q로 변경하였고, 통풍량은 1 Q = 0.91 m/s로 하여 1 Q, 2 Q, 3 Q로 변경하였으며 환기 방식은 typeI, typeII, typeIII로 변경하면서 환기 성능을 분석하였다. 누출량이 1 q에서 3 q로 증가할수록 저장실 내의 수소 몰분율(HMF)는 약 2.4 ~ 3.0배 높게 나타났으며 통풍량 증가는 누출량에 대비하여 약 62.0 ~ 64.8 % 정도 환기 성능이 개선에 효과가 있었다. 그리고 폭발의 위험성을 낮추기 위한 통풍량은 최소 2 Q 이상 되어야 하며, 수소탱크 저장실 내부의 부압 형성을 위해서는 type III가 가장 적합한 방식이라고 판단하였다.

• 해양환경안전학회지
• /
• 제28권2호
• /
• pp.385-393
• /
• 2022

수소는 지구 온난화의 주범인 온실가스(GHG) 배출을 감소시키고 선박용 친환경 연료로서 대두되고 있다. 수소는 가연 하한계(Lower Flammability Limit, LFL)가 4 ~ 75 %이고 폭발 위험성이 큰 물질이다. 그래서 선박용으로 사용되려면 누출에 대비한 안전성이 충분히 확보되어야 한다. 본 연구에서는 수소탱크 저장실에서 수소 누출이 발생한 경우, 급·배기구의 면적 변화가 환기 성능에 미치는 영향을 분석하였다. 급·배기구의 면적은 1A = 740 mm × 740 mm이며 저장실 표면에 크기 및 위치 변경이 쉽도록 설정하였다. CFD 상용 소프트웨어인 ANSYS CFX ver 18.1을 이용하여 급·배기구의 면적을 1A, 2A, 3A, 5A로 변경하였고, 면적 변화에 따른 저장실 내의 수소 몰분율을 분석하였다. 그 결과 급기구 면적이 배기구 면적 증가에 비해 누출 수소의 농도를 더 감소시켰으며 단일 급기구보다 최소 2A 이상에서 환기 성능이 향상되었다. 급기구의 면적이 증가할수록 수소 층화가 저장실 상부부터 균일하게 형성되었지만 LFL 범위는 벗어나 있었다. 그러나 배기구는 면적을 단순히 증가하는 것만으로는 환기 성능에 미치는 영향은 미비하였다.

• Structural Engineering and Mechanics
• /
• 제86권5호
• /
• pp.607-619
• /
• 2023

This study, it was tried to evaluate the asphalt behavior under tensile loading conditions through indirect Brazilian and direct tensile tests, experimentally and numerically. This paper is important from two points of view. The first one, a new test method was developed for the determination of the direct tensile strength of asphalt and its difference was obtained from the indirect test method. The second one, the effects of particle size and loading rate have been cleared on the tensile fracture mechanism. The experimental direct tensile strength of the asphalt specimens was measured in the laboratory using the compression-to-tensile load converting (CTLC) device. Some special types of asphalt specimens were prepared in the form of slabs with a central hole. The CTLC device is then equipped with this specimen and placed in the universal testing machine. Then, the direct tensile strength of asphalt specimens with different sizes of ingredients can be measured at different loading rates in the laboratory. The particle flow code (PFC) was used to numerically simulate the direct tensile strength test of asphalt samples. This numerical modeling technique is based on the versatile discrete element method (DEM). Three different particle diameters were chosen and were tested under three different loading rates. The results show that when the loading rate was 0.016 mm/sec, two tensile cracks were initiated from the left and right of the hole and propagated perpendicular to the loading axis till coalescence to the model boundary. When the loading rate was 0.032 mm/sec, two tensile cracks were initiated from the left and right of the hole and propagated perpendicular to the loading axis. The branching occurs in these cracks. This shows that the crack propagation is under quasi-static conditions. When the loading rate was 0.064 mm/sec, mixed tensile and shear cracks were initiated below the loading walls and branching occurred in these cracks. This shows that the crack propagation is under dynamic conditions. The loading rate increases and the tensile strength increases. Because all defects mobilized under a low loading rate and this led to decreasing the tensile strength. The experimental results for the direct tensile strengths of asphalt specimens of different ingredients were in good accordance with their corresponding results approximated by DEM software.

• Advances in nano research
• /
• 제16권4호
• /
• pp.325-340
• /
• 2024

There are several novel uses for dispersing many nanoparticles into a conventional fluid, including dynamic sealing, damping, heat dissipation, microfluidics, and more. Therefore, melting heat and mass transfer characteristics of a 3-D MHD Hybrid Nanofluid flow over a rotating disc with presenting dufour and soret effects are assessed numerically in this study. In this instance, we investigated both ferric sulfate and molybdenum disulfide as nanoparticles suspended within base fluid water. The governing partial differential equations are transformed into linked higher-order non-linear ordinary differential equations by the local similarity transformation. The collection of these deduced equations is then resolved using a Chebyshev spectral collocation-based algorithm built into the Mathematica software. To demonstrate how different instances of hybrid/ nanofluid are impacted by changes in temperature, velocity, and the distribution of nanoparticle concentration, examples of graphical and numerical data are given. For many values of the material parameters, the computational findings are shown. Simulations conducted for different physical parameters in the model show that adding hybrid nanoparticle to the fluid mixture increases heat transfer in comparison to simple nanofluids. It has been identified that hybrid nanoparticles, as opposed to single-type nanoparticles, need to be taken into consideration to create an effective thermal system. Furthermore, porosity lowers the velocities of simple and hybrid nanofluids in both cases. Additionally, results show that the drag force from skin friction causes the nanoparticle fluid to travel more slowly than the hybrid nanoparticle fluid. The findings also demonstrate that suction factors like magnetic and porosity parameters, as well as nanoparticles, raise the skin friction coefficient. Furthermore, It indicates that the outcomes from different flow scenarios correlate and are in strong agreement with the findings from the published literature. Bar chart depictions are altered by changes in flow rates. Moreover, the results confirm doctors' views to prescribe hybrid nanoparticle and particle nanoparticle contents for achalasia patients and also those who suffer from esophageal stricture and tumors. The results of this study can also be applied to the energy generated by the melting disc surface, which has a variety of industrial uses. These include, but are not limited to, the preparation of semiconductor materials, the solidification of magma, the melting of permafrost, and the refreezing of frozen land.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제13권1호
• /
• pp.35-49
• /
• 2024

컴퓨터 비전과 자연어 처리의 융합의 중요한 결과로서 비디오 캡셔닝은 인공지능 분야의 핵심 연구 방향이다. 이 기술은 비디오 콘텐츠의 자동이해와 언어 표현을 가능하게 함으로써, 컴퓨터가 비디오의 시각적 정보를 텍스트 형태로 변환한다. 본 논문에서는 딥러닝 기반 비디오 캡셔닝의 연구 동향을 초기 분석하여 CNN-RNN 기반 모델, RNN-RNN 기반 모델, Multimodal 기반 모델, 그리고 Transformer 기반 모델이라는 네 가지 주요 범주로 나누어 각각의 비디오 캡셔닝 모델의 개념과 특징 그리고 장단점을 논하였다. 그리고 이 논문은 비디오 캡셔닝 분야에서 일반적으로 자주 사용되는 데이터 집합과 성능 평가방안을 나열하였다. 데이터 세트는 다양한 도메인과 시나리오를 포괄하여 비디오 캡션 모델의 훈련 및 검증을 위한 광범위한 리소스를 제공한다. 모델 성능 평가방안에서는 주요한 평가 지표를 언급하며, 모델의 성능을 다양한 각도에서 평가할 수 있도록 연구자들에게 실질적인 참조를 제공한다. 마지막으로 비디오 캡셔닝에 대한 향후 연구과제로서 실제 응용 프로그램에서의 복잡성을 증가시키는 시간 일관성 유지 및 동적 장면의 정확한 서술과 같이 지속해서 개선해야 할 주요 도전과제와 시간 관계 모델링 및 다중 모달 데이터 통합과 같이 새롭게 연구되어야 하는 과제를 제시하였다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제28권1호
• /
• pp.70-81
• /
• 2024

본 연구에서는 진동원으로서 교통하중(고속열차)에 대해 수직 방진기능과 수평 면진기능을 조합한 3차원 하이브리드 면진시스템(Tridimensional Hybrid Isolation System, THIS)을 제안하였고, 고속열차 진동에 대한 THIS의 수직 진동 사용성 개선 효과를 해석적으로 평가하였다. 해석을 위하여 실제 16층의 공동주택을 상용구조해석프로그램의 고유치해석과 침실 바닥판에 대한 펄스 응답 분석을 통해 주요 진동모드를 식별하였고, 이 주요 진동 모드를 가지고 바닥판의 수평과 수직, 회전 자유도를 가지는 16개 층의 골조 모델을 제작하였다. 해석방법은 실제 고속철도가 통행할 때 철로와 인접한 구조물에서 계측한 가속도를 진동원으로 적용하고 THIS의 강성과 감쇠비를 변수로 상태-공간방정식을 이용하여 동적해석을 수행하였다. 그 결과, 기존 구조물의 수직 고유주기 대비 THIS의 수직 주기가 커질수록 층별 바닥판 응답이 저감되기 시작하는 임계 주기비가 다르고, 주기가 5배 이상(0.006 이하의 강성비)일 때 모든 바닥판의 가속도 수준이 비면진 대비 약 70% 이하로 감소하였다. 또한, THIS의 감쇠비에 대한 응답 제어에 미치는 영향이 매우 적은 것으로 나타났다. 마지막으로 THIS에 대한 수직 진동 사용성 개선 효과를 확인하기 위하여 비면진 구조물과 0.006의 강성비와 0.03의 감쇠비를 가지는 THIS가 적용된 구조물에 대하여 1층과 16층 바닥판 가속도를 AIJ, SCI, AISC 진동 사용성 기준에 따라 평가하였고, 기존에 주거지 사용성 기준을 만족하지 못한 데 반해, THIS 적용 후 주거지 사용성 기준을 모두 만족하는 것을 확인하였다.

• Korean Journal of Radiology
• /
• 제24권7호
• /
• pp.647-659
• /
• 2023

Objective: The study was conducted to investigate the effect of correct occlusion of the left atrial appendage (LAA) on intracardiac blood flow and thrombus formation in patients with atrial fibrillation (AF) using four-dimensional (4D) flow magnetic resonance imaging (MRI) and three-dimensional (3D)-printed phantoms. Materials and Methods: Three life-sized 3D-printed left atrium (LA) phantoms, including a pre-occlusion (i.e., before the occlusion procedure) model and correctly and incorrectly occluded post-procedural models, were constructed based on cardiac computed tomography images from an 86-year-old male with long-standing persistent AF. A custom-made closed-loop flow circuit was set up, and pulsatile simulated pulmonary venous flow was delivered by a pump. 4D flow MRI was performed using a 3T scanner, and the images were analyzed using MATLAB-based software (R2020b; Mathworks). Flow metrics associated with blood stasis and thrombogenicity, such as the volume of stasis defined by the velocity threshold ($\left|\vec{V}\right|$ < 3 cm/s), surface-and-time-averaged wall shear stress (WSS), and endothelial cell activation potential (ECAP), were analyzed and compared among the three LA phantom models. Results: Different spatial distributions, orientations, and magnitudes of LA flow were directly visualized within the three LA phantoms using 4D flow MRI. The time-averaged volume and its ratio to the corresponding entire volume of LA flow stasis were consistently reduced in the correctly occluded model (70.82 mL and 39.0%, respectively), followed by the incorrectly occluded (73.17 mL and 39.0%, respectively) and pre-occlusion (79.11 mL and 39.7%, respectively) models. The surfaceand-time-averaged WSS and ECAP were also lowest in the correctly occluded model (0.048 Pa and 4.004 Pa^-1, respectively), followed by the incorrectly occluded (0.059 Pa and 4.792 Pa^-1, respectively) and pre-occlusion (0.072 Pa and 5.861 Pa^-1, respectively) models. Conclusion: These findings suggest that a correctly occluded LAA leads to the greatest reduction in LA flow stasis and thrombogenicity, presenting a tentative procedural goal to maximize clinical benefits in patients with AF.