• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2002.05a
• /
• pp.193-198
• /
• 2002

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.4
• /
• pp.37-46
• /
• 2007

The authentication in WSN(Wireless Sensor Network) usually means the entity authentication, but owing to the data centric nature of sensor network, much more importance must be put on the authentication(or attestation) for code of sensor nodes. The naive approach to the attestation is for the verifier to compare the previously known memory contents of the target node with the actual memory contents in the target node, but it has a significant drawback. In this paper, we show what the drawback is and propose a countermeasure. This scheme can verify the whole memory space of the target node and provides extremely low probability of malicious code's concealment without depending on accurate timing information unlike SWATT. We provide two modes of this verification method: BS-to-node and node-to-node. The performance estimation in various environments is shown.

• ETRI Journal
• /
• v.46 no.2
• /
• pp.175-183
• /
• 2024

Recently, polar code has attracted the attention of many scholars and has been developed as a code technology in coded-cooperative communication. We propose a polar code scheme based on Plotkin structure and quasi-uniform punching (PC-QUP). Then we apply the PC-QUP to coded-cooperative scenario and built to a new coded-cooperative scheme, which is called PCC-QUP scheme. The coded-cooperative scheme based on polar code is studied on the aspects of codeword construction and performance optimization. Further, we apply the proposed schemes to space-time block coding (STBC) to explore the performance of the scheme. Monte Carlo simulation results show that the proposed cooperative PCC-QUP-STBC scheme can obtain a lower bit error ratio (BER) than its corresponding noncooperative scheme.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.9
• /
• pp.3885-3906
• /
• 2020

Hybrid fuzzing which combines fuzzing and concolic execution, has proved its ability to achieve higher code coverage and therefore find more bugs. However, current hybrid fuzzers usually suffer from inefficiency and poor scalability when applied to complex, real-world program testing. We observed that the performance bottleneck is the inefficient cooperation between the fuzzer and concolic executor and the slow symbolic emulation. In this paper, we propose a novel solution named EPfuzzer to improve hybrid fuzzing. EPfuzzer implements two key ideas: 1) only the hardest-to-reach branch will be prioritized for concolic execution to avoid generating uninteresting inputs; and 2) only input bytes relevant to the target branch to be flipped will be symbolized to reduce the overhead of the symbolic emulation. With these optimizations, EPfuzzer can be efficiently targeted to the hardest-to-reach branch. We evaluated EPfuzzer with three sets of programs: five real-world applications and two popular benchmarks (LAVA-M and the Google Fuzzer Test Suite). The evaluation results showed that EPfuzzer was much more efficient and scalable than the state-of-the-art concolic execution engine (QSYM). EPfuzzer was able to find more bugs and achieve better code coverage. In addition, we discovered seven previously unknown security bugs in five real-world programs and reported them to the vendors.

• ETRI Journal
• /
• v.31 no.6
• /
• pp.732-740
• /
• 2009

This paper describes the implementation of a digital audio effect system-on-a-chip (SoC), which integrates an embedded digital signal processor (DSP) core, audio codec intellectual property, a number of peripheral blocks, and various audio effect algorithms. The audio effect SoC is developed using a software and hardware co-design method. In the design of the SoC, the embedded DSP and some dedicated hardware blocks are developed as a hardware design, while the audio effect algorithms are realized using a software centric method. Most of the audio effect algorithms are implemented using a C code with primitive functions that run on the embedded DSP, while the equalization effect, which requires a large amount of computation, is implemented using a dedicated hardware block with high flexibility. For the optimized implementation of audio effects, we exploit the primitive functions of the embedded DSP compiler, which is a very efficient way to reduce the code size and computation. The audio effect SoC was fabricated using a 0.18 ${\mu}m$ CMOS process and evaluated successfully on a real-time test board.

• Nuclear Engineering and Technology
• /
• v.54 no.12
• /
• pp.4731-4742
• /
• 2022

RBMK fuel assemblies differ from other LWR FA due to a specific arrangement of the fuel rods, the low enrichment, and the used burnable absorber - erbium. Therefore, there is a challenge to adapt modeling tools, developed for other LWR types, to solve RBMK problems. A set of 10 different depletion simulation schemes were tested to estimate the impact on reactivity and spent fuel composition of possible SCALE code options for the neutron transport modelling and the use of different nuclear data libraries. The simulations were performed using cross-section libraries based on both, VII.0 and VII.1, versions of ENDF/B nuclear data, and assuming continuous energy and multigroup simulation modes, standard and user-defined Dancoff factor values, and employing deterministic and Monte Carlo methods. The criticality analysis with burn-up credit was performed for the SFP loaded with RBMK-1500 FA. Spent fuel compositions were taken from each of 10 performed depletion simulations. The criticality of SFP is found to be overestimated by up to 0.08% in simulation cases using user-defined Dancoff factors comparing the results obtained using the continuous energy library (VII.1 version of ENDF/B nuclear data). It was shown that such discrepancy is determined by the higher U-235 and Pu-239 isotopes concentrations calculated.

• Geomechanics and Engineering
• /
• v.15 no.2
• /
• pp.721-728
• /
• 2018

The surrounding rock mass contains cracks and joints which are distributed randomly around tunnels, and in the process of tunnel blasting excavation, radial cracks could also be induced in the surrounding rock mass. In order to clearly understand the impact of radial cracks on tunnel stability, tunnel model tests and finite element numerical analysis were implemented in this paper. Two kinds of materials: cement mortar and sandstone, were used to make tunnel models, which were loaded vertically and confined horizontally. The tunnel failure pattern was simulated by using RFPA2D code, and the Tresca stresses and the stress intensity factors were calculated by using ABAQUS code, which were applied to the analysis of tunnel model test results. The numerical results generally agree with the model test results, and the mode II stress intensity factors calculated by ABAQUS code can well explain the model test results. It can be seen that for tunnels with a radial crack emanating from three points on tunnel edge, i.e., the middle point between tunnel spandrel and its top with a dip angle $45^{\circ}$, the tunnel foot with a dip angle $127^{\circ}$, and the tunnel spandrel with $135^{\circ}$ with tunnel wall, the tunnel model strength is about a half of the regular tunnel model strength, and the corresponding tunnel stability decreases largely.

• Nuclear Engineering and Technology
• /
• v.55 no.12
• /
• pp.4518-4526
• /
• 2023

NECP-SARAX is a neutronics analysis code system for advanced reactor developed by Nuclear Engineering Computational Physics Laboratory of Xi'an Jiaotong University. In past few years, improvements have been implemented in TULIP code which is the cross-section generation module of NECP-SARAX, including the treatment of resonance interface, considering the self-shielding effect in non-resonance energy range, hyperfine group method and nuclear library with thermal scattering law. Previous studies show that NECP-SARAX has high performance in both fast and thermal spectrum system analysis. The accuracy of TULIP code in fast and thermal spectrum system analysis is demonstrated preliminarily. However, a systematic verification and validation is still necessary. In order to validate the applicability of TULIP code for full energy range, 147 fast spectrum critical experiment benchmarks and 170 thermal spectrum critical experiment benchmarks were selected from ICSBEP and used for analysis. The keff bias between TULIP code and reference value is less than 300 pcm for all fast spectrum benchmarks. And that bias keeps within 200 pcm for thermal spectrum benchmarks with neutron-moderating materials such as polyethylene, beryllium oxide, etc. The numerical results indicate that TULIP code has good performance for the analysis of fast and thermal spectrum system.

• Nuclear Engineering and Technology
• /
• v.12 no.4
• /
• pp.267-273
• /
• 1980

The quasistatic approximation is incorporated in HEXKIN, a 2-group, 2-dimensional reactor kinetics code specially developed for a hexagonal lattice-type reactor. The code allows maximum 15 delayed neutron groups, 279 lattice points, and 500 different driving functions to be able to initiate perturbation at each lattice point. Reactivity feedback due to power-dependent fuel temperature change is also involved. To check the accuracy of the code, a result of numerical experiment is compared with the measurement at the Savannah River Laboratory. The experiment was specifically designed to emphasize delayed neutron holdback. The calculated flux tilts agree with the measured flux tilts within the small uncertainty of the measurements.

• Structural Engineering and Mechanics
• /
• v.46 no.5
• /
• pp.735-753
• /
• 2013

The wind load is always the dominant load of cooling tower due to its large size, complex geometry and thin-wall structure. At present, when computing the wind-induced response of the large-scale cooling tower, the wind pressure distribution is obtained based on code regulations, wind tunnel test or computational fluid dynamic (CFD) analysis, and then is imposed on the tower structure. However, such method fails to consider the change of the wind load with the deformation of cooling tower, which may result in error of the wind load. In this paper, the analysis of the large cooling tower based on the iterative method for wind pressure is studied, in which the advantages of CFD and finite element method (FEM) are combined in order to improve the accuracy. The comparative study of the results obtained from the code regulations and iterative method is conducted. The results show that with the increase of the mean wind speed, the difference between the methods becomes bigger. On the other hand, based on the design of experiment (DOE), an approximate model is built for the optimal design of the large-scale cooling tower by a two-level optimization strategy, which makes use of code-based design method and the proposed iterative method. The results of the numerical example demonstrate the feasibility and efficiency of the proposed method.