natgillin/translations-raw huggingface dataset:
The blasting technology for different types of rocks within a block that is exploded, with the establishment of reasonable network well sizes and switching circuits for variable directions of general fracture systems received the further development.
Отримала подальший розвиток технологія підривних робіт для різних типів порід в межах блоку, що підривається, зі встановленням раціональних розмірів мережі свердловин та схем комутації для змінних напрямків генеральних систем тріщин.
The dependence for the anisotropy factor determining by the energy flux density of the explosion and the dependence of finished and unfinished areas of destruction on values overlap of craters formed by the action of the four charges for rectangular and displaced network location were obtained.
В роботі одержано закономірності зміни радіуса воронки руйнування по довжині заряду, залежність для визначення коефіцієнта анізотропії через густину потоку енергії вибуху, а також залежності величин пропрацьованої та недопрацьованої площ руйнування від величин перекриттів воронок руйнування, утворених дією чотирьох зарядів, для прямокутної та зміщеної мереж розташування.
This ensures the decidability of satisfiability problem for the first order logic formulas.
Це забезпечує розв’язність задачі виконуваності формул логіки предикатів.
UML is used for information system modeling; SBVR is used for business rules formalization.
Як модель АСОІ застосовано UML, для формалізації бізнес-правил застосовано SBVR.
In particular it is established for first order logic that decidable fragments and classes are used.
Встановлено властивості використовуваних формалізмів, зокрема, для логіки предикатів виявлено, що застосовуються розв’язні фрагменти та класи.
For building and consistency analysis of specified integral models the knowledge representation method is developed.
Для побудови визначеного класу інтегральних моделей та аналізу їх несуперечності розроблено метод подання знань.
The mathematical multi-formal integral model is developed which unite components represented in different formalisms.
Розроблено математичну інтегральну модель АСОІ та бізнес-правил на базі моделей UML та SBVR, яка об’єднує компоненти, подані у різних формалізмах, та є мульти-формальною.
The technology is tested at development and reengineering of the number of information systems
На основі теоретичних результатів розроблено інформаційну технологію, апробовану при створенні та реінжинірингу ряду АСОІ.
The consistency analysis method of information systems and business rules is developed and its computational complexity is determined.
Розроблено математичний метод аналізу несуперечності АСОІ та бізнес-правил, встановлено оцінку його складності.
Research task is solved by means of consistency analysis of system and business rules integral model.
Задачу дослідження розв’язано шляхом аналізу несуперечності інтегральної моделі АСОІ та бізнес-правил.
The conception is to extend verification process at design stage with the phase of consistency analysis of information system and business rules.
В роботі запропоновано концепцію структурної верифікації при проектуванні АСОІ, яка полягає у розширенні процесу верифікації етапом аналізу несуперечності проекту АСОІ та бізнес-правил.
The dissertation is devoted to solving the task of consistency analysis of information systems and business rules at the system design stage for business rules approach.
Дисертація присвячена розв’язанню задачі аналізу несуперечності АСОІ та бізнес-правил при проектуванні АСОІ для підходу до створення АСОІ із декларативним поданням бізнес-правил.
The information technology based on theoretical results is developed.
06 – інформаційні технології.
It is proposed to apply this research trendvotching instruments, in particular - to take trendvotching research trends in media to rank their likely consequences for theeditors and publishers of positive, neutral or negative activity in theshort term.
Пропонується застосувати для цього дослідницькийінструментарій трендвотчингу, зокрема - вдатися до трендвотчингового дослідження медіатенденцій, щоб ранжувати їхні ймовірнінаслідки для редакторів і видавців на позитивні, нейтральні/компенсовані й негативні в найближчій діяльнісній перспективі.
In the paper the actual transition to publishing trends in modernmass media appropriate to the purpose of strategic analysis of mediaand customer perspectives profession.
У статті систематизовано актуальні для видавничої діяльностіперехідні тенденції в сучасних засобах масової комунікації з метою доцільнішого стратегічного аналізу стану медіа та перспектив редакторського фаху.
The volume of the explanatory note is 72 pages, contains 13 illustrations, 15 tables, 5 formulas and 4 annexes.
Обсяг пояснювальної записки становить 72 сторінок, містить 13 ілюстрацій, 15 таблиць, 5 формул та 4 додатки.
In general, the sources have been processed.
Загалом опрацьовано джерел.
As a result of work published publication in the collection of scientific works and the International Scientific and Practical Conference "Information Systems and Technologies in Medicine" (ISM-2018).
За результатами роботи було опубліковано публікацію в збірнику наукових праць І міжнародної науково-практичної конференції «Інформаційні системи та технології в медицині» (ISM–2018).
A mathematical model for further prediction of the occurrence of hyperglycemia or a possible change in the stage of the disease has also been created.
Також створено математичну модель для подальшого прогнозування виникнення гіперглікемії або можливої зміни стадії захворювання.
Main results: this work is performed on request of the endocrinological department of the Consultative-Diagnostic Center of the State Scientific Institution "Scientific-Practical Center for Prophylactic and Clinical Medicine" of the State Administration of Affairs.
Основні результати: дана робота виконана на замовлення ендокринологічного відділення Консультативно-діагностичного центру Державної наукової установи «Науково-практичний центр профілактичної та клінічної медицини» Державного управління справами.
After all, monitoring by the doctor helps to prevent the occurrence of complications, and for the patient selfcontrol is essential in predicting a critical state change.
Адже, моніторинг з боку лікаря допомагає запобігти виникненню ускладнень, а для пацієнта власне самоконтроль є головним у передбаченні критичної зміни стану.
Theme of work: "Electronic self-monitoring diary for prediction of hyperglycemia".
Тема роботи: «Електронний щоденник самоконтролю для прогнозування гіперглікеміїї».
The novelty of the work is due to the creation of a self-monitoring diary with the ability to transfer data to the doctor online and the free provision of advice on changing the stage of treatment.
Новизна роботи обумовлена створенням щоденнику самоконтролю з можливістю передачі даних лікарю у режимі онлайн та реалізація безкоштовної можливості надання порад стосовно зміни стадії лікування.
The urgency of the chosen topic is due to the need for continuous monitoring of a patient who is suffering from diabetes mellitus.
Актуальність обраної теми обумовлена необхідністю в постійному моніторингу пацієнта, що хворий на цукровий діабет.
The purpose of the work is to develop a mobile application for monitoring the status of patients with diabetes mellitus, with further prediction of the course of the disease.
Метою роботи є розробка мобільного додатку для моніторингу стану пацієнтів, хворих на цукровий діабет, з подальшим прогнозуванням перебігу захворювання.
The work is performed on request of the endocrinology department (self-checking room).
Робота виконується на замовлення ендокринологічного відділення (кабінет самоконтролю).
In the reactors of the third generation, which be necessary at the change to the operable reactors of the second generation, the passive system for NPP protection against the severe accidents is mandatory.
В ядерних реакторах третього покоління, які приходять на заміну існуючим реакторам другого покоління, наявність пасивної системи захисту від тяжких аварій – обов’язкова вимога.
The dissertation is devoted to the simulation problems of the retention of a corium inside a containment during the severe accidents at the nuclear power plants (NPP), which have a great importance for a guaranteeing the safe operation of the NPP.
В дисертації здійснено аналіз проблеми утримання розплаву ядерного палива всередині контейнмента під час тяжких аварій на АЕС, конче важливої для досягнення безпечної експлуатації атомних електростанцій.
For the construction and introducing the passive protection systems it is necessary to carry out the simulation of different thermal hydraulic processes with the hypothetical severe accidents’ scenario, in order to be acquainted with the processes taking place during the postulated severe accidients at NPPs.
Для розробки та впровадження систем пасивного захисту необхідне моделювання різних теплогідравлічних процесів, характерних для перебігу гіпотетичних аварій.
The most important features of a jet penetration into a water pool have been got, which allowed successful calculating the parameters of the passive protection systems against severe accidents at NPP.
Визначені важливі особливості таких струменів та одержані закономірності їх занурення в басейн, що дозволяють успішно розраховувати такий вид пасивних систем захисту від тяжких аварій на АЕС .
This study is focused on a modeling and simulation of the thin and thick corium jets’ penetration into a pool in a scenario of the severe accidents at the NPP with a water pool under the reactor vessel.
Основну увагу в пропонованій роботі зосереджено на моделюванні проникнення тонких та товстих струменів коріуму (розплаву ядерного палива з супутними домішками від конструкцій та бетону під час аварії) в сценарії пасивної системи захисту від тяжкої аварії з басейном води у підреакторному просторі.
Demonstrated the preservation of adaptive-search system efficiency in the presence of disturbances.
Продемонстровано збереження працездатності адаптивно-пошукової системи за наявності збурень.
Influence of input signal perturbations on the dynamics and the identification of nonlinear Duffing system
Вплив збурень вхідного сигналу на динаміку та ідентифікацію нелінійної системи Дуффінга
Shown indistinguishable when real measurements and disturbances chaotic regime of hard-periodic.
Показано неможливість при реальних вимірах і наявності збурень відрізнити хаотичний режим від складно-періодичного.
The phenomena arising under perturbation of the input signal Duffing system are researched.
Досліджено явища, що виникають при збуренні вхідного сигналу системи Дуффінга.
The most important are accurate and quick diagnosis, localization and proper treatment of the disease.
Найбільш важливими є точна і швидка діагностика, локалізація та правильне лікування захворювання.
An important indicator of the disease of the body is the change in blood composition - the number of blood cells, deformation of cells, their mineral composition.
Важливим показником захворювання організму є зміна складу крові – кількості клітин крові, деформація клітин, їх мінеральний склад.
All these indicators can be monitored through the study of the interaction of electromagnetic waves with human red blood cells.
Всі ці показники можна від слідкувати за допомогою дослідження взаємодії електромагнітних хвиль з еритроцитами крові людини.
Creation of diagnostics and prevention of disease development are the main priority directions in modern medicine.
Створення діагностика і попередження розвитку захворювання є основними пріоритетними напрямками в сучасній медицині.
Therefore, the creation of a laboratory stand for this area of research and a computer model for statistical and correlation processing of the results of experimental research is an urgent task.
Тому створення лабораторного стенду для даного напряму дослідження та комп’ютерної моделі для статистичної та кореляційної обробки результатів експериментальних досліджень є актуальною задачею.
The total volume of work 83 p. , 18 figures, 9 tables and 4 appendices.
Загальний обсяг роботи становить 83 с. основного тексту, 18 рисунків, 9 таблиць і 4 додатків.
Based on the data, the improved design size of the machine was chosen.
За цими даними вибрано конструктивні розміри апарата.
The graphical part of the project includes four drawings A1, containing the technological scheme of the ethyl alcohol production plant, heat exchanger assembly drawings and drawings of assembly units and parts.
Графічна частина проекту включає чотири креслення формату А1, що містять технологічну схему виробництва етилового спирту, складальне креслення теплообмінника та креслення складальних одиниць та деталей.
The calculation and the explanatory note contain a description of the technological scheme processing ethyl alcohol production plant and a description of the design of the heat exchanger tube in tube to cool ethyl alcohol.
Розрахунково-пояснювальна записка містить схему і опис технологічної схеми виробництва етилового спирту та опис конструкції теплообмінника труба в трубі для охолодження етилового спирту.
In the article designing test generator for СЕPT trunk digital link interface conforming to CCIT Recommendation G. 704 for PCM 30.
Розглянуто генератор тестової послідовності для забезпечення досліджень ПЕМВН цифрового комутаційного обладнання, що має інтерфейс ІКМ-30 (Е1) згідно з рекомендаціями ССІТ G. 704 для ІКМ 30.
The total volume of the work is 74 pages, 22 figures,28 tables and 22 bibliographic titles.
Загальний обсяг роботи складає 74 сторінок, 22 рисунка, 28 таблиць та 22 бібліографічних найменування.
The relevance of the topic is related to the quite active research in this area, even considering that there is already a large amount of research in this area.
Актуальність теми пов’язана із досить активними дослідженнями у даній області, навіть з урахуванням того, що вже наявні досить велика кількість досліджень саме в цій області.
This is due to the fact that scientists are trying to improve the process of applying dielectric films to obtain the most effective parameters for the respective areas of use.
Відбувається це із-за того, що вчені намагаються вдосконалити процес нанесення діелектричних плівок для отримання максимально ефективних параметрах для відповідних областей використання.
Various methods of applying dielectric films, the technological route of forming dielectric films on InSb plates, the equipment by which the processes of film formation are performed, are considered.
Розглянуті різні методи нанесення діелектричних плівок, технологічний маршрут формування діелектричних плівок на пластинах InSb, обладнання за допомогою якого виконуються процеси формування плівок.
The purpose of the work is to obtain dielectric films for IR photodetectors, which should have good protective properties, a good bandwidth and most importantly - stability in the operating range of the spectrum.
Метою роботи є отримання діелектричних плівок для ІЧ фотодетекторів, які повинні володіти гарними захисними властивостями, гарною полосою пропускання та саме головне – стабільністю в робочому діапазоні спектру.
Due to the analysis of different methods of forming dielectric films, the most effective method for achieving the goal, namely the method of chemical gas-phase deposition, was found.
За рахунок аналізу різних методів формування діелектричних плівок, знайдено найбільш ефективний метод для виконання поставленої цілі, а саме метод хімічного газофазного осадження.
Further, the advantages and disadvantages of using this particular method of forming dielectric films were discussed, and examples of finished samples and their characteristics are given.
Далі були розглянуті переваги та недоліки використання саме цього методу формування діелектричних плівок та приведені приклади готових зразків та їх характеристик.
In this work the main emphasis is on the protective properties and stability of the films.
В даній роботі основний акцент зроблений на захисних властивостях та стабільності плівок.
In order to achieve this goal, experimental studies were conducted on the application of dielectric films in different conditions, their analysis using IR spectroscopy, and found the optimum mode of application of films, to obtain a good result.
Для досягнення поставленної мети в роботі проводилися експериментальні дослідження з нанесення діелектричних плівок в різних умовах, їх аналіз за допомогою методів ІЧ-спектроскопії, та знаходився максимально оптимальний режим нанесення плівок, для отримання гарного результату.
The practical significance of this work is to study the films obtained and to obtain qualitative characteristics for their further use through the data obtained.
Практичне значення даної роботи полягає в дослідженні отриманих плівок та отриманні якісних характеристики для їх подальшого використання завдяки отриманим даним.
The sixth chapter is a development of a startup project.
Шостий розділ містить в собі розробку стартап-проекту.
The assay contains 107 pages, 36 drawings/schemes and 30 references to literary sources, two appendixes.
Робота містить 36 рисунків та 30 посилань на літературні джерела та два додаток.
In the first chapter, a detailed analysis of the current state of the problem is performed and defined the list of tasks which are to be solved in the following sections of the master's work.
В першому розділі проведено детальний аналіз сучасного стану рішення проблеми, поставлені задачі, які необхідно вирішити в подальших розділах магістерської роботи.
Details of the robot's structure, algorithms of programs and their examples are described.
Детально описано склад робота, алгоритми програм та наведені їх приклади.
The fourth chapter represents the kinematic characteristics and the mechanism for the robotic complex set up, the programming of the robot.
В четвертому розділі розглянуто кінематичні характеристики та компонування роботизованого комплексу, програмування робота.
The second chapter describes general information on laser process equipment, its types and varieties, as well as a detailed analysis of all possible kinematics schemes used in laser technology equipment.
В другому розділі викладено загальну інформацію про лазерне технологічне обладнання, його типи та різновиди, а також детально проаналізовані всі можливі кінематичні схеми, які використовуються в лазерному технологічному устаткуванні.
Mentioned examples of functional working areas for laser technological equipment.
Розглянуті приклади робочих полів лазерного технологічного обладнання.
This master's thesis is devoted to the study of laser gas-powder surfacing when it is in with the use of robotic technologies and the analysis of a robotic movements’ system.
Дана магістерська робота присвячена дослідженню лазерної газо-порошкової наплавки з використанням роботизованих технологій та аналізу роботизованої системи переміщення.
The fifth chapter is devoted to the analysis of indicators of the quality of the laser technological equipment assembly.
П’ятий розділ присвячений аналізу показників якості компонування лазерного технологічного обладнання.
The third chapter of this assay prescribes the ways of laser process equipment combining for the processing with complex surfaces.
Третій розділ даної роботи присвячений компонуванню лазерного технологічного обладнання для обробки складних поверхонь.
To achieve the objectives of the master's thesis, used software design, research, calculation, natural language processing.
Для досягнення поставлених в магістерській роботі задач, використано проектування програмного забезпечення, дослідження, обчислення, обробка природної мови.
Master’s thesis is a self-performed work, which reflects the personal author’s approach and personally obtained theoretical and applied final results related to designing and developing of distance learning system for English language learning.
Магістерське дослідження є самостійно виконаною роботою, в якій відображено особистий авторський підхід та особисто отримані теоретичні та прикладні результати, що відносяться до проектування та розробки системи для дистанційного навчання англійської мови.
The purpose of the master’s thesis is to increase the efficiency of learning English with usage of modern technologies.
Метою магістерської дисертації є збільшення ефективності вивчення англійської мови з використанням сучасних технологій.
Developed approach for personalization of English language learning.
Розроблено спосіб для персоналізації навчання англійської мови.
Distance learning system for English language learning is object of research.
Система для дистанційного навчання англійської мови
Developed the method for automated task creation.
Розроблено метод для автоматичного створення завдань для вивчення англійської мови.
Practical recommendations are resulted in relation to strengthening of password defense both from power one andfrom a «intellectual» attack.
Наведенопрактичні рекомендації щодо посилення парольного захисту як від силового, так і від«інтелектуального» зламу.
Basic factors, which determine safety of password defense, are considered in this article.
Розглянуто основні фактори, що визначають безпеку парольного захисту.
In the article explored essence of promislovovoy policy in Ukraine on the modern stage, and also the state of industrial complex of national economy is complex described.
У статті досліджено суть промисловової політики в Україні на сучасному етапі, а також комплексно охарактеризовано стан промислового комплексу національної економіки.
Certainly basic directions of priorities of strategy of improvement of promislovovoy policy of the state as bases of becoming of effective enterprise environment in Ukraine.
Визначено основні пріоритетні напрямки стратегії удосконалення промисловової політики держави як основи становлення ефективного підприємницького середовища в Україні.
An overview of socialconflicts, types, forms and channels of the spread of protest activity of the populationin Ukraine is presented.
Представлено огляд соціальних конфліктів, типів, форм та каналів поширенняпротестної активності населення в Україні.
The balance between the requirements of national securityand legal forms of protest activity is determined by the compliance of governmentpolicy with the officially approved concept of realizing national interests.
Баланс міжвимогами національної безпеки та легальними формами протестної активностівизначається відповідністю урядової політики, офіційно затвердженійконцепції реалізації національних інтересів.
The phenomenon of social conflictis considered as an indicator of protest moods in Ukraine.
Розглядається явищесоціального конфлікту як індикатора протестних настроїв в Україні.
The relationship between protest moods and forms of protestactivity and the criteria of national security, formulated in the current legislation ofUkraine, is considered.
Розглянуто зв'язок між протестниминастроями і формами протестної активності та критеріями національноїбезпеки, сформульованими у чинному законодавстві України.
The article is devoted to the issues of social stability and socialconflicts in the measurement of national security.
Стаття присвячена питанням соціальної стабільності тасоціальних конфліктів у вимірі національної безпеки.
Representation of the connection between some factors within the structure of biological, psychological and professional levels of the competence forming process in the scope of physical education and sports.
Представлено зв’язок деяких чинників в структурі біологічних, психічних та професійних рівнів процесу формування компетентності в фізичному вихованні і спорті.
Conceptual basics of competence forming in the scope of physical education and sports
Концептуальні засади формування професійної компетентності в фізичному вихованні і спорті
The model of control the converter process in the decision-making system
Модель керування конвертерним процесом у системі прийняття рішень
The principle of constructing a model of relatively static and dynamics control of the oxygen-converter process is shown.
Наведено принцип розробки моделі стосовно статичного та динамічного керування киснево-конвертерним процесом.