The growth, structure, optical, electrical and thermoelectric properties of calcium silicides of various compositions on silicon substrates with (100) and (111) orientations were experimentally studied. It was found t...
详细信息
The new reconstructions formed by sodium adsorption on Pb-terminated Si(111) surface were obtained: 2×2+23×23, 4×1, 3×3 and others. These surface structures have been observed by low-energy electro...
详细信息
The article describes an approach to detecting race conditions with respect to a variable in a program, based on the automatic construction of a program model in terms of Petri nets. A simple sample program having rac...
The article describes an approach to detecting race conditions with respect to a variable in a program, based on the automatic construction of a program model in terms of Petri nets. A simple sample program having race condition is given and the analysis of its behavior shows four different results of execution due to the race condition. Compositional model of the program in terms of Petri nets is presented that illustrates the process of automatic model generation. Notions of program control flow, global area and environment models are introduced. Reduction rules for the control flow model are defined and compositional representation of reduced program model is described. The formula for detection of race conditions is defined as: for a race conditions to occur, it is necessary that between the moment a variable is read by a thread and the moment this thread writes to a variable, an event of writing to the variable by another thread may occur. Compositional model of global variable capable of intercepting writing to variable events that lead to race condition is presented. By synchronizing the program control flow model with the global variable model it is possible to detect race conditions by building the reachability tree and checking for the presence of error event in it.
Development and implementation of information-analytical systems in heat-and-power engineering are considered. The different ways of automatic data acquisition from smart meters in telemetry networks are shown. A mult...
详细信息
Development and implementation of information-analytical systems in heat-and-power engineering are considered. The different ways of automatic data acquisition from smart meters in telemetry networks are shown. A multi-agent system for data collection from heat meters to analytical data center by using smart GSM modems is proposed. The advantages of automatic control in heat supply systems are shown. The heat energy consumption analysis of buildings is conducted and the estimation of energy savings due to smart heating controllers is carried out. The software for smart applications in heat-and-power systems is developed.
Visible femtosecond fiber laser pulses structured by means of diffractive optical elements after 0.65-NA focusing were used for advanced high-throughput high-intensity nanofabrication of intricate plasmonic elements a...
详细信息
This paper describes a software system for acceptability regions construction, analysis and using during engineering systems design. Acceptability region construction and utilization algorithms require high performanc...
详细信息
ISBN:
(纸本)9781538675328
This paper describes a software system for acceptability regions construction, analysis and using during engineering systems design. Acceptability region construction and utilization algorithms require high performance techniques, parallel computations, and cloud services providing data storage and computational resources. Components of the software system and their interaction are described in this work.
A theoretical study of the quality and the validity range of different numerical and analytical methods of calculating of the frequency shift in measurement using microcromechanical sensor is presented. This work cons...
A theoretical study of the quality and the validity range of different numerical and analytical methods of calculating of the frequency shift in measurement using microcromechanical sensor is presented. This work considered a calculating method for natural frequency in comparison with experimentally measured oscillation frequencies of microcromechanical sensor immersed in air and/or viscous medium. The numerical methods for solving the equation of resonance oscillation of the console fixed on one side are considered for calculating the natural oscillation frequencies of standard AFM cantilevers.
Thin (200-600 nm) Si-Sn alloy films were grown under ultrahigh vacuum conditions by co-deposition of Si and Sn on the Si(100) substrate at room temperature. Investigations of the film structure by X-ray diffraction sh...
详细信息
A novel numerical model is proposed for modelling two-dimensional planar gas flows in granular phase change material (PCM). The mentioned model consists of system of equations based on the classical methods of mechani...
A novel numerical model is proposed for modelling two-dimensional planar gas flows in granular phase change material (PCM). The mentioned model consists of system of equations based on the classical methods of mechanics of heterogeneous media which is solved by original finite-difference algorithm. Effect of heat transfer with ambient medium on mushy zone propagation in the bed of granular PCM is investigated by means of numerical experiment. It is shown that phase transition speed can decrease significantly near the side walls of the bed in relation to the central region which provides curvature of the mushy zone boundaries and nonuniform melting of the PCM in the bed. Kind of curvature of these boundaries can change in dependence of heat conductivity coefficient of the PCM.
暂无评论