Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New Technologies

Theoretical results due to V. Malyugin on linearization of arithmetical models of logical functions are interpreted and refined from the viewpoint of modern techniques of logical design of integral circuits and nearest neighbor technologies.     

Second-order stresses and strains in heterogeneous steels: Self-consistent modeling and X-ray diffraction analysis

Theoretical and experimetal methods have been developed to characterize the effect of mechanical loading on the mesoscopic and macroscopic mechanical state of polycrystalline materials. Ferritic and austenitic single-phase materials were first analyzed, then phase interaction was studied in a multiductile phase material (austeno-ferritic duplex steel) and a natural reinforced composite (pearlitic steel). The theoretical method is based on the self-consistent approach in which elastic and plastic characteristics of the phases have been applied through the micromechanical behavior of single-crystal-using slip systems and microscopic hardening. The effects of a crystallographic texture and phase interaction during loading and after unloading were studied. The elastic and plastic anisotropy of the grains having the same crystallographic orientation were assessed by diffraction strain analysis. The simulation was compared with the experiments performed using the X-ray diffraction technique. In the considered duplex and pearlitic steels, it was observed that the ferrite stress state is much lower than the austenite and cementite ones. The results of diffraction strain distribution have showed the pertinence of the models and give valuable information, for example, for the yield stress and the hardening parameters of each phase in a two-phase material.     

Interfacial hybridization kinetics of oligonucleotides immobilized onto fused silica surfaces

Fused silica optical fibers have been used in an intrinsic mode optical configuration as biosensors for fluorescence based detection of hybridization of nucleic acids. In this work, the kinetics of hybridization of single-stranded oligonucleotides that were covalently immobilized were studied. The probe DNA was dT₂₀, and the target was Fluorescein-labeled non-complementary (dT₂₀) or complementary (dA₂₀) oligonucleotide. Chronofluorimetric monitoring of the adsorption and hybridization processes was used to investigate oligonucleotide films of different density, in different salt concentrations, at temperatures of 25 and 40 °C, with the concentration of the target DNA being 0.005–0.1 μM. Mathematical models based on first- and second-order Langmuir adsorption have been examined to describe both the adsorption and the hybridization processes. Experimental data were processed using the models, and the hybridization kinetics were calculated. Hybridization kinetics on these optical fiber DNA sensors was found to be up to three orders faster than results presented for a number of other experiments using different immobilization chemistries.     

Electrophoretic deposition of electrolyte materials for solid oxide fuel cells

Electrophoretic deposition of electrolyte materials for solid oxide fuel cells, including La_0.8Sr_0.2Ga_0.875Mg_0.125O_3–x , yttria stabilized zirconia and (Ce_0.8Gd_0.2)O_1.9, was studied under various experimental conditions. The use of phosphate ester as a dispersant and poly (vinyl butyral) as a binder enabled high deposition rate and formation of crack-free, adherent deposits. Electrodeposition rates were quantified in experiments performed at constant current and constant voltage modes from suspensions in ethanol, isopropanol and mixed ethanol—isopropanol solvents. The microstructure of as prepared and sintered deposits was studied by electron microscopy. The bath composition was optimized to enable formation of dense deposits.     

On the complexity of simulating space-bounded quantum computations

This paper studies the space-complexity of predicting the long-term behavior of a class of stochastic processes based on evolutions and measurements of quantum mechanical systems. These processes generalize a wide range of both quantum and classical space-bounded computations, including unbounded error computations given by machines having algebraic number transition amplitudes or probabilities. It is proved that any space s quantum stochastic process from this class can be simulated probabilistically with unbounded error in space O(s), and therefore deterministically in space O(s²).