• Computers and Concrete
• /
• 제21권4호
• /
• pp.407-417
• /
• 2018

Concrete which is a composite material is one of the most important construction materials. Compressive strength is a commonly used parameter for the assessment of concrete quality. Accurate prediction of concrete compressive strength is an important issue. In this study, we utilized an experimental procedure for the assessment of concrete quality. Firstly, the concrete mix was prepared according to C 20 type concrete, and slump of fresh concrete was about 20 cm. After the placement of fresh concrete to formworks, compaction was achieved using a vibrating screed. After 28 day period, a total of 100 core samples having 75 mm diameter were extracted. On the core samples pulse velocity determination tests and compressive strength tests were performed. Besides, Windsor probe penetration tests and Schmidt hammer tests were also performed. After setting up the data set, twelve artificial intelligence (AI) models compared for predicting the concrete compressive strength. These models can be divided into three categories (i) Functions (i.e., Linear Regression, Simple Linear Regression, Multilayer Perceptron, Support Vector Regression), (ii) Lazy-Learning Algorithms (i.e., IBk Linear NN Search, KStar, Locally Weighted Learning) (iii) Tree-Based Learning Algorithms (i.e., Decision Stump, Model Trees Regression, Random Forest, Random Tree, Reduced Error Pruning Tree). Four evaluation processes, four validation implements (i.e., 10-fold cross validation, 5-fold cross validation, 10% split sample validation & 20% split sample validation) are used to examine the performance of predictive models. This study shows that machine learning regression techniques are promising tools for predicting compressive strength of concrete.

• Coupled systems mechanics
• /
• 제4권1호
• /
• pp.37-65
• /
• 2015

Modeling and simulation of mechanical response of infrastructure object, solids and structures, relies on the use of computational models to foretell the state of a physical system under conditions for which such computational model has not been validated. Verification and Validation (V&V) procedures are the primary means of assessing accuracy, building confidence and credibility in modeling and computational simulations of behavior of those infrastructure objects. Validation is the process of determining a degree to which a model is an accurate representation of the real world from the perspective of the intended uses of the model. It is mainly a physics issue and provides evidence that the correct model is solved (Oberkampf et al. 2002). Our primary interest is in modeling and simulating behavior of porous particulate media that is fully saturated with pore fluid, including cyclic mobility and liquefaction. Fully saturated soils undergoing dynamic shaking fall in this category. Verification modeling and simulation of fully saturated porous soils is addressed in more detail by (Tasiopoulou et al. 2014), and in this paper we address validation. A set of centrifuge experiments is used for this purpose. Discussion is provided assessing the effects of scaling laws on centrifuge experiments and their influence on the validation. Available validation test are reviewed in view of first and second order phenomena and their importance to validation. For example, dynamics behavior of the system, following the dynamic time, and dissipation of the pore fluid pressures, following diffusion time, are not happening in the same time scale and those discrepancies are discussed. Laboratory tests, performed on soil that is used in centrifuge experiments, were used to calibrate material models that are then used in a validation process. Number of physical and numerical examples are used for validation and to illustrate presented discussion. In particular, it is shown that for the most part, numerical prediction of behavior, using laboratory test data to calibrate soil material model, prior to centrifuge experiments, can be validated using scaled tests. There are, of course, discrepancies, sources of which are analyzed and discussed.

• 한국자동차공학회논문집
• /
• 제12권2호
• /
• pp.205-214
• /
• 2004

This paper presents design concepts, specifications and performances of a newly developed Black Box, the reconstruction analysis tool with the records, and results of validation tests. The Black Box can detect crash accidents automatically, and record the vehicle's motion and driver's maneuvers during a pre-defined time period before and after the accident. The items of the Black Box included the acceleration, yaw-rate, vehicle speed, engine RPM, braking application, steering and several digital inputs for recording driver's maneuvers. To detect the accident-related-crash, it is important to understand characteristics of the crash signal, which are much different from those of normal driving. Therefore, analytical considerations should be taken in designing pre-filtering circuits and selecting appropriate parameters for identifying crash accidents. And, it is necessary to select proper combination of motion sensors and design proper pre-filtering circuits in order to describe the vehicle's motion. The analysis algorithms were developed and implemented which can perform accurate detection of crash accidents, simulating pre-crash trajectories, and calculating parameters for reconstruction analysis of crash accidents. The developed Black Box was installed on passenger cars and several types of validation tests were conducted. Through the tests, the accuracy of the recorded data and usefulness of the analysis tool for reconstruction have been validated.

• Journal of Hydrospace Technology
• /
• 제2권1호
• /
• pp.55-64
• /
• 1996

Herein a review is made on the validation problem of numerical codes applied to floating offshore structures. Since the dynamic behaviour of offshore floating structures in water waves is in general complex and nonlinear, a numerical approach seems to be promising. However, numerical codes are likely involved with uncertainties and they at the present status show apparent scatterness in typical bechmark tests, particularly in second-order wave forces. Convergence test is the minimum requirement for the validation of numerical codes. Some other practical check points are introduced to clarify the potential error sources. It is concluded that a standard procedure for validation must be urgently established sothat numerical methods can safely be used as a rational design tool.

• 한국항해항만학회지
• /
• 제39권1호
• /
• pp.15-21
• /
• 2015

GNSS를 이용한 정밀측위에서 미지정수 결정은 가장 중요한 과정이다. 정확한 미지정수를 추정하는 경우에는 수 mm에서 수 cm의 정밀한 측위결과를 가져오지만 부정확한 미지정수를 사용하는 경우에는 측위결과의 정확도와 정밀도를 보장할 수가 없다. 미지정수 결정은 IR(Integer Rounding), IB(Integer Bootstrapping), ILS(Integer Least Squares) 등의 기법을 기반으로 수행할 수 있다. 이중에서 ILS는 이론적, 실험적으로 가장 좋은 성능을 보여준다. 하지만 다른 기법들과 달리 ILS는 미지정수에 대한 후보를 검색하기 때문에 올바른 미지정수를 판단하기 위한 타당성 검정이 필요하다. 본 논문에서는 타당성 검정 기법간의 실험적인 비교 분석을 수행한다. 실험에는 타당성 검정 기법으로 자주 쓰이는 R-ratio, F-ratio, W-ratio가 사용되었다. 각 타당성 검정 기법의 성능을 정상동작, 검출, 미검출, 오검출로 나누어 평가하였다. 실험결과로 각 타당성 검정 기법의 장단점이 분명하게 나타났으며, 이를 통해 적용환경에 따라 기법이 선택되어야 함을 확인하였다.

• 시스템엔지니어링학술지
• /
• 제20권1호
• /
• pp.85-94
• /
• 2024

As systems become more complex today, verifying the safety of complex systems is becoming increasingly important. However, validation activities using actual systems face limitations in terms of time and cost. To overcome these limitations, the functions, characteristics, and operations of physical assets can be implemented in a virtual environment similar to the real world, allowing for validation through simulations under various scenarios. By performing validation in a virtual environment, iterative tests can be conducted through simulations in a realistic virtual environment without physical models during the conceptual design phase. Tests can also be performed under malfunction conditions or extreme conditions. In this study, we introduce a verification method for railway vehicles in a virtual environment and propose a method of applying virtual verification from a life cycle perspective.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.69-85
• /
• 2003

본 논문에서는 정보보호 제품의 주요한 역할을 담당하는 암호 알고리즘의 구현 적합성에 대해 논의한다. 암호 알고리즘 구현 적합성 평가는 지정된 표준에 맞게 정확하게 구현했는가에 대한 평가이다. 따라서 해당 암호 알고리즘 기능별 또는 절차에 따라 알고리즘 평가가 수행된다. 본 논문에서 제시한 암호 알고리즘 평가 검증은 국내 표준인SEED 알고리즘을 그 대상으로 하며, 알고리즘의 기능에 따라 평가를 수행한다. 제안한 검증 시스템은 SEED 알고리즘 구현물에 대해 충분히 테스트하기 위해 필요한 테스트 벡터를 생성하여 이용하는 테스트와 검증의 정확성을 높이기 위해 임의 데이터를 이용한 테스트를 제공한다. 제안한 검증 시스템은 SEED를 이용한 정보보호 제품에 모두 적용 가능하므로 각종 암호제품 평가 및 인증에 활용될 수 있다.

• International Journal of Railway
• /
• 제2권3호
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Nuclear Engineering and Technology
• /
• 제52권5호
• /
• pp.878-888
• /
• 2020

This paper presents the validation of UNIST in-house Monte Carlo code MCS used for the high-fidelity simulation of commercial pressurized water reactors (PWRs). Its focus is on the accurate, spatially detailed neutronic analyses of startup physics tests for the initial core of the Watts Bar Nuclear 1 reactor, which is a vital step in evaluating core phenomena in an operating nuclear power reactor. The MCS solutions for the Consortium for Advanced Simulation of Light Water Reactors (CASL) Virtual Environment for Reactor Applications (VERA) core physics benchmark progression problems 1 to 5 were verified with KENO-VI and Serpent 2 solutions for geometries ranging from a single-pin cell to a full core. MCS was also validated by comparing with results of reactor zero-power physics tests in a full-core simulation. MCS exhibits an excellent consistency against the measured data with a bias of ±3 pcm at the initial criticality whole-core problem. Furthermore, MCS solutions for rod worth are consistent with measured data, and reasonable agreement is obtained for the isothermal temperature coefficient and soluble boron worth. This favorable comparison with measured parameters exhibited by MCS continues to broaden its validation basis. These results provide confidence in MCS's capability in high-fidelity calculations for practical PWR cores.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제4권2호
• /
• pp.172-181
• /
• 2012

One of the most critical issues in naval architecture these days is the operational safety. Among many factors to be considered for higher safety level requirements, the hull stability in intact and damaged conditions is the first to ensure for both commercial and military vessels. Unlike the intact stability cases, the assessment of the damaged ship stability is very complicated physical phenomena. Therefore it is widely acknowledged that computational fluid dynamics (CFD) methods are one of most feasible approaches. In order to develop better CFD methods for damaged ship stability assessment, it is essential to perform well-designed model tests and to build a database for CFD validation. In the present study, free roll decay tests in calm water with both intact and damaged ships were performed and six degree-of-freedom (6DOF) motion responses of intact ship in regular waves were measured. Through the free roll decay tests, the effects of the flooding water on the roll decay motion of a ship were investigated. Through the model tests in regular waves, the database that provides 6DOF motion responses of intact ship was established.