Transformational approach to program concretization

This paper focuses on the problem of program concretization by applying correctness-preserving transformations of annotated programs. According to the approach presented, a general-purpose program can be annotated by known information about a specific context of its applications and correctly transformed into a specialized program which is equivalent to the original one on the context-defined ranges of inputs and outputs and is better than it by quality criteria given by the context. Tools for program concretizations via annotated program transformations are considered.     

FMR and EXAFS modeling of heat-treated Fe-rich and Co-rich TM-M thin films

Ion-beam sputter-deposited alloy films of Co/sub 74/Fe/sub 6/B/sub 15/Si/sub 5/ and Fe/sub 75/Ni/sub 5/B/sub 15/Si/sub 5/ were examined for their magnetic and structural properties. Films were characterized by ferromagnetic resonance, vibrating sample magnetometry, and extended X-ray absorption fine structure (EXAFS) analysis. Using atomic parameters deduced from EXAFS modeling and fitting procedures, magnetic properties were calculated with no adjustable parameters. Correlation between perpendicular FMR measurements and EXAFS first-shell modeling suggests a low-temperature formation of cobalt-borides in the Co/sub 74/Fe/sub 6/B/sub 15/Si/sub 5/ alloy. Annealed Fe/sub 75/Ni/sub 5/B/sub 15/Si/sub 5/ samples did not display evidence of structural and/or magnetic instabilities until the onset of long-range crystallization near T/sub ann/=400 degrees C.<>     

Calculation of the molar volume of liquid hydrocarbons

Equations are proposed for calculating the molar volume of liquid hydrocarbons used in production of surfactants. With such data, it will be possible to calculate most of the physicochemical properties of these hydrocarbons to solve many process problems. __________ Translated from Khimiya i Tekhnologiya Topliv i Masel, No. 6, pp. 39–41, Novemmber–December, 2006.     

Developing and fully developed turbulent flow of drag reducing fluids in an annular duct

Velocity profiles for the inner and outer flow regions of annuli are proposed for the turbulent flow of drag reducing fluids. Theoretical expressions for friction factors are developed. From the shear stress equations and the velocity profiles, estimates for the entrance lengths are given.