Face Validation Method Alternatives for Shiphandling Fuzzy Logic Difficulty Model

The development of shiphandling difficulty model for ferry is based on the empirical experience through the Master of Ro-Ro ferries. The SHDMF is consisted from two parts which are the Analytic Hierarchy Process (AHP) and Fuzzy Inference System. Both parts had been validated through internal validation in the form of consistency test for the first part and robustness test for the second part. Further, the external/face validation is required to compare the proposed model with similar model through benchmarking approach. The benchmarking approaches are elaborated for the reliability, validity, possibility, efficiency and effectiveness. Through fuzzy group decision making method, the questionnaire survey is performed to verify the most appropriate approach based on the shiphandling simulator as the most preferred benchmarking tool by experts. Next, the proposed scenario is overviewed and discussed especially related to the advantages and drawbacks of shiphandling simulator. Keywords: shiphandling difficulty, fuzzy group decision making, internal validation Model pengukuran kesulitan pengendalian feri didasarkan pada pengalaman empiris melalui pernyataan nahkoda kapal feri Ro-Ro. SHDMF terdiri atas dua bagian, yaitu Analytic Hierarchy Process dan Fuzzy Inference System. Kedua bagian ini telah divalidasi melalui validasi internal dalam bentuk uji konsistensi untuk bagian pertama dan uji kehandalan untuk bagian kedua. Selanjutnya validasi atau wajah eksternal diperlukan untuk membandingkan model yang diusulkan dengan model yang diperoleh dari benchmarking. Pendekatan benchmarking dijabarkan untuk kehandalan, validitas, kemungkinan, efisiensi, dan efektivitas. Melalui metode fuzzy kelompok pembuatan keputusan, survei kuesioner dilakukan untuk memverifikasi pendekatan yang paling tepat dengan simulator pengendalian kapal sebagai alat yang paling disukai oleh para ahli untuk benchmarking. Selanjutnya skenario yang ditinjau-ulang dan dibahas terutama terkait dengan keuntungan dan kelemahan simulator pengendalian kapal. Kata

Field validation of a dusting cloth for mycological surveillance of surfaces

Efficient monitoring of surfaces for spores of filamentous fungi is essential for detecting minor contamination even when air samples test negative for fungi. This study evaluates and compares a pad prepared using a dusting cloth with Rodac contact plates and humidified swabs for detecting mycological contamination, and concludes that the new method is superior and cheaper

Preliminary validation of an indirect method for discharge evaluation of Pertuso Spring (Central Italy)

This paper deals with the results of the first year of the Environmental Monitoring Plan, related to the catchment project of Pertuso Spring, which is going to be exploited to supply an important water network in the South part of Roma district. The study area is located in the Upper Valley of the Aniene River (Latium, Central Italy), in the outcrop of Triassic-Cenozoic carbonate rocks, and belong to an important karst aquifer. Pertuso Spring is the main outlet of this karst aquifer and is the one of the most important water resource in the southeast part of Latium Region, used for drinking, agriculture and hydroelectric supplies. Karst aquifer feeding Pertuso Spring is an open hydrogeological system aquifer characterized by complex interactions and exchanges between groundwater and surface water which influence the aquifer water budget. Thus, evaluation of groundwater discharge from this karst spring can be affected by difficulties in performing measurements because of the insufficient knowledge about water transfer processes in the hydrological cycle and geometry of drainage conduits. The aim of this paper is to assess the interactions between karst aquifer feeding Pertuso Spring and Aniene River based on stream discharge measurements and water geochemical tracer data in order to validate an indirect method for karst spring discharge evaluation. As a matter of fact, in this paper, there are presented the results of the application of Magnesium as a reliable tracer of karst spring discharge. This indirect method is based on the elaboration of surface water discharge measurements in relationship with Mg2+ concentration values, determined as for groundwater, coming from Pertuso Spring, as for surface water sample, collected upstream and downstream of Pertuso Spring, along Aniene River streamflow. The application of Magnesium as an environmental tracer provides a means to evaluate discharge of Pertuso Spring, as it came up to be a marker of the mixing of surface water and groundwater. On the other hand, the Magnesium ion concentration provides information for the identification of groundwater flow systems and the main hydrogeochemical processes affecting the composition of water within the karst aquifers

An information architecture for validating courseware

Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessary to identify the implicit and explicit information needed for validation. In this paper, we identify this information and formally define an information architecture to model courseware validation information explicitly. This promotes tool-support for courseware validation and its interoperability with the courseware specifications

Concentration inequalities of the cross-validation estimate for stable predictors

In this article, we derive concentration inequalities for the cross-validation estimate of the generalization error for stable predictors in the context of risk assessment. The notion of stability has been first introduced by \cite{DEWA79} and extended by \cite{KEA95}, \cite{BE01} and \cite{KUNIY02} to characterize class of predictors with infinite VC dimension. In particular, this covers $k$-nearest neighbors rules, bayesian algorithm (\cite{KEA95}), boosting,... General loss functions and class of predictors are considered. We use the formalism introduced by \cite{DUD03} to cover a large variety of cross-validation procedures including leave-one-out cross-validation, $k$-fold cross-validation, hold-out cross-validation (or split sample), and the leave-$\upsilon$-out cross-validation. In particular, we give a simple rule on how to choose the cross-validation, depending on the stability of the class of predictors. In the special case of uniform stability, an interesting consequence is that the number of elements in the test set is not required to grow to infinity for the consistency of the cross-validation procedure. In this special case, the particular interest of leave-one-out cross-validation is emphasized

Systems validation: application to statistical programs

BACKGROUND: In 2003, the United States Food and Drug Administration (FDA) released a guidance document on the scope of "Part 11" enforcement. In this guidance document, the FDA indicates an expectation of a risk-based approach to determining which systems should undergo validation. Since statistical programs manage and manipulate raw data, their implementation should be critically reviewed to determine whether or not they should undergo validation. However, the concepts of validation are not often discussed in biostatistics curriculum. DISCUSSION: This paper summarizes a "Plan, Do, Say" approach to validation that can be incorporated into statistical training so that biostatisticians can understand and implement validation principles in their research. SUMMARY: Validation is a process that requires dedicated attention. The process of validation can be easily understood in the context of the scientific method

Synthesizing Short-Circuiting Validation of Data Structure Invariants

This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with efficient, short-circuiting dynamic validation of arbitrarily rich data constraints. A data structure invariant checker is an inductive predicate in separation logic with an executable interpretation; a short-circuiting checker is an invariant checker that stops checking whenever it detects at run time that an assertion for some sub-structure has been fully proven statically. At a high level, our approach does two things: it statically proves the separation properties of data structure invariants using a static shape analysis in a standard way but then leverages this proof in a novel manner to synthesize short-circuiting dynamic validation of the data properties. As a consequence, we enable dynamic validation to make up for imprecision in sound static analysis while simultaneously leveraging the static verification to make the remaining dynamic validation efficient. We show empirically that short-circuiting can yield asymptotic improvements in dynamic validation, with low overhead over no validation, even in cases where static verification is incomplete

Combining different validation techniques for continuous software improvement - Implications in the development of TRNSYS 16

Validation using published, high quality test suites can serve to identify different problems in simulation software: modeling and coding errors, missing features, frequent sources of user confusion. This paper discusses the application of different published validation procedures during the development of a new TRNSYS version: BESTEST/ASHRAE 140 (Building envelope), HVAC BESTEST (mechanical systems) and IEA ECBCS Annex 21 / SHC Task 12 empirical validation (performance of a test cell with a very simple mechanical system). It is shown that each validation suite has allowed to identify different types of problems. Those validation tools were also used to diagnose and fix some of the identified problems, and to assess the influence of code modifications. The paper also discusses some limitations of the selected validation tools