natgillin/translations-raw huggingface dataset:
In today's world, the problems of automating processes and reducing the participation of people in them are becoming more common.
В сучасному світі все поширенішими стають проблеми автоматизації процесів та зменшенню участі в них людей.
In addition, when performing experiments, it is possible to obtain new hypotheses and find ways to confirm them.
Окрім цього, при виконанні експериментів можливо отримання нових гіпотез та пошук шляхів їх підтвердження.
The control systems of such systems must be as reliable as possible, for which they can be built on so-called fault-tolerant multiprocessor systems.
Системи керування таких систем повинні бути максимально надійними, для чого можуть бути побудовані на так званих відмовостійких багатопроцесорних системах (ВБС).
The results of the dissertation are presented in scientific works, including:- XIV scientific-practical conference of undergraduates and graduate students of AMC-2021 of the Faculty of Applied Mathematics;- XII International Scientific and Practical Conference of Young Scientists "Information Technology: Economics, Technology, Education 2021".
Результати дисертації викладено в наукових працях, у тому числі:- XIV науково-практична конференція магістрантів та аспірантів ПМК-2021 факультету прикладної математики;- XІI міжнародна науково-практична конференція молодих вчених "Інформаційні технології: економіка, техніка, освіта 2021" (НУБіП).
The correctness of the described formal method in the framework of the conducted experiments is confirmed in the work.
В роботі підтверджено коректність описаного формального методу в рамках проведених експериментів.
The main provisions and results of the work were presented at the scientific conference "XIV scientific-practical conference of undergraduates and graduate students of AMC-2021 of the Faculty of Applied Mathematics".
Основні положення й результати роботи представлено на науковій конференції «XIV науково-практична конференція магістрантів та аспірантів ПМК-2021 факультету прикладної математики».
Along with the transition to multiprocessor systems, the problem of reliability of such systems has become more acute.
Разом із переходом до багатопроцесорних систем, більш гострою стала проблема надійності таких систем.
The master's dissertation is executed on 80 sheets, it contains the list of references to the used sources from 20 names.
Магістерська дисертація виконана на 80 аркушах, вона містить перелік посилань на використані джерела з 20 найменувань.
Using this method, you can conduct test experiments on models of multiprocessor systems.
Користуючись цим методом, можна проводити тестові експерименти над моделями багатопроцесорних систем.
The third section substantiates the choice of tools for software development, describes the main modules and functions of the developed software, data structures and data storage models.
В третьому розділі обґрунтовано вибір інструментів для розробки програмного засобу (ПЗ), описано основні модулі та функції розробленого ПЗ, структури даних та моделі збереження даних.
The first section gives the basic definitions of multiprocessor systems, studies their structures and methods of testing.
У першому розділі даються основні визначення багатопроцесорних систем, вивчаються їх структури та методи їх тестування.
A method for organizing and performing test experiments in multiprocessor systems with arbitrary topologies is proposed.
Запропоновано спосіб організації і виконання тестових експериментів у багатопроцесорних системах з довільними топологіями.
A popular model for the organization of cross-testing is the Preparate-Metze-Chen model (PMC model), which is based on a sequence of cross-checks of processors.
Популярною моделлю організації взаємного тестування є модель Препарати-Метца-Чена (ПМЧ-модель), що базується на послідовності взаємних перевірок процесорів ВБС.
The fourth section of the explanatory note tested the developed software, tested the performance of the proposed method of organizing a test experiment for various input parameters of multiprocessor systems, and gave examples of using the method and software to analyze, compare and study the ability of multiprocessor systems to self-test.
В четвертому розділі пояснювальної записки проведено тестування розробленого програмного засобу, перевірено працездатність запропонованого методу організації тестового експерименту для різних вхідних параметрів багатопроцесорних систем, а також наведено приклади використання методу та ПЗ для аналізу, порівняння та дослідження здатності багатопроцесорних систем до самотестування.
The subject of research is the methods of self-diagnosis of multiprocessor systemsResearch methods: methods of testing multiprocessor systems, methods of organizing self-testing experiments, methods of algorithm theory and programming.
Предметом дослідження є методи організації самодіагностування багатопроцесорних системМетоди дослідження: методи тестування багатопроцесорних систем, методи організації експериментів самотестування БС, зметоди теорії алгоритмів та програмування.
The object of research is the process of testing multiprocessor systems.
Об’єктом дослідження є процес тестування багатопроцесорних систем.
Software has been developed on the basis of a formal method for determining the state of multiprocessor system processors, which is based on the PMC model.
Розроблено програмні засоби на базі формального методу визначення стану процесорів багатопроцесорної системи, що побудовано на основі ПМЧ-моделі.
Thus, finding a way to organize such test experiments to determine the state of multiprocessor system processors allows you to evaluate the topologies of multiprocessor systems, compare them and investigate the generated sets of topologies for given system’s parameters.
Таким чином, знаходження способу організації таких тестових експериментів з визначення стану процесорів багатопроцесорної системи дозволяє проводити оцінку топологій багатопроцесорних систем, виконувати їх порівняння та досліджувати згенеровані множини топологій для заданих параметрів БС.
In the second section the comparative analysis of methods of testing of multiprocessor systems is carried out, the choice of a subject of research is proved and the formal method of definition of a condition of processors of multiprocessor system is described.
У другому розділі проведено порівняльний аналіз методів тестування багатопроцесорних систем, обґрунтовано вибір тематики дослідження та описано формальний метод визначення стану процесорів багатопроцесорної системи.
The practical value is in the use of the proposed method in the organization of experiments: to determine the optimal parameters of system when generating and comparing the characteristics of a large number of different topologies of multiprocessor systems both within the number of failed system processors faulty processors, in which the result of self-testing is not guaranteed to be correct.
Практична цінність полягає у використанні запропонованого способу при організації експериментів: для визначення оптимальних параметрів БС при генерації та порівнянні характеристик великої кількості різних топологій багатопроцесорних систем як в межах кількості процесорів системи, що відмовили, при якому система може бути однозначно самодіагностовано, так і для такої кількості несправних процесорів, при якій результат самотестування не гарантовано вірний.
To propose a way to organize test experiments in multiprocessor systems that have an arbitrary topology, and on the basis of a formal method to determine the states of processors of systems, develop appropriate software and conduct a series of test experiments.
Запропонувати спосіб організації тестових експериментів у багатопроцесорних системах, які мають довільну топологію, та на основі формального методу визначати стани процесорів таких систем, розробити відповідне програмне забезпечення та провести ряд тестових експериментів.
One of the most important theme in the design of reliable system is solving the problem of self-diagnosis of the system.
Одним з актуальних та ключових питань в проєктуванні ВБС є вирішення проблеми процесу самодіагностування системи.
According to the PMC model, a formal method has been developed to determine the states of processors with arbitrary communication topologies.
За ПМЧ-моделлю, був розроблений формальний метод, який дозволяє визначати стани процесорів з довільною топологією зв’язку.
Algorithm for determining the maximum multiplicity of system diagnosing, algorithm for testing the system for the ability to self-test for a given number of faulty processors, algorithms for mutual testing of processors, a general algorithm for testing experiments using developed software.
Крім цього, в розділі описано основні алгоритми та організації тестових експериментів їх реалізації в ПЗ, а саме: алгоритм визначення максимальної кратності діагностованості БС, алгоритм перевірки системи на здатність до самотестування при заданій кількості несправних процесорів, алгоритми взаємного тестування процесорів, а також загальний алгоритм проведення тестового експерименту з використанням розробленого ПЗ.
The reason for this phenomenon may be the change of the mechanism of low-frequency electromagnetic response in nanosized metal particles in comparison with macroscopic metals.
Причиною цього може бути зміна механізму низькочастотного електромагнітного відгуку в нанорозмірних металевих частинках у порівнянні з макроскопічними металами.
Optical properties of nickel nanoparticles in systems with a statistically inhomogeneous structure
Оптичні властивості наночастинок нікелю в системах зі статистично неоднорідною структурою
In this case, the value of optical electric conductivity of nickel nanoparticles monotonically decreases with a decrease in the size by 1-2 orders of magnitude.
При цьому значення оптичної провідності наночастинки нікелю монотонно падають зі зменшенням розміру на 1-2 порядки величини.
It is shown that in the nanoparticles of nickel absorption of "Drude" type in the near infrared region the spectrum is suppressed.
Показано, що в наночастицах нікелю поглинання "друдівського" типу в ближній інфрачервоній області спектра придушене.
Comparison of the obtained values of optical electric conductivity of particles in the range of the considered interval with the values of optical electric conductivity of macroscopic samples of nickel in the studied range of the spectrum shows that in particles the value of optical electric conductivity is 2-3 orders of magnitude smaller than that of bulk metals.
Порівняння отриманих значень оптичної електронної провідності частинок в межах розглянутого інтервалу зі значеннями оптичної електронної провідності макроскопічних об’ємів нікелю в досліджуваному діапазоні спектра показує, що в частинках значення оптичної електронної провідності на 2-3 порядки величини менше, ніж в масивних металах.
The research results are of interest for the development and optimization of nanostructured systems with the inclusion of nanosized nickel particles and functional devices based on them with given electromagnetic characteristics.
Результати досліджень представляють інтерес для розробки та оптимізації наноструктурних систем і функціональних пристроїв на їх основі із заданими електромагнітними характеристиками.
An improved experimental-analytical method for determining the complex specific electric polarizability of nanosized particles in systems with a statistically inhomogeneous structure is based on spectrophotometric and electron-microscopic measurements on two-dimensional structures and application of analytical solution of Rosenberg’s spectrophotometric equations with the consideration of analysis of particle size distribution.
Вдосконалений експериментально-аналітичний метод визначення комплексної питомої електричної поляризованості нанорозмірних частинок в системах зі статистично неоднорідною структурою засновано на спектрофотометричних і електронно-мікроскопічних вимірах на двовимірних структурах і застосуванні аналітичного рішення спектрофотометричних рівнянь Розенберга з урахуванням аналізу розподілу часток за розмірами.
The analysis and further development of the experimental-analytical approach for determining the values of the optical parameters of nanosized particles for a system with a statistically inhomogeneous structure is presented.
Представлений аналіз та подальший розвиток експериментально-аналітичного підходу для визначення значень оптичних параметрів нанорозмірних частинок в системі зі статистично неоднорідною структурою.
A significant increase to one order of magnitude of the absolute values of complex specific electric polarizability of nickel particles with a decrease in their size and in comparison with absolute values of complex specific electric polarizability of model spheres with refractive index and absorption index of nickel in macroscopic volumes was revealed.
Виявлено значне зростання до одного порядку величини абсолютних значень дійсної і уявної частин комплексної питомої електричної поляризованості частинок нікелю і при зменшенні їх розміру та в порівнянні з абсолютними значеннями дійсної і уявної частин комплексної питомої електричної поляризованості модельних сфер з оптичними параметрами для макроскопічних об’ємів нікелю.
Islands nickel film presented morphological microstructure in the form of monolayers isolated from each other nanoislands spherical surface nickel concentration (0.
Острівкові плівки нікелю представляли морфологічну мікроструктуру у вигляді моношарів ізольованих один від одного сферичних наноострівків нікелю з поверхневою концентрацією (0,8 ÷ 2,0) • 10^12 см^-2 і середнім діаметром частинок 2,5 ÷ 7 нм.
Experimental spectrophotometric and electron-microscopic studies of nickel islet films with weight thickness from 0.
Проведено експериментальні спектрофотометричні та електронно-мікроскопічні дослідження острівкових плівок нікелю з ваговою товщиною від 0,3 до 2,0 нм, нанесених методом вакуумного розпилення на кварцові підкладки в діапазоні спектра 0,2 ÷ 1,1 мкм.
It is established that in the spectral dependences of optical electric conductivity of nickel nanoparticles in the range 0.
Встановлено, що в спектральних залежностях оптичної провідності наночастинок нікелю в діапазоні довжин хвиль 0,2 ÷ 1,1 мкм спостерігається смуга, яка зі зменшенням розміру зміщується в високочастотну область.
For this purpose, a mathematical model allows to calculate the values of the basic characteristics of the bracket guide.
З цією метою розроблена математична модель, що дозволяє розраховувати значення основних характеристик направляючої опори.
Calculations have shown increasing support damping capacity under dynamic loads, compared with traditional designs.
Проведені розрахунки показали підвищення демпфирующей здатності опори, в порівнянні з традиційною конструкцією.
Design provides for implementation of the oil grooves guide support in the form of the toroidal surface and mating with her profiled surface.
Конструкцією передбачено виконання мастильних канавок направляючої опори у вигляді тороїдальної поверхні і сполученої з нею профільованої поверхні.
On the basis of the developed mathematical model is made a series of calculations for different variants of the oil groove profiling guide couples.
На базі розробленої математичної моделі виконано ряд розрахунків для різних варіантів профілювання мастильної канавки направляючої пари.
The article describes the design of high-speed rail pair forge cold stamping and rationale of its application.
Стаття присвячена опису та дослідженню конструкції направляючої пари швидкохідного штампувального преса холодного штампування та обгрунтуванню доцільності її застосування.
Considered design of high-speed rail pair forge provides increased reliability during operation.
Розглянута конструкція направляючої пари швидкохідного штампувального преса забезпечує підвищену надійність в процесі експлуатації.
In this paper, the spectral characteristics of the output voltage of theautonomous voltage inverters are analyzed, the harmonic composition and itsimprovement are analyzed using the method of programmable uniform search foran optimal set of values of switching angles to exclude undesirable harmonics.
У даній роботі досліджено спектральні характеристики вихідноїнапруги автономних інверторів напруги, проаналізовано гармонійний склад ійого покращення за допомогою використання методу програмованогорівномірного пошуку оптимального набору значень кутів комутації длявиключення небажаних гармонік.
Thework contains short theoretical information about autonomous voltage inverters,methods of control of output voltage, methods of optimization of harmoniouscomposition.
Робота містить короткі теоретичнівідомості про автономні інвертори напруги, методи керування вихідноюнапругою, способи оптимізації гармонійного складу.
The scheme of a single-phase bridge autonomous voltage inverterwith an asynchronous motor in a load is developed and the pulse signal isoptimized.
Розроблена схемаоднофазного мостового автономного інвертора напруги з асинхроннимдвигуном в навантаженні і оптимізовано імпульсний сигнал.
The aim of the degree project: providing the ability of cooking recipes search from food, recognized by the photo.
Мета дипломного проекту: надання можливості пошуку рецептів приготування їжі по інгредієнтам продуктів харчування, розпізнаних по зображенням.
The object of study: the process of personalized recipes search and recommendations generation.
Об’єкт дослідження: процес персоналізованого підбору кулінарних рецептів та генерації рекомендаційМета дипломного проекту: надання можливості пошуку рецептів приготування їжі із продуктів харчування, розпізнаних по фото.
In the second section architecture diagram and methods specification.
У другому розділі описані архітектура, діаграма класів, специфікація методів, використані підходи до написання програми.
One of the main reasons for usual for students "wrong" position during lessons is a wrong furniture.
Однією з основних причин для звичного для студентів "неправильного" положення під час занять є невідповідні меблі.
As usual students have a most part of their time as a rule at certain static position – at desk, at table, at TV set as well as at a computer.
Зазвичай студенти більшу частину часу проводять, як правило, в певному статичному положенні – за партою, столом, телевізором, а також за комп’ютером.
Characterization of methods and means of physical rehabilitation in case of young people with scoliosis
Характеристика методів і засобів фізичної реабілітації при захворюванні молоді на сколіоз
A retrospective analysis as well as investigatingspecial literature and doing results of new scientific research at a given direction talk us that very seldom problems with a stature have an original nature; at many cases it is as a result of genetic heritage.
Ретроспективний аналіз, а також вивчення літературних джерел та узагальнення результатів останніх наукових досліджень в даному напрямкові говорить про те, що досить рідко проблеми з поставою є вродженими; в багатьох випадках це є наслідком спадкоємності.
Weakening force and work ability of skeletal muscles provoke destructive changes of links of a spine and the form of linksitselves; it leads to curving a spine.
Зниження сили та працездатності скелетної мускулатури провокує деструктивні зміни, зв’язок хребта та форми самих хребців, що призводить до викривлення хребта.
Together with others factors non – sufficient physical activities of students (hypodinamia) also take place.
Разом з іншими суттєвими чинниками також називають недостатню фізичну активність студентів (гіподинамію).
It leads to weakening muscles which support spine.
Це призводить до того, що м’язи, які підтримують хребет, слабшають.
Some illnesses as well as frequent flu illnesses have negative meaning.
Негативно позначаються деякі перенесені захворювання, а також часті простудні захворювання.
So curving and other changes of a spine take place more often.
Отже, значно частіше зустрічається сколіоз та інші зміни хребта.
The developed way allows to provide protection against falsification of polygraphic production of a wide circulation, for example, packing, practically not influencing on its cost and on quality of reproduction of the original.
Розроблений спосіб дозволяє забезпечити захист від фальсифікації поліграфічної продукції широкого розповсюдження, наприклад, паковань, практично не впливаючи на їх вартість і на якість репродукування оригіналу.
In work the way of formation of latent images intended for protection of polygraphic production against falsification is presented.
У роботі представлено спосіб формування латентних зображень призначених для захисту поліграфічної продукції від фальсифікації.
The way includes introduction of the latent image in the core at rastering and revealing of the latent image with use of a digital filtration.
Спосіб включає упровадження прихованого зображення в основне при раструванні і виявлення прихованого зображення з використанням цифрової фільтрації.
Introduction of the latent image occurs because parts of the basic image to rastering to use of various stochastic raster structures.
Упровадження прихованого зображення відбувається за рахунок того, що частини основного зображення раструються з використанням різних стохастичних растрових структур.
In analysing the expected review of each distribution channel in order to increase their coverage.
В процесі аналізу передбачається розгляд кожного каналу дистрибуції, з метою збільшення їх покриття.
The process of determining the algorithm presented in the form of successive stages of situational , and strategic factor analysis.
Процес визначення представлений у вигляді алгоритму з послідовних етапів ситуаційного, факторного та стратегічного аналізу.
In considering each block algorithm are possible theoretical and methodological tools for analysing and determining the specificity and perspective analysis is for large industrial enterprises of the construction industry .
В процесі розгляду кожного блоку алгоритму, наведено можливі теоретико-методичні інструменти аналізу та визначень специфіку і проблематику проведення аналізу саме для великих виробничих підприємств будівельної галузі.
The strategic analysis, the direction of the study and a detailed review of the specificity of interaction with the supplier industrial customers , given the situation procurement decision-making process , and especially members of the procurement centre of the client organization .
В межах стратегічного аналізу, визначені напрями проведення дослідження і детального розгляду специфіки взаємодії постачальника з промисловими клієнтами, враховуючи ситуацію закупівлі, процес прийняття рішення та особливості учасників закупівельного центру клієнтської компанії.
Formalization of the process of sales expansion in distribution channels for industrial manufacturers of insulation materials
Формування моделі процесу розширення збуту в каналах дистрибуції для промислових виробників будматеріалів
The last step of the algorithm involves the development of tactical activities within certain means possible exposure to industrial consumers.
Останній етап алгоритму передбачає розробку тактичних заходів в межах визначених можливих засобів впливу на промислових споживачів.
Determined by management decisions to modify elements of the marketing mix to enhance the motivation of industrial customers and recommendations for the reorganization of the distribution system of the supplier.
Визначаються управлінські рішення щодо модифікації елементів комплексу маркетингу для активізації мотивів промислових клієнтів та рекомендації з реорганізації системи збуту компанії постачальника.
The article considers the definition of directions modification marketing system for large industrial enterprises of the construction industry in Ukraine.
У статті розглянуто визначення напрямів модифікації системи збуту для великих виробничих підприємств будівельної галузі України.
The article deals with the theoretical and practical aspects of theassessment of the industrial enterprise competitiveness factors on the example of«Sandora», which produces juices.
У статті розглядаються теоретичні та практичні аспекти оцінкифакторів конкурентоспроможності промислового підприємства наприкладі ТОВ «Сандора», яке виробляє соки.