Автореферати та дисертаційні роботи
Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/2995
Browse
2 results
Search Results
Item Математичне та лінгвістичне забезпечення автоматизації написання програм восьмирозрядних мікроконтролерів(Національний університет "Львівська політехніка", 2012) Малий, Олександр ЮрійовичДисертацію присвячено подальшому розвитку математичного та алгоритмічного забезпечення автоматизації написання програм мікроконтролерів (МК), опису мікроконтролерів як технічних об’єктів у САПР радіоелектронних пристроїв. Знайшли подальший розвиток математичні моделі й методи автоматизації програмування. Запропоновані в роботі розширення мови УАМПМ дають змогу моделювати властивості будь-яких розповсюджених мов програмування мікроконтролерів, тим самим створюється більш конструктивна основа для здійснення оптимізуючих перетворень програмних моделей МК. Розроблена модель опису мікроконтролеру з урахуванням як програмних, так і апаратних особливостей зі збереженням чіткого взаємозв'язку між ними. Розроблений метод перетворення програм проміжною мовою УАМПМ, на відміну від відомих у теорії компіляції методів оптимізуючих перетворень програм, що працюють над графами потоків керування, дозволяє одержувати програмний продукт вихідною мовою програмування будь-якого мікроконтролеру описаного в базі системи. Розроблені методи оптимізації відрізняються від відомих тим, що використовують у якості вхідних даних вхідну мову програмування, яка має однакову структуру для всіх видів мікроконтролерів. Розроблено програмний комплекс автоматизації написання програм мікроконтролерів для радіоелектронних пристроїв на їх основі. Основні результати роботи впроваджено на промислових підприємствах при проектуванні радіоелектронних пристроїв, для проведення науково-дослідних робіт та в навчальний процес.Диссертация посвящена дальнейшему развитию математического и алгоритмического обеспечения автоматизации написания программ микроконтроллеров, описания микроконтроллеров как технических объектов в САПР радиоэлектронных устройств. Проведен анализ устройств на основе микроконтроллеров, возможностей современных САПР при проектировании и отладке программ микроконтроллеров, методов и средств автоматизации разработки программ, а также методов и моделей описания микропроцессорных устройств. В диссертационной работе разработана общая математическая модель микроконтроллеров, которая позволяет описывать любой тип микроконтроллеров в независимости от производителя и на ее основе разработан метод описания функционального состава микроконтроллеров, что позволит определить структуру микроконтроллеров различных типов. Разработан унифицированный язык (УАЯПМ) для описания функционирования микроконтроллеров, периферийных устройств, встроенных в микроконтроллеры и радиоэлектронных устройств на основе микроконтроллеров. Разработана модель описания функционального состава микрокотроллеров, основанный на математической модели микроконтроллеров, и представляет собой структуру данных с плавающей длиной, что позволяет проводить разработку информационного обеспечения в виде баз данных для САПР микроконтроллеров. Разработана модель описания системы команд восьмиразрядных микроконтроллеров на основе УАЯПМ, что позволяет описывать наборы инструкций и их влияние на аппаратное обеспечение микроконтроллера. Разработан метод описания инженерных задач при проектировании радиоэлектронных устройств на основе микроконтроллеров, что позволяет упростить процесс составления технического задания для систем автоматизации написания программ микроконтроллеров. Разработан алгоритм автоматизированного выбора микроконтроллера, основанный на десяти критериях, которые учитывают как технические так, и экономические показатели, что позволяет выбирать оптимальный с точки зрения быстродействия при заданном наборе встроенной периферии микроконтроллер с минимальной стоимостью из базы данных САПР. Разработан метод автоматизации создания программ микроконтроллеров на основе введенного пользователем алгоритма работы проектируемого радиоэлектронного устройства и используя теорию трансляции, что позволит повысить скорость написания программного кода управляющего микроконтроллера от 2 до 15 раз в зависимости от сложности поставленной инженерной задачи. Разработано базовое программное обеспечение для автоматизации написания программ микроконтроллеров и алгоритм его применения и проведен сравнительный анализ результатов, полученных благодаря ему результатам написания программ непосредственно программистами без использования автоматизации. Основные результаты работы внедрены на промышленных предприятиях при проектировании радиоэлектронных приборов, для проведения научно-исследовательских работ и в учебный процесс. The disertation is devoted to the further development of mathematical and algorithmic software automation writing programs of microcontrollers, microcontrollers describe how technical objects in CAD of electronic devices. Found a further development of mathematical models and methods of automatic programming. The suggested language extensions UALPM allow you to simulate the properties of any common programming languages microcontrollers, thus creating a more constructive basis for optimizing transformations of program models MC. The model describes the microcontroller including both software and hardware features while maintaining a clear relationship between them. The developed method of Programs intermediate language UALPM, unlike famous theory of compilation methods optimizing transformations applications running on control flow graphs, can receive software source language programming any microcontroller described in a system. The methods of optimization are different from the known fact that using as input the input programming language that has the same structure for all types of microcontrollers. A program complex automation of programming microcontrollers for electronic devices based on them. The main results are implemented at industrial enterprises in the design of electronic devices, for scientific research and educational process.Item Моделі та методи автоматизованого проектування шумозахисних екранів(Національний університет "Львівська політехніка", 2011) Мельник, Михайло РомановичРозв'язана наукова задача автоматизації процесу оцінювання шумового забруднення та проектування шумозахисних екранів на основі розроблених методів, моделей та засобів. Розроблено метод автоматизованого проектування шумозахисних екранів, який ґрунтується на оцінці звукової енергії від кожної смуги руху і категорій транспортних засобів. Розроблено математичну модель визначення висоти положення домінуючого джерела шуму у потоці транспортних засобів, яка враховує середні швидкості та склад транспортних потоків. Розроблено метод автоматизованого визначення числа Френеля для великої кількості екрануючих об'єктів, який полягає у виключенні з розрахунків екранів, ефективність яких не відіграє значного впливу на загальну ефективність. Вдосконалено математичні моделі визначення вартості поправки для типу дорожнього покриття, що дало змогу покращити універсальність моделей та підвищити точність вихідних результатів. Розроблено та реалізовано систему автоматизованого проектування шумозахисних екранів "ШумоЗахист". В диссертационной работе решена научная задача - автоматизации процесса оценки шумового загрязнения и проектирования шумозащитных экранов на основе разработанных методов, моделей и средств. Проведен анализ методов прогнозирования дорожного шума и определения эффективности шумозащитных экранов на основании чего показано, что для повышения их точности нужно усовершенствовать математические модели определения поправки для разных типов дорожного покрытия и определения высоты положения доминирующего источника шума. Разработан метод автоматизированного проектирования шумозащитных экранов, который основывается на оценке звуковой энергии от каждой полосы движения и категорий транспортных средств, что дало возможность повысить уровень автоматизации при проектировании шумозащитных экранов. Разработана математическая модель определения высоты положения доминирующего источника шума в потоке транспортных средств, которая учитывает средние скорости и состав транспортных потоков, что дало возможность расширить область адекватности и универсальность математической модели. Разработан метод автоматизированного определения числа Френеля для большого количества экранирующих объектов, на основе правил Хорна первого рода, который заключается в исключении из расчетов экранов, эффективность которых не имеет значительного влияния на общую эффективность, что дало возможность рассчитать затухание звуковой энергии при наличии больше чем одного экранирующего объекта. Усовершенствованы математические модели определения поправки для типа дорожного покрытия брусчатка и "черное шоссе", которые базируются на экспериментальных данных и отличаются от известных тем, что учитывают среднюю скорость транспортных средств и расстояние от точки наблюдения к источнику шума, который дал возможность улучшить универсальность моделей и повысить точность исходных результатов. Разработана и реализована структурная схема, математическое, информационное и программное обеспечение для системы автоматизированного проектирования шумозащитных экранов "ШумоЗахист". Теоретические и практические результаты диссертационной работы использованы при разработке системы автоматизированного проектирования шумозащитных экранов. Предложены методы и модели отличаются универсальностью и высокой точностью по сравнению с известными. Это дает возможность, применяя разработанные модели и методы, повысить эффективность автоматизированного проектирования шумозащитных экранов и избегать при этом дорогих и долговременных физических экспериментальных исследований и испытаний. The scientific problem of the noise pollution evaluation process and noise barriers design automation based on developed methods, models and tools is solved. The computer-aided method of noise barriers design is developed based on sound energy evaluation from each road lane and vehicle categories. The mathematical model for determining the position height of dominant noise source in the traffic flow taking into account an average speed and composition of traffic flows is developed. The method for automated determination of Fresnel number for a large number screening facilities is developed, which excluded from the calculations of barriers which effectiveness does not have a significant impact on overall efficiency. Mathematical model for determining the amendment value for the pavement type, which helps to improve universality of models and the accuracy of output results is developed. The "ShumoZahyst" computer-aided system for barriers design is developed and implemented.