Development of DSL Compilers for Specialized Processors

Programming and Computer Software - Modern computer systems often include specialized processors that are programmed in domain-specific languages. The compiler-in-the-loop technology, which assumes...     

Soret and Dufour effects between two rectangular plane walls with heat source/sink

This study addresses the thermo‐diffusion and the diffusion‐thermo phenomena in a semi‐infinite absorbent channel whose walls are contracting/expanding, with heat source/sink effects. The governing partial differential equations with suitable boundary conditions are transformed to a system of dimensionless ordinary differential equations. An analytic solution of the problem has been found using a technique called homotopy analysis method (HAM). HAM gives consistently valid answers to the problem over an extensive variety of parameters and also provides better accuracy. To validate the analytical results, a comparison has been presented with a numerical solution calculated by using the parallel shooting method. The effects of dimensionless parameters, that is, deformation parameter, Reynolds number, Soret and Dufour numbers, and heat source/sink parameter on the expressions of velocity, temperature, and concentration profiles are analyzed graphically to understand the physics of the deformable channel. It has been noted that the velocity across the channel is higher for the expanding channel, as compared to that for the contracting channel. Also the Soret and Dufour number increases the temperature of the fluid, and decreases the concentration. The temperature profile has an increasing behavior in the case of heat source, and a decreasing behavior in the case of heat sink.     

Deformation of a surface layer and coating application using a flexible tool

The microstructure and properties of the functional coatings formed by impact friction processing of product surfaces with a flexible tool are studied. It is established that the processing produces a hard nanostructured surface layer with fragments up to 0.13 µm in size, as it is achieved by severe plastic deformation.     

Alloy optimisation of bainitic steel for large plastic mould

Based on the phase transformation theories, especially the T₀ concept of bainite transformation, alloy optimisation of bainitic steel with carbides has been carried out aiming at the produce of plastic mould with large cross-section. The effect of manganese and silicon on proeutectoid ferrite and bainite transformation is explored by dilatometric analysis, XRD and different microscopy techniques. The results show that after the alloy optimisation, the transformation of proeutectoid ferrite is suppressed and when the cooling rate is lower than 0·1°C?s^??1, the new lower bainite transformation appears by decreasing carbon capacity of austenite and promoting carbide precipitation. Industrial production proves that the optimised alloy SDP1 can meet the demand for the plastic mould with the thickness of 1050?mm.     

Deep Neural Networks for Determining the Parameters of Buildings from Single-Shot Satellite Imagery

Journal of Computer and Systems Sciences International - The height of a building is a basic characteristic needed for analytical services. It can be used to evaluate the population and functional...     

Determination of the Life Cycle of Heat-Exchange Tubes of Vapor Condensers on the Basis of Statistical Analysis of Local Pitting Corrosion According to Data of Eddy Current Testing

Protection of Metals and Physical Chemistry of Surfaces - The possibility is shown of creating a chart of local corrosion damage in the walls of heat-exchange tubes on the basis of the data of...     

Preparation of highly crystalline titanium-based ceramic microfibers from polymer precursor blend by needle-less electrospinning

The aim of the present contribution is to study the influence of the post-spinning heat - treatment of single TiO₂/PVP precursor fibers on the properties and morphology of the final titanium-based microfibers. The post-spinning treatment conditions were: calcination in air at 450–600?°C and pyrolysis in argon at 1000–1700?°C. Calcination resulted in a production of anatase-rich and pure rutile fibers. The use of an alternative sintering method, the low-temperature plasma treatment, led to the crystallization of the composite Magnéli phases/polymer fibers. As a result of the same one precursor, pyrolysis at 1000?°C, the Carbon/TiO₂ composite fibers were obtained. Rising the treatment temperature in inert atmosphere led to the formation of the titanium carbide fibers. The formation process and all the obtained products were characterized by differential scanning calorimetry accompanied with thermogravimetric analysis (DSC/TGA), scanning and transmission electron microscopy (SEM, TEM), X-ray diffraction (XRD), and image analysis techniques.