Phase transformation in shape memory alloys: a numerical approach for thermomechanical modeling via peridynamics

Meccanica - The work is devoted to the numerical aspects of the modeling tool elaborated to simulate the phenomenon of solid phase transformation in shape memory alloys. Particularly, a nonlocal...     

Assessing Similarity of Random sets via Skeletons

Methodology and Computing in Applied Probability - The paper concerns a method for assessing similarity of realisations of random sets based on a construction of their morphological skeletons and a...     

Electron spin polarisation in laser induced autoionisation

The electron spin polarisation in the strong laser light induced autoionisation is discussed in the simple model. It is shown that confluence of coherences manifests itself in the dependence of polarisation on the laser detuning as a field strength dependent resonance, which enables verification of the phenomenon by means of the spin polarisation measurement. The separation of the confluence of coherences point and the point at which the maximal slowing down of the ionisation process (population trapping) occurs is showed.     

Gas chromatographic determination of the interconversion energy barrier for dimethyl-2,3-pentadienedioate enantiomers

The enantiomers of dimethyl-2,3-pentadienedioate undergo interconversion during gas chromatographic separation on 2,6-di-O-methyl-3-O-pentyl-beta-, 2,6-di-O-methyl-3-O-pentyl-gamma-, and 2,3-di-O-methyl-6-O-tert butyldimethylsilyl-beta-CD chiral stationary phases. The combination of a deconvolution method with an internal standard was used to determine individual enantiomer peak areas and retention times needed for the calculation of the interconversion rate constants and the energy barrier for dimethyl-2,3-pentadienedioate enantiomers. The kinetic and thermodynamic data obtained for the interconversion data (rate constants, energy barriers, enthalpies, and entropies) were in good agreement with the published data (Trapp, O., Schurig, V., Chirality 2002, 14, 465-470) using permethylated-beta-CD (Chirasil-beta-Dex).     

Size determination of Acipenser ruthenus spermatozoa in different types of electron microscopy

In this study three types of scanning electron microscopes were used for the size determination of spermatozoa of sterlet Acipenser ruthenus – high vacuum scanning electron microscope (SEM, JEOL 6300), environmental scanning electron microscope (ESEM, Quanta 200 FEG), field emission scanning electron microscope (FESEM, JEOL 7401F) with cryoattachment Alto 2500 (Gatan) and transmission electron microscope (TEM, JEOL 1010). The use of particular microscopes was tied with different specimen preparation techniques. The aim of this study was to evaluate to what degree the type of used electron microscope can influence the size of different parts of spermatozoa. For high vacuum SEM the specimen was prepared using two slightly different procedures. After chemical fixation with 2.5% glutaraldehyde in 0.1 M phosphate buffer and post-fixation by 1% osmium tetroxide, the specimen was dehydrated by acetone series and dried either by critical point method or by means of t-butylalcohol. For ESEM fresh, unfixed material was used, which was dropped on microscopic copper grids. In FESEM working in cryo-mode the specimen was observed in a frozen state. Ultrathin sections from chemically fixed and Epon embedded specimens were prepared for TEM observation. Distinct parts of sterlet spermatozoa were measured in each microscope and the data obtained was statistically processed. Results confirmed that the classical chemical procedure of specimen preparation for SEM including critical point drying method led to a significant contraction of all measured values, which could deviate up to 30% in comparison with values measured on the fresh chemically untreated specimen in ESEM. Surprisingly sperm dimensions determinated on ultrathin sections by TEM are comparable with values obtained in ESEM or FESEM.     

The lattice of congruence lattices of algebras on a finite set

The congruence lattices of all algebras defined on a fixed finite set A ordered by inclusion form a finite atomistic lattice \(\mathcal {E}\). We describe the atoms and coatoms. Each meet-irreducible element of \(\mathcal {E}\) being determined by a single unary mapping on A, we characterize completely those which are determined by a permutation or by an acyclic mapping on the set A. Using these characterisations we deduce several properties of the lattice \(\mathcal {E}\); in particular, we prove that \(\mathcal {E}\) is tolerance-simple whenever \(|A|\ge 4\).     

The lattice of convexities of partial monounary algebras

A class of partial monounary algebras is called a convexity if it is closed under homomorphic images, direct products and convex relative subalgebras. We prove that the collection of all convexities of partial monounary algebras forms a countable set. Further, each convexity can be generated by at most two algebras.     

Constant factor approximation for ATSP with two edge weights

We give a constant factor approximation algorithm for the Asymmetric Traveling Salesman Problem on shortest path metrics of directed graphs with two different edge weights. For the case of unit edge weights, the first constant factor approximation was given recently by Svensson. This was accomplished by introducing an easier problem called Local-Connectivity ATSP and showing that a good solution to this problem can be used to obtain a constant factor approximation for ATSP. In this paper, we solve Local-Connectivity ATSP for two different edge weights. The solution is based on a flow decomposition theorem for solutions of the Held–Karp relaxation, which may be of independent interest.     

Taylor’s Modularity Conjecture and Related Problems for Idempotent Varieties

We provide a partial result on Taylor’s modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we prove an analog for idempotent varieties with a cube term. Also, similar results are proved for linear varieties and the properties of congruence modularity, having a cube term, congruence n-permutability for a fixed n, and satisfying a non-trivial congruence identity.     

Estimation error for occupation time functionals of stationary Markov processes

The approximation of integral functionals with respect to a stationary Markov process by a Riemann sum estimator is studied. Stationarity and the functional calculus of the infinitesimal generator of the process are used to explicitly calculate the estimation error and to prove a general finite sample error bound. The presented approach admits general integrands and gives a unifying explanation for different rates obtained in the literature. Several examples demonstrate how the general bound can be related to well-known function spaces.