• Coupled systems mechanics
• /
• v.5 no.2
• /
• pp.145-156
• /
• 2016

An efficient and general numerical strategy for fluid-structure interaction problems is presented where either the fluid or the structure part are represented by nonlinear models. This partitioned strategy is implemented under the form of code coupling that allows to (re)-use previous made developments in a more general multi-physics context. This strategy and its numerical implementation is verified on classical fluid-structure interaction benchmarks, and then applied to the impact of tsunamis waves on submerged structures.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.355-358
• /
• 2000

In this paper we propose procedures to enhance testability by modifying state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.232-235
• /
• 1998

This paper evaluates the performance of a rough set based pattern classifier using the benchmarks in artificial neural nets depository found in internet. The definition of rough set in soft computing paradigm is briefly introduced. next the design of rough set classifier is suggested. Finally benchmark test results are shown the performance of rough set compare to that of ANNs and decision tree.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.54 no.7
• /
• pp.458-461
• /
• 2005

Power dissipated during test application is substantially higher than power dissipated during functional operation which can decrease the reliability and lead to yield loss. This paper presents a new technique for power minimization during test application in full scan sequential circuits. This paper shows freezing of combinational logic parts during scan shift operation in test mode. The freezing technique leads to power to minimization. Significant power reduction in the scan techniques is achieved on ISCAS 89 benchmarks.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.38 no.2
• /
• pp.75-93
• /
• 2013

In applying Markowitz's portfolio selection model to the stock market, we developed a comprehensive investment decision-making framework including key inputs for portfolio theory (i.e., individual stocks' expected rate of return and covariance) and minimum required expected return. For estimating the key inputs of our decision-making framework, we utilized an exponentially weighted moving average (EWMA) which places more emphasis on recent data than the conventional simple moving average (SMA). We empirically analyzed the investment results of the decision-making framework with the same 15 stocks in Samsung Group Funds found in the Korean stock market between 2007 and 2011. This five-year investment horizon is marked by global financial crises including the U.S. subprime mortgage crisis, the collapse of Lehman Brothers, and the European sovereign-debt crisis. We measure portfolio performance in terms of rate of return, standard deviation of returns, and Sharpe ratio. Results are compared with the following benchmarks : 1) KOSPI, 2) Samsung Group Funds, 3) Talmudic portfolio based on the na$\ddot{i}$ve 1/N rule, and 4) Markowitz's model with SMA. We performed sensitivity analyses on all the input parameters that are necessary for designing an investment decision-making framework : smoothing constant for EWMA, minimum required expected return for the portfolio, and portfolio rebalancing period. In conclusion, appropriate use of the comprehensive investment decision-making framework based on the Markowitz's model integrated with EWMA proves to achieve outstanding performance compared to the benchmarks.

• Nuclear Engineering and Technology
• /
• v.52 no.9
• /
• pp.1917-1925
• /
• 2020

New versions of ENDF/B and JEFF data libraries have been released during the past two years with significant updates in the neutron reaction sublibrary and the thermal neutron scattering sublibrary. In order to get a more comprehensive impression of the criticality quality of these two latest neutron data libraries, and to provide reference for the selection of the evaluated nuclear data libraries for the science and engineering applications of the Reactor Monte Carlo code RMC, the criticality benchmarking of the two latest neutron data libraries has been performed. RMC was employed as the computational tools, whose processing capability for the continuous representation ENDF/B-VIII.0 thermal neutron scattering laws was developed. The RMC criticality validation suite consisting of 116 benchmarks was established for the benchmarking work. The latest ACE format data libraries of the neutron reaction and the thermal neutron scattering laws for ENDF/B-VIII.0, ENDF/B-VII.1, and JEFF-3.3 were downloaded from the corresponding official sites. The ENDF/B-VII.0 data library was also employed to provide code-to-code validation for RMC. All the calculations for the four different data libraries were performed by using a parallel version of RMC, and all the calculated standard deviations are lower than 30pcm. Comprehensive analyses including the C/E values with uncertainties, the δk/σ values, and the metrics of χ² and < |Δ| >, were conducted and presented. The calculated keff eigenvalues based on the four data libraries generally agree well with the benchmark evaluations for most cases. Among the 116 criticality benchmarks, the numbers of the calculated keff eigenvalues which agree with the benchmark evaluations within 3σ interval (with a confidence level of 99.6%) are 107, 109, 112, and 113 for ENDF/B-VII.0, ENDF/B-VII.1, ENDF/B-VIII.0 and JEFF-3.3, respectively. The present results indicate that the ENDF/B-VIII.0 neutron data library has a better performance on average.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.1
• /
• pp.138-144
• /
• 2010

Tachyon primary system which introduces recently is a high performance supercomputer that composed with AMD Barcelona nodes. In this paper, we will verify the performance and parallel scalability of TachyonIn by using multi-zone NAS Parallel Benchmark(NPB) which is one of a program with hybrid parallel method. To test performance of hybrid parallel execution, B and C classes of BT-MZ in NPB version 3.3 were used. And the parallel scalability test has finished with Tachyon's 1024 processes. It is the first time in Korea to get a result of hybrid parallel computing calculation using more than 1024 processes. Hybrid parallel method in high performance computing system with multi-core technology like Tachyon describes that it can be very efficient and useful parallel performance benchmarks.

• Journal of Korean Society for Geospatial Information Science
• /
• v.25 no.2
• /
• pp.57-65
• /
• 2017

The purpose of this study is to analyze the feasibility of using Global Navigation Satellite System(GNSS)/Geoid technology in determining orthometric height in mountain. For the study, a test bed was set up in and around Mount Jiri and GNSS surveying were conducted. The orthometric height of 39 benchmarks was determined by applying the EGM2008, KNGeoid13, and KNGeoid14 geoid models and the accuracy was estimated by comparing with the offical Benchmarks orthometric height value issued by National Geographic Information Institute(NGII) and finally, the results were analyzed with the Aerial Photogrammetry Work Regulations. As a result of the study, it was found that the accuracy of the orthometric height determination by GNSS/Geoid technology was ${\pm}7.1cm$ when the KNGeoid14 geoid model was applied. And also, it can be confirmed that it is usable for the less than 1/1000 plotting scales as a vertical reference point for the aerial triangulation in Aerial Photogrammetry.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Smart Media Journal
• /
• v.4 no.4
• /
• pp.56-63
• /
• 2015

Modern GPU can execute mass parallel computation by exploiting many GPU core. GPGPU architecture, which is one of approaches exploiting outstanding computational resources on GPU, executes general-purpose applications as well as graphics applications, effectively. In this paper, we investigate the impact of memory-efficiency and performance according to number of CTAs(Cooperative Thread Array) on a SM(Streaming Multiprocessors), since the analysis of relation between number of CTA on a SM and them provides inspiration for researchers who study the GPU to improve the performance. Our simulation results show that almost benchmarks increasing the number of CTAs on a SM improve the performance. On the other hand, some benchmarks cannot provide performance improvement. This is because the number of CTAs generated from same kernel is a little or the number of CTAs executed simultaneously is not enough. To precisely classify the analysis of performance according to number of CTA on a SM, we also analyze the relations between performance and memory stall, dram stall due to the interconnect congestion, pipeline stall at the memory stage. We expect that our analysis results help the study to improve the parallelism and memory-efficiency on GPGPU architecture.