• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1023-1030
• /
• 2020

스마트워치로 대표되는 웨어러블 기기들은 시스템 내에서 민감한 개인정보를 처리하고 저장하기 때문에 높은 보안 기능이 요구된다. 타이젠 운영체제는 애플리케이션에서 특별한 권한을 요구하는 서비스에 접근 시 시스템 데스크톱 버스(D-Bus)를 통하여 요청하는데, 시스템은 해당 애플리케이션의 권한을 검증하여 서비스 접근 허용 여부를 결정한다. 본 논문에서는 타이젠 웨어러블 운영체제의 권한 정책과 접근 제어에 취약한 서비스들을 검출하기 위해 데스크톱 버스 분석 자동화 도구를 소개한다. 자동화 도구는 타이젠 시스템 내 다양한 서비스들에서 권한 검증을 우회할 수 있는 다수의 취약한 호출 메소드들을 발견하였다. 상용 애플리케이션을 제작하여 무선랜 위치 추적, 푸시 알림 수집 등 최소 5개의 취약점에 대한 시연을 하였다.

• Nuclear Engineering and Technology
• /
• 제54권11호
• /
• pp.4373-4391
• /
• 2022

Marine reactor systems experience platform movement, and therefore, the system thermal-hydraulic analysis code needs to reflect the motion effect on the fluid to evaluate reactor safety. A moving reactor model for MARS-KS was developed to simulate the hydrodynamic phenomena in the reactor under motion conditions; however, its applicability does not cover the MULTID component used in multidimensional flow analyses. In this study, a moving reactor model is implemented for the MULTID component to address the importance of multidimensional flow effects under dynamic motion. The concept of the volume connection is generalized to facilitate the handling of the junction of MULTID. Further, the accuracy in calculating the pressure head between volumes is enhanced to precisely evaluate the additional body force. Finally, the Coriolis force is modeled in the momentum equations in an acceleration form. The improvements are verified with conceptual problems; the modified model shows good agreement with the analytical solutions and the computational fluid dynamic (CFD) simulation results. Moreover, a simplified gravity-driven injection is simulated, and the model is validated against a ship flooding experiment. Throughout the verifications and validations, the model showed that the modification was well implemented to determine the capability of multidimensional flow analysis under ocean conditions.

• International Journal of Computer Science & Network Security
• /
• 제23권10호
• /
• pp.214-224
• /
• 2023

Fraudulence, cheating, and deception can occur in the commercial real estate (CRE) industry, besides the difficulty in searching for and transferring properties while ensuring the operation is processed through an authoritative source in a trusted manner. Nowadays, real estate transactions use neutral third parties to sell land. Indeed, properties can be sold by the owners or third parties multiple times or without a proper deed. Moreover, third parties request a large amount of money to mediate between the seller and buyer. Methods: We propose a new framework that uses a private blockchain network and predefined BPMN instances to enable the fast and easy recording of deeds and their proprietary transfer management controlled by the government. The blockchain allows for multiple verifications of transactions by permitted parties called peers. It promotes transparency, privacy, trust, and commercial competition. Results: We demonstrated the easy adoption of blockchain for land registration and transfer. The paper presents a prototype of the implemented product that follows the proposed framework. Conclusion: The use of Blockchain-based solutions to resolve the current land registration and transfer issues is promising and will contribute to smart cities and digital governance.

• Structural Engineering and Mechanics
• /
• 제90권1호
• /
• pp.51-70
• /
• 2024

Poorly designed reinforced concrete (RC) columns of actual moment-resisting frame (MRF) buildings can undergo Axial Compression Ratios (ACR) so high as their demand exceeds their capacity, even for serviceability gravity load combinations, this lack commonly leads to insufficient seismic strength. Nonetheless, many seismic design codes do not specify limits for ACR. The main contribution of this research is to investigate the need to limit the ACR in seismic design. For this purpose, three prototype 6 and 11-story RC MRF buildings are analyzed in this paper, these buildings have columns undergoing excessive ACR, according to the limits prescribed by standards. To better that situation, three types of alterations are performed: retrofitting the abovementioned overloaded columns by steel jacketing, increasing the concrete strength, and reducing the number of stories. Several finite element analyses are conducted using the well-known software SAP2000 and the results are used for further calculations. Code-type and pushover analyses are performed on the original and retrofitted buildings, the suitability of the other modified buildings is checked by code-type analyses only. The obtained results suggest that ACR is a rather reliable indicator of the final building strength, hence, apparently, limiting the ACR in the standards (for early stages of design) might avoid unnecessary verifications.

• Structural Engineering and Mechanics
• /
• 제91권2호
• /
• pp.227-238
• /
• 2024

Sparse regularization methods have proven effective in addressing the ill-posed equations encountered in moving force identification (MFI). However, the complexity of vehicle loads is often ignored in existing studies aiming at enhancing MFI accuracy. To tackle this issue, a double 𝑙₁ regularization method is proposed for MFI based on a response spectrum-based weighted dictionary in this study. Firstly, the relationship between vehicle-induced responses and moving vehicle loads (MVL) is established. The structural responses are then expanded in the frequency domain to obtain the prior knowledge related to MVL and to further construct a response spectrum-based weighted dictionary for MFI with a higher accuracy. Secondly, with the utilization of this weighted dictionary, a double 𝑙₁ regularization framework is presented for identifying the static and dynamic components of MVL by the alternating direction method of multipliers (ADMM) method successively. To assess the performance of the proposed method, two different types of MVL, such as composed of trigonometric functions and driven from a 1/4 bridge-vehicle model, are adopted to conduct numerical simulations. Furthermore, a series of MFI experimental verifications are carried out in laboratory. The results shows that the proposed method's higher accuracy and strong robustness to noises compared with other traditional regularization methods.

• 방사선산업학회지
• /
• 제17권4호
• /
• pp.481-487
• /
• 2023

After conducting a hydrogen bomb test and launching an intercontinental ballistic missile (ICBM) in 2017, The Democratic People's Republic of Korea (North Korea, D.P.R.K.) declared the completion of its national nuclear capabilities. Currently, North Korea is refusing all nuclear inspections, but the possibility of nuclear inspections and the denuclearization process on the Korean Peninsula still exists. The Republic of Korea (South Korea, Rep. of Korea) has numerous reasons as a neighboring country to participate in North Korea's nuclear inspections and denuclearization, including technological capabilities, geographical proximity, and linguistic benefits. This study assumes nuclear inspections and verification within North Korea and aims to propose scenarios for the transportation and operation of personnel and equipment. The data and results compiled through this research are anticipated to serve as foundational information for future inspections and verifications on the Korean Peninsula. Furthermore, it is assessed that they could contribute to the development of strategies in preparation for participation in denuclearization efforts.

• 대한기계학회논문집B
• /
• 제34권4호
• /
• pp.437-442
• /
• 2010

고온, 고압의 유체가 흐르는 탄소강 배관에서는 유동가속부식으로 인한 배관감육 현상이 발생할 수 있다. 화력 및 원자력발전소에서 유동가속부식으로 인한 배관 손상시 고비용의 보수와 발전 정지를 유발할 뿐 아니라 발전소 신뢰도 및 안전성에 영향을 미칠 수도 있다. CHECWORKS 프로그램은 국내 발전소에서 유동가속부식에 의한 배관 손상을 예방하기 위하여 배관 두께검사 데이터를 평가하고 검사 계획을 수립하는데 이용되어 왔다. 그러나 상기 프로그램은 원전 2차측 배관 모두를 데이터베이스화한 후에 배관라인 그룹별로 유동가속부식 손상을 예측하기 때문에 국부적으로 감육에 민감한 부위를 찾는데 어려움이 있다. 본 논문에서는 CHECWORKS 프로그램을 이용하여 해석을 수행하고 수치해석을 통하여 검증할 수 있는 방법론을 기술하였다. 또한 국내 원전 2개의 배관 라인그룹에 대하여 CHECWORKS 프로그램을 이용한 유동가속부식 민감 부위를 FLUENT를 이용한 수치해석 결과와 비교하였다.

• 한국환경복원기술학회지
• /
• 제7권6호
• /
• pp.61-74
• /
• 2004

Hydraulic engineers and scientists working on river restoration recognize the need for a deeper understanding of natural streams as a complex and dynamic system, which involves not only abiotic elements(flow, sediments) but also biotic components. From this point of view, the role played by riverine vegetation dynamics and flow conditions becomes essential. Hydro-mechanic interaction between flow and flexible plants covering a river bed is studied in this paper and some previous works are discussed. Measurements of turbulence and flow resistance in vegetated open channel were performed using rigid and flexible tube. Measuring detailed turbulent velocity profiles within and above submerged and flexible stems allowed to distinguish different turbulent regimes. Some interesting relationships were obtained between the velocity field and the deflected height of the plants, such as a reduced drag coefficient in the flexible stems. Turbulent intensities and Reynolds stresses were measured showing two different regions : above and inside the vegetation domain. In flexible vegetated open channel, the maximum values of turbulent intensities and Reynolds stresses appear above the top of canopy. Method to predict a flow resistance in flexible vegetated open channel is developed by modifying an analytical model proposed by Klopstra et al. (1997). Calculated velocity profiles and roughness values correspond well with flume experiments. These confirm the applicability of the presented model for open channel with flexible vegetation. The new method will be verified in the real vegetated conditions in the near future. After these verifications, the new method should be applied for nature rehabilitation projects such as river restorations.

• 한국지진공학회논문집
• /
• 제24권1호
• /
• pp.1-8
• /
• 2020

In 2016, an earthquake occurred at Gyeongju, Korea. At the Wolsong site, the observed peak ground acceleration was lower than the operating basis earthquake (OBE) level of Wolsong nuclear power plant. However, the measured spectral acceleration value exceeded the spectral acceleration of the operating-basis earthquake (OBE) level in some sections of the response spectrum, resulting in a manual shutdown of the nuclear power plant. Analysis of the response spectra shape of the Gyeongju earthquake motion showed that the high-frequency components are stronger than the response spectra shape used in nuclear power plant design. Therefore, the seismic performance evaluation of structures and equipment of nuclear power plants should be made to reflect the characteristics of site-specific earthquakes. In general, the floor response spectrum shape at the installation site or the generalized response spectrum shape is used for the seismic performance evaluation of structures and equipment. In this study, a generalized response spectrum shape is proposed for seismic performance evaluation of structures and equipment for nuclear power plants. The proposed response spectrum shape reflects the characteristics of earthquake motion in Korea through earthquake hazard analysis, and it can be applied to structures and equipment at various locations.

• 한국지진공학회논문집
• /
• 제7권5호
• /
• pp.47-56
• /
• 2003

본 논문에서는 기존 IWAN 모델을 수정하여 사질토 지반의 반복경화 현상을 나타낼 수 있는 지반의 반복경화모델을 개발하였다. 일반적으로 동적하중을 받는 지반재료는 하중 반복회수에 따라 동적 거동특성이 변화하게 되며 이는 반복 경화 및 연화현상으로 나타난다. 본 논문에서는 등방 경화 또는 등방 연화 거동을 하는 스프링슬라이더 요소를 기존 병렬 IWAN 모델에 추가함으로써 지반의 동적 변형특성 표현이 가능하였다. 등방 경화 거동을 보이는 요소들의 항복 응력은 각각 반복 경화함수에 의하여 증가하도록 정의되었으며, 반복 경화함수는 대칭 한계를 가지는 동적 비틂전단 시험결과로부터 정의되었다. 이렇게 정의된 반복 경화함수는 지반의 동적 변형 특성을 묘사하기 위하여 하나의 독립 변수를 가지게 되며, 사용된 독립변수는 지반의 동적 한계 변형률의 특성을 포함하는 누적전단변형률로 사용되었다. 누적 전단변형률은 반복 전단한계 변형률 이상의 변형률의 누적으로 정의되며, 역재하 및 재재하 곡선에서는 Masing의 법칙을 적용하여 계산될 수 있다. 본 논문에서는 모델의 개발과정을 서술하였고, 모델에 대한 검증은 동반논문인 검증편에 설명하였다.