Computer Modeling and Simulation: Increasing Reliability by Disentangling Verification and Validation

Verification and validation (V&V) of computer codes and models used in simulations are two aspects of the scientific practice of high importance that recently have been discussed widely by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to the model’s relation to the real world and its intended use. Because complex simulations are generally opaque to a practitioner, the Duhem problem can arise with verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or the model’s general inadequacy to its target should be blamed in the case of a failure. I argue that a clear distinction between computer modeling and simulation has to be made to disentangle verification and validation. Drawing on that distinction, I suggest to associate modeling with verification and simulation, which shares common epistemic strategies with experimentation, with validation. To explain the reasons for their entanglement in practice, I propose a Weberian ideal–typical model of modeling and simulation as roles in practice. I examine an approach to mitigate the Duhem problem for verification and validation that is generally applicable in practice and is based on differences in epistemic strategies and scopes. Based on this analysis, I suggest two strategies to increase the reliability of simulation results, namely, avoiding alterations of verified models at the validation stage as well as performing simulations of the same target system using two or more different models. In response to Winsberg’s claim that verification and validation are entangled I argue that deploying the methodology proposed in this work it is possible to mitigate inseparability of V&V in many if not all domains where modeling and simulation are used.

     

Use of different morphological techniques to analyze the cellular composition of the adult zebrafish optic tectum

Cellular composition of the adult zebrafish (Danio rerio) optic tectal cortex was examined in this study. Morphological techniques such as 1 μm thick serial plastic sections stained with osmium tetroxide and toluidine blue, modified rapid Golgi silver impregnation, GFAP immunohistochemistry, confocal microscopy, as well as scanning and transmission electron microscopy were used. Neuronal and glial components are described and the layers of the cortex are revisited. Specific neuronal arrangements as well as unique glial/ependymal cells are described. A three dimensional rendering of the astrocytic fiber arrangement in the marginal zone is presented and a composite drawing summarizes the cellular composition of the optic tectum.     

Statistical analysis of AFM topographic images of self-assembled quantum dots

To obtain statistical data on quantum-dot sizes, AFM topographic images of the substrate on which the dots under study are grown are analyzed. Due to the nonideality of the substrate containing height differences on the order of the size of nanoparticles at distances of 1–10 μm and the insufficient resolution of closely arranged dots due to the finite curvature radius of the AFM probe, automation of the statistical analysis of their large dot array requires special techniques for processing topographic images to eliminate the loss of a particle fraction during conventional processing. As such a technique, convolution of the initial matrix of the AFM image with a specially selected matrix is used. This makes it possible to determine the position of each nanoparticle and, using the initial matrix, to measure their geometrical parameters. The results of statistical analysis by this method of self-assembled InAs quantum dots formed on the surface of an AlGaAs epitaxial layer are presented. It is shown that their concentration, average size, and half-width of height distribution depend strongly on the In flow and total amount of deposited InAs which are varied within insignificant limits.     

A Palladium Based Alloy for Prosthetic Dentistry: Structure and Properties

Using the results of physical and chemical researches and mechanical tests of the Pd-Au-Cu-Sn system alloys, a new palladium-based alloy has been chosen and studied in detail. It has a higher plasticity and a lower hardness than the Palladent alloy, widely used in prosthetic dentistry: its hardness is lower than 300 MPa, and its specific elongation is 10%~14 %. At the same time, such important practical characteristics of the alloys as the strength of adhesion to ceramics and thermal expansion coefficient are almost similar.     

Magnetoelastic biosensor for the detection of Salmonella typhimurium in food products

In this article, a magnetoelastic sensor immobilized with polyclonal antibody for the detection of Salmonella typhimurium in food products is described. The remote query nature of magnetoelastic sensors enables the detection of bacterial species in sealed and opaque containers. Bacterial binding to the antibody on the sensor surfaces changed the resonance parameters, and these changes were quantified by the shift in the sensor’s resonance frequency. Response of the sensors to increasing concentrations (5 × 10¹–5 × 10⁸ cfu/ml) of S. typhimurium in three different food products (water, fat-free milk and apple juice) was studied and similar responses were observed. These results were also further ascertained by Scanning Electron Microscopy (SEM) studies. A detection limit of 5 × 10³ cfu/ml, with a sensitivity of 139 Hz/decade was obtained for the sensors tested in water samples, as compared to 129 Hz/decade in apple juice and 127 Hz/decade in fat free milk. A 2 × 0.4 × 0.015 mm sensor was employed in all the investigations. The dissociation constant K _d and the binding valencies for S. typhimurium spiked in water samples was 435 cfu/ml and 2.33 respectively; as compared to 309 cfu/ml and 2.38 for apple juice; and 1389 cfu/ml and 1.85 for fat free milk samples. Bacterial binding was specific and a divalent binding was observed.     

Change in the energy of Jahn-Teller configurations of vacancy-donor complexes induced by uniaxial strain

Estimates are obtained for the energy splitting of equivalent Jahn-Teller configurations of the light-absorbing state of 〈vacancy Ga (V _Ga)〉-〈tellurium (Te_As)〉 complexes in n-GaAs generated by uniaxial stress along the directions [111] and [001]. These estimates are based on measuring the stress dependence of the polarization of photoluminescence associated with these complexes at T⋍2 and 77 K. A phenomenological model of the complexes, which describes how the donor (Te_As) and the Jahn-Teller effect modify the initial t ₂-orbitals of the vacancy component of the complex, is discussed as the effect of uniaxial strain. This model makes it possible to relate measured values of the energy splitting of equivalent configurations relative to the splitting of the original t ₂-state of the vacancy arising from the presence of the donor and the Jahn-Teller effect. Comparison of calculations with experimental data shows that the contribution of the Jahn-Teller effect to the formation of the light-absorbing state of the complex V _GaTe_As exceeds the contribution due to the donor effect, although the two effects are comparable. Fiz. Tekh. Poluprovodn. 33, 1323–1329 (November 1999)     

Adaptive phase-input joint transform correlator

An adaptive phase-input joint transform correlator for pattern recognition is presented. The input of the system is two phase-only images: input scene and reference. The reference image is generated with a new iterative algorithm using phase-only synthetic discriminant functions. The algorithm takes into account calibration lookup tables of all optoelectronics elements used in optodigital experiments. The designed adaptive phase-input joint transform correlator is able to reliably detect a target and its distorted versions embedded into a cluttered background. Computer simulations are provided and compared with those of various existing joint transform correlators in terms of discrimination capability, tolerance to input additive noise, and to small geometric image distortions. Experimental optodigital results are also provided and discussed.     

Simulated strength and structure of carbon–carbon reinforced composite

The atomistic simulations of carbon nanotube (CNT) – carbon reinforced composite material are reported. The studied composite samples are obtained by impregnating certain amounts of CNTs (3,3) and (6,6) into a pristine graphite matrix. The addition of CNTs is found to be of significant usefulness for the CNT–reinforced composites, since it allows to achieve extreme lightness and strength. Being impregnated into graphite matrix, CNTs are able to increase the critical component of its initially highly anisotropic Young modulus by 2–8 times. The linear thermal expansion coefficients do not exceed 10⁻⁶ to 10⁻⁵ K⁻¹, making this material applicable for novel aviation and space vehicles. The degree of dispersion of CNTs within graphite matrix is found to drastically influence composite properties.