CAS based approach for discussing subset construction

This paper continues the discussion of teaching nondeterminism (see [6]) where we presented a didactic approach introducing the notion of nondeterministic automata. Although in this paper we use the same methodology we have to face up to new didactic challenges. Namely, teaching the subset construction requires answers to the question how can CAS be used in teaching the different phases of mathematical problem solving so that we can reach higher cognitive efficiency.     

Growth and study of single crystals of (Na,K)NbO<Subscript>3</Subscript> solid solutions

(Na, K)NbO₃ crystals with a perovskite structure and a KNbO₃ content up to 40 mol % were grown from flux with the use of the solvent NaBO₂. The dielectric measurements of the crystals grown revealed phase transitions that had never been observed before in ceramic samples.     

Passage of ion beams through parallel grids

Analytical expressions for the mathematical expectation and dispersion of the time of flight of a nonrelativistic charged particle through a multielectrode system consisting of parallel grids are derived. These expressions can be useful in design optimization, for example, of plasma-confining grid systems and time-of-flight mass spectrometers.     

Discovery of a new long-lived isomeric state in 125Ce

A new long-lived isomeric state in the near proton dripline nucleus ¹²⁵Ce has been identified with Schottky mass spectrometry at GSI. The excitation energy E ^* = 103(12)keV and the decay time of 193(1)s have been obtained from a single stored fully ionized ^125m Ce⁵⁸⁺ ion. The data implies an E3 transition and a 1/2⁺ assignment for the spin of the isomer.     

Neutron reflection from a helical system

Analytical expressions for neutron reflection and transmission by magnetic mirrors with helical magnetization are derived. Reflectance curves with and without neutron spin flip are presented. Resonant properties of helical systems are studied.     

Charge density fluctuation of low frequency in a dusty plasma

The charge density fluctuation of low frequency in a dusty plasma, which is derived from the longitudinal dielectric permittivity of the dusty plasma, has been studied by kinetic theory. The results show that theP value, which describes the relative charge density on the dust in the plasma, and the charging frequency of a dust particle Ω _c , which describes the ratio of charge changing of the dust particles, determine the character of the charge density fluctuation of low frequency. For a dusty plasma ofP≪1, when the charging frequency Ω _c , is much smaller than the dusty plasma frequency ω_d, there is a strong charge density fluctuation which is of character of dust acoustic eigenwave. For a dusty plasma ofP≫1, when the frequency Ω _c , is much larger than ω _d there are weaker fluctuations with a wide spectrum. The results have been applied to the ionosphere and the range of radius and density of dust particles is found, where a strong charge density fluctuation of low frequency should exist.     

Averaging of electrical properties of anisotropic fiber-metal composites

The electrical properties of fiber-metal composites with anisotropic components were averaged within the framework of a regular structure model. The corresponding current problem was reduced to a system of two integral equations with elliptical kernels. The effective electrical conductivity tensor of such materials was defined as several functionals based on integral equation solutions for the boundary problem. The calculation results are given.Translated from Mekhanika Kompozitnykh Materialov, Vol. 33, No. 2, pp. 263–268, March–April, 1997.     

Protein Conformation of a Lattice Model Using Tabu Search

We apply tabu search techniques to the problem of determining the optimal configuration of a chain of protein sequences on a cubic lattice. The problem under study is difficult to solve because of the large number of possible conformations and enormous amount of computations required. Tabu search is an iterative heuristic procedure which has been shown to be a remarkably effective method for solving combinatorial optimization problems. In this paper, an algorithm is designed for the cubic lattice model using tabu search. The algorithm has been tested on a chain of 27 monomers. Computational results show that our method outperforms previously reported approaches for the same model.