• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.6
• /
• pp.1023-1030
• /
• 2020

Wearable devices, such as a smart watch and a wrist band, store owner's private information in the devices so that security in a high level is required. Applications developed by third parties in Tizen request for an access to designated services through the desktop bus (D-Bus). The D-Bus verifies application's privileges to grant the request for an access. We developed a fuzzing tool, so-called DAN (the D-bus ANalyzer), to detect errors in implementations for privilege verifications and access controls within Tizen's system services. The DAN has found a number of vulnerable services which granted accesses to unauthorized applications. We built a proof-of-concept application based on those findings to demonstrate a bypass in the privilege examination.

• Nuclear Engineering and Technology
• /
• v.54 no.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
• /
• v.23 no.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
• /
• v.90 no.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.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.34 no.4
• /
• pp.437-442
• /
• 2010

Flow-accelerated corrosion (FAC) leads to thinning of steel pipe walls that are exposed to flowing water or wet steam. From experience, it is seen that FAC damage to piping at fossil and nuclear plants can result in outages that require expensive repairs and can affect plant reliability and safety. CHECWORKS have been utilized in domestic nuclear plants as a predictive tool to assist FAC engineers in planning inspections and evaluating the inspection data so that piping failures caused by FAC can be prevented. However, CHECWORKS may be occasionally ignore local susceptible portions when predicting FAC damage in a group of pipelines after constructing a database for all the secondary side piping in nuclear plants. This paper describes the methodologies that can complement CHECWORKS and the verifications of CHECWORKS prediction results using numerical analysis. FAC susceptible locations determined using CHECWORKS for two pipeline groups of a nuclear plant was compared with determined using the numerical-analysis-based FLUENT.

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.7 no.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.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.24 no.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.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.7 no.5
• /
• pp.47-56
• /
• 2003

In this paper, the cyclic soil behavior model. which can accommodate the cyclic hardening, was developed by modifying the original parallel IWAN model. In order to consider the irrecoverable plastic strain of soil. the cyclic threshold strain, above which the backbone curve deviates from the original curve, was defined and the accumulated strain was determined by summation of the strains above the cyclic threshold in the stress-strain curve with applying Masing rule on unloading and reloading curves. The isotropic hardening elements are attached to the original parallel IWAN model and the slip stresses in the isotropic hardening elements are shown to increase according to the hardening functions. The hardening functions have a single parameter to account for the cyclic hardening and are defined by the symmetric limit cyclic loading test in forms of accumulated shear strain. The model development procedures are included in this paper and the verifications of developed model are discussed in the companion paper.

• Korean Journal of Agricultural Science
• /
• v.31 no.2
• /
• pp.97-104
• /
• 2004

Myostatin is a transforming growth and differentiation factor-${\beta}$ family member that acts as a negative regulator of muscle growth. Previously, mutations in the myostatin gene were known to be related to double muscling phenotypes in cattle. Because myostatin gene is highly related to muscle mass, also meat quality, in cattle, we sequenced whole myostatin mRNA and investigated the SNPs (Single Nucleotide Polymorphisms) in Korean cattle (Hanwoo). The results indicated that Hanwoo had an SNP in nt2385 and this mutation can be a useful marker with further verifications. We also investigated expression patterns of the myostatin gene from various muscle tissues and organs. Northern blotting results indicated that myostatin expression was restricted in muscles with variable expression levels. The results presented here can be used as a valuable information for meat quality related traits and muscle mass in cattle.

• Journal of the Korean Geotechnical Society
• /
• v.15 no.6
• /
• pp.121-130
• /
• 1999

The objective of this study is to perform finite element analyses(FEA) using the anisotropic hardening constitutive model on the basis of the total stress concept. An anisotropic hardening model was then developed to solve the problem and its mathematical formulations and experimental verifications were also described. In a companion paper, the constitutive equation will be formulated for accurate and efficient solutions of FEA, and coded into a nonlinear analysis program, and finally a field problem will be analyzed. The proposed model includes the failure criterion of a von Mises type and the anisotropic hardening rule based on the generalized isotropic hardening description, which can model the nonlinearity and the anisotropy of the stress-strain relationship. As a result this study could verty the experimental results for UU triaxial tests, CU triaxial tests for overconsolidated samples, and anisotropic loading tests with the rotation of principal stress axes for $K_0$consolidated samples.