• International Journal of Highway Engineering
• /
• v.17 no.4
• /
• pp.25-31
• /
• 2015

PURPOSES: Implementation and verification of the simple linear cohesive viscoelastic contact model that can be used to simulate dynamic behavior of sticky aggregates. METHODS: The differential equations were derived and the initial conditions were determined to simulate a free falling ball with a sticky surface from a ground. To describe this behavior, a combination of linear contact model and a cohesive contact model was used. The general solution for the differential equation was used to verify the implemented linear cohesive viscoelastic API model in the DEM. Sensitivity analysis was also performed using the derived analytical solutions for several combinations of damping coefficients and cohesive coefficients. RESULTS : The numerical solution obtained using the DEM showed good agreement with the analytical solution for two extreme conditions. It was observed that the linear cohesive model can be successfully implemented with a linear spring in the DEM API for dynamic analysis of the aggregates. CONCLUSIONS: It can be concluded that the derived closed form solutions are applicable for the analysis of the rebounding behavior of sticky particles, and for verification of the implemented API model in the DEM. The assumption of underdamped condition for the viscous behavior of the particles seems to be reasonable. Several factors have to be additionally identified in order to develop an enhanced contact model for an asphalt mixture.

• Proceedings of the KSME Conference
• /
• 2004.04a
• /
• pp.2053-2058
• /
• 2004

The pressurized light water cooled, medium power (330 MWt) SMART (System-integrated Modular Advanced ReacTor) has been under development at KAERI for a dual purpose : seawater desalination and electricity generation. The SMART design verification phase was followed to conduct various separate effects tests and comprehensive integral effect tests. The high temperature / high pressure thermal-hydraulic test facility, VISTA(Experimental Verification by Integral Simulation of Transient and Accidents) has been constructed to simulate the SMART-P (the one fifth scaled pilot plant) by KAERI. Experimental tests have been performed to investigate the thermal-hydraulic dynamic characteristics of the primary and the secondary systems. Heat transfer characteristics and natural circulation performance of the PRHRS (Passive Residual Heat Removal System) of SMART-P were also investigated using the VISTA facility. The coolant flows steadily in the natural circulation loop which is composed of the steam generator (SG) primary side, the secondary system, and the PRHRS. The heat transfers through the PRHRS heat exchanger and ECT are sufficient enough to enable the natural circulation of the coolant.

• Structural Engineering and Mechanics
• /
• v.28 no.5
• /
• pp.549-570
• /
• 2008

Numerical integration is an efficient approach for nonlinear dynamic analysis. In this paper, general category of the implicit integration errors will be discussed. In order to decrease the errors, Dynamic Relaxation method with modified time step (MFT) will be used. This procedure leads to an alternative algorithm which is very general and can be utilized with any implicit integration scheme. For numerical verification of the proposed technique, some single and multi degrees of freedom nonlinear dynamic systems will be analyzed. Moreover, results are compared with both exact and other available solutions. Suitable accuracy, high efficiency, simplicity, vector operations and automatic procedures are the main merits of the new algorithm in solving nonlinear dynamic problems.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.101-108
• /
• 2008

The dynamic behavior of railway bridges originates from dynamic properties of various spans and structural types. As a result, the exact estimation of dynamic properties of the railway bridge can produce the exact estimations of dynamic performances of the railway bridge. The damping ratio affects the dynamic reponses of the railway bridge in the vicinity of the critical speed seriously. Eurocode, National Annex of each European country and Japan have their own specification for the damping ratio for the estimation of dynamic performance of railway bridges. In our case, the specification for Honam high speed railways follows the Eurocode. In the present study, for the verification and regulation of the damping ratio and investigation of various dynamic properties, modal tests of various structural types are performed. In addition, for the investigation of effects of track structures on the dynamic property of the bridge, ballast track and concrete track are installed and tested.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.2
• /
• pp.617-636
• /
• 2021

This paper presents a privacy-preserving data aggregation scheme deals with the multidimensional data. It is essential that the multidimensional data is rarely mentioned in all researches on smart grid. We use the Paillier Cryptosystem and blinding factor technique to encrypt the multidimensional data as a whole and take advantage of the homomorphic property of the Paillier Cryptosystem to achieve data aggregation. Signature and efficient batch verification have also been applied into our scheme for data integrity and quick verification. And the efficient batch verification only requires 2 pairing operations. Our scheme also supports fault tolerance which means that even some smart meters don't work, our scheme can still work well. In addition, we give two extensions of our scheme. One is that our scheme can be used to compute a fixed user's time-of-use electricity bill. The other is that our scheme is able to effectively and quickly deal with the dynamic user situation. In security analysis, we prove the detailed unforgeability and security of batch verification, and briefly introduce other security features. Performance analysis shows that our scheme has lower computational complexity and communication overhead than existing schemes.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.6
• /
• pp.2429-2449
• /
• 2018

Dynamic data possession verification is a common requirement in cloud storage systems. After the client outsources its data to the cloud, it needs to not only check the integrity of its data but also verify whether the update is executed correctly. Previous researches have proposed various schemes based on Merkle Hash Tree (MHT) and implemented some initial improvements to prevent the tree imbalance. This paper tries to take one step further: Is there still any problems remained for optimization? In this paper, we study how to raise the efficiency of data dynamics by improving the parts of query and rebalancing, using a new data structure called Rank-Based Merkle AVL Tree (RB-MAT). Furthermore, we fill the gap of verifying multiple update operations at the same time, which is the novel batch updating scheme. The experimental results show that our efficient scheme has better efficiency than those of existing methods.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2009.01a
• /
• pp.45-48
• /
• 2009

USN(Ubiquitous Sensor Network)은 우리가 관심이 있는 모든 사물에 통신기능이 있는 무선센서(전자태그)를 부착하고 이를 통해 사물 인식정보와 주변 환경정보(온도나 습도, 압력, 충격, 오염 등)를 탐지해 이를 실시간 네트워크를 통해 센싱 데이터들을 전송, 취합, 저장, 분석하여 사용자의 현재 상황에 정보(가정, 병원, 사무실, 유통, 군사, 교통 등)를 적절히 제공해 줄 수 있는 기술 및 첨단 지능형 서비스를 통칭한다. 향후 USN 서비스는 광범위한 영역에서 활용될 전망이며, 그에 따른 사용자 인증 보안의 중요성도 크게 부각될 것이다. 이를 위해 본 논문에서는 자필 서명을 이용한 보안기술의 USN 연동 방안을 제안하고자 한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.8
• /
• pp.1693-1698
• /
• 2009

This paper is a research on the feature information using direction information and adjusting constant w for the dynamic signature verification. We could improved processing time and reduce signature database without the increase of error rate. We could confirmed these results by using statistical method T-test.

• Proceedings of the KIEE Conference
• /
• 2001.05a
• /
• pp.294-296
• /
• 2001

PSS/E offers a power flow model of UPFC in the new version. The Dynamic model was developed in a form of user-define model that is a external function, Now is a stage of verification through variety examples. Importance of this model is in the point which it is necessary for the simulation on the stability. This paper presents the Dynamic model that is defined by user. First. the theory will be discussed, and then for verification on right operation, resultes of application to KEPRI network will be showed.