natgillin/translations-raw huggingface dataset:
It has been proved that given conditions are satisfied for by level surfaces of finite codimension with certain bounds on first and second derivatives of the respective functions.
Доведено, що ці умови реалізуються на поверхнях рівня скінченної корозмірності в гільбертовому просторі з певним обмеженням на перші і другі похідні відповідних функцій.
Solving boundary value problems on infinitedimensional Riemmanian manifolds, in particular researching Dirichlet problem, seems to demand for metric completeness.
Для розв’язку крайових задач на нескінченновимірних ріманових многовидах, зокрема для дослідження задачі Діріхле, суттєвою видається їх метрична повнота.
Sufficient conditions of infinitedimensional Riemmanian manifolds completeness have been formulated and proved.
Сформулювано і доведено достатні умови метричної повноти нескінченновимірних ріманових многовидів.
It does not appear to be feasible to state metric completeness in the general case, hence stems the issue of giving sufficient conditions of it.
Гарантувати її в загальному випадку не уявляється можливим, а отже, виникає питання наведення її достатніх умов.
Giving sufficient conditions of metric completeness of infinitedimensional Riemmanian manifolds and essential examples that would satisfy them.
Метою роботи є наведення достатніх умов метричної повноти нескінченновимірних ріманових многовидів і суттєвих прикладів, що ці умови реалізують.
In terms of future researches, it now appears to be reasonable to devise approaches to considering boundary value problems on such infinitedimensional Riemmanian manifolds.
Доцільним вбачається розроблення підходів до розгляду крайових задач на таких нескінченновимірних ріманових многовидах.
The library being described is to be used in various contexts: from educational purposes to practical application for software development in real projects.
Дана бібліотека може бути використана в різноманітних контекстах: від навча-льних цілей до практичного застосування для розробки програмного забезпечення в реальних проектах.
The library is implemented in Java 10 with Intellij IDEA Ultimate as integrated development environment.
Дана бібліотека написана мовою Java 10 в середовищі Intellij IDEA Ultimate.
The library consists of a few packages, which contain relevant data structures and program elements.
Бібліотека складається із декількох пакетів, кожен з яких містить в собі релева-нтні структури даних та програмні елементи.
The source code was covered with tests written in JUnit 5.
В якості фреймворку для тестування використано JUnit 5.
A library of functional data structures and program elements is implemented in the Bachelor’s Degree work.
Бібліотека програмних елементів та структур даних в функціональному стилі
To use library features one must import its elements into the project being developed.
Для використання бібліотеки достатньо імпортувати класи та інтерфейси із її пакетів безпосередньо у проект, що розробляється.
Publication size: 50 pages with 13 illustrations, 1 table, 8 appendixes and 22 references.
Обсяг роботи 50 сторінок, 13 ілюстрації, 1 таблиця, 8 додатків, 22 джерела літератури.
Research objects are vulnerabilities of modern processors' architecture related with speculative code execution.
Об’єктом дослідження є вразливості архітектур сучасних процесорів, пов’язані зі спекулятивним виконанням коду.
Research subjects are cache freeing techniques that mitigating side channel attacks.
Предметом дослідження є техніки очищення процесорного кешу, що унеможливлюють утворення стороннього каналу витоку інформації за часом доступу до даних.
Execution on the Modern Processors Architecture
Дослідження атак, пов’язаних зі спекулятивним виконанням коду на сучасних архітектурах процесорів
Quality management of selective varnishing on the plates parameter’s changes basis
Управління якістю вибіркового лакування на основі зміни параметрів пластин
New methods of increasing the selective varnishing are offered, as well as troubleshooting during the printing process.
Запропоновано нові методики підвищення якості вибіркового лакування та шляхи вирішення проблем, що виникають під час даного процесу.
A question of stable quality management in selective varnishing with varying of varnishing plates’ parameters, working conditions and types of varnishes is considered.
В статті розглянуто питання цілеспрямованого керування якістю вибіркового лакування за допомогою зміни параметрів лакувальних пластин, режимів лакування та типів лаків.
The conclusions which allow the control of process in in-line mode are made.
Проаналізовано різні типи декельних матеріалів та зроблено узагальнення, що дозволяють керувати процесом у режимі in-line.
It is shown that the first component has the largest light diameter when the largest value of the angular increase in a given range is achieved.
Показано, що перший компонент має найбільший світловий діаметр, який досягає найбільшого значення при наближенні до максимального значення кутового збільшення в заданому діапазоні.
A system of equations is compiled in which the distances between the components are unknown.
Складається система рівнянь, у яких оптичні сили компонентів та відстані між компонентами є невідомими.
Parametric synthesis of zoom-afocal optical systems for zoom-lens.
Параметричний синтез зум-афокальних оптичних систем для трансфокаторів.
In this case, the magnitudes of the optical powers of the components and their ratios should ensure positive values of the distances between them.
При цьому величини оптичних сил компонентів та їх співвідношення повинні забезпечувати додатні значення відстаней між компонентами.
Development of a universal analytical algorithm suitable for computer automation for calculating the optical and overall parameters of the components of four-component zoom-afocal systems.
Створення універсального аналітичного та придатного до комп’ютерної автоматизації алгоритму розрахунку оптичних і габаритних параметрів компонентів чотирикомпонентних лінзових зум-афокальних систем трансфокаторів.
Synthesis of afocal systems for a stationary lens, the entrance pupil of which is located behind the afocal system.
Синтез афокальної системи для стаціонарного об’єктива, вхідна зіниця якого розміщена за афокальною системою.
From the equations, the values of these distances are recovered, which provide the necessary values of the angular magnification and zero optical power of the afocal system.
Із системи рівнянь визначаються величини цих відстаней і оптичні сили компонентів, що забезпечують потрібний діапазон значень кутового збільшення та нульову оптичну силу афокальної системи.
The results obtained make it possible to carry out in an analytical form a parametric synthesis of four-component zoom-afocal systems, taking into account the requirements for their dimensions, field of view, the range of variation of the angular increase and the permissible vignetting of the beam of rays from the edge of the field of view.
Отримані результати дають змогу в аналітичному вигляді здійснювати параметричний синтез чотирикомпонентних зум-афокальних систем з урахуванням вимог до їх габаритів, діапазону зміни кутового збільшення і допустимого він’єтування пучків променів від краю поля зору.
Four-Component Afocal Lens Systems
Чотирикомпонентні лінзові зум-афокальні системи
Analytical dependences are obtained that allow one to determine the optical powers of the components and their relative position in the entire range of the desired change in angular magnification from the initial data.
Отримано аналітичні залежності, які дають можливість за вихідними даними визначати оптичні сили компонентів та їх взаємне розміщення на всьому діапазоні потрібної зміни кутового збільшення.
Algorithm for the overall calculation of the four-component zoom-afocal systems, which provides overall limitations, the desired range of variation of the angular magnification and the field of view of the zoom-lens, the permissible vignetting of the beam beams in the entire range of angular magnification.
Розробка алгоритму габаритного розрахунку чотирикомпонентних зум-афокальних систем з урахуванням габаритних обмежень, забезпечення потрібного діапазону зміни кутового збільшення та поля зору трансфокатора, допустимого він’єтування крайніх пучків променів при зміні кутового збільшення в усьому заданому діапазоні.
Using the formulas of the angles and heights of the zero rays on the components of the system, taking into account the permissible vignetting of the beam of rays from the edge of the field of view, the required light diameters of the components are determined.
Потрібні світлові діаметри компонентів визначаються з урахуванням допустимого він’єтування пучка променів від краю поля зору за допомогою розрахунків кутів і висот нульових променів на компонентах системи.
The result is an analysis of QoS parameters, such as latency, jitter, number of packets lost, for a network of wireless static and mobile sensors based on ZigBee standard and the AODV routing method.
Результатом роботи є аналіз параметрів QoS, а саме величини затримки, джиттер, кількість втрачених пакетів, для мережі безпроводових статичних та мобільних сенсорів на основі стандарту ZigBee та методу маршрутизації AODV.
The results can be used in designing and operating of static and mobile WSN sensors, to evaluate the network's ability to provide services within specified service quality (QoS) parameters in the automation tasks of wireless sensor network monitoring and control in "smart city" conditions.
Отримані результати можна використати під час планування, проектування та експлуатації WSN зі статичними та мобільними сенсорами, для оцінювання можливості мережі надавати послуги в межах заданих параметрів якості обслуговування (QoS) у процесі виконання завдань із автоматизації контролю та керування мережею безпроводових сенсорів в мовах "розумного міста".
The subject of the study is wireless sensor network technologies in the "smart city" concept.
Об’єктом дослідження є технології безпроводових сенсорних мереж в умовах концепції "розумного міста".
The purpose of this work is to study the parameters of the wireless sensor network based on new technological solutions in the context of the "smart city" concept.
Метою роботи є дослідження параметрів роботи мережі безпроводових сенсорів на основі нових технологічних рішень в умовах концепції "розумного міста".
Special attention is paid to so-called «economic experiment» of the 1999 -2001 and to discussions around question of experiment prolongation in 2002.
Особливу увагу приділено так званому «економічному експерименту» 1999-2001 рр.
There is also examination of its consequences and cost-benefit analysis for the industry and the state finance in the article.
та проблемам його продовження 2002 р. Також розглянуто його наслідки та баланс витрат і надходжень для галузі та державних фінансів.
The article is devoted to main anticrisis policy’s approaches in Ukrainian steel and mining industry in the turn of 2000’s.
Досліджуються основні напрями антикризової політики в гірничо-металургійному комплексі України на межі 1990-2000-х рр.
The Ukrainian Metallurgy in the 1990s: Development under Conditions of Economic Downturn and Market Transformations
Антикризові заходи у гірничо-металургійній галузі України (1999–2002 рр.
It dilates quantity of applied problems which can be solved with their help.
Це набагато збільшує кількість прикладних задач, які можна розв'язати за їх допомогою.
Detection of defects in devices with thermal sensors
Виявлення дефектів у приладах з тепловими сенсорами
Mathematical model operation of process of activity of various constructions of thermal sensors in different mediums and at different external actions allows to anticipate and in advance to reveal flaws.
Математичне моделювання процесу роботи різних конструкцій теплових сенсорів врізних середовищах і при різних зовнішніх впливах дозволяє передбачити і заздалегідь виявити дефекти.
In the field of an image processing вейвлеты give new and effective ways of their processing:decomposition, restorals and identifications of images removal from them noise, file compression.
В області обробки зображень вейвлети дають нові й досить ефективні способи їх обробки: декомпозиції, реставрації та ідентифікації зображень, видалення з них шуму, стиснення файлів, що зберігають зображення.
Advantages вейвлетов speak that they are presented by much more manifold gang of types, than a single sinusoidal function in the ranks of the Fourier.
Переваги вейвлетів пояснюються тим, що вони подані набагато різноманітнішим набором типів, ніж одна єдина синусоїдальна функція в рядах Фур'є.
Wavelet-spectrograms are much more information, than normal Fouriers- spectrograms and allow to reveal easily the most thin local habits of images that is very effective for problems of identification.
Вейвлет-спектрограми набагато інформативніші за звичайні Фур'є-спектрограми і, на відміну від останніх, дозволяють легко виявляти найменші локальні особливості зображень, що є дуже ефективним для задач ідентифікації.
Schemes of the revealed forms of flaws of sections of the devices organized in extremal requirements of their maintenance are received.
Отримані схеми виявлених форм дефектів перерізів елементів, утворених в екстремальних умовах їх експлуатації.
Activity is guided on evolution of methods of engineering diagnostic of structures and materials of thermal sensors by methods of an acoustic emission, magnetographic inspection and thermal methods of nondestructive check, and also the analysis of the appearances influencing origination of flaws in structures of a material.
Робота спрямована на розвиток методів технічної діагностики структур таматеріалів теплових сенсорів методами акустичної емісії, магнітного контролю та тепловими методами неруйнуючого контролю, а також аналіз явищ, що впливають на появу тріщин в структурах матеріалу.
The new method of the analysis of a magnetic field of flaws on the basis of mathematical model which is based on a vector non-linear integral equation of Fredholm of II-th kind, and for back-up checkout - on the determined step model is in-process offered.
В роботі запропонований новий метод аналізу магнітного поля дефектів на основі математичної моделі, що базується на векторному нелінійному інтегральному рівнянні Фредгольма II-го роду, а для дублюючої перевірки на детермінованій кроковій моделі.
Known mathematical models of a field of flaw the field of magnetization having the unknown geometrical form, and indeterminacy of a disposition of a point of examination do not consider such habits of real object, as the function of the magnetization localized in restricted field.
Відомі математичні моделі поля дефекту не враховують такі особливості реального об'єкту, як функція намагніченості, яка локалізована в обмеженій області, область намагніченості, що має невідому геометричну форму, та невизначеність розташування точки дослідження.
The methods offered in-process on the basis of wavelet-processing of images enable at qualitatively new level and much more effectively to conduct their martempering with the purpose of obtaining of the adequate information on prototype systems.
Запропоновані в роботі методи на основі вейвлет-обробки зображень дають можливість на якісно новому рівні і набагато ефективніше проводити їх поліпшення з метою отримання адекватної інформації про об'єкти дослідження, а також істотно зменшити обсяги інформації практично без погіршення її якості.
By selection of different compositions of heterostructures for manufacture of the pickups analogous to photon receivers with the underload characteristic generation- recombination noise which do not grow with magnification of temperature.
Разом з тим моделювання дозволяє теоретично досягти максимальної чутливості шляхом підбору різних композицій гетероструктур для виготовлення чутливих елементів, аналогічних фотонним приймачам з мінімальними власними генераційно-рекомбінаційними шумами, але які не збільшуються зі збільшенням температури.
For processing the signals received from thermal sensors (the thermovision images received at ecological monitoring) new algorithms on the basis of wavelets are developed.
Для обробки сигналів, отриманих від теплових сенсорів (тепловізійних зображень, отриманих при екологічному моніторингу) розроблені нові алгоритми на основі вейвлетів, що мають переваги над Фур'є-методами як у загальному і точному зображенні функцій, так і в їх різноманітних локальних особливостях.
In the article the method of construction of a unique trade proposal, is presented in a 4-stage scheme, including responses to questions of five main blocks: «target audience», «value», «advantage», «competition», «the result of work».
В статті наведена методика побудови унікальної торгової пропозиції, представлена у вигляді 4-х етапної схеми, що включає пошук відповідей на питання п’яти основних блоків: «цільова аудиторія», «цінність», «переваги», «конкуренція», «результат діяльності».
Analysis of consumer behavior in the industrial market to form a trade offers
Аналіз поведінки споживачів на промисловому ринку для формування торгової пропозиції
The article describes and analyses the formation of meaningful offers in the industrial market, highlights the main problems facing the Ukrainian company in its development, as well as their causes.
В статті наведене та проаналізоване питання формування значущої пропозиції на промисловому ринку, висвітлено основні проблеми з якими стикається українське підприємство при її розробці, а також причини їх виникнення.
Based on the factors influencing the decision-making process of buying on the industrial market in the article the logical-block diagram of analysis of consumers is presented to create a unique offer meaningful to the customer.
На основі факторів, що впливають на процес прийняття рішення про покупку на промисловому ринку в статті запропонована структурно-логічна схема аналізу споживачів для формування унікальної значущої для клієнта пропозиції.
Proposed in the article research and the results can be tangible benefits for businesses in competing for customers.
Запропонований у статті хід дослідження та отримані результати можуть стати для підприємства відчутною перевагою у конкурентній боротьбі за клієнта.
Revealed that insufficient attention is paid to the analysis of the client›s market environment, the specifics of its work in the specific sector of economics, especially poor attention is paid to the client’s organization.
Виявлено, що недостатня увага приділяється аналізу ринкового середовища клієнта, дослідженню специфіки роботи в його галузі, особливостям організації клієнта.
Complex methods for the rational exploitation ink rollers small format offset printing machines
Комплексна методика раціональної експлуатації фарбових валиків малоформатних офсетних друкарських машин
Based on the manufacturing research developed and tested a complex method for the rational exploitation ink rollers, which includes compliance with the relevant activities and provides timely detection of changes of hardness and surface properties of the ink rollers.
Розроблено комплексну методику раціональної експлуатації фарбових валиків, яка регламентує методи, періодичність та умови проведення контрольних заходів для оцінки стану їх покриття.
Developed a journal exploitation of ink rollers, which provides constant reference and control of changes printing and technical indicators of ink rollers.
У статті проведено аналіз вимог до фарбових валиків та методів діагностики роботи друкарських машин.
Continuous monitoring of equipment is one way to resolve this issue.
Проведення постійного спостереження за станом обладнання є одним із шляхів до вирішення цієї проблеми.
To achieve the goal of this dissertation, the following tasks were set and solved:1.
Для досягнення мети даної дисертаційної роботи було поставлено і вирішено такі задачі:1.
As the number of small businesses in the industry has only recently increased, the problem of maintaining and checking the status of equipment is becoming increasingly common.
Оскільки в останні часи кількість дрібних підприємств в промисловості лише збільшується, все частіше постає проблема підтримання і перевірки стану обладнання.
The work contains 130 pages, including 31 figures and 13 tables, a list of literature from 52 sources, annexes on 31 pages.
Робота містить 130 сторінок, 31 рисунок і 13 таблиць, список літератури з 52 джерел і додатки на 31 сторінці.
In the modern era of continuous development of technologies, probably the best alternative to a simple but rather informative method of vibroacoustic diagnostics has not yet been found.
В сучасну еру постійного розвитку технологій, напевно кращої альтернативи простому, але доволі інформативному методу віброакустичної діагностики, поки що не знайшли.
Object and methods of research.
Об'єкт і методи досліджень.
The dissertation consists of an introduction, three sections, conclusions, a list of sources used, annexes.
Дисертація складається з вступу, трьох розділів, висновків, списку використаних джерел, додатків.
After all, by periodically receiving the data of the spectral characteristics of the vibration parameters of the machine, it is possible to constantly compare the obtained data with the previous ones and make conclusions about the change of the equipment.
Адже, періодично отримуючи дані спектральних характеристик вібраційних параметрів машини, забезпечується можливість постійного порівняння отриманих даних з попередніми і робити висновки щодо зміни стану обладнання.
The option of modernization of the drive of the main movement on the drive with stepless adjustment is offered; a number of solutions for improving gears and bearing supports; variants of carrying out of vibration isolation works, namely possibility of installation of the machine on vibration isolators (vibration supports or vibration isolation mats) or on the base.
Запропоновано варіант модернізації приводу головного руху на привід з безступеневим регулюванням; ряд рішень з вдосконалення зубчастих передач і підшипникових опор; варіанти проведення віброізоляційних робіт, а саме можливість встановлення верстату на віброізолятори (віброопори чи віброізоляційні килимки) або на фундамент.
Practical ways are suggested which use will provide vibration reduction and increase of characteristics.
Запропоновано практичні шляхи, використання яких забезпечить зниження рівню вібрацій, а також підвищення характеристик.
The analysis of the processes of the dynamic machine system in order to identify the main sources of vibrations (vibrations), identified the most significant sources of disturbances, the acoustic activity of which can be reduced by changes in the design of machine components or changes in the kinematic scheme.
Проведено аналіз процесів динамічної системи верстату задля виявлення основних джерел збурень коливань (вібрацій), визначено найбільш суттєві джерела збурень, віброакустичну активність яких, можна знизити змінами конструкції вузлів верстату чи змінами в кінематичній схемі.
In this work, the study of its condition was carried out by the method of vibroacoustic diagnostics.
В даній роботі проводилося дослідження його стану методом проведення віброакустичної діагностики.
A method is proposed and implemented, which provides the possibility of maintaining the machine in working order, by performing work on the assessment of the current state of the machine (diagnostics).
Запропоновано і реалізовано методику, завдяки якій забезпечується можливість підтримання верстату у робочому стані, шляхом проведення робіт з оцінки поточного стану верстату (діагностики).
The purpose of this dissertation is to study the state of metal-cutting machines on the basis of the analysis of oscillatory processes of the dynamic system of the machine and to develop ways to reduce vibrations.
Метою даної дисертаційної роботи є дослідження стану металорізалих верстатів на основі проведення аналізу коливальних процесів динамічної системи верстата та розробка шляхів зменшення вібрацій.
The technique of vibration diagnostics of the machine is offered, as well as suggestions for possible ways to reduce vibrations.
Запропоновано методику вібраційної діагностики верстату, а також пропозиції можливих до застосування шляхів з зменшення вібрацій.