A dedicated algorithm for calculating ground states for the triangular random bond Ising model

In the presented article we present an algorithm for the computation of ground state spin configurations for the 2d random bond Ising model on planar triangular lattice graphs. Therefore, it is explained how the respective ground state problem can be mapped to an auxiliary minimum-weight perfect matching problem, solvable in polynomial time. Consequently, the ground state properties as well as minimum-energy domain wall (MEDW) excitations for very large 2d systems, e.g. lattice graphs with up to N=384×384 spins, can be analyzed very fast.Here, we investigate the critical behavior of the corresponding T=0 ferromagnet to spin-glass transition, signaled by a breakdown of the magnetization, using finite-size scaling analyses of the magnetization and MEDW excitation energy and we contrast our numerical results with previous simulations and presumably exact results.     

Gas tight sintered material for high temperature sublimation setups

Fine powders of WC, TaC and TaC with W and WC additives were cold-isostatically pressed to ceramic discs and pressurelessly sintered at temperatures up to 2100 °C in a second step. Afterwards, the discs were tested as crucible lid under typical AlN growth conditions. The prepared discs should be gas tight and ensure a better alignment of the thermal expansion coefficients of TaC lid and AlN.Ceramic discs densified by this method reveal a relative density up to 97%. The TaC ceramic discs without additives show a microstructure with grain sizes in the range of 10-200 μm after sintering. The grain enlargement could be reduced by W and WC additives in the range of 1-5 wt.%. The results show that the AlN boules adhere only to WC lids and tungsten containing lids with W contents higher than or equal to 3 wt.%.     

The principle cause for lower plate numbers in capillary zone electrophoresis with most organic solvents.

With longitudinal diffusion as an unavoidable source of peak broadening, the peak efficiency (expressed by the plate number, N) in capillary zone electrophoresis depends on the ratio of electrophoretic mobility, mu, and tracer- or self-diffusion coefficient, D. Both parameters are functions of the ionic strength of the electrolyte solution. According to theory, the mobility is decreased with increasing ionic strength by the relaxation effect (depending on the relative permittivity) and the electrophoretic effect (depending on the relative permittivity and the viscosity of the solvent), whereas the diffusion coefficient is decreased only by the relaxation effect. This allows the theoretical predictions that the plate number, which is proportional to the ratio mu/D, decreases with increasing ionic strength and that the magnitude of this reduction depends on the solvent. Taking the values for relative permittivity and viscosity allows forecasting that, in general, water as a solvent exhibits the smallest lowering of the plate number, as compared to organic solvents. The theoretical predictions are confirmed by the data for the ratio calculated from measured mobilities and diffusion coefficients for iodide as the analyte ion in water, methanol, and acetonitrile with ionic strength of the background electrolyte varying between 0.005 and 0.080 mol L(-1). Whereas the experimentally observed plate number per volt is reduced from its "ultimate value" of about 20 (analyte charge number z = 1, zero ionic strength) in water by only 10%, the decrease at the same ionic strength in methanol and acetonitrile reaches 25 to 30%. Thus, the maximum plate number should read Nmax approximately equals 13 zU (with U being the effective voltage) for these solvents with ionic strengths normally applied in capillary electrophoresis. This reduction is not stemming from inappropriate experimental conditions, but has fundamental physicochemical causes.     

Characterization of seasonal variation of forest canopy in a temperate deciduous broadleaf forest, using daily MODIS data

In this paper, we present an improved procedure for collecting no or little atmosphere- and snow-contaminated observations from the Moderate Resolution Imaging Spectroradiometer (MODIS) sensor. The resultant time series of daily MODIS data of a temperate deciduous broadleaf forest (the Bartlett Experimental Forest) in 2004 show strong seasonal dynamics of surface reflectance of green, near infrared and shortwave infrared bands, and clearly delineate leaf phenology and length of plant growing season. We also estimate the fractions of photosynthetically active radiation (PAR) absorbed by vegetation canopy (FAPAR_canopy), leaf (FAPAR_leaf), and chlorophyll (FAPAR_chl), respectively, using a coupled leaf-canopy radiative transfer model (PROSAIL-2) and daily MODIS data. The Markov Chain Monte Carlo (MCMC) method (the Metropolis algorithm) is used for model inversion, which provides probability distributions of the retrieved variables. A two-step procedure is used to estimate the fractions of absorbed PAR: (1) to retrieve biophysical and biochemical variables from MODIS images using the PROSAIL-2 model; and (2) to calculate the fractions with the estimated model variables from the first step. Inversion and forward simulations of the PROSAIL-2 model are carried out for the temperate deciduous broadleaf forest during day of year (DOY) 184 to 201 in 2005. The reproduced reflectance values from the PROSAIL-2 model agree well with the observed MODIS reflectance for the five spectral bands (green, red, NIR₁, NIR₂, and SWIR₁). The estimated leaf area index, leaf dry matter, leaf chlorophyll content and FAPAR_canopy values are close to field measurements at the site. The results also showed significant differences between FAPAR_canopy and FAPAR_chl at the site. Our results show that MODIS imagery provides important information on biophysical and biochemical variables at both leaf and canopy levels.     

An overview of JML tools and applications

The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification typechecking, runtime debugging, static analysis, and verification.This paper gives an overview of the main ideas behind JML, details about JML’s wide range of tools, and a glimpse into existing applications of JML.     

Sliding simulation for adhesion problems in micro gear trains based on an atomistic simplified model

The objective of this research work is to provide a systematic method to perform molecular dynamics simulation or evaluation for adhesion of micro/nano gear train during sliding friction in MEMS. In this paper, molecular dynamics simulations of adhesion problems in micro gear train are proposed. The perfect MEMS gear train model is very complicated by considering the computing time. A simplified model to simulate surface sliding between metals by molecular dynamics (MD) is proposed because the surface property is a dominant factor for the performance of gear systems. Based on analysis of sliding friction and the transmitting characteristics of micro gear train, a model is established by utilizing the Morse potential function. The Verlet algorithm is employed to solve atom trajectories. The simulation results show that adhesion tends to occur between two micro gears after certain cycles and such adhesion accounts for the friction force and the temperature increase. The simulation results are in consistence with the experimental results in the literature. The model is meaningful to prolong the lifetime of micro gear train by selecting proper parameters.     

Automatic 3-D segmentation of internal structures of the head in MR images using a combination of similarity and free-form transformations: Part II, validation on severely atrophied brains

Studies aimed at quantifying neuroanatomical differences between populations require the volume measurements of individual brain structures. If the study contains a large number of images, manual segmentation is not practical. This study tests the hypothesis that a fully automatic, atlas-based segmentation method can be used to quantify atrophy indexes derived from the brain and cerebellum volumes in normal subjects and chronic alcoholics. This is accomplished by registering an atlas volume with a subject volume, first using a global transformation, and then improving the registration using a local transformation. Segmented structures in the atlas volume are then mapped to the corresponding structures in the subject volume using the combined global and local transformations. This technique has been applied to seven normal and seven alcoholic subjects. Three magnetic resonance volumes were obtained for each subject and each volume was segmented automatically, using the atlas-based method. Accuracy was assessed by manually segmenting regions and measuring the similarity between corresponding regions obtained automatically. Repeatability was determined by comparing volume measurements of segmented structures from each acquisition of the same subject. Results demonstrate that the method is accurate, that the results are repeatable, and that it can provide a method for automatic quantification of brain atrophy, even when the degree of atrophy is large.