• Journal of the Korea Society of Computer and Information
• /
• v.26 no.2
• /
• pp.1-9
• /
• 2021

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

• Journal of Digital Convergence
• /
• v.19 no.3
• /
• pp.37-45
• /
• 2021

Since the Syrian Civil War in 2011, the number of refugees has been on the rise in Korea as well as worldwide. In addition to recognition of legal status for refugees, employment and education support, and qualification recognition are emerging as social issues. In this context, this study aims to compare the cases of Netherlands and Norway in terms of evaluation and recognition of refugees' qualifications. The findings of the study show that although there were concerns about the lack of official documents to verify the qualifications of refugees, the two countries have developed a special process for the evaluation and recognition for refugees respectively according to the Lisbon Recognition Convention. In addition, both countries have developed a recognition of prior learning system which has made the qualification recognition process flexible from a point of refugees. These experiences could be used as benchmarks for the Korean government which has a responsibility to develop its own qualification recognition system for refugees in the near future.

• Journal of Korea Multimedia Society
• /
• v.24 no.8
• /
• pp.1044-1058
• /
• 2021

Tempered electronic contents have multiplied in last few years, thanks to the emergence of sophisticated artificial intelligence(AI) algorithms. Deepfakes (fake footage, photos, speech, and videos) can be a frightening and destructive phenomenon that has the capacity to distort the facts and hamper reputation by presenting a fake reality. Evidence of ownership or authentication of digital material is crucial for combating the fabricated content influx we are facing today. Current solutions lack the capacity to track digital media's history and provenance. Due to the rise of misrepresentation created by technologies like deepfake, detection algorithms are required to verify the integrity of digital content. Many real-world scenarios have been claimed to benefit from blockchain's authentication capabilities. Despite the scattered efforts surrounding such remedies, relatively little research has been undertaken to discover where blockchain technology can be used to tackle the deepfake problem. Latest blockchain based innovations such as Smart Contract, Hyperledger fabric can play a vital role against the manipulation of digital content. The goal of this paper is to summarize and discuss the ongoing researches related to blockchain's capabilities to protect digital content authentication. We have also suggested a blockchain (smart contract) dependent framework that can keep the data integrity of original content and thus prevent deepfake. This study also aims at discussing how blockchain technology can be used more effectively in deepfake prevention as well as highlight the current state of deepfake video detection research, including the generating process, various detection algorithms, and existing benchmarks.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.1
• /
• pp.1-8
• /
• 2022

RISC-V is an open-source instruction set architecture which has a simple base structure and can be extensible depending on the purpose. In this paper, we designed a small and low-power 32-bit RISC-V processor to establish the base for research on RISC-V embedded systems. We designed a 2-stage pipelined processor which supports RISC-V base integer instruction set except for FENCE and EBREAK instructions. The processor also supports privileged ISA for trap handling. It used 1895 LUTs and 1195 flip-flops, and consumed 0.001W on Xilinx Zynq-7000 FPGA when synthesized using Vivado Design Suite. GPIO, UART, and timer peripherals are additionally used to compose the system. We verified the operation of the processor on FPGA with FreeRTOS at 16MHz. We used Dhrystone and Coremark benchmarks to measure the performance of the processor. This study aims to provide a low-power, high-efficiency microprocessor for future extension.

• Steel and Composite Structures
• /
• v.42 no.6
• /
• pp.779-789
• /
• 2022

This work presents a non-linear cylindrical bending analysis of functionally graded plate reinforced by single-walled carbon nanotubes (SWCNTs) in thermal environment using a simple integral higher-order shear deformation theory (HSDT). This theory does not require shear correction factors and the transverse shear stresses vary parabolically through the thickness. The material properties of SWCNTs are assumed to be temperature-dependent and are obtained from molecular dynamics simulations. The material properties of functionally graded carbon nanotube-reinforced composites (FG-CNTCRs) are considered to be graded in the thickness direction, and are estimated through a micromechanical model. The non-linear strain-displacement relations in the Von Karman sense are used to study the effect of geometric non-linearity and the solution is obtained by minimization of the total potential energy. The numerical illustrations concern the nonlinear bending response of FG-CNTRC plates under different sets of thermal environmental conditions, from which results for uniformly distributed CNTRC plates are obtained as benchmarks.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.12
• /
• pp.3976-3990
• /
• 2022

Currently, cross-attention is widely used in Siamese trackers to replace traditional correlation operations for feature fusion between template and search region. The former can establish a similar relationship between the target and the search region better than the latter for robust visual object tracking. But existing trackers using cross-attention only focus on rich semantic information of high-level features, while ignoring the appearance information contained in low-level features, which makes trackers vulnerable to interference from similar objects. In this paper, we propose a Multi-level Cross-attention Siamese network(MCSiam) to aggregate the semantic information and appearance information at the same time. Specifically, a multi-level cross-attention module is designed to fuse the multi-layer features extracted from the backbone, which integrate different levels of the template and search region features, so that the rich appearance information and semantic information can be used to carry out the tracking task simultaneously. In addition, before cross-attention, a target-aware module is introduced to enhance the target feature and alleviate interference, which makes the multi-level cross-attention module more efficient to fuse the information of the target and the search region. We test the MCSiam on four tracking benchmarks and the result show that the proposed tracker achieves comparable performance to the state-of-the-art trackers.

• Steel and Composite Structures
• /
• v.47 no.2
• /
• pp.147-165
• /
• 2023

The paper contrasts conventional seismic design with a design that incorporates buckling-restrained bracing in three-dimensional reinforced concrete buildings (BRBs). The suboptimal structures may be found using the multi-objective chimp optimization algorithm (MEN-ChOA). Given the constraints and dimensions, ChOA suffers from a slow convergence rate and tends to become stuck in local minima. Therefore, the ChOA is improved by niching and evolutionary operators to overcome the aforementioned problems. In addition, a new technique is presented to compute seismic and dead loads that include all of a structure's parts in an algorithm for three-dimensional frame design rather than only using structural elements. The performance of the constructed multi-objective model is evaluated using 12 standard multi-objective benchmarks proposed in IEEE congress on evolutionary computation. Second, MEN-ChOA is employed in constructing several reinforced concrete structures by the Mexico City building code. The variety of Pareto optimum fronts of these criteria enables a thorough performance examination of the MEN-ChOA. The results also reveal that BRB frames with comparable structural performance to conventional moment-resistant reinforced concrete framed buildings are more cost-effective when reinforced concrete building height rises. Structural performance and building cost may improve by using a nature-inspired strategy based on MEN-ChOA in structural design work.

• Korean Journal of Remote Sensing
• /
• v.39 no.4
• /
• pp.371-393
• /
• 2023

Crack detection in structures plays a vital role in ensuring their safety, durability, and reliability. Traditional crack detection methods sometimes need significant manual inspections, which are laborious, expensive, and prone to error by humans. Deep learning algorithms, which can learn intricate features from large-scale datasets, have emerged as a viable option for automated crack detection recently. This study presents an in-depth review of crack detection methods used till now, like image processing, traditional machine learning, and deep learning methods. Specifically, it will provide a comparative analysis of crack detection methods using deep learning, aiming to provide insights into the advancements, challenges, and future directions in this field. To facilitate comparative analysis, this study surveys publicly available crack detection datasets and benchmarks commonly used in deep learning research. Evaluation metrics employed to check the performance of different models are discussed, with emphasis on accuracy, precision, recall, and F1-score. Moreover, this study provides an in-depth analysis of recent studies and highlights key findings, including state-of-the-art techniques, novel architectures, and innovative approaches to address the shortcomings of the existing methods. Finally, this study provides a summary of the key insights gained from the comparative analysis, highlighting the potential of deep learning in revolutionizing methodologies for crack detection. The findings of this research will serve as a valuable resource for researchers in the field, aiding them in selecting appropriate methods for crack detection and inspiring further advancements in this domain.

• Nuclear Engineering and Technology
• /
• v.55 no.4
• /
• pp.1563-1570
• /
• 2023

In this study, a DeCART/MIG uncertainty quantification (UQ) analysis code system with a multicorrelated cross section stochastic sampling (S.S.) module was established and verified through the UAM (Uncertainty Analysis in Modeling) and the BEAVRS (Benchmark for Evaluation And Validation of Reactor Simulations) benchmark calculations. For the S.S. calculations, a sample of 500 DeCART multigroup cross section sets for two major actinides, i.e., ²³⁵U and ²³⁸U, were generated by the MIG code and covariance data from the ENDF/B-VII.1 evaluated nuclear data library. In the three pin problems (i.e. TMI-1, PB2, and Koz-6) from the UAM benchmark, the uncertainties in k_inf by the DeCART/MIG S.S. calculations agreed very well with the sensitivity and uncertainty (S/U) perturbation results by DeCART/MUSAD and the S/U direct subtraction (S/U-DS) results by the DeCART/MIG. From these results, it was concluded that the multi-group cross section sampling module of the MIG code works correctly and accurately. In the BEAVRS whole benchmark problems, the uncertainties in the control rod bank worth, isothermal temperature coefficient, power distribution, and critical boron concentration due to cross section uncertainties were calculated by the DeCART/MIG code system. Overall, the uncertainties in these design parameters were less than the general design review criteria of a typical pressurized water reactor start-up case. This newly-developed DeCART/MIG UQ analysis code system by the S.S. method can be widely utilized as uncertainty analysis and margin estimation tools for developing and designing new advanced nuclear reactors.

• Computers and Concrete
• /
• v.29 no.2
• /
• pp.93-105
• /
• 2022

The degrees of freedom (DOFs) of high-rise structures increase rapidly due to the need for refined analysis, which poses a challenge toward a computationally efficient method for numerical analysis of high-rise structures using the finite element method (FEM). This paper presented an efficient iterative method, an algebraic multigrid (AMG) with a Jacobi overrelaxation smoother preconditioned conjugate gradient method (AMG-CG) used for solving large-scale structural system equations running on heterogeneous platforms with parallel accelerator graphics processing units (GPUs) enabled. Furthermore, an AMG-CG FEM application framework was established for the numerical analysis of high-rise structures. In the proposed method, the coarsening method, the optimal relaxation coefficient of the JOR smoother, the smoothing times, and the solution method for the coarsest grid of an AMG preconditioner were investigated via several numerical benchmarks of high-rise structures. The accuracy and the efficiency of the proposed FEM application framework were compared using the mature software Abaqus, and there were speedups of up to 18.4x when using an NVIDIA K40C GPU hosted in a workstation. The results demonstrated that the proposed method could improve the computational efficiency of solving structural system equations, and the AMG-CG FEM application framework was inherently suitable for numerical analysis of high-rise structures.