Recursive approximation of the dominant eigenspace of an indefinite matrix

We consider here the problem of tracking the dominant eigenspace of an indefinite matrix by updating recursively a rank k$k$ approximation of the given matrix. The tracking uses a window of the given matrix, which increases at every step of the algorithm. Therefore, the rank of the approximation increases also, and hence a rank reduction of the approximation is needed to retrieve an approximation of rank k$k$. In order to perform the window adaptation and the rank reduction in an efficient manner, we make use of a new anti-triangular decomposition for indefinite matrices. All steps of the algorithm only make use of orthogonal transformations, which guarantees the stability of the intermediate steps. We also show some numerical experiments to illustrate the performance of the tracking algorithm.     

Investigation and Development of Quantum Dot-Encoded Microsphere Bioconjugates for DNA Detection by Flow Cytometry

The development of screening assays continues to be an active area of research in molecular diagnostics. Fluorescent microspheres conjugated to biomarkers (nucleic acids, proteins, lipids, carbohydrates) and analyzed on flow cytometer instruments offered a new approach for multiplexed detection platform in a suspension format. Quantum dots encoded into synthetic microspheres have the potentials to improve current screening bioassays and specifically suspension array technology. In this paper, commercialized quantum dot-encoded microsphere were evaluated and optimized as fluorescent probes to address some of the limitations of suspension array technologies. A comprehensive study was undertaken to adapt the bioconjugation procedure to the quantum dot-encoded microsphere structural and optical properties. Both the leaching-out of quantum dots and microspheres degradation under bioconjugation experimental conditions were minimized. A rapid, efficient and reproducible conjugation method was developed for the detection of single-stranded DNA with the commercialized quantum dot-encoded microsphere. Approximately ten thousand microspheres were conjugated to short amino-modified DNA sequences in one hour with high efficiency. The bioconjugated microspheres acting as fluorescent probes successfully detected a DNA target in suspension with high specificity. Quantum dot-encoded microsphere commercial products are limited which strongly prevents reproducible and comparative studies between laboratories. The method developed here contributes to the understanding of quantum dot-encoded microsphere reactivity, and to the optimization of adapted experimental procedure. This step is essential in the development of this new fluorescent probe technology for multiplex genotyping assay and molecular diagnostic applications.     

A generalization of the Coulomb’s friction law: from graphene to macroscale

At the nanoscale, differently to what happens at the macroscale, friction even without an applied normal pressure and spontaneous adhesion take place. In particular, the nanotribology between two layers of graphene, or other two-dimensional nanomaterials (even curved, such as nanotube walls), remains controversial. It is sufficient to say that friction between two graphene layers or nanotube walls is described in the current literature giving as “material property” a constant friction force or a constant friction shear strength, even if such views are obviously mutually exclusive. Is friction dominated by a strength, by a force or by an energy? Coupling elasticity and energy balance we solve this paradox deriving a generalization of the celebrated Coulomb’s friction law, reconciling the two current views. Molecular dynamics simulations on graphene are conducted to verify its validity at the nanoscale whereas statistical simulations confirm its validity even at the macroscale.     

The Effect of Multiple Buckling Modes on the Postbuckling Behavior of Plane Elastic Frames. Part I. Symmetric Frames

The postbuckling behavior of a one-bay, two-storey frame with built-in edges and symmetric with respect to midspan is analyzed. Columns are assumed to be inextensible and shear-undeformable, and beams are rigid. Then two buckling modes are possible, that is, sidesway of the lower floor with rigid horizontal displacement of the top floor and sidesway of the top floor with the lower floor undergoing no displacement. Obviously, the two buckling modes occur simultaneously if the ratios EI/h⁷ (EI being the bending stiffness of a column and h its length) are properly selected. Within the framework of a Koiter-type energy approach a suitable perturbation formulation is derived from a “hybrid” functional which is obtained by adding to the potential energy certain extra terms which account for the nonlinear energy associated with the internal forces applied to the beam at the joints. Results show that the postbuckling behavior of a single buckling mode can be stable or unstable according to the value of the ratio h/l, where l is the frame span. In the case of simultaneous buckling modes the structural behavior in the postbuckling range never improves, but no severe changes are noticed in comparison with the preceding case.     

Self-similarity in fully developed homogeneous isotropic turbulence using the lyapunov analysis

In this work, we calculate the self-similar longitudinal velocity correlation function and the statistics of the velocity difference, using the results of the Lyapunov analysis of the fully developed isotropic homogeneous turbulence just presented by the author in a previous work (de Divitiis, Theor Comput Fluid Dyn, doi:10.1007/s00162-010-0211-9). There, a closure of the von Kármán-Howarth equation is proposed and the statistics of velocity difference is determined through a specific statistical analysis of the Fourier-transformed Navier-Stokes equations. The longitudinal correlation functions correspond to steady-state solutions of the von Kármán-Howarth equation under the self-similarity hypothesis introduced by von Kármán. These solutions and the corresponding statistics of the velocity difference are numerically determined for different Taylor-scale Reynolds numbers. The obtained results adequately describe the several properties of the fully developed isotropic turbulence.     

Equilibrium Problems and Limit Analysis of Masonry Beams

We consider planar straight and curved masonry beams with the constitutive equation from Orlandi (Ph.D. thesis, 1999) and Zani (Eur. J. Mech. A, Solids 23:467–484, 2004). After stating some results about the solution to the boundary value problem, the limit analysis for this kind of bodies is outlined, based on energetic considerations (Lucchesi et al. in Q. Appl. Math. 68:713–746, 2010). The static and kinematic theorems of limit analysis, which usually are justified in a heuristic way (Heyman in The Masonry Arch, 1982; Kooharian in Proc. - Am. Concr. Inst. 89:317–328, 1953), are examined from this point of view. It is seen that the kinematic theorem does not always hold but can be proved under some hypotheses that are frequently met in applications.     

Antiproton reflection by a solid surface

The AE?IS experiment (Antimatter Experiment: Gravity, Interferometry, Spectroscopy (Drobychev et al., 2007)), aims at directly measuring the gravitational acceleration g on a beam of cold antihydrogen ( $\overline{\rm H}$ ). After production, the $\overline{\rm H}$ atoms will be driven to fly horizontally with a velocity of a few 100 m/s for a path length of about 1 meter. The small deflection, few tens of μm, will be measured using two material gratings coupled to a position-sensitive detector working as a Moiré deflectometer similarly to what has been done with atoms (Oberthaler et al., Phys Rev A 54:3165, 1996). Details about the detection of the $\overline{\rm H}$ annihilation point at the end of the flight path with a position-sensitive microstrip detector and a silicon tracker system will be discussed.     

Stable loosely-coupled-type algorithm for fluid–structure interaction in blood flow

We introduce a novel loosely coupled-type algorithm for fluid–structure interaction between blood flow and thin vascular walls. This algorithm successfully deals with the difficulties associated with the “added mass effect”, which is known to be the cause of numerical instabilities in fluid–structure interaction problems involving fluid and structure of comparable densities. Our algorithm is based on a time-discretization via operator splitting which is applied, in a novel way, to separate the fluid sub-problem from the structure elastodynamics sub-problem. In contrast with traditional loosely-coupled schemes, no iterations are necessary between the fluid and structure sub-problems; this is due to the fact that our novel splitting strategy uses the “added mass effect” to stabilize rather than to destabilize the numerical algorithm. This stabilizing effect is obtained by employing the kinematic lateral boundary condition to establish a tight link between the velocities of the fluid and of the structure in each sub-problem. The stability of the scheme is discussed on a simplified benchmark problem and we use energy arguments to show that the proposed scheme is unconditionally stable. Due to the crucial role played by the kinematic lateral boundary condition, the proposed algorithm is named the “kinematically coupled scheme”.     

Nuclear forensics—metrological basis for legal defensibility

The admissibility of nuclear forensics measurements and opinions derived from them in US Federal and State courts are based on criteria established by the US Supreme Court in the case of Daubert v. Merrell Dow and the 2000 Amendment of Rule 702 of the Federal Rules of Evidence. These criteria are being addressed by new efforts that include the development of certified reference materials (CRMs) to provide the basis for analytical method development, optimization, calibration, validation, quality control, testing, readiness, and declaration of measurement uncertainties. Quality data is crucial for all stages of the program, from R&D, and database development, to actual casework. Weakness at any point in the program can propagate to reduce the confidence of final conclusions. The new certified reference materials will provide the necessary means to demonstrate a high level of metrological rigor for nuclear forensics evidence and will form a foundation for legally defensible nuclear chemical analysis. The CRMs will allow scientists to devise validated analytical methods, which can be corroborated by independent analytical laboratories. CRMs are required for ISO accreditation of many different analytical techniques which may be employed in the analysis of interdicted nuclear materials.