The influence of counter-ion adsorption on the ψ0/pH characteristics of insulator surfaces

The site-binding theory of Yates, Levine, and Healy is extended to include the possibility that counter-ion binding of anions and cations occurs at different distances from the insulator surface. A method for straightforward computation of the ψ0/σ0/pH characteristics is given. This theory is applied to the study of electrolyte/insulator/silicon structures, which makes it possible to measure the ψ0/pH characteristics. Measurements are presented for structures where the insulator is γ-Al2O3 deposited by chemical vapour deposition at 900°C. The influence of counter-ion binding on the ψ0/pH curves is a second-order effect compared to the site-dissociation acid/base reactions, but it is clearly visible. Consideration of the influence of the ionic strength of the electrolyte leads to an estimated anion adsorption equilibrium constant in the range of 0.05 to 0.4 mol−1 dm3 in chloride solutions, although no significant influence of the type of ions present could be observed. Application of the theory to existing measurements of the ψ0/pH and σ0/pH curves of SiO2 surfaces indicates that for this material the cation adsorption equilibrium constant is in the order of 0.1 mol−1 dm3

Towards Scalable Multidimensional Execution Traces for xDSMLs

International audienceExecutable Domain Specific Modeling Languages (xDSML) opens many possibilities in terms of early verification and validation (V&V) of systems, including the use of dynamic V&V approaches. Such approaches rely on the notion of execution trace, i.e. the evolution of a system during a run. To benefit from dynamic V&V approaches, it is therefore necessary to characterize what is the structure of the executions traces of a given xDSML. Our goal is to provide an approach to design trace metamodels for xDSMLs. We identify seven problems that must be considered when modeling execution traces, including concurrency, modularity, and scalability. Then we present our envisioned approach to design scalable multidimensional trace metamodels for xDSMLs. Our work in progress relies on the dimensions of a trace (i.e. subsets of mu- table elements of the traced model) to provide an original structure that faces the identified problems, along with a trace API to manipulate them

Performance evaluation of MAP algorithms with different penalties, object geometries and noise levels

A new algorithm (LBFGS-B-PC) which combines ideas of two existing convergent reconstruction algorithms, relaxed separable paraboloidal surrogate (SPS) and limited-memory Broyden-Fletcher-Goldfarb-Shanno with boundary constraints (LBFGS-B), is proposed. Its performance is evaluated in terms of log-posterior value and regional recovery ratio. The results demonstrate the superior convergence speed of the proposed algorithm to relaxed SPS and LBFGS-B, regardless of the noise level, activity distribution, object geometry, and penalties

Performance improvement and validation of a new MAP reconstruction algorithm

We previously proposed a fast maximum a posteriori (MAP) algorithm, limited-memory Broyden-Fletcher-Goldfarb- Shanno with boundary constrains (LBFGS-B-PC), combining LBFGS-B with diagonal preconditioning. Previous results have shown in simulations that it converges using around 40 projections independent of many factors. The aim of this study is to improve the algorithm further by using a better initial image and a modified preconditioner that is less sensitive to noise and data scale. By initializing the algorithm with the best initial image (one full iteration of OSEM with 35 subsets), ROI values can converge almost twice as fast for the same computation time. Moreover, the new preconditioner makes the performance more consistent between high and low count data sets. In addition, we have found a means to choose the stopping criteria to reach a desired level of quantitative accuracy in the reconstructed image. Based on the results with patient data, the optimized LBFGS-B-PC shows promise for clinical imaging

Collimator design for a clinical brain SPECT/MRI insert

This project's goal is to design a SPECT insert for a clinical MRI system for simultaneous brain SPECT/MR imaging. We assume the stationary SPECT insert will consist of two rings of ∼5x5-cm SiPM-based detectors insensitive to magnetic fields, with 0.8-mm intrinsic resolution. The maximum diameter is 44.5 cm, the minimum diameter is 33 cm to accommodate the patient and MRI receive/transmit coil, and the FOV has a 20 cm diameter. We have compared eight collimator designs: single-, 2x2-, 3x3- and 5+2½- pinhole, and single-, 2-, 3- and 1+2½-slit slit-slat, where ½-pinholes/slits are shared between two detectors. Analytical geometric efficiency was calculated for an activity distribution corresponding to a human brain and a target resolution of 10 mm FWHM at the centre of the FOV. Noise-free data were simulated with and without depth-of-interaction (DOI) information, and reconstructed for uniform, Defrise, Derenzo, and Zubal brain phantoms. For DOI it is assumed that the crystal's first and second half can be differentiated. Comparing the multi-pinhole and multi-slit slit-slat collimators, the former gives better reconstructed uniformity and trans-axial resolution, while the latter gives better axial resolution. Although the 2x2-pinhole and 2-slit designs give the highest sensitivities, they result in a sub-optimal utilization of the detector FOV. The best options are therefore the 5+2½-pinhole and the 1+2½-slit systems, with sensitivities of 4.9*10–4 and 4.0*10–4, respectively. The brain phantom reconstructions with multi-pinhole collimator are superior as compared to slit-slat, especially in terms of symmetry and realistic activity distribution. DOI information reduces artefacts and improves uniformity in geometric phantoms, although the difference is small for the brain phantom. These results favour a multi-pinhole configuration

Microoptomechanical pumps assembled and driven by holographic optical vortex arrays

Beams of light with helical wavefronts can be focused into ring-like optical traps known as optical vortices. The orbital angular momentum carried by photons in helical modes can be transferred to trapped mesoscopic objects and thereby coupled to a surrounding fluid. We demonstrate that arrays of optical vortices created with the holographic optical tweezer technique can assemble colloidal spheres into dynamically reconfigurable microoptomechanical pumps assembled by optical gradient forces and actuated by photon orbital angular momentum.Comment: 4 pages, 3 figures, submitted to Optics Expres

Fast Quasi-Newton Algorithms for Penalized Reconstruction in Emission Tomography and Further Improvements via Preconditioning

OAPA This paper reports on the feasibility of using a quasi-Newton optimization algorithm, limited-memory Broyden- Fletcher-Goldfarb-Shanno with boundary constraints (L-BFGSB), for penalized image reconstruction problems in emission tomography (ET). For further acceleration, an additional preconditioning technique based on a diagonal approximation of the Hessian was introduced. The convergence rate of L-BFGSB and the proposed preconditioned algorithm (L-BFGS-B-PC) was evaluated with simulated data with various factors, such as the noise level, penalty type, penalty strength and background level. Data of three 18F-FDG patient acquisitions were also reconstructed. Results showed that the proposed L-BFGS-B-PC outperforms L-BFGS-B in convergence rate for all simulated conditions and the patient data. Based on these results, L-BFGSB- PC shows promise for clinical application

Graphene transistors are insensitive to pH changes in solution

We observe very small gate-voltage shifts in the transfer characteristic of as-prepared graphene field-effect transistors (GFETs) when the pH of the buffer is changed. This observation is in strong contrast to Si-based ion-sensitive FETs. The low gate-shift of a GFET can be further reduced if the graphene surface is covered with a hydrophobic fluorobenzene layer. If a thin Al-oxide layer is applied instead, the opposite happens. This suggests that clean graphene does not sense the chemical potential of protons. A GFET can therefore be used as a reference electrode in an aqueous electrolyte. Our finding sheds light on the large variety of pH-induced gate shifts that have been published for GFETs in the recent literature