Дисертації з теми "Математична логіка"

Використання відкритих світових мереж (наприклад, в рамках Open Course Ware Consortium) в навчально-науковому процесі заохочують передові університети світу на розробку відкритих освітянських курсів та викладення їх у вільному доступі [1–2]. Це надає додаткові можливості в одержанні якісної освіти за рахунок поєднання навчання у своєму «рідному» університеті з віртуальним навчанням у таких всесвітньовідомих університетах, як наприклад, Кембридж або Оксфорд. З іншого боку, цей процес впливає і на викладачів, що розроблюють свої власні курси, бо це процес конкурентний.

Розглядаються питання визначення математичної логіки. Symbolic logic is a section of formal logic in which logical inferences are explored through logical calculi based on a strict symbolic language. The mathematician is characterized by the widespread use of symbolism. Writing logical reasoning in the form of mathematical symbols gives the evidence a more concise, simple form. Formal logic operates with statements (our speech also consists of them)

Дисертація присвячена питанню антипомпажного керування газоперекачувальним агрегатом. Проведено комплексний аналіз та узагальнення існуючих методів та засобів, призначених для синтезу систем автоматичного антипомпажного регулювання газоперекачувальних агрегатів, визначено основні напрямки їх розвитку й удосконалення. Розроблено основні принципи побудови і функціонування ПІ-фазі-регулятора та багатопараметричного ПІД-фазі-регулятора в складі системи автоматичного антипомпажного регулювання. Розроблено динамічну математичну модель явища помпажу в відцентровому нагнітачі газоперекачувального агрегату з врахуванням перепуску газу через антипомпажний клапан. Розроблено алгоритм моделювання процесу синтезування системи антипомпажного регулювання. Розроблено узагальнену статичну математичну модель відцентрового нагнітача газоперекачувального агрегату для сукупності газодинамічних характеристик. На основі функцій спектральних щільностей ступеня підвищення тиску газу та продуктивності нагнітача визначено функцію передачі відцентрового нагнітача газоперекачувального агрегату. Здійснено постановку задачі синтезу оптимальної за швидкодією підсистеми автоматичного антипомпажного регулювання. Сформульовано постановку задачі синтезу регулятора підсистеми автоматичного антипомпажного регулювання на основі використання оператора обернення. На основі функції передачі відцентрового нагнітача розроблено моделі багатопараметричних ПІДД2-, ПЩЦ2ДЗ'регуляторів і метод синтезу таких регуляторів. Розроблено структури ПДЦ2-, ПДПД-регуляторів, функція передачі яких обернена до функції передачі об’єкта керування. Здійснено синтез оптимального за швидкодією закону керування відцентровим нагнітачем газоперекачувального агрегату з газотурбінним приводом. Розроблено та синтезовано ПІДД2-, ПІ-фазі-регулятор та ПІД-регулятор з фазі-блоком автоматичного налаштування коефіцієнтів. Розроблено імітаційну модель відцентрового нагнітача газоперекачувального агрегату з урахуванням антипомпажного клапану. Проведено імітаційне моделювання з розробленими регуляторами та здійснено їх порівняльний аналіз.
Диссертация посвящена вопросу антипомпажного управления газоперекачивающим агрегатом. Проведен комплексный анализ и обобщение существующих методов и средств, предназначенных для синтеза систем автоматического антипомпажного регулирования газоперекачивающих агрегатов, определены основные направления их развития и совершенствования. Разработаны основные принципы построения и функционирования ПИ-фази-регулятора и многопараметрического ПИД-фази-регулятора в составе системы автоматического антипомпажного регулирования. Разработана динамическая математическая модель явления помпажа в центробежном нагнетателе газоперекачивающего агрегата с учетом перепуска газа через антипомпажный клапан. Разработан алгоритм моделирования процесса синтезирования системы антипомпажного регулирования. Разработана обобщенная статическая математическая модель центробежного нагнетателя газоперекачивающего агрегата для совокупности газодинамических характеристик. На основе функций спектральных плотностей степени повышения давления газа и производительности нагнетателя определены функции передачи центробежного нагнетателя газоперекачивающего агрегата. Осуществлена постановка задачи синтеза оптимальной по быстродействию подсистемы автоматического антипомпажного регулирования. Сформулирована постановка задачи синтеза регулятора подсистемы автоматического антипомпажного регулирования на основе использования оператора обращения. На основе функции передачи центробежного нагнетателя разработаны модели многопараметрических ПИДД2-, ПИДД2ДЗ-регуляторов и метод синтеза таких регуляторов. Разработаны структуры ПДД2-, ПДПД-регуляторов, функция передачи которых обратная к функции передачи объекта управления. Осуществлен синтез оптимального по быстродействию закона управления центробежным нагнетателем газоперекачивающего агрегата с газотурбинным приводом. Разработан и синтезирован ПИДД2-, ПИ-фази-регулятор и ПИД-регулятор с фази-блоком автоматической настройки коэффициентов. Разработана имитационная модель центробежного нагнетателя газоперекачивающего агрегата с учетом антипомпажного клапана. Проведено имитационное моделирование с разработанными регуляторами и осуществлен их сравнительный анализ.
The thesis is devoted to antisurge control of gas pumping units. A comprehensive analysis and synthesis of existing methods and tools, designed to synthesize subsystems of automatic antisurge regulation of gas compressor units, are conducted and the main directions for their development and improvement are defined. Basic principles of construction and operation of the Pl-fuzzy-regulator and multiparametric PID-fuzzy-regulator as a part of the subsystem of automatic antisurge control are developed. The dynamic mathematical model of the surge phenomenon in the centrifugal pumping unit supercharger with the account of the gas bypass through the antisurge valve is designed. The algorithm of the synthesis process modeling of the antisurge regulation subsystem is implemented. The generalized mathematical static model of the centrifugal pumping unit supercharger for a set of gas-dynamic characteristics is designed. On the basis of the spectral density functions of the gas compression ratio and supercharger performance, the transfer function of the centrifugal pumping unit supercharger is determined. The synthesis problem of the time optimal subsystem of automatic antisurge control is stated. The synthesis problem statement of the subsystem regulator of automatic antisurge control, based on the inversion operator usage, is formulated. Based on the transfer function of the centrifugal supercharger, the models of multiparametric PIDD2- and PIDD2D3-regulators, as well as the method for these regulators synthesis, are developed. The structures of the PDD2- and PDPD-regulators, the transfer function of which is inverse to the transfer function of the control object, are designed. The synthesis of the optimal time control law of the centrifugal pumping unit supercharger with the gas turbine drive is conducted. The PIDD2- and Pl-fUzzy-regulator, as well as the PID regulator with the fuzzy block of automatic adjustment of coefficients, are developed and synthesized. The simulation model of the centrifugal pumping unit supercharger with the account of the antisurge valve is designed. The simulation modeling of the developed regulators is conducted and their comparative analysis is carried out.

За останні роки кіберспортивна дисципліна стрімко рвонула вперед. Тому зацікавленість у ній теж зросла. На сьогоднішній день молодь дуже стрімко розвивається й шукає для себе найбільш цікавий соціум, сферу, де вона буде почувати себе комфортно й отримувати задоволення. Однією з таких сфер є кіберспорт. Розглянемо дві досить відомі комп’ютерні ігри у світі : Dota 2 та Counter-Strike.

Єрмоленко, О. П. Модуль генерації математичної моделі компетенцій на базі логіки антонімів : дипломна робота : 121 - Інженерія програмного забезпечення / О. П. Єрмоленко ; керівник роботи І. В. Білоус ; НУ "Чернігівська політехніка", кафедра інформаційних технологій та програмної інженерії. – Чернігів, 2021. – 78 с.
Об’єкт розробки – модуль генерації математичної моделі компетенцій на базі логіки антонімів. В результаті роботи модуль має наступний функціонал: − графічне створення моделі; − додавання підрівнів; − збереження та відновлення моделі з файлу; − зміна діаметру вершин; − вибір типу з’єднання вершин; − генерація математичної моделі. Для функціонування модулю необхідна операційна система Windows з встановленим .NET Framework версії не нижче 4.7. Модуль був реалізований за допомогою технологій C#. Модуль була розроблена у середовищі розробки Visual Studio. Модуль може бути в подальшому розширений у функціональності, збільшення максимальної кількості підрівнів, додавання нових типів зв’язків.
The object of development is Module for generating a mathematical model of competencies based on the logic of antonyms. As a result, the application has the following functionality: − graphic creation of the model; − adding sublevels; − save and restore the model from a file; − change the diameter of the vertices; − select the type of connection of vertices; − generation of a mathematical model; The module requires a Windows operating system with the .NET Framework version at least 4.7 installed. The module was implemented using C # technology. The module was developed in the Visual Studio development environment. The module can be further expanded in functionality, increasing the maximum number of sublevels, adding new types of connections.

Дисертація присвячена питанням розробки методу і алгоритмів оптимального керування процесом компримування природного газу. В дисертації комплексно вирішені задачі: побудови моделей нагнітачів природного газу на основі індуктивного методу моделювання; ранжирування нагнітачів за їх технічним станом на основі методу нечіткого висновку і визначення коефіцієнтів завантаження газоперекачувального обладнання; оптимізації роботи КС за вартісним критерієм, який враховує енергетичні витрати на компримування газу, обмеження на технологічні параметри та коефіцієнти завантаження нагнітачів; синтезу системи оптимального керування газоперекачувальними агрегатами. Розв’язок цих задач у сукупності забезпечує економію енергоресурсів на компримування природного газу у розмірі 0.19грн/1000 ст.м3. Програмне забезпечення задачі оптимального керування оформлене у вигляді прикладного програмного модуля, інтегрованого у Сitect НМI верхнього рівня системи керування на прикладі Долинского ЛВУМГ. Основні результати роботи пройшли промислову апробацию на КС УМГ "Прикарпаттрансгаз", а також впроваджені у навчальний процес.
Диссертация посвящена вопросам разработки метода и алгоритмов оптимального управления процессом компримирования природного газа. Выбрано и обосновано направление исследований с целью создания методов и алгоритмов оптимального функционирования КС. Изложена методика проведения экспериментальных исследований для получения материала с целью построения эмпирических моделей. Разработана методика ранжирования газоперекачивающих агрегатов по их техническому состоянию на основе метода нечеткого вывода, что позволит экономить эксплуатационные затраты по перекачке природного газа. Основными параметрами, которые определяют техническое состояние ГПА, выбрано: скорость накопления продуктов отработки в моторном масле, коэффициент технического состояния нагнетателя по политропному к.п.д., коэффициент технического состояния газотурбинного двигателя по мощности, виброскорость и виброперемещение. Для построения математических моделей процесса компримирования газа избран индуктивный метод моделирования, который основан на принципе самоорганизации моделей. Поставлена и решена задача оптимального управления процессом компримирования природного газа, исходя из реального технического состояния нагнетателей, минимальных расходов на процесс и ограничений на технологические параметры. Задача оптимального управления состоит из нескольких подзадач. На первом этапе решена подзадача определения коэффициентов технического состояния каждого из нагнетателей. На втором этапе решена подзадача выбора необходимого количества агрегатов. На третьем этапе рассчитаны коэффициенты загрузки каждого из нагнетателей и найдены режимы их работы, которые обеспечивают необходимую производительность станции, с учетом ограничений на технологические параметры и минимальные энергетические затраты на эксплуатацию агрегатов. Программное обеспечение задачи оптимального управления оформлено в виде прикладного программного модуля, интегрированного в Сitect НМI верхнего уровня компьютерной системы управления на примере Долинского ЛПУМГ. Основные результаты работы прошли промышленную апробацию на КС УМГ "Прикарпаттрансгаз", а также внедрены в учебный процесс.
The dissertation deals with the development of methods and algorithms for optimal control of natural gas compressing process. The following problems have been solved in the dissertation: - Mathematical models for natural gas compressors have been created on the basis of information gained in the process of the compressor’s normal operating by means of the objective method of modeling; - Ranging of compressors according to their technical condition has been made by means of fuzzy logic method and load factors have been calculated that make possible to decrease expenses on natural gas transporting; - Compression station operating has been optimized on the basis of cost criterion that make possible to take into account power expenses on gas compression, technological parameter limits and load factors; - The system of optimal control for natural gas compressor’s operating has been designed. Software of optimal control system has been designed as the applied program module integrated in Citect HMI SCADA-systcm of control of natural gas compression process.

Розроблена система управління диспергування суспензії дозволила добитися оптимального заповнення суспензією бісерної млини незалежно від швидкості циркуляції суспензії в системі, а також дозволило скоротити часу диспергування. Розроблена система управління ефективна і за наявності широкосмугових обурень.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Черкаси: Академія пожежної безпеки ім. Героїв Чорнобиля МНС України, 2010. Дисертаційна робота присвячена розробленню інформаційної технології підтримки прийняття рішень інспектором Держпожнагляду з причин та наслідків пожеж. Запропоновано використовувати засоби обчислювальної техніки мобільного зв’язку. Побудована модель процесу обробки первинних даних інспектором ДПН за фактом пожежі за рахунок використання засобів ситуаційного управління, адаптованих до предметної галузі. Удосконалено технологію автоматизації процесу кваліфікації класифікаторів надзвичайних ситуацій. Розроблено знанняорієнтований метод інформаційної підтримки прийняття рішень у процесі первинної обробки даних інспектором. Створено моделі, методи, засоби підтримки прийняття рішень інспектором ДПН. Результати роботи впроваджені в підрозділах та навчальних закладах МНС України, Міністерства освіти і науки України.
Диссертация на соискание научной степени кандидата технических наук по специальности 05.13.06 – информационные технологии. – Черкассы: Академия пожарной безопасности им. Героев Чернобыля МЧС Украины, 2010. Диссертационная работа посвящена разработке информационной технологии поддержки принятия решений инспектором Государственного пожарного надзора МЧС Украины по причинам и последствиям пожара. Предложено для фиксации, обработки и передачи информации, а также для подготовки отчетности по факту пожара использовать специализированные средства вычислительной техники мобильной связи. Построена модель процесса обработки первичных данных инспектором Госпожнадзора по факту пожара на основе взаимосвязи с организациями, службами и ведомствам, которые причастны к расследованию причин и последствий пожара, за счёт использования средств и правил ситуационного управления, адаптированных к предметной области. Расчеты показали достаточность специализированных средств вычислительной техники мобильной связи для обеспечения функционирования предложенной информационной технологии. Усовершенствована технология автоматизации процесса квалификации классификаторов чрезвычайных ситуаций и вероятных причин возникновения пожаров, которая базируется на экспертных оценках результатов мониторинга и каузальной логике, что обеспечивает минимизацию времени поиска результата. Разработан знаниеориентированный метод информационной поддержки принятия решений в процессе первичной обработки данных по факту пожара инспектором Государственного пожарного надзора, который основан на правилах темпорально-каузальной логики. Созданы модели, методы и технические средства поддержки принятия решений инспектором ГПН, которые обеспечили теоретическую базу разработки автоматизированного мобильного рабочего места Государственных инспекторов пожарного надзора МЧС Украины. По результатам практического внедрения установлено, что в Черкасском городском управление ГУМЧС Украины в Черкасской области разработанное программное обеспечение автоматизированного рабочего места позволило на 27% уменьшить затрату времени работы на подготовку карточки учета пожаров, а в Черкасском районном отделе ГУМЧС Украины на 12–15% повысить достоверность обработки и фиксации данных на всех этапах пожарно-технического расследования по факту пожара. Результаты работы внедрены в подразделениях и учебных заведениях МЧС Украины, Министерства образования и науки Украины.
The dissertation project on gaining of scientific degree of candidate of engineering sciences after specialty 05.13.06 – information technologies. – Chercasy: Academy of fire safety service named after Chernobyl Heroes, 2009. The dissertation project is devoted to development of information technology of monitoring of reasons and consequences of fires. It is offered for collection and information transfer, and also for preparation of accounting in fact of fire, to use the specialized tools of the computing engineering of mobile communication. The model of process of collection of information by an inspector of fire safety serves on the basis of structure of organizations of the reasons and consequences of fires related to investigation due to the use of tools of situation management of adapted to subject industry is built. A method for construction of classifiers of extraordinary situations and credible reasons of origin of fires, which provides minimization of time of search of result, is improved. The method of support of acceptance of decisions in the process of collection of information is improved by an inspector from the fire supervision which is based on temporal-causal logic and provides the increase of operative and authenticity of monitoring of reasons and consequences of fires. The system of support of acceptance of decisions is built at collection of information, by classification of possible decisions and construction of rules of temporal-causal logic, that provided creation of theoretical base for development of the automated mobile workplace of inspector. The results of dissertation project are inculcated in subsections and educational establishments of Ministry of Emergency of Ukraine, Department of education and science of Ukraine.

Кожушко О. І. Педагогічні умови формування логіко-математичної компетентності дітей старшого дошкільного віку : кваліфікаційна робота магістра спеціальності 012 «Дошкільна освіта» / наук. керівник О. О. Самсонова. Запоріжжя : ЗНУ, 2021. 91 с.
UA : Робота викладена на 91 сторінках друкованого тексту. Перелік посилань включає 128 джерел. Мета дослідження: теоретично обґрунтувати та експериментально перевірити ефективність педагогічних умов із формування логіко-математичної компетентності дітей старшого дошкільного віку. Об’єкт дослідження: формування логіко-математичної компетентності дітей старшого дошкільного віку. Предмет дослідження: педагогічні умови ефективного формування логіко-математичної компетентності дітей старшого дошкільного віку. У роботі теоретично обґрунтовано педагогічні умови з формування логіко-математичної компетентності дітей старшого дошкільного віку в закладі дошкільної освіти; надано характеристику рівнів сформованості логіко-математичної компетентності дітей старшого дошкільного віку; розроблено Модель реалізації педагогічних умов із формування логіко-математичної компетентності старших дошкільників в умовах закладу дошкільної освіти; перевірено ефективність Моделі реалізації педагогічних умов із формування логіко-математичної компетентності старших дошкільників в умовах закладу дошкільної освіти.
EN : The work is presented on 91 pages of printed text. The list of links includes 128 sources. The purpose of the study: to theoretically substantiate and experimentally test the effectiveness of pedagogical conditions for the formation of logical and mathematical competence of older preschool children. Object of research: formation of logical and mathematical competence of older preschool children. Subject of research: pedagogical conditions of effective formation of logical and mathematical competence of older preschool children. The paper theoretically substantiates the pedagogical conditions for the formation of logical and mathematical competence of older preschool children in preschool education; the characteristic of levels of formation of logical and mathematical competence of children of senior preschool age is given; the Model of realization of pedagogical conditions on formation of logical and mathematical competence of senior preschoolers in the conditions of preschool education institution is developed; the efficiency of the Model of realization of pedagogical conditions on formation of logical and mathematical competence of senior preschoolers in the conditions of preschool education institution is checked.

Дослідження присвячене проблемі логіко-математичного розвитку дітей молодшого дошкільного віку засобами візуалізаційної методики інтерактивного навчання. Виявлено сучасний стан логіко-математичного розвитку дітей молодшого дошкільного віку. Схарактеризовано дефініції понять «логіка», «логіко-математичний розвиток дітей молодшого дошкільного віку», «логічне мислення». Виокремлено основні наукові напрями теорії та методики логіко-математичного розвитку дітей молодшого дошкільного віку. Встановлено зміст логіко-математичного розвитку дітей молодшого дошкільного віку та напрями діяльності з дітьми молодшого дошкільного віку щодо означеного розвитку. Сформульовано сутність інтерактивного навчання та з’ясовано етапи організації освітнього процесу в закладі дошкільної освіти відповідно до інтерактивного навчання. Розкрито сутність візуалізаційної методики інтерактивного навчання як засобу логіко-математичного розвитку дітей молодшого дошкільного віку. Розроблено та теоретично обґрунтовано модель логіко-математичного розвитку дітей молодшого дошкільного віку засобами візуалізаційної методики інтерактивного навчання, яка складається з чотирьох етапів (теоретичний, практичний, контролюючий, результативний). Експериментально перевірено ефективність впровадження означеної моделі в освітній процес закладу дошкільної освіти.
The study focuses on the mathematical development of early pre-school children through visualization method of interactive learning. A modern level of mathematical development of pre-school children has been identified. The definitions of concepts «logic», «logic-mathematical development EARLY pre-school children» and «logical thinking» are characterized. The main scientific directions of the theory and methodology of mathematical development of early pre-school children are highlighted. The content of the mathematical development of early pre-school children and the direction of activities with early pre-school children for this development are determined. The content of interactive education has been formulated and the stages of the organization of the educational process in pre-school education in accordance with the requirements of interactive education have been clarified. The essence of the visualization method of interactive learning as a means of mathematical development of early pre-school children is disclosed. The model of mathematical development of early pre-school children through the visualization method of interactive learning, which consisting of four stages (theoretical, practical, controlling, results-oriented), has been developed and theoretically substantiated. The effectiveness of the introduction of this model into the educational process of pre-school institutions has been tested.