Добірка наукової літератури з теми "Синтез програм"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Синтез програм".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Синтез програм"
Ліннік, Олена Петрівна, Олександр Павлович Поліщук та Ілля Олександрович Теплицький. "Моделювання мовленнєвої поведінки людини у програмах-співрозмовниках". New computer technology 5 (6 листопада 2013): 60–61. http://dx.doi.org/10.55056/nocote.v5i1.80.
Повний текст джерелаДутчак, М. В., О. В. Андрєєва, О. Б. Лазарєва, О. Л. Благій та І. В. Хрипко. "Базові положення побудови профілактично-оздоровчих програм для працівників атомних електростанцій". Спортивна медицина, фізична терапія та ерготерапія, № 1 (21 травня 2019): 81–85. http://dx.doi.org/10.32652/spmed.2019.1.81-85.
Повний текст джерелаЦИБАНЮК, Олександра. "ІННОВАЦІЙНИЙ ПІДХІД ДО ПРОГРАМОВОГО ЗАБЕЗПЕЧЕННЯ ФІЗИЧНОГО ВИХОВАННЯ УЧНІВ ПОЧАТКОВОЇ ШКОЛИ РУМУНІЇ (2014–2020 рр.)". Освітні обрії 50, № 1 (2 квітня 2020): 36–40. http://dx.doi.org/10.15330/obrii.50.1.36-40.
Повний текст джерелаТретяк, Дмитро, та Ірина Іванишин. "СТРУКТУРА МОДЕЛІ ПРОГРАМИ ЗДОРОВ’ЯЗБЕРІГАЮЧОЇ СПРЯМОВАНОСТІ НА ЕТАПІ ПОПЕРЕДНЬОЇ БАЗОВОЇ ПІДГОТОВКИ У ЮНИХ ФУТБОЛІСТІВ З ФУНКЦІОНАЛЬНИМИ ПОРУШЕННЯМИ ОПОРНО-РУХОВОГО АПАРАТУ". Вісник Прикарпатського університету. Серія: Фізична культура, № 36 (22 січня 2021): 66–74. http://dx.doi.org/10.15330/fcult.36.66-74.
Повний текст джерелаЦыганенко, О. И., Я. В. Першегуба, Н. А. Склярова та Л. Ф. Оксамытная. "Роль питания в профилактике и лечении вторичного неинфекционного иммунодефицита у спортсменов". Спортивна медицина, фізична терапія та ерготерапія, № 1 (26 квітня 2016): 77–82. http://dx.doi.org/10.32652/spmed.2016.1.77-82.
Повний текст джерелаYarosh, Liubov. "PEDAGOGICAL CONDITIONS FOR THE BUILDING PROFESSIONAL COMPETENCE OF FUTURE ELECTRICAL TECHNICIANS IN AGRICULTURAL COLLEGES." B U L L E T I N OF OLEKSANDR DOVZHENKO HLUKHIV NATIONAL PEDAGOGICAL UNIVERSITY 47, no. 3 (December 29, 2021): 190–200. http://dx.doi.org/10.31376/2410-0897-2021-3-47-190-200.
Повний текст джерелаVlasova, Katerуna. "СТРАТЕГІЧНІ НАПРЯМИ РОЗВИТКУ ПІДПРИЄМСТВ АПК У СУЧАСНИЙ ПЕРІОД". PROBLEMS AND PROSPECTS OF ECONOMIC AND MANAGEMENT 3(15), № 3(15) (2018): 83–89. http://dx.doi.org/10.25140/2411-5215-2018-3(15)-83-89.
Повний текст джерелаKuchuk, N. "СИНТЕЗ МЕРЕЖЕВОЇ МОДЕЛІ КОМП’ЮТЕРНОЇ СИСТЕМИ НА ГІПЕРКОНВЕРГЕНТНІЙ ПЛАТФОРМІ". Системи управління, навігації та зв’язку. Збірник наукових праць 1, № 59 (26 лютого 2020): 86–92. http://dx.doi.org/10.26906/sunz.2020.1.086.
Повний текст джерелаКостенко, О. М. "Синтез оптимальних комбінаторних планів багатофакторного експерименту". Вісник Полтавської державної аграрної академії, № 1-2 (24 червня 2016): 62–71. http://dx.doi.org/10.31210/visnyk2016.1-2.13.
Повний текст джерелаЛевінський, В. М., та М. В. Левінський. "Приклади аналізу сталих процесів в системі автоматичного регулювання засобами MATLAB". Automation of technological and business processes 12, № 2 (30 червня 2020): 48–52. http://dx.doi.org/10.15673/atbp.v12i2.1810.
Повний текст джерелаДисертації з теми "Синтез програм"
Поповіченко, С. А., Г. В. Кошель та В. М. Дворжак. "Дослідження кривошипно-повзунного механізму з застосуванням прикладних CAD програм". Thesis, Київський національний університет технологій та дизайну, 2019. https://er.knutd.edu.ua/handle/123456789/14593.
Повний текст джерелаТомишин, Юрій Васильович. "Засоби розроблення паралельних програм для метеорологічного прогнозування". Master's thesis, Київ, 2018. https://ela.kpi.ua/handle/123456789/25575.
Повний текст джерелаThe computer-aided design of high-level algebra-algorithmic specifications of the software for solving the problem of meteorological forecasting is performed. Generation of the program code behind the constructed specifications on the basis of use of the developed tools of computer-aided design and synthesis of programs is executed. An experiment was carried out to implement the generated parallel program of meteorological forecasting on the Intel Xeon Phi multicore platform. Total amount of work: 82 p., pic 5, 29 tables., 30 links.
Выполнено автоматизированное конструирование высокоуровневых алгебро-алгоритмических спецификаций программного обеспечения для решения задачи метеорологического прогнозирования. Выполнена генерация кода по построенным спецификациями на основе использования разработанных инструментальных средств автоматизированного проектирования и синтеза программ. Проведен эксперимент по выполнению сгенерированной параллельной программы метеорологического прогнозирования на многоядерной платформе Intel Xeon Phi.
Даниленко, Олександр Федорович, та С. Ю. Ягнюков. "Розробка SOFT-мікропроцесорів засобами ПЛІС". Thesis, Національний технічний університет "Харківський політехнічний інститут", 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/47141.
Повний текст джерелаБешлей, Микола Іванович. "Синтез та реалізація інтенційно-орієнтованих інфокомунікаційних мереж для адаптивного надання сервісів". Diss., Національний університет "Львівська політехніка", 2021. https://ena.lpnu.ua/handle/ntb/56694.
Повний текст джерелаЗаковоротний, Олександр Юрійович. "Синтез автоматизованої системи управління рухомим складом на основі геометричної теорії керування та нейронних мереж". Thesis, НТУ "ХПІ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28327.
Повний текст джерелаDissertation for the degree of Doctor of Technical Science on Specialty 05.13.07 – Automation of Control Processes. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv, 2017. The dissertation is devoted to solving scientific and applied problems of increasing energy characteristics of traction rolling stock, traction asynchronous drive through the development and introduction of new onboard intellectual decision support system of machinist that is based on more accurate models and optimize dynamics tools, using new methods and specialized software and new technologies of information processing based on stable and plastic neural networks and new models of associative memory, which creates theoretical precondition for developing of automatic control systems of high-speed rolling stock. Developed a comprehensive diesel-train model that takes into account the principal vibrations of the rolling stock and the distribution of forces of interaction between them, as well as parallel performance of traction drive of wagons with motors that adequately reflects the processes that occur on the real object. Developed specialized software that realizes the man-machine system that automates the conversion of analytical geometric control theory in the synthesis models to the Brunovsky form. Based on the neural networks that can solve problems with multiple solutions, developed a new method of search switching functions between the variables in the form of linear models Brunovsky and variables of nonlinear models control object. Developed stable-flexible Hamming neural networks, Hebb and other networks based on Perceptron, that can recognize new information and studying during its performance and modification Hamming neural network, capable identify several solutions. Has developed structure and components of the onboard intellectual decision support system that allows the actual use of the rolling stock and when happening currently changing road conditions, system can give for machinist new control laws under which adheres to a schedule for the least cost fuel and energy resources. Conducted experimental investigations on mathematical models and real object that confirming the correctness of the proposed solutions, methods and algorithms.
Кучук, Ніна Георгіївна. "Моделі та методи синтезу інформаційних структур для комп’ютерних систем на інтегрованих програмних платформах". Thesis, Національний технічний університет "Харківський політехнічний інститут", 2020. http://repository.kpi.kharkov.ua/handle/KhPI-Press/49174.
Повний текст джерелаDissertation for the degree of Doctor of Technical Sciences in the specialty of 05.13.05 – ComputerSystems and Components (123 – Computerengineering). – National Technical University "Kharkiv Polytechnic Institute", Ministry of Education and Science of Ukraine, Kharkiv, 2020. The thesis is devoted to solving actual scientific and technical problem of increasing the efficiency of the information transfer process in computer systems on integrated software platforms. It is based on the development of a mathematical apparatus (mathematical models and methods) for the synthesis of information structures. The analysis of the problem state was carried out. It was revealed that, simultaneously with the increase in the volume of transmitted information in the computer system and the increased requirements for the speed of information transmission, integrated software platforms are increasingly used. As a result, the structure and nature of information flows change qualitatively and quantitatively. This significantly affects the information structures of computer systems and leads to a decrease in efficiency indicators. An analysis of the existing requirements for modern software platforms of computer systems has been carried out. Advantages and disadvantages of centralized, distributed and combined software platforms are highlighted. Based on the analysis, general requirements for the necessary composition of platform software products are formulated. The requirements for the hardware of the core network of the computer system supporting them are also formulated. The analysis showed the feasibility of using integrated software platforms for departmental computer systems. The necessity of increasing the efficiency of transaction processing in the basic networks of computer systems has been proven. Those that use integrated software platforms can be done by using the specific properties of such platforms. This is due to the synthesis of the information structure of the computer system. A complex of interrelated models of the information structure of the computer system and the technical structure of the basic network has been developed. It takes into account the peculiarities of the integrated software platform. The complex is based on a stratified representation of the main constituents of the models. This allows you to take into account the informational relationships between the components of the computer system. It also allows increasing the degree of model adequacy. A set of methods foroperational redistribution of information flows in the basic network of a computer system on an integrated software platform has been developed. This complex takes into account the dynamics of the development of a computer system and the characteristic features of the underlying network. It is based on the operational reconfiguration of the virtual communication channel system. This helps to reduce the average packet delay. A set of methods for synchronizing the information structure of a computer system with the computing resources of the nodes of the basic network has been developed. The complex, which has been developed, takes into account information links between the tasks of a computer system and the possibility of using composite applications. This complex is based on an adaptive approach to finding a rational distribution of tasks between network nodes. The complex allows you to quickly synchronize. Synchronization is focused on reducing the cost of computing resources and increasing the efficiency of information transfer. The method of distribution of information flows along routes in the basic network of a computer system on an integrated software platform has been improved. The method differs from the known ones by using iterative load balancing of hosts. This is what makes it possible to reduce the cost of computing resources. The method of forming an information structure of increased reliability in a computer system on an integrated software platform has been improved. This method differs from the known ones by the simultaneous distribution of information flows along all the main and alternative routes of the core network. This allows, in the event of a failure of any network node, to continue processing transactions of the computer system. The computer system will operate without a significant decrease in service quality indicators and without changing the information structure. The method of optimizing the information structure of a computer system on an integrated software platform has been further developed. The method is based on the use of the mathematical apparatus of genetic algorithms. This device is used at the stage of load distribution of information nodes. This makes it possible to reduce the time spent on synthesizing the information structure and to form a balanced load on the nodes of the core network. The method of selecting an optimal plan for executing transactions of a computer system on an integrated software platform was further developed. A dynamic penalty function was introduced for exceeding time indicators. It is focused on the specifics of the integrated software platform and time scaling. This allows you to reduce the time spent on operational changes to the transaction execution plan. The complex of methods for processing requests to the data storage of a computer system on an integrated software platform has been further developed. A single disk pool was created. The peculiarities of access to the cloud components of the data warehouse were taken into account. This allows distributed heterogeneous components to be included in repositories. It also reduces the execution time of applications that access data warehouse components. The engineering methods and algorithms which has been developed on the basis of the offered models and methods allow: - simulate the information structure of the computer system on an integrated software platform and its basic computer network; - optimize the information structure of the computer system on an integrated software platform and the distribution of information flows along routes in the core network; - increase the operational efficiencyof computer system tasks on an integrated software platform by up to 10%; - reduce the costs of the computing resource of the basic network of a computer system on an integrated software platform up to 5%; - reduce the exploitational cost of a computer system on an integrated software platform by up to 10%; - expand the useful capacity of the data storage by including heterogeneous components and cloud components. Comparative assessment of developed and existing models and methods of synthesis information structures of computer systems on an integrated software platforms was carriedout. Based on the results that were obtained, the effectiveness of the proposed methods was proved. In particular, an assessment of the effectiveness of the subsystem for providing distance learning of the computer system in a technical university was carried out. The results of the integrated application of the proposed methods in the formation to the project of a computer system managing for the production structures of the airport are also presented. Where by increasing the transaction efficiency of information, the customer's requirements were achieved. They were executed relative to the limit of the probability of time bounds.This was done for operational transactions of the computer system with an increase in the load of the basic network.
Кучук, Ніна Георгіївна. "Моделі та методи синтезу інформаційних структур для комп’ютерних систем на інтегрованих програмних платформах". Thesis, Національний технічний університет "Харківський політехнічний інститут", 2020. http://repository.kpi.kharkov.ua/handle/KhPI-Press/49170.
Повний текст джерелаDissertation for the degree of Doctor of Technical Sciences in the specialty of 05.13.05 – Computer Systems and Components. – National Technical University "Kharkiv Polytechnic Institute", Ministry of Education and Science of Ukraine, Kharkiv, 2020. The thesis is devoted to solving actual scientific and technical problem of increasing the efficiency of the information transfer process in computer systems on integrated software platforms. It is based on the development of a mathematical apparatus (mathematical models and methods) for the synthesis of information structures. The analysis of the problem state was carried out. It was revealed that, simultaneously with the increase in the volume of transmitted information in the computer system and the increased requirements for the speed of information transmission, integrated software platforms are increasingly used. As a result, the structure and nature of information flows change qualitatively and quantitatively. This significantly affects the information structur es of computer systems and leads to a decrease in efficiency indicators. A complex of interrelated models of the information structure of the computer system and the technical structure of the basic network has been developed. It takes into account the peculiarities of the integrated software platform. The complex is based on a stratified representation of the main constituents of the models. This allows you to take into account the informational relationships between the components of the computer system. It also allows increasing the degree of model adequacy. A set of methods for operational redistribution of information flows in the basic network of a computer system on an integrated software platform has been developed. This complex takes into account the dynamics of the development of a computer system and the characteristic features of the underlying network. It is based on the operational reconfiguration of the virtual communication channel system. This helps to reduce the average packet delay. A set of methods for synchronizing the information structure of a computer system with the computing resources of the nodes of the basic network has been developed. The complex, which has been developed, takes into account information links between the tasks of a computer system and the possibility of using composite applications. This complex is based on an adaptive approach to finding a rational distribution of tasks between network nodes. The complex allows you to quickly synchronize. Synchronization is focused on reducing the cost of computing resources and increasing the efficiency of information transfer. The method of distribution of information flows along routes in the basic network of a computer system on an integrated software platform has been improved. The method differs from the known ones by using iterative load balancing of hosts. This is what makes it possible to reduce the cost of computing resources. The method of forming an information structure of increased reliability in a computer system on an integrated software platform has been improved. This method differs from the known ones by the simultaneous distribution of information flows along all the main and alternative routes of the core network. This allows, in the event of a failure of any network node, to continue processing transactions of the computer system. The computer system will operate without a significant decrease in service quality indicators and without changing the information structure. The method of optimizing the information structure of a computer system on an integrated software platform has been further developed. The method is based on the use of the mathematical apparatus of genetic algorithms. This device is used at the stage of load distribution of information nodes. This makes it possible to reduce the time spent on synthesizing the information structure and to form a balanced load on the nodes of the core network.The method of selecting an optimal plan for executing transactions of a computer system on an integrated software platform was further developed. A dynamic penalty function was introduced for exceeding time indicators. It is focused on the specifics of the integrated software platform and time scaling. This allows you to reduce the time spent on operational chang es to the transaction execution plan. The complex of methods for processing requests to the data storage of a computer system on an integrated software platform has been further developed. A single disk pool was created. The peculiarities of access to the cloud components of the data warehouse were taken into account. This allows distributed heterogeneous components to be included in repositories. It also reduces the execution time of applications that access data warehouse components.
Онисько, Ольга Олегівна. "Аудіо-модуль веб-сайту для інклюзивної освіти". Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2021. https://ela.kpi.ua/handle/123456789/43160.
Повний текст джерелаOne of the most pressing issues today is the problem of people with hearing, vision or speech disorders. People born with disabilities need inclusive education. The main task of inclusion is that everyone should feel on equal terms with other people. With the help of mobile phones and talking computers, you can significantly increase the level of inclusive education. Meantime one of the most effective methods of creating computer speech is Text-to-Speech (TTS). During implementation of this work a study was undertaken in the field of the speech synthesis, the methods of speech synthesis, and also basic spheres of the use are considered. The analysis of modern speech synthesizers is conducted pointing their advantages and disadvantages. This work is offered as a solution for inclusive learning content. The Web Speech API has been used to develop a web application that can convert text to sound and vice versa. A large selection of languages for both options is presented.
Бігальський, Богдан Петрович. "Методи і засоби автоматизованого синтезу супровідної документації програмного забезпечення комп’ютерних систем". Master's thesis, 2018. http://elartu.tntu.edu.ua/handle/lib/26456.
Повний текст джерелаКниги з теми "Синтез програм"
Вопросы синтеза программ. Москва, 1987.
Знайти повний текст джерелаКанович, М. И. Логические методы синтеза программ. Калинин, 1986.
Знайти повний текст джерелаКанович, М. И. Логические методы синтеза программ. Калинин, 1986.
Знайти повний текст джерелаСистема синтеза программ для микропроцессоров. Минск, 1989.
Знайти повний текст джерелаДиалоговая система синтеза программ многошаговой оптимизации (МОДА-7920). Минск, 1986.
Знайти повний текст джерелаПроблемы совершенствования синтеза, тестирования, верификации и отгладки программ. Т. 1. Рига, 1986.
Знайти повний текст джерелаПроблемы совершенствования синтеза, тестирования, верификации и отгладки программ. Т. 2. Рига, 1986.
Знайти повний текст джерелаКомплекс программ синтеза комбинационных схем в бахисе ПЛМ и МЛВ. Минск, 1988.
Знайти повний текст джерелаПрименение, методов математической. IV всесоюзная конференция "Применение методов математической логики". Секция "Представление знаний и синтез программ". Таллинн, 1986.
Знайти повний текст джерелаЧастини книг з теми "Синтез програм"
Русин, Людмила. "ПРОГРАМА ФОРМУВАННЯ ГОТОВНОСТІ ТРЕНЕРІВ З ОДНОБОРСТВ ДО ЗАСТОСУВАННЯ ЗАСОБІВ ФІЗИЧНОЇ ТЕРАПІЇ В СИСТЕМІ САМООСВІТИ". У Імплементація нововведень до правових та воєнних наук та підвищення ролі спорту на державному рівні (1st ed.). Європейська наукова платформа, 2020. http://dx.doi.org/10.36074/indpvnprsdr.ed-1.05.
Повний текст джерелаYurchenko, I. F. "ТЕХНОЛОГИИ ПРЕЦИЗИОННОГО УПРАВЛЕНИЯ МЕЛИОРАТИВНЫМ РЕЖИМОМ АГРОЭКОСИСТЕМ". У НАУЧНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ РАЗВИТИЯ МЕЛИОРАТИВНО-ВОДОХОЗЯЙСТВЕННОГО КОМПЛЕКСА, 11. ФГБНУ «ВНИИГиМ им. А.Н. Костякова», 2020. http://dx.doi.org/10.37738/vniigim.2020.65.29.030.
Повний текст джерелаТези доповідей конференцій з теми "Синтез програм"
Novikov, A. N., та M. S. Novikova. "МИРОВОЗЗРЕНЧЕСКИЕ ФОРМУЛЫ В ГЕОГРАФИИ:ОСОБЕННОСТИ РЕАЛИЗАЦИИ В НАУКЕ И ОБРАЗОВАНИИ". У Geosistemy vostochnyh raionov Rossii: osobennosti ih struktur i prostranstvennogo razvitiia. ИП Мироманова Ирина Витальевна, 2019. http://dx.doi.org/10.35735/tig.2019.20.67.004.
Повний текст джерелаNovikov, A. N., та M. S. Novikova. "МИРОВОЗЗРЕНЧЕСКИЕ ФОРМУЛЫ В ГЕОГРАФИИ:ОСОБЕННОСТИ РЕАЛИЗАЦИИ В НАУКЕ И ОБРАЗОВАНИИ". У Geosistemy vostochnyh raionov Rossii: osobennosti ih struktur i prostranstvennogo razvitiia. ИП Мироманова Ирина Витальевна, 2019. http://dx.doi.org/10.33833/tig.2019.20.67.004.
Повний текст джерелаSnytko, V. A., Yu M. Semenov, M. Yu Semenov, A. V. Silayev та G. I. Lysanova. "КАРТОГРАФИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ГЕОЭКОЛОГИЧЕСКОГО МОНИТОРИНГА БАССЕЙНА ОЗЕРА БАЙКАЛ". У Geosistemy vostochnyh raionov Rossii: osobennosti ih struktur i prostranstvennogo razvitiia. ИП Мироманова Ирина Витальевна, 2019. http://dx.doi.org/10.35735/tig.2019.27.11.010.
Повний текст джерелаSnytko, V. A., Yu M. Semenov, M. Yu Semenov, A. V. Silayev та G. I. Lysanova. "КАРТОГРАФИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ГЕОЭКОЛОГИЧЕСКОГО МОНИТОРИНГА БАССЕЙНА ОЗЕРА БАЙКАЛ". У Geosistemy vostochnyh raionov Rossii: osobennosti ih struktur i prostranstvennogo razvitiia. ИП Мироманова Ирина Витальевна, 2019. http://dx.doi.org/10.33833/tig.2019.27.11.010.
Повний текст джерелаЗвіти організацій з теми "Синтез програм"
Kolesnikova, Marina. Контуры морской политики ЕС – 2020: председательство Хорватии в Совете ЕС. Institute of Europe, Russian Academy of Sciences (IERAS), березень 2020. http://dx.doi.org/10.15211/analytics62020.
Повний текст джерелаKolesnikova, Marina. «Зеленое восстановление» ЕС: морские компоненты. Institute of Europe, Russian Academy of Sciences (IERAS), жовтень 2020. http://dx.doi.org/10.15211/analytics412020.
Повний текст джерела