Computable embeddability for algebraic structures

In computability theory, the standard tool to classify preorders is provided by the computable reducibility. If [Formula: see text] and [Formula: see text] are preorders with domain [Formula: see text], then [Formula: see text] is computably reducible to [Formula: see text] if and only if there is a computable function [Formula: see text] such that for all [Formula: see text] and [Formula: see text], [Formula: see text] [Formula: see text][Formula: see text]. We study the complexity of preorders which arise in a natural way in computable structure theory. We prove that the relation of computable isomorphic embeddability among computable torsion abelian groups is a [Formula: see text] complete preorder. A similar result is obtained for computable distributive lattices. We show that the relation of primitive recursive embeddability among punctual structures (in the setting of Kalimullin et al.) is a [Formula: see text] complete preorder.

Energy audit of pumps in industrial and municipal systems and labeling of the operational efficiency: systematic approach (part 2)

На основании системного подхода выработаны единые критерии оценки энергоэффективности работы насосов в реальных промышленных (коммунальных) системах с позиции экологичной эксплуатации в низкоуглеродной экономике. При этом учтен комплексный подход производителей насосов при тестовых испытаниях и разработчиков реальных систем с насосами при исследовательских и оптимизационных расчетах. Приведен пример оценки экологичной энергоэффективной работы насоса с переменной нагрузкой в коммунальной системе с изменяющейся во времени статической составляющей напора. Приведен пример типового отчета энергетического обследования, в основе которого: сформированная для насосов оценка по классам энергетической маркировки, для условий эксплуатации в системе, с произвольными профилями нагрузки; вычисляемая структура режимов расчетного цикла насоса с определением соотношения энергоэффективных и энергозатратных режимов эксплуатации, перерасхода энергопотребления и учета негативного воздействия на окружающую среду в виде объема выбросов парниковых газов в СО2-эквиваленте. Рассмотрен подход к совершенствованию механизма стимулирования потребителей насосов для осуществления энергосервисных контрактов по снижению энергоемкости индустриальных и коммунальных технологических процессов. On the basis of a systematic approach, uniform criteria have been developed for estimating the energy efficiency of pumps in real industrial (municipal) systems from the standpoint of environmentally friendly operation in a low-carbon economy. At the same time, the integrated approach of pump manufacturers in tests and designers of real systems with pumps in the process of research and optimization calculations was taken into account. An example is given of estimating the eco-friendly energy efficient operation of a variable-load pump in a municipal system with a time dependent static head component. An example of a typical report of an energy survey is presented based on: the estimation developed for pumps by energy labelling classes for operating conditions in the system, with arbitrary load profiles; a computable structure of the pump design cycle modes with determining the ratio of energy-efficient and energy-consuming operation modes, excess demand energy and taking into account the negative impact on the environment in the form of greenhouse gas emissions in CO2-equivalent. An approach to improving the incentive mechanism for pump operators for the implementation of energy service contracts to reduce the energy intensity of industrial and communal technological processes is considered.

Energy audit of pumps in industrial and municipal systems and labeling of the operational efficiency: a systematic approach (part 1)

На основании системного подхода выработаны единые критерии оценки энергоэффективности работы насосов в реальных промышленных (коммунальных) системах с позиции экологичной эксплуатации в низкоуглеродной экономике. При этом учтен комплексный подход производителей насосов при тестовых испытаниях и разработчиков реальных систем с насосами при исследовательских и оптимизационных расчетах. Приведен пример оценки экологичной энергоэффективной работы насоса с переменной нагрузкой в коммунальной системе с изменяющейся во времени статической составляющей напора. Приведен пример типового отчета энергетического обследования, в основе которого: сформированная для насосов оценка по классам энергетической маркировки, для условий эксплуатации в системе, с произвольными профилями нагрузки; вычисляемая структура режимов расчетного цикла насоса с определением соотношения энергоэффективных и энергозатратных режимов эксплуатации, перерасхода энергопотребления и учета негативного воздействия на окружающую среду в виде объема выбросов парниковых газов в СО2-эквиваленте. Рассмотрен подход к совершенствованию механизма стимулирования потребителей насосов для осуществления энергосервисных контрактов по снижению энергоемкости индустриальных и коммунальных технологических процессов. On the basis of a systematic approach, uniform criteria have been developed for estimating the energy efficiency of pumps in real industrial (municipal) systems from the standpoint of environmentally friendly operation in a low-carbon economy. At the same time, the integrated approach of pump manufacturers in tests and designers of real systems with pumps in the process of research and optimization calculations was taken into account. An example is given of estimating the eco-friendly energy efficient operation of a variable-load pump in a municipal system with a time dependent static head component. An example of a typical report of an energy survey is presented based on: the estimation developed for pumps by energy labelling classes for operating conditions in the system, with arbitrary load profiles; a computable structure of the pump design cycle modes with determining the ratio of energy-efficient and energy-consuming operation modes, excess demand energy and taking into account the negative impact on the environment in the form of greenhouse gas emissions in CO2-equivalent. An approach to improving the incentive mechanism for pump operators for the implementation of energy service contracts to reduce the energy intensity of industrial and communal technological processes is considered.

Degrees of and lowness for isometric isomorphism

We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted notions of lowness for isometric isomorphism with respect to fixed computable presentations, and, in this vein, we obtain classifications of the degrees that are low for isometric isomorphism with respect to the standard copies of certain Lebesgue spaces.

On computable aspects of algebraic and definable closure

We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure, both algebraic and definable closure with respect to that collection are $\varSigma ^0_{n+2}$ sets. We further show that these bounds are tight.