• Computers and Concrete
• /
• v.21 no.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
• /
• v.4 no.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.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.12 no.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
• /
• v.2 no.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.

• Journal of Navigation and Port Research
• /
• v.39 no.1
• /
• pp.15-21
• /
• 2015

In high precision positioning systems based on GNSS, ambiguity resolution is an important procedure. Correct ambiguity leads to positioning results which have high precision between millimeters and centimeters. However, when the ambiguity is determined incorrectly, ensuring accuracy and precision of the positioning result is impossible. An ambiguity validation test is required to obtain correct ambiguity when ambiguity resolution is performed based on the ILS (Integer Least Squares), which shows the best performance in point of theory and experiment when compared with other methods such as IR (Integer Rounding) and IB (Integer Bootstrapping). Comparison between the candidates of the validation test is needed to judge ambiguity correctly, because ILS searches for candidates of integer ambiguity, unlike other methods which calculate only one integer ambiguity. We analyzed the experimental performance of ambiguity validation tests. R-ratio, F-ratio and W-ratio were adopted for analysis. The performance of validation tests was evaluated by classifying normal operation, detection, missed detection and false alarm. As a result, strengths and weaknesses of validation tests was showed to experimental. we concluded that validation tests must be selected according to environment.

• Journal of the Korean Society of Systems Engineering
• /
• v.20 no.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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.69-85
• /
• 2003

In this paper, we discuss a validation test for cryptographic algorithms. The cryptographic algorithms decide on the security and the confidence of a security system protecting sensitive information. So. the implementation of cryptographic algorithms is very critical of the system. The validation lest specifies the procedures involved in validating implementations of the cryptographic standards and provides conformance testing for components or procedures of the algorithm. We propose a SEED Validation System(SVS) to verify that the implementation correctly performs the SEED algorithm. The SVS is composed of two types of validation tests, the Known Answer test and the Monte Carlo test. The System generates the testing data for the Known Answer tests and the random data for the Monte Carlo tests. This system can be used to validate and certify the cryptographic product.

• International Journal of Railway
• /
• v.2 no.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
• /
• v.52 no.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
• /
• v.4 no.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.