- home
- Advanced Search
- Energy Research
- 2016-2025
- UA
- CH
- DE
- CN
- Russian
- Energy Research
- 2016-2025
- UA
- CH
- DE
- CN
- Russian
description Publicationkeyboard_double_arrow_right Article 2020 UkrainePublisher:Национальный технический универститет "Харьковский политехнический институт" В работе предлагаются математические модели газовоздушного тракта котла и механизмов собственных нужд ТЭС. С использованием табличных и графических представлений напорных характеристик серийных вентиляторов и дымососов получены эквивалентные соотношения для сети механизмов. Исследована задача нахождения оптимальных параметров управления для группы центробежных механизмов, обеспечивающих работу газовоздушного тракта котла. Исследовано влияние разрежения в топке котла на режим работы его вспомогательных механизмов. Приводятся результаты моделирования для типичных последовательно-параллельных соединений механизмов в гидравлических сетях ТЭС. ; The paper presents a mathematical model for thermal power plant's boiler air-gas flow paths and auxiliaries. With application of production fans' and flue gas extractor fans' head-capacity curves and tables, equivalent relations for the net of the mechanisms are obtained. A problem of determining the optimal control parameters for a group of centrifugal mechanisms in the air-gas path is studied. The effect of the boiler furnace draft on its auxiliaries operation is analyzed. The results of mathematical modeling for typical serial and parallel connections of the mechanisms in the thermal power plant hydraulic network are given.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::e877894958f24b4163f87e669a0ba4c0&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::e877894958f24b4163f87e669a0ba4c0&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Thesis 2017 UkrainePublisher:Сумский государственный университет Authors: Kniaz, Ihor Oleksandrovych;В представленной работе был изучен индуцированный шумом, направленный перенос инерционной броуновской частицы, движущейся в симметричном пространственно-периодическом потенциале под воздействием коррелирующих цветных шумов. При условии наличия малых времен корреляции цветных флуктуаций было получено аналитическое выражение для результирующего потока в передемпфированной системе.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::430f1af250490f8a5a641829b2da68ca&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::430f1af250490f8a5a641829b2da68ca&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2017Publisher:Zenodo In the paper we emphasize that the main problems in human development (energy, ecology, food), in the first place, are typical for the food production sector and their solutions are connected with searching for fundamentally new approaches at the thermal processing of raw materials. Prospects of electro-technologies of the targeted energy delivery to single elements of food raw materials are substantiated. Hypotheses for the energy effective processes of dehydration, extraction and inactivation of microorganisms are formulated. On the base of the literature sources analyses and our study of the electromagnetic field interaction with food raw materials, the dimensionless complex – the number of energy action is offered. That number is used for the evaluation of mass-transfer processes energy and its kinetics. The modeling results of analytical and experimental processes for drying and pasteurization processes are represented. The steps of energy conversion in drying technologies are considered. Показано, что основные проблемы развития человечества (энергия, экология, пища) в первую очередь характерны для пищевых отраслей, а их решение связано с поиском принципиально новых подходов к термической обработке сырья. Обоснованы перспективы электротехнологий адресной доставки энергии к отдельным элементам пищевого сырья. Сформулированы гипотезы энергоэффективных процессов обезвоживания, экстрагирования и инактивации микроорганизмов. На основе критического анализа литературных источников и исследования механизмов взаимодействия электромагнитного поля с пищевым сырьем предложен безразмерный комплекс – число энергетического воздействия. Это число использовано для оценки энергетики процессов массопереноса и их кинетики. Представлены результаты аналитического и экспериментального моделирования процессов сушки и пастеризации. Рассмотрены этапы конверсии энергии в сушильных технологиях.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1053532&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen 0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1053532&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2017 UkraineПроанализированы особенности пространственно-временных вариаций индексов континентальности Gor czynski и Johanson-Ringleb и амплитуды сезонного хода приземной температуры в Украине в условиях современного глобального потепления. Установлено, что на фоне общего уменьшения индексов континентальности и амплитуды сезонного хода температуры в период 1900-2015 гг. происходит стремительное увеличение их значений в последние ~45 лет, что связано с возрастанием повторяемости аномально высоких температур летом. Выдвинуто предположение, что, в соответствии с ранее предложенной нами гипотезой, это результат сдвига северной периферии пояса субтропических антициклонов, в том числе и на территорию Украины.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::a657b91a259e98562bb74c2a0d0601e8&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::a657b91a259e98562bb74c2a0d0601e8&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Book 2016 UkrainePublisher:«ИТД «Университетская книга» Authors: Melnyk, Leonid Hryhorovych;Сьогодні ми присутні при зміні основного предмета дослідження наук, які змушені переходити від вивчення стану систем до дослідження процесу змін їх стану, тобто розвитку. У книзі на прикладі процесів і явищ в неживій природі, біосфері і суспільстві розглядаються закономірності самоорганізації і розвитку відкритих стаціонарних систем, як єдиного ходу еволюції природи. Досліджується феномен тріалектіческого єдності матеріально-енергетичного, інформаційного і синергетичного почав як основи креативної функції природи. Розглядаються ключові фактори і механізми впорядкування та розвитку систем: зворотні зв'язки, пам'ять, матеріально-інформаційно-синергетичні конвертації, антіентропійний потенціал, трансформаційні механізми (адаптаційні і біфуркаційні), еволюційні чинники (мінливість, спадковість, відбір). Досліджуються передумови сталого (сестейнового) соціально-енергетичного розвитку і формування інформаційного суспільства, а також особливості реалізації Третьої і Четвертої промислових революцій. Для науковців, фахівців підприємств, викладачів і студентів вищих навчальних закладів. ; Сегодня мы присутствуем при смене основного предмета исследования наук, которые вынуждены переходить от изучения состояния систем к исследованию процесса изменений их состояния, т.е. развития. В книге на примере процессов и явлений в неживой природе, биосфере и обществе рассматриваются закономерности самоорганизации и развития открытых стационарных систем, как единого хода эволюции природы. Исследуется феномен триалектического единства материально-энергетического, информационного и синергетического начал как основы креативной функции природы. Рассматриваются ключевые факторы и механизмы упорядочения и развития систем: обратные связи, память, материально-информационно-синергетические конвертации, антиэнтропийный потенциал, трансформационные механизмы (адаптационные и бифуркационные), эволюционные факторы (изменчивость, наследственность, отбор). Исследуются предпосылки устойчивого (сестейнового) социально-энергетического развития и ...
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7587577a7b338ed779162d520e8e9c41&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7587577a7b338ed779162d520e8e9c41&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2016 UkrainePublisher:НТУ "ХПИ" Приведены результаты численного исследования влияния сложного окружного навала лопасти рабочего колеса осевой гидротурбины ПЛ20 навала на характеристики потока в проточной части. Моделирование течения выполнено на основе численного интегрирования уравнений Рейнольдса с дополнительным членом, содержащим искусственную сжимаемость. Для учета турбулентных эффектов применена двухпараметрическая модель турбулентности Ментера (SST). Исследования проведены с использованием программного комплекса IPMFlow. Представлен анализ структуры потока в расчетных областях с учетом и без отсасывающей трубы, а также зависимости значений мощности и КПД проточной части от величины навала при оптимальном режиме работы. ; The results of numerical investigation of the influence of spatial profiling of the runner blade of Kaplan turbine PL20 with the usage of complex circular offset on flow characteristic in flow part are presented. The flow simulation has been carried out on basis of numerical integration of the Reynolds equations with an additional term containing artificial compressibility. The differential two-parameter model of Menter (SST) has been applied to take into account turbulent effects. The investigations have been conducted by means of the software package IPMFlow. The analysis of flow pattern in computational regions with and without the draft tube, as well as dependences of the capacity and efficiency of flow part from offset value at optimum operating condition is presented. It is shown that the application of spatial profiling of the runner blade has improved the efficiency and capacity of flow part of modern hydroturbine more than 0,70 %.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::4168ced4b42a90a36f97f4d45cc6fc1d&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::4168ced4b42a90a36f97f4d45cc6fc1d&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2017 UkraineAuthors: Lysenko, Olha;RU: При статистическом анализе имеющихся метеорологических данных и разработке на их базе математических моделей прогнозирования генерации энергии обычно в качестве исходных данных используют средние дневные, а в некоторых исследованиях среднемесячные значения солнечной радиации, что может негативно влиять на точность прогнозирования. Данная работа посвящена проведению статистического анализа данных солнечной радиации, полученных с Токмакской СЭС Запорожской области, Украина в течение 2016 года, с 30-минутным интервалом измерения. Анализ данных указывает на достаточно близкие значения зимних и летних показателей инсоляции (прямой и рассеянной), с разницей примерно в два раза. Математическое ожидание величины скачков мощности близко к нулю, а их распределение имеет признаки симметрии. Результаты подсчета фактических данных указывают на несколько завышенные показатели элементарных скачков мощности СЭС, чем рассчитанные по квантилю нормального распределения. Таким образом, фактическое распределение соответствует нормальному по параметру симметрии, однако не соответствует по параметрам эксцесса. При увеличении временного диапазона вдвое от 30 минут до 1 часа размах изменений мощности вырастает незначительно. Также анализ метеоданных показал, что вероятность длительного роста или спада мощности невысока, то есть изменение мощности как случайный процесс можно считать близким к стационарному. Выполненный анализ позволяет оценить возможности электроснабжения потребителей рассматриваемого региона от солнечной электростанции, а также построить математическую модель работы комбинированной энергосистемы, использующей солнечную энергию. RO: Analiza statistică a datelor meteorologice şi elaborarea în baza lor a modelelor matematice de prognoză a producerii energiei electrice pentru ce de obicei utilizează în calitate de informaţie primară valorile medii a radiaţiei solare per zi, iar în unele cazuri cele lunare, ce poate influenţa negativ asupra preciţiei prognozei. În această se realizează analiza statistică a radiaţiei ...
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::5999efa54185eaba434059dc3c8136ff&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::5999efa54185eaba434059dc3c8136ff&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Report 2018 Switzerland, PakistanPublisher:Всемирная организация здравоохранения Authors: Всемирная ассамблея здравоохранения, 71;9 p.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7504961ab616e05afa1d4f620fa1d7fd&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7504961ab616e05afa1d4f620fa1d7fd&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2016 UkrainePublisher:Видавництво НГУ Рассмотрен знаковый факт возврата ФГУП «НО РАО» к «национальной идее» ядерного могильника на Новой Земле как следствие гипертрофированного, возможно, чувства особости, самодостаточности и приоритетности российской атомной отрасли. Своевольный возврат к ранее признанной ошибкой идее без публичного опровержения прежнего заключения РАН и решения Минатома означает, что «Национальный оператор» испытывает серьезные трудности при собственном надежном обосновании способов и мест геологической/финальной и других видов изоляции радиоактивных отходов, при этом частично игнорируя/искажая общепризнанную зарубежную методологию. Ситуация дополнительно осложнена мировым экономическим и политическим кризисом. Трудности для всех типов могильников можно экономично и объективно преодолеть, привлекая горный, геологический и материаловедческий опыт, а также ресурсы извне Росатома. ; There is considered an emblematic fact of going back to the "national idea" of a nuclear final storage facility on Novaya Zemlya made by the Federal State Unitay Enterprise "National Operator for Radioactive Waste Management" as a result of a probably exaggerated sence of specialness, self‐sufficience and priority of Russian atomic branch. The self‐willed return to the idea, earlier conceded to be a mistake, without a public refutation of previous conclusion of the Russian Academy of Science and Minatom decision implicates that the "National Operator" has a hard time of reliably proving itself the ways and sites for geological/ final and other kinds of isolation of radioactive waste, furthermore it partially ignores/ distorts the recognized international methodology. The situation is additionally complicated by the world economic and political crisis. Difficulties for all types of final storage facilities can be objectively and efficiently mastered by using the experience of mining, geology and material sciences as well as resources external to Rosatom.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::dea26b19d60f785dc801aa8989d9f885&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::dea26b19d60f785dc801aa8989d9f885&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2019Publisher:Zenodo Authors: Timenko A.V.; Shkarupylo V.V.; Oliinyk A.O.; Hrushko S.S.;Today, the significant volumes of network traffic circulate through the Internet. The sources of such traffic are, in particular, the diverse territory distributed “smart” devices. The number of named devices is about billions. As a consequence, the relevance of bringing to practice the core concepts of the Internet of Things paradigm is constantly becoming more and more topical. It’s bound with the problem of granting the interoperability between the components of distributed software systems, built over the aforementioned devices. The web services are typically considered as the components of the system. To this end, to establish the interoperability between the components, despite the standardization, the need for the development of effective tools and techniques, granting the interoperability between the web services, arises. The goal of the work is to increase the effectiveness of the Internet of Things system engineering process by way of checking the interoperability between the components during the designing. The goal is achieved through the development of formal model for checking the interoperability between the components of the Internet of Things system by way of model checking in an automated manner. The novelty of proposed solution is grounded on the usage of Temporal Logic of Actions, corresponding formalism and the concept of action as the basis for compact and easily reconfigurable formal specifications synthesis. The adequacy of proposed model has been proved through the case study. The verification-related time costs have been estimated.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.3239195&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.3239195&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu
description Publicationkeyboard_double_arrow_right Article 2020 UkrainePublisher:Национальный технический универститет "Харьковский политехнический институт" В работе предлагаются математические модели газовоздушного тракта котла и механизмов собственных нужд ТЭС. С использованием табличных и графических представлений напорных характеристик серийных вентиляторов и дымососов получены эквивалентные соотношения для сети механизмов. Исследована задача нахождения оптимальных параметров управления для группы центробежных механизмов, обеспечивающих работу газовоздушного тракта котла. Исследовано влияние разрежения в топке котла на режим работы его вспомогательных механизмов. Приводятся результаты моделирования для типичных последовательно-параллельных соединений механизмов в гидравлических сетях ТЭС. ; The paper presents a mathematical model for thermal power plant's boiler air-gas flow paths and auxiliaries. With application of production fans' and flue gas extractor fans' head-capacity curves and tables, equivalent relations for the net of the mechanisms are obtained. A problem of determining the optimal control parameters for a group of centrifugal mechanisms in the air-gas path is studied. The effect of the boiler furnace draft on its auxiliaries operation is analyzed. The results of mathematical modeling for typical serial and parallel connections of the mechanisms in the thermal power plant hydraulic network are given.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::e877894958f24b4163f87e669a0ba4c0&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::e877894958f24b4163f87e669a0ba4c0&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Thesis 2017 UkrainePublisher:Сумский государственный университет Authors: Kniaz, Ihor Oleksandrovych;В представленной работе был изучен индуцированный шумом, направленный перенос инерционной броуновской частицы, движущейся в симметричном пространственно-периодическом потенциале под воздействием коррелирующих цветных шумов. При условии наличия малых времен корреляции цветных флуктуаций было получено аналитическое выражение для результирующего потока в передемпфированной системе.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::430f1af250490f8a5a641829b2da68ca&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::430f1af250490f8a5a641829b2da68ca&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2017Publisher:Zenodo In the paper we emphasize that the main problems in human development (energy, ecology, food), in the first place, are typical for the food production sector and their solutions are connected with searching for fundamentally new approaches at the thermal processing of raw materials. Prospects of electro-technologies of the targeted energy delivery to single elements of food raw materials are substantiated. Hypotheses for the energy effective processes of dehydration, extraction and inactivation of microorganisms are formulated. On the base of the literature sources analyses and our study of the electromagnetic field interaction with food raw materials, the dimensionless complex – the number of energy action is offered. That number is used for the evaluation of mass-transfer processes energy and its kinetics. The modeling results of analytical and experimental processes for drying and pasteurization processes are represented. The steps of energy conversion in drying technologies are considered. Показано, что основные проблемы развития человечества (энергия, экология, пища) в первую очередь характерны для пищевых отраслей, а их решение связано с поиском принципиально новых подходов к термической обработке сырья. Обоснованы перспективы электротехнологий адресной доставки энергии к отдельным элементам пищевого сырья. Сформулированы гипотезы энергоэффективных процессов обезвоживания, экстрагирования и инактивации микроорганизмов. На основе критического анализа литературных источников и исследования механизмов взаимодействия электромагнитного поля с пищевым сырьем предложен безразмерный комплекс – число энергетического воздействия. Это число использовано для оценки энергетики процессов массопереноса и их кинетики. Представлены результаты аналитического и экспериментального моделирования процессов сушки и пастеризации. Рассмотрены этапы конверсии энергии в сушильных технологиях.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1053532&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess RoutesGreen 0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1053532&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2017 UkraineПроанализированы особенности пространственно-временных вариаций индексов континентальности Gor czynski и Johanson-Ringleb и амплитуды сезонного хода приземной температуры в Украине в условиях современного глобального потепления. Установлено, что на фоне общего уменьшения индексов континентальности и амплитуды сезонного хода температуры в период 1900-2015 гг. происходит стремительное увеличение их значений в последние ~45 лет, что связано с возрастанием повторяемости аномально высоких температур летом. Выдвинуто предположение, что, в соответствии с ранее предложенной нами гипотезой, это результат сдвига северной периферии пояса субтропических антициклонов, в том числе и на территорию Украины.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::a657b91a259e98562bb74c2a0d0601e8&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::a657b91a259e98562bb74c2a0d0601e8&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Book 2016 UkrainePublisher:«ИТД «Университетская книга» Authors: Melnyk, Leonid Hryhorovych;Сьогодні ми присутні при зміні основного предмета дослідження наук, які змушені переходити від вивчення стану систем до дослідження процесу змін їх стану, тобто розвитку. У книзі на прикладі процесів і явищ в неживій природі, біосфері і суспільстві розглядаються закономірності самоорганізації і розвитку відкритих стаціонарних систем, як єдиного ходу еволюції природи. Досліджується феномен тріалектіческого єдності матеріально-енергетичного, інформаційного і синергетичного почав як основи креативної функції природи. Розглядаються ключові фактори і механізми впорядкування та розвитку систем: зворотні зв'язки, пам'ять, матеріально-інформаційно-синергетичні конвертації, антіентропійний потенціал, трансформаційні механізми (адаптаційні і біфуркаційні), еволюційні чинники (мінливість, спадковість, відбір). Досліджуються передумови сталого (сестейнового) соціально-енергетичного розвитку і формування інформаційного суспільства, а також особливості реалізації Третьої і Четвертої промислових революцій. Для науковців, фахівців підприємств, викладачів і студентів вищих навчальних закладів. ; Сегодня мы присутствуем при смене основного предмета исследования наук, которые вынуждены переходить от изучения состояния систем к исследованию процесса изменений их состояния, т.е. развития. В книге на примере процессов и явлений в неживой природе, биосфере и обществе рассматриваются закономерности самоорганизации и развития открытых стационарных систем, как единого хода эволюции природы. Исследуется феномен триалектического единства материально-энергетического, информационного и синергетического начал как основы креативной функции природы. Рассматриваются ключевые факторы и механизмы упорядочения и развития систем: обратные связи, память, материально-информационно-синергетические конвертации, антиэнтропийный потенциал, трансформационные механизмы (адаптационные и бифуркационные), эволюционные факторы (изменчивость, наследственность, отбор). Исследуются предпосылки устойчивого (сестейнового) социально-энергетического развития и ...
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7587577a7b338ed779162d520e8e9c41&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7587577a7b338ed779162d520e8e9c41&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2016 UkrainePublisher:НТУ "ХПИ" Приведены результаты численного исследования влияния сложного окружного навала лопасти рабочего колеса осевой гидротурбины ПЛ20 навала на характеристики потока в проточной части. Моделирование течения выполнено на основе численного интегрирования уравнений Рейнольдса с дополнительным членом, содержащим искусственную сжимаемость. Для учета турбулентных эффектов применена двухпараметрическая модель турбулентности Ментера (SST). Исследования проведены с использованием программного комплекса IPMFlow. Представлен анализ структуры потока в расчетных областях с учетом и без отсасывающей трубы, а также зависимости значений мощности и КПД проточной части от величины навала при оптимальном режиме работы. ; The results of numerical investigation of the influence of spatial profiling of the runner blade of Kaplan turbine PL20 with the usage of complex circular offset on flow characteristic in flow part are presented. The flow simulation has been carried out on basis of numerical integration of the Reynolds equations with an additional term containing artificial compressibility. The differential two-parameter model of Menter (SST) has been applied to take into account turbulent effects. The investigations have been conducted by means of the software package IPMFlow. The analysis of flow pattern in computational regions with and without the draft tube, as well as dependences of the capacity and efficiency of flow part from offset value at optimum operating condition is presented. It is shown that the application of spatial profiling of the runner blade has improved the efficiency and capacity of flow part of modern hydroturbine more than 0,70 %.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::4168ced4b42a90a36f97f4d45cc6fc1d&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::4168ced4b42a90a36f97f4d45cc6fc1d&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2017 UkraineAuthors: Lysenko, Olha;RU: При статистическом анализе имеющихся метеорологических данных и разработке на их базе математических моделей прогнозирования генерации энергии обычно в качестве исходных данных используют средние дневные, а в некоторых исследованиях среднемесячные значения солнечной радиации, что может негативно влиять на точность прогнозирования. Данная работа посвящена проведению статистического анализа данных солнечной радиации, полученных с Токмакской СЭС Запорожской области, Украина в течение 2016 года, с 30-минутным интервалом измерения. Анализ данных указывает на достаточно близкие значения зимних и летних показателей инсоляции (прямой и рассеянной), с разницей примерно в два раза. Математическое ожидание величины скачков мощности близко к нулю, а их распределение имеет признаки симметрии. Результаты подсчета фактических данных указывают на несколько завышенные показатели элементарных скачков мощности СЭС, чем рассчитанные по квантилю нормального распределения. Таким образом, фактическое распределение соответствует нормальному по параметру симметрии, однако не соответствует по параметрам эксцесса. При увеличении временного диапазона вдвое от 30 минут до 1 часа размах изменений мощности вырастает незначительно. Также анализ метеоданных показал, что вероятность длительного роста или спада мощности невысока, то есть изменение мощности как случайный процесс можно считать близким к стационарному. Выполненный анализ позволяет оценить возможности электроснабжения потребителей рассматриваемого региона от солнечной электростанции, а также построить математическую модель работы комбинированной энергосистемы, использующей солнечную энергию. RO: Analiza statistică a datelor meteorologice şi elaborarea în baza lor a modelelor matematice de prognoză a producerii energiei electrice pentru ce de obicei utilizează în calitate de informaţie primară valorile medii a radiaţiei solare per zi, iar în unele cazuri cele lunare, ce poate influenţa negativ asupra preciţiei prognozei. În această se realizează analiza statistică a radiaţiei ...
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::5999efa54185eaba434059dc3c8136ff&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::5999efa54185eaba434059dc3c8136ff&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Report 2018 Switzerland, PakistanPublisher:Всемирная организация здравоохранения Authors: Всемирная ассамблея здравоохранения, 71;9 p.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7504961ab616e05afa1d4f620fa1d7fd&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::7504961ab616e05afa1d4f620fa1d7fd&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2016 UkrainePublisher:Видавництво НГУ Рассмотрен знаковый факт возврата ФГУП «НО РАО» к «национальной идее» ядерного могильника на Новой Земле как следствие гипертрофированного, возможно, чувства особости, самодостаточности и приоритетности российской атомной отрасли. Своевольный возврат к ранее признанной ошибкой идее без публичного опровержения прежнего заключения РАН и решения Минатома означает, что «Национальный оператор» испытывает серьезные трудности при собственном надежном обосновании способов и мест геологической/финальной и других видов изоляции радиоактивных отходов, при этом частично игнорируя/искажая общепризнанную зарубежную методологию. Ситуация дополнительно осложнена мировым экономическим и политическим кризисом. Трудности для всех типов могильников можно экономично и объективно преодолеть, привлекая горный, геологический и материаловедческий опыт, а также ресурсы извне Росатома. ; There is considered an emblematic fact of going back to the "national idea" of a nuclear final storage facility on Novaya Zemlya made by the Federal State Unitay Enterprise "National Operator for Radioactive Waste Management" as a result of a probably exaggerated sence of specialness, self‐sufficience and priority of Russian atomic branch. The self‐willed return to the idea, earlier conceded to be a mistake, without a public refutation of previous conclusion of the Russian Academy of Science and Minatom decision implicates that the "National Operator" has a hard time of reliably proving itself the ways and sites for geological/ final and other kinds of isolation of radioactive waste, furthermore it partially ignores/ distorts the recognized international methodology. The situation is additionally complicated by the world economic and political crisis. Difficulties for all types of final storage facilities can be objectively and efficiently mastered by using the experience of mining, geology and material sciences as well as resources external to Rosatom.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::dea26b19d60f785dc801aa8989d9f885&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=base_search_::dea26b19d60f785dc801aa8989d9f885&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Article 2019Publisher:Zenodo Authors: Timenko A.V.; Shkarupylo V.V.; Oliinyk A.O.; Hrushko S.S.;Today, the significant volumes of network traffic circulate through the Internet. The sources of such traffic are, in particular, the diverse territory distributed “smart” devices. The number of named devices is about billions. As a consequence, the relevance of bringing to practice the core concepts of the Internet of Things paradigm is constantly becoming more and more topical. It’s bound with the problem of granting the interoperability between the components of distributed software systems, built over the aforementioned devices. The web services are typically considered as the components of the system. To this end, to establish the interoperability between the components, despite the standardization, the need for the development of effective tools and techniques, granting the interoperability between the web services, arises. The goal of the work is to increase the effectiveness of the Internet of Things system engineering process by way of checking the interoperability between the components during the designing. The goal is achieved through the development of formal model for checking the interoperability between the components of the Internet of Things system by way of model checking in an automated manner. The novelty of proposed solution is grounded on the usage of Temporal Logic of Actions, corresponding formalism and the concept of action as the basis for compact and easily reconfigurable formal specifications synthesis. The adequacy of proposed model has been proved through the case study. The verification-related time costs have been estimated.
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.3239195&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!
more_vert add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.3239195&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu