natgillin/translations-raw huggingface dataset:
Next, it investigates diverse classifications of text types developed over the years by different authors (J. Kinneavy, E. Werlich, R. Longacre, D. Biber, J. -M. Adam, T. Virtanen, James R. Martin, M. Fludernik, C. Smith), indicating the key principles of categorization, such as correlation with cognitive strategies, speech acts, linguistic features, and so on.
Зокрема, зазначаються основні принципи класифікації, такі як кореляція з когнітивними стратегіями, мовленнєвими актами, лінгвістичними особливостями тощо.
However, there are some other linguistic terms which are closely related to, or sometimes even overlapping with, the concept of discourse modes, and this may lead to a problem of confusion.
Проте розуміння «дискурсивної форми» може бути ускладнене через існування декілька інших споріднених наукових термінів на позначення різних форм мовлення.
The tendencies of ecological legal science in modern society are also systematized and analyzed.
Також систематизовано та проаналізовано тенденції екологічної правової науки в сучасному суспільстві.
Their main hypothesis was aimed at developing a common methodological framework for social ecology, which should be aimed at analyzing problems at the regional and social levels, and in turn, based on the analysis of proposals for solving global environmental problems at the state and regional levels.
Основна їх гіпотеза полягала у розробці спільної методологічної бази соціальної екології, яка повинна бути спрямована на аналіз проблем на регіональному та суспільному рівнях, і у формуванні на основі аналізу пропозицій щодо вирішення глобальних екологічних проблем на державному та регіональному рівнях.
Despite the significant amount of research on aspects of the regulated use of natural resources following international law, the question remains open.
Незважаючи на значну кількість наукових досліджень, питання регульованого використання природних ресурсів відповідно до правових норм міжнародного права залишається відкритим.
Fundamental principles of functioning of environmental law in the context of scientific research by domestic scientists
Фундаментальні засади функціонування екологічного права в контексті наукових досліджень вітчизняних учених
This article investigates and substantiates research in the context of the functioning of environmental law and its fundamental principles based on which environmental law forms its functioning.
У статті розглянуто наукові дослідження щодо функціонування екологічного права та його фундаментальних засад, на основі яких функціонує екологічне право.
The third group of scientists consisted of those who researched the field of ecological nature management and environmental protection (V. Zuev, S. Shershun, R. Kirin, M. Vasilieva).
Третю групу склали роботи тих науковців, які проводили дослідження у сфері екологічного природокористування та охорони навколишнього середовища (В. Зуєв, С. Шершун, Р. Кірін, М. Васильєва).
The article analyzes the research of leading domestic scientists in the field of environmental law in all its dimensions and systematizes the scientific achievements within the group following the field of research.
У статті проаналізовано наукові дослідження провідних вітчизняних науковців у сфері екологічного права в усіх його вимірах та систематизовано наукові доробки в окремі групи відповідно до сфери наукового дослідження.
Based on the conducted researches in the given scientific article conclusions are formed and personal views on the researched subjects are stated.
На підставі проведених досліджень у статті сформовані висновки та викладені особисті погляди на досліджувану тематику.
Scientific achievements and research of leading specialists in environmental law and ecology basics are analyzed.
Проаналізовано наукові здобутки та дослідження провідних фахівців у сфері екологічного права та основ екології.
The second group of scientists consisted of those researchers who in their research were based on the observance and full realization of citizens' rights in the context of safe living and environmental protection, as the main factor influencing public health (B. Rozovsky, P. Rabinovich, Yu.
Другу групу склали роботи тих науковців, які у своїх дослідженнях базувалися на дотриманні та повноцінній реалізації прав громадян в контексті безпечної життєдіяльності та охорони навколишнього середовища як основного чиннику впливу на здоров’я населення (Б. Розовський, П. Рабінович, Ю. Тодик, В. Бредіхіна, С. Грицкевич).
Thus, the first group, among the studied scientists, includes several scientists who in their research focused on the relationship between environmental law, politics, and economics, thus reflecting the conceptual principles of the relationship between them (V. Perin, M. Zaludyak, N. Erofeeva, M. Martyniuk, O. Smogiy, M. Khilko, N. Sytnyk).
Так, до першої групи віднесено низку праць науковців, які у своїх дослідженнях акцентували увагу на взаємозв’язку між правом екології, політикою та економікою, тим самим відображаючи концептуальні засади співвідношення між ними (В. Перин, М. Залудяк, Н. Єрофеєва, М. Мартинюк, О. Смогій, М. Хилько, Н. Ситник).
The algorithm of differential fault attack on the linear feedback shift register – basic component of modern stream ciphers, was proposed.
Запропоновано алгоритм диференційноїкриптоатак збоїв на базовукомпоненту сучасних потокових шифрів – регістр зсуву з лінійними зворотними зв’язками.
The modification of attack was proposed and applied on the construction of shrinking generator.
Запропонована модифікація даної атаки на конструкцію проріджуючого генератора.
The software tool for simulation of this attack was developed.
Розроблено програмне забезпечення, що імітує проведення даної атаки, на основі якого показано її ефективність.
Particularly acute is the problem when making decisions (MD) in complex systems technical protection (CSTP) working in real time, where the lack of time is felt particularly strongly, and consequences of untimely or incorrect decision making can becatastrophic.
Особливо гостро стоїть ця проблема при прийнятті рішень (ПР) у комплексних системах технічного захисту(КСТЗ), що працюють у реальному часі, де дефіцит часу відчувається особливо сильно, а наслідки при несвоєчасному або неправильному ухваленні рішення можуть бути катастрофічними.
Therefore, the use of Petri nets (PN) for such purposes accelerates the resolution of these problems.
Томузастосування мереж Петрі (МП) для таких цілей прискорює процес розв'язання цих задач.
This agreement encourages the development of models and algorithms thatallow solving complex management tasks system.
Ця необхідність стимулює розробку моделей і алгоритмів, що допускають вирішення складних завдань керування системою.
A simulation model to evaluate the effectiveness of the system and eliminate conflicts, ie, the operation becomes situational.
Імітаційна модель дозволяє оцінити ефективність роботи системи й усувати конфліктні ситуації, тобто функціонування стає ситуаційним.
Implementation of DSS in CSTP does not change the basic functions of computational tools associated with the formation of the information model.
Реалізація СППР у КСТЗ не змінює основних функцій обчислювальних засобів, пов'язаних з формуванням інформаційної моделі.
On the first level there is a universal computer that has a large amount of memory in a second - specialized computers (mini-or micro - computers) on the third - personal computers in the ECM or control object machine.
На першому рівні знаходиться універсальна обчислювальна машина, що має великий об'єм пам'яті; на другому – спеціалізовані ЕОМ (міні- або мікро-ЕОМ); на третьому – персональні ЕОМ у складі АРМ або керуюча об'єктом машина.
Development and study of mathematical models CSTP and DSS requires significant time and resources.
Розробка й дослідження математичних моделей КСТЗ і СППР вимагає значних часових витрат.
For modern control systems CSTP working in real time, the most typical is a three-tier structure ofcomputational tools.
Для сучасних систем керування КСТЗ, що працюють уреальному часі, найбільш типовою є трирівнева структура обчислювальних засобів.
Thus, the device allows you to build MCHMP fairly complete model of the algorithms that reflect their structure,logic and temporal characteristics.
Таким чином, апарат МЧМП дозволяє будувати досить повні моделі функціонування алгоритмів, що відображають їхню структуру, логіку роботи й часові характеристики.
Improving the quality and reducingthe time of decision making in the management of complex systems for various purposes is currently impossible without the development of effective software and hardware that provide activities staff.
Підвищення якості й скорочення часу прийняття рішень при керуванні складними системами різного призначення наразі неможливе без розробкиефективних програмних і апаратних засобів, що забезпечують діяльність обслуговуючого персоналу.
Quality evaluation of operation complex technical systems protection and support systems decision in their composition
Оцінка якості функціонування комплексних систем технічного захисту й систем підтримки ухвалення рішення в їхньому складі
In this regard, and there is a need in the application of decision support systems (DSS), whose main task is to assist professionals in making rational and optimal solutions to complex situations that arise in the operation CSTP in real time.
У зв'язку із цим і з'явилася необхідність у застосуванні систем підтримки прийняття рішень (СППР), основним завданням яких є надання допомоги фахівцям у процесі прийняття раціонального й оптимального рішення в складних ситуаціях, що виникають при функціонуванні КСТЗ у реальному часі.
For efficient use of a wide range of hardware capabilities of Petri nets (HPN) required the establishment of aspecial HPN system of software with a set of descriptions, input translation, layout, debugging, simulation models,process simulation results and analysis.
Для ефективного використання широкого спектра можливостей апаратних мереж Петрі (АМП) необхіднестворення на базі АМП системи спеціального математичного забезпечення з набором засобів опису, вводу, трансляції, компонування, налагодження, імітації моделі, обробки результатів моделювання й аналізу.
Moreover, the intensive use of computer technology and automation in them constantly corrects views on these systems, which include also the support system decision.
Причому інтенсивне застосування засобів обчислювальної техніки й автоматизації в них постійно коректує погляди на діяльність цих систем, до складуяких входять також і системи підтримки ухвалення рішення.
One way to achieve a compromise between complexity and reliability of the mathematical model is simplifiedequivalent network facilities, conducted by route of the system based on fuzzy relations in space, caused expandablebase dividend CSTP and DSS.
Одним із способів досягнення компромісу між складністю й вірогідністю математичної моделі є спрощення еквівалентне об'єкту мережі, що проводиться за допомогою маршрутів функціонування системи на основі апарата нечітких відносин у просторі, обумовленому розширюваної базою ділених КСТЗ і СППР.
Moreover, the quality assessment of choice making and their parameters must be based on models that would assess the application of the same system in different conditions.
Причому оцінка якості вибору рішень і їх параметрів повинні здійснюватися на базі моделей, які дозволили б оцінювати застосування однієї й тієї ж системи в різних умовах експлуатації.
Creating complex systems, and to assess the quality of their functioning and disability involves solving a wide range of diverse tasks.
Створення складних систем, а також оцінка якості їх функціонування й працездатності передбачає розв'язання широкого кола різнопланових завдань.
According to the purpose, structure and Duties DSS is an integral part KSTZ real time.
За своїм призначенням, структурі й виконуваним функціям СППР є невід'ємною складовою частиною КСТЗ реального часу.
The aim of the work is to examine the possibility of using IM to evaluate the technical condition CSTP and DSS, and assessing the quality of their operation in different operating conditions.
Метою роботи є розгляд можливості застосування МП для оцінки технічного стану КСТЗ і СППР, а також оцінка якості їхфункціонування в різних умовах експлуатації.
Theproposed method allows to predict the technical condition and operation CSTP and DSS based on systematicevaluations with high accuracy, which ensures the necessary level of security.
Запропонований метод дозволяє прогнозуватитехнічний стан і функціонування КСЗТ і СППР на підставі системних оцінок з великою точністю, що дозволяє забезпечити необхідний рівень захищеності.
Therefore, the question of synthesis DSS should be considered with regard to interaction with the DSS algorithms algorithms functioning CSTP.
Тому питання синтезу СППР слід розглядати з урахуванням взаємодії алгоритмів роботи СППР із алгоритмами функціонування КСТЗ.
Therefore synthesis CSTP and DSS for them, based on computer technology, must be carried out according to known criteria: firmware control, modular construction; trunk exchange of information, the ability to increase processing power.
Тому синтез КСТЗ і СППР для них, створених на основі засобів обчислювальної техніки, повинен здійснюватисявідповідно до відомих критеріїв: мікропрограмне керування; модульність побудови; магістральний обмінінформацією; можливість нарощування обчислювальної потужності.
Its main goals - clarifyingtechnical solution on the choice of computer technology and the distribution of functions between them, checkingconsistency of functioning hardware DSS, evaluation of DSS and CSTP in general.
Його основні цілі – уточнення технічного рішення по вибору засобів обчислювальної техніки і розподіл функцій між ними, перевірка узгодженості функціонування технічних засобів СППР, оцінка ефективності роботи СППР і КСТЗ у цілому.
To evaluate the effectiveness of DSS in the CSTP to simulate the process of work.
Для оцінки ефективності функціонування СППР у складі КСТЗ необхідно змоделювати процес її роботи.
The use of Petri nets for simulation algorithms in the DSS CSTP is that each block diagram of the algorithm isassociated with Petri nets.
Застосування мереж Петрі для імітаційного моделювання алгоритмів роботи СППР у складі КСЗТполягає в тому, що кожній структурній схемі алгоритму ставиться у відповідність мережа Петрі.
Improving mathematical modeling CSTP can be achieved through simulation of complex systems and subsystems that make up its membership.
Підвищення ефективності математичного моделювання КСТЗ можна забезпечити за рахунок моделювання, як комплексної системи, так і підсистем, які входять до її складу.
Route model of the probability that the advance is given, allows to predict thedynamics of the events surrounding CSTP taking into account the DSS and their condition.
Маршрутна модель із вірогідністю, що заздалегідь задається, дозволяє прогнозувати динаміку розвитку подій навколо КСТЗ із урахуванням СППР і їх стан.
Movement marks it simulates the process of calculations performed by algorithms.
Рух міток у ній моделює процес обчислень, виконуваних алгоритмів.
The work contains 95 pages, 34 figures, 35 tables, 22 bibliographic titles.
Пояснювальна записка до магістерської дисертації містить 95 сторінок, 34 рисунка, 36 таблиць, 22 бібліографічних найменувань.
The work considers the standards of satellites such as Cubesat satellites, the possibilities of their application, their standards and types.
В роботі розглянуто стандарти супутників таких як супутники класу Cubesat, можливості їх застосування, їхні стандарти і види.
As a result of the work, a report was prepared for the conference "Electronics 2018", as well as an article was published in the collection of scientific papers of the sixteenth international conference of young scientists in applied physics "ICAP" and a patent for a useful model of the sensor of angular coordinates of the Sun was prepared.
В результаті проведених досліджень підготовлена доповідь на конференцію « Електроніка 2018», а також опублікована стаття у збірнику наукових праць шістнадцятої міжнародної конференції молодих учених з прикладної фізики «ICAP» та підготовлений патент на корисну модель сенсора кутових координат Сонця.
Nowadays, the development of the space industry is promising direction in higher education institutions around the world by reducing the cost of launching microsatellites into space.
На сьогоднішній день розвиток космічного промисловості є перспективним напрямком у вищих навчальних закладах усього світу через здешевлення вартості запуску мікросупутників до космосу.
After the conducted research and analysis of the characteristics, conclusions were made to improve the characteristics and algorithm of calculating the coordinates of the Sun compared with the previous model of the sensor, which is installed on the satellite PolyITAN 2.
Після проведеного дослідження і аналізу характеристик зроблено висновки щодо покращення характеристик і алгоритму обчислення координат Сонця порівняно з попередньою моделлю сенсора, який встановлено на супутник PolyITAN-2.
In the work of the developed SS, experimental methods were used to calculate the mass-size parameters of the sensor and to study the characteristics of the sensor, as well as graphical methods for reproducing the results of the study of sensor characteristics such as angular, volt-ampere characteristic characteristics of radiation stability and temperature stability of the PCC.
При дослідження розробленого СККС використовувався експериментальні методи для розрахунку масогабаритних параметрів сенсора і дослідження характеристик сенсора, а також графічні методи для відтворення результатів дослідження характеристик сенсора таких як кутові, вольт-амперні характеристики радіаційної стійкості та температурної стабільності ПККС.
The method of orientation of the sensor, its design, advantages and disadvantages inherent to the previous modifications, as well as the possibility of increasing the accuracy of the measurement of the coordinates of the SS, was investigated.
Досліджувався спосіб орієнтації сенсора, його конструкція, переваги та недоліки, які притаманні попереднім модифікаціям, а також можливості підвищення точності вимірювання координат СККС.
The advantages and disadvantages of sensors are considered and examples of ready-made DDCS, which were made serially.
Розглянуті переваги та недоліки сенсорів та приведені приклади готових ПККС, що виготовляються серійно.
The work of the SS, which is set on the satellite PolyITAN-2, was analyzed.
Проаналізована робота СККС, який встановлений на супутник PolyITAN-2.
The purpose of the work is to develop a slit-angle sensor of the Sun, which will ensure the exact orientation of the microsatellite and simplify the telemetry data processing algorithm to determine the angular coordinates of the Sun in relation to the previous model of the SCS.
Метою дослідження є розробка щілинного сенсора кутових координат Сонця, що забезпечить точне орієнтування мікросупутника та спростить алгоритм обробки даних телеметрії для визначення кутових координат Сонця по відношенню до попередньої моделі СККС.
The following characteristics of the sensor were analyzed such as temperature stability, radiation resistance, and also volt-ampere characteristic of the developed SCS.
Проаналізовані такі характеристики сенсора як температурна стабільність, радіаційна стійкість, а також ВАХ розробленого СККС.
For a more accurate determination of the angular coordinates of the Sun and simplification of the algorithm for calculating the angle, the design of the sensor of the angular coordinates of the Sun has been modified.
Для точнішого визначення кутових координат Сонця і спрощення алгоритму розрахунку кута модифіковано конструкцію сенсора кутових координат Сонця.
The principles of operation of the devices for determination of angular coordinates of the Sun (DDCS) were investigated, the types and designs of existing solar coordinate sensors (SS) installed on microsatellites were analyzed.
Досліджено принципи роботи пристроїв визначення кутових координат Сонця (ПККС), проаналізовані види і конструкції існуючих сенсорів кутових координат Сонця (СККС), що встановлені на мікросупутники.
The object of research work is a sensor of angular coordinates of the Sun.
Об’єктом дослідження роботи є розроблений сенсор кутових координат Сонця.
The subject of the study is the photovoltaic parameters of the solar coordinate sensor.
Предметом дослідження є фотоелектричні параметри розробленого сенсора кутових координат Сонця.
The angular characteristics of the developed PCC are studied.
Досліджені кутові характеристики розробленого ПККС.
Background.
Проблематика.
This allows distinguishing drivers with different skills.
Це дає змогу врахувати наявність водіїв із різним досвідом.
In our model, the probability distribution of the left end of a parked car is a mixture of a uniform distribution and a degenerated one.
В нашій моделі ймовірнісний роз­поділ координати лівого кінця припаркованого автомобіля є сумішшю рівномірного та виродженого розподілів.
A generalization of the A. Rényi’s stochastic parking model is considered.
Ми розглядаємо узагальнення стохастичної моделі паркування А. Реньї.
A Generalization of Rényi’s Parking Problem
Узагальнення задачі Реньї про паркування
Ukrainian crisis as a factor of creation the security community in OSCE
Криза в та довкола України як фактор формування безпекової спільноти в ОБСЄ
The author examines the participation of Ukraine in the OSCE and the involvement of the Organization for the settlement of the crisis in and around Ukraine 2014-2015 as a factor in determining the appropriateness and effectiveness of the OSCE in ensuring European security.
Автором розглядається участь України в ОБСЄ та залучення Організації до врегулювання кризи в та довкола України 2014-2015 рр.
The dissertation highlights the following issues: the existing mathematical models and process control die-casting, shown their shortcomings; improved criterion of die-casting process control minimizing defective castings and consequently reduce the cost of casting through control actions on key process parameters, adjusting the magnitude of these effects for each of the tact of the die-casting machine; A mathematical model of the closed loop manufacturing castings in injection molding using modern methods of mathematical modeling, different set of circuits of regulation and their combination into a coherent system; improved regulation of the main parameters of the process by increasing the precision control, reduction of reaction time, which made it possible to combine the contours of temperature control and metal molds, pressing speed, effort, locking, compaction pressure around of machine operations into a single closed system at all stages of the cycle; created a closed system process control, which minimizes human intervention in the process.
В дисертаційній роботі вирішені наступні задачі: досліджено існуючі математичні моделі та системи керування процесом лиття під тиском, показано їх недоліки; удосконалений критерій керування технологічним процесом лиття під тиском з мінімізацією бракованих виливків і відповідно зниження вартості самого виливка шляхом здійснення керуючих впливів на основні параметри процесу, з коректуванням величини цих впливів за кожним попереднім тактом роботи машини лиття під тиском; побудовано математичну модель замкненого циклу виготовлення виливка при литті під тиском з використанням сучасних методів математичного моделювання, що відрізняються сукупністю контурів регулювання та їх поєднання в цілісну систему; покращено регулювання основних параметрів процесу шляхом підвищення точності контролю, зменшенням часу реакції, що дозволило об’єднати контури регулювання температури металу та прес-форми, швидкості пресування, зусилля запирання, тиску пресування, навколо машинними операціями в єдину замкнуту систему на всіх стадіях технологічного циклу; створено замкнуту систему керування технологічним процесом ЛПТ, яка мінімізує участь оператора в процесі.
Developments transferred for use at JSC NPP "Smila Electromechanical Plant".
Розробки передані для використання на ПАТ НВП «Смілянский електромеханічний завод».