Cogeneration scheme of using SER of gas-processing plant

This article describes the thermal protection schemes application of the secondary resources to generate electricity, as well as the technological plan for energy disposal plant is given. The analyses of numerous research works in the sphere of thermodynamic effectiveness of power plant cycles with different working substances were presented. It is shown that the application of secondary resources provides a considerable volume of electricity for balance-of-plant needs

Формування та оцінка податкового потенціалу регіонів України

У статті розглянуті теоретичні підходи до розкриття сутності поняття «податковий потенціал», досліджено питання оцінки податкового потенціалу, а також запропоновано науково-методичні підходи щодо визначення впливу податкового потенціалу на соціально-економічний розвиток регіонів України. The article deals with theoretical approaches to elucidate the essence of the concept of “tax a potential”, theoretical approaches to determination of tax potential and suggested the scientific and methodical approaches to determined the impact of tax potential to the social and economic regional’s development

Примитивная программная алгебра: общий подход к решению проблемы функциональной полноты

Основним напрямком дослідження є розробка наукових засад генезису рішень програмістських задач. Проведено побудови, що базуються на алгебраїчних методах дослідження програм та методах композиційного програмування. В основі останніх лежать програмні алгебри з функціями спеціального класу у якості носія, і композиціями, які представляють абстракції інструментів програмного синтезу, у якості операцій. У рамках так званих програмних алгебр строго поставлено та вирішено проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що займають одне з чільних місць у програмістській проблематиці. Запропоновано загальний метод вирішення згаданих проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладено у вигляді низки оригінальних тверджень, лем та теорем. Вони можуть бути використані у ході дослідження алгебраїчних характеристик різних класів обчислюваних функцій в задачах формалізації семантик мов програмування.The goal of the research is development of scientific foundations of programming problems solutions genesis. Investigations carried out are based on algebraic research methods of programs and compositional programming methods. Basis of the last ones consists of program algebras with special classes of functions as carriers, and compositions that represent abstractions from program synthesis tools as operations. Problems of completeness in classes of computable functions that took one of the most important places in programming problems are well defined and solved in the context of program algebras. Universal method for the problem of completeness solution in primitive program algebras (PPA) on different classes of computable functions proposed in the article. Results achieved are presented as series of original statements, lemmas and theorems. The results can be applied in algebraic characteristics research of different computable functions classes in problems of programming language semantics formalization.Основным направлением исследования есть разработка научных основ генезиса решений программистских задач. Проведены построения, которые базируются на алгебраических методах исследования программ и методах композиционного программирования. В основе последних лежат программные алгебры с функциями специального класса в качестве носителя, и композициями, которые представляют абстракции инструментов программного синтеза, в качестве операций. В рамках так называемых программных алгебр строго поставлены и решены проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, которые занимают одно из главных мест в программистской проблематике. Предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования

Примитивная программная алгебра вычислимых функций над записями

Проблематика. Дослідження проводиться у рамках композиційного підходу до програмування. Проблематикою дослідження є розробка наукових засад генезису розв’язків програмістських задач. Його основу становить поняття композиції. Мета дослідження. Метою дослідження є розробка загального методу отримання алгебричних характеристик класів функцій та застосування його для опису прагматично важливого класу частково рекурсивних функцій над записами. Методи реалізації. Проведені в роботі побудови базуються на алгебричних методах дослідження програм та методах композиційного програмування. У рамках так званих програмних алгебр строго ставляться та вирішуються проблеми отримання характеристик репрезентативних класів обчислюваних функцій, проблеми знаходження породжуючих сукупностей та базисів, що посідають одне з чільних місць у програмістській проблематиці. Результати дослідження. В роботі запропоновано загальний метод вирішення зазначених проблем у примітивних програмних алгебрах (ППА) над різними класами обчислюваних функцій. Отримані результати викладені у вигляді ряду оригінальних тверджень, лем та теорем. Вони можуть бути використанні при дослідженні алгебричних характеристик різних класів обчислюваних функцій у задачах формалізації семантик мов програмування. Висновки. Отримані результати є фундаментом для розвитку напряму адаптивних середовищ програмування. Наступні кроки будуть пов’язані з дослідженням загального поняття композиції та розробкою пов’язаних із ним редукційних методів дослідження функцій як середовищ прагматико-обумовленої декомпозиції програмістських задач.Background. The research is conducted in the context of compositional approach to programming. Problematic of the research is development of scientific foundations of programmer’s problems solution genesis. Its basis is concept of composition. Objective. The objective of the research is general method development for function classes’ algebraic characteristics obtaining and application of the method for description of pragmatically important class of partially recursive functions on records. Methods. Creations made in the paper are based on software analysis algebraic methods and compositional programming methodic. Problems of computable functions’ characteristics obtaining, problems of generative sets and bases finding, which are one of the most important questions in programmer’s problematic, are strictly stated and solved in the context of so called “program algebras”. Results. In the paper method of mentioned problems solution was proposed in context of primitive program algebras (PPA) on different classes of computable functions. Received results are stated as sequence of original statements, lemmas, and theorems. They can be used for different classes of computable functions algebraic characteristics exploration in problems of programming languages semantics formalization. Conclusions. Received results are foundations of adaptive programming environments development. Next steps in this direction will be connected with exploration of general concept of composition and development of related reduction methods of function exploration as environments of pragmatic depended programmer’s problems decomposition.Проблематика. Исследование проводится в рамках композиционного подхода к программированию. Проблематика исследования – разработка научных засад генезиса решений программистских задач. Его основу составляет понятие композиции. Цель исследования. Целью исследования является разработка общего метода получения алгебраических характеристик классов функций и применение его для описания прагматически важного класса частично рекурсивных функций над записями. Методы реализации. Проведенные в работе построения базируются на алгебраических методах исследования программ и методиках композиционного программирования. В рамках так называемых программных алгебр строго ставятся и решаются проблемы получения характеристик репрезентативных классов вычислимых функций, проблемы нахождения порождающих совокупностей и базисов, что занимают одно из главных мест в программистской проблематике. Результаты исследования. В работе предложен общий метод решения упомянутых проблем в примитивных программных алгебрах (ППА) над разными классами вычислимых функций. Полученные результаты изложены в виде ряда оригинальных утверждений, лемм и теорем. Они могут быть использованы при исследовании алгебраических характеристик разных классов вычислимых функций в задачах формализации семантик языков программирования. Выводы. Полученные результаты являются фундаментом для развития направления адаптивных сред программирования. Следующие шаги будут связаны с исследованием общего понятия композиции и разработкой связанных с ним редукционных методов исследования функций как сред прагматико-обусловленной декомпозиции программистских задач

Automation of optimization synthesis for modular technological equipment

Technological equipment design based on functionally modular methods is widely used in various technical fields. The designed object can be a technological machine, a production line, or a manufacturing complex. Special attention is paid to the optimization of its structure. The sequence of performing all stages of the optimization synthesis problem is presented in the article. To find a solution to this task, the developer should apply the complete or directed search of acceptable structure options and determine the best one using some optimization criteria to evaluate their quality. It can be simple enough if the designed technical system structure consists of no more than several elements. For example, if the number of alternative elements options is several dozen, it takes much time to accomplish the search correctly. Thus, the greater the number of components considered, the more difficult it is to do all the necessary calculations manually. In this case, machine resources should be involved. This scientific work aims to identify procedures of optimization synthesis that can be automated. Also, appropriate software has to be developed. Our computer program is based on the algorithm of a complete search of all options of the technical system structure. It can process an extensive array of input data and produce all possible and logically permissible results in the form the designer can analyze using the Pareto method to choose the best one. This software can be used for any technical system with a modular structure.info:eu-repo/semantics/publishedVersio

Алгебраическая характеристика класса графовых преобразователей

Вивчено примітивні програмні алгебри багатомісних функцій над множиною скінчених графів. Дано алгебраїчну характеристику класу графових перетворювачів. Викладені результати є доповненням результатів, отриманих раніше для векторних, матричних, реляційних та табличних функцій.Primitive program algebras of multiplace functions at a set of finite graphs were studied. An algebraic characteristic of the graph modifier class is given. The presented results are additional for the results previously obtained for vector, matrix, relational and table functions.Изучены примитивные программные алгебры многоместных функций над множеством конечных графов. Дана алгебраическая характеристика класса графовых преобразователей. Изложенные результаты являются дополнением результатов, полученных ранее для векторных, матричных, реляционных и табличных функций

Проблема полноты в классе сохраняющих денотаты функций над записями

Проблематика. Сучасна інформатико-технологічна проблематика така, що необхідний безпосередній розгляд навіть не стільки результатів розв’язків програмістських задач, скільки процесів їх розв’язання. Тому дослідження загальнозначимих структур організації цих процесів стають сьогодні надзвичайно актуальними. Особливе місце у цих дослідження посідає проблематика, пов’язана з побудовою алгебричних характеристик прагматично обумовлених класів функцій, у т.ч. з рішенням проблем повноти у відповідних алгебрах. Мета дослідження. Вирішення проблеми повноти в класі обчислюваних маніпуляційних функцій над записами, які зберігають денотати. Тут маніпуляційність уточнюється за допомогою властивості функції зберігати денотати (атомарні елементи, що формують записи). Методика реалізації. Як інструмент дослідження цього класу обчислюваних функцій у роботі вибрана примітивна програмна алгебра (ППА). В основу вирішення проблеми повноти цієї ППА та побудови системи її породжувальних покладено результат щодо повноти ППА над класом маніпуляційних функцій над кортежами. Проведені в роботі побудови базуються на алгебричних методах дослідження програм і методах композиційного програмування. Результати дослідження. Описано рішення проблеми повноти в класі обчислюваних маніпуляційних функцій над актуальним носієм – записами. Висновки. Отримані результати можуть бути застосовані для подальших теоретичних та прикладних досліджень методів маніпулювання записами, побудови алгебричних характеристик класів маніпуляційних функцій над перспективними носіями, наприклад списками, стеками, чергами тощо, для формалізації семантики мов програмування, які використовують записи як тип даних.Background. Modern range of IT problems forces researchers to not only consider solutions of programmers’ problems, but processes of their solution. That is why researches of generally valid organization structures of the processes become the most important. Distinct place in the researches take problems related with building of algebraic characteristics of pragmatically-conditioned function classes, including completeness problems solutions in corresponding algebras. Objective. Solution of completeness problem for class of computable manipulative functions on records. Term “manipulative” is specified as property of function to preserve denotations (atomic elements, which form records). Methods. Primitive program algebra (PPA) has been chosen as instrument for the research of this class of computable functions. Solution of PPA completeness problem for manipulative functions on n-tuples formed solution basis of completeness problem and basis of generative functions system creation. Buildings, made in the paper, are based on algebraic methods of program analysis and methods of compositional programming. Results. Solution of completeness problem for class of computable manipulative functions on records is described. Conclusions. Results yielded may be utilized for further theoretical and applied researches of record manipulation methods, uncovering algebraic characteristics of manipulation functions classes on perspective carriers, for instance, lists, stacks, queues etc., programming languages semantics formalization, which use records as data type.Проблематика. Современная информатико-технологическая проблематика такова, что необходимо непосредственное рассмотрение даже не столько результатов решений программистских задач, сколько процессов их решения. Поэтому исследования общезначимых структур организации этих процессов становятся очень актуальными. Особенное место в этих исследованиях занимает проблематика, связанная с построением алгебраических характеристик прагматически обусловленных классов функций, в т.ч. с решением проблем полноты в соответствующих алгебрах. Цель исследования. Решение проблемы полноты в классе вычислимых манипуляционных сохраняющих денотаты функций над записями. Манипуляционность уточняется посредством свойства функции сохранять денотаты (атомарные элементы, формирующие записи). Методика реализации. В качестве инструмента исследования данного класса вычислимых функций в работе выбрана примитивная программная алгебра (ППА). В основу решения проблемы полноты данной ППА и построения системы ее порождающих положен результат по полноте ППА над классом манипуляционных функций над кортежами. Проведенные в работе построения базируются на алгебраических методах исследования программ и методах композиционного программирования. Результаты исследования. Описано решение проблемы полноты в классе вычислимых манипуляционных функций над актуальными носителем – записями. Выводы. Полученные результаты могут быть применены для дальнейших теоретических и прикладных исследований методов манипулирования записями, построения алгебраических характеристик классов манипуляционных функций над перспективными носителями, например списками, стеками, очередями и т.п., для формализации семантики языков программирования, использующих записи как тип данных

Radial-piston pump for drive of test machines

The article reviews the development of radial-piston pump with phase control and alternating-flow mode for seismic-testing platforms and other test machines. The prospects for use of the developed device are proved. It is noted that the method of frequency modulation with the detection of the natural frequencies is easily realized by using the radial-piston pump. The prospects of further research are given proof

Роль лікаря первинної ланки в ранній діагностиці ендокринних захворювань у дітей

В умовах реформування сучасної медицини з ендокринною патологією доводиться стикатися не тільки дитячим ендокринологам, але й лікарям інших спеціальностей, в першу чергу, лікарям первинної ланки – педіатрам та сімейним лікарям. В даний час зберігається тенденція до зростання поширеності ендокринної патології у всіх вікових групах дитячого населення України. Мета дослідження. Оцінити частоту виявлення найбільш розповсюджених ендокринних захворювань у дітей лікарями первинної ланки та своєчасність направлення до дитячого ендокринолога. Матеріали і методи. В умовах дитячих амбулаторій проконсультовано та обстежено 4273 дитини у віці від 0 до 18 років. Дітям оцінювали антропометричні показники, стан щитоподібної залози та статевого розвитку. Обстеження всіх дітей на наявність ендокринної патології та підтвердження діагнозу проводили на підставі наказу МОЗ України №254 від 27.04.2006 року «Про затвердження протоколів надання медичної допомоги дітям за спеціальністю «Дитяча ендокринологія». Результати. Серед загальної кількості проконсультованих дітей ендокринна патологія виявлена у 36,7%. Діагноз вперше виявленої ендокринної патології підтверджений у 29,9% дітей. Серед ендокринної патології перше місце займає ожиріння – 39,9%, друге – патологія щитоподібної залози – 36,4%, третє – порушення росту – 18,3%, четверте – порушення статевого розвитку – 7,4%. В 40% випадків порушення статевого розвитку сполучається з порушеннями росту. Встановлено, що лікарями первинної ланки в 40-50% випадків не проводиться антропометрія у дітей взагалі, не оцінюється стан статевого розвитку в 70% випадків, що призводить до несвоєчасного направлення до дитячого ендокринолога та утрудняє подальше лікування. Висновки. Встановлено високий відсоток дітей з вперше виявленою ендокринною патологією на етапі первинної ланки та несвоєчасного направлення лікарями дітей до дитячого ендокринолога, що пов’язано з відсутністю оцінки лікарями первинної ланки антропометричних показників фізичного розвитку дитини, стану щитоподібної залози та статевого розвитку.In the context of the reform of modern medicine, endocrine pathology is encountered not only by pediatric endocrinologists, but also by doctors of other specialties, primarily primary care doctors - pediatricians and family doctors. Currently, there is a tendency to increase the prevalence of endocrine pathologists in all age groups of the children's population of Ukraine. Purpose of the study. To assess the frequency of detection of the most common endocrine diseases in children by primary care doctors and the timeliness of referral to a pediatric endocrinologist. Materials and methods. In the conditions of children's outpatient clinics, 4273 children were consulted and examined, aged from 0 to 18 years. Children were evaluated anthropometric indicators, the state of the thyroid gland and sexual development. Examination of all children for the presence of endocrine pathologists and confirmation of the diagnosis were carried out on the basis of the Order of the Ministry of Health of Ukraine No. 254 of 04/27/2006. "On the approved protocol for the medical support of children for the specialty" Child endocrinology ". Results. Among the total number of children consulted, endocrine pathology was manifested in 36.7%. The diagnosis of newly diagnosed endocrine pathology was first confirmed in 29, 9% of children. Among endocrine pathologists, perovism is occupied by obesity - 39.9%, the second - thyroid pathology - 36.4%, the third - impaired growth - 18.3%, the fourth - impaired sexual development - 7.4%. In 40% of cases, a violation of sexual development is combined with a violation of growth. It has been established that primary care doctors in 40-50% of cases do not perform anthropometry for children at all, the state of sexual development is not evaluated in 70% of cases, which leads to an untimely referral to a pediatric endocrinologist and complicates further treatment. Findings. A high percentage of children with first diagnosed endocrine pathology at the stage of primary care and the late delivery by doctors of children to a pediatric endocrinologist was established, which is due to the lack of primary care physicians' assessment of anthropometric indicators of the child’s physical development, thyroid and sexual development

Learning latent representations across multiple data domains using Lifelong VAEGAN

The problem of catastrophic forgetting occurs in deep learning models trained on multiple databases in a sequential manner. Recently, generative replay mechanisms (GRM), have been proposed to reproduce previously learned knowledge aiming to reduce the forgetting. However, such approaches lack an appropriate inference model and therefore can not provide latent representations of data. In this paper, we propose a novel lifelong learning approach, namely the Lifelong VAEGAN (L-VAEGAN), which not only induces a powerful generative replay network but also learns meaningful latent representations, benefiting representation learning. L-VAEGAN can allow to automatically embed the information associated with different domains into several clusters in the latent space, while also capturing semantically meaningful shared latent variables, across different data domains. The proposed model supports many downstream tasks that traditional generative replay methods can not, including interpolation and inference across different data domains