Досліджено термодинаміку псевдоспін-електронної моделі у випадку відсутності одновузлової кореляції між електронами в різних термодинамічних режимах. На базі узагальнення наближення хаотичних фаз сформульовано й апробіровано самоузгоджений метод розрахунку термодинамічних і кореляційних функцій для псевдоспін-електронної моделі з сильною локальною взаємодією. Описано кореляційні функції, визначено роль ефективної взаємодії між псевдоспінами через електрони провідності у можливій появі в системі фаз із різними типами впорядкувань. Проаналізовано вплив гауссових флюктуацій ефективного поля на термодинамічні властивості системи.

  Скачати повний текст

Дисертаційна робота присвячена підвищенню надійності систем позиціонування та навігації всередині приміщення (СПНВП), за рахунок використання бездротових систем передачі даних та методів верифікації вбудованих систем. Отримано інтегрований метод визначення поточного положення на карті приміщення заснований на аналізі сигналу від iBeacon і акселерометра, модифікований методом Калмана, що дозволяє оперативно корегувати значення поточного положення, і дозволяє зменшити похибку. Розроблена модель верифікації з використанням нейронних мереж та нечіткої логіки. Модель представлена у вигляді багатошарової нейронної мережі, кожен шар якої відповідає за певний крок алгоритму непарного логічного висновку. Удосконалено модель СПНВП за рахунок методу голосової навігації, який на відміну від існуючих, дозволяє використовувати голосові команди та нечіткі правила для знаходження заданого розташування. Отримав подальший розвиток метод оцінювання надійності СПНВП за рахунок використання інтегрованого методу визначення поточного положення та методу нейро-нечіткої верифікації, що дозволяє провести оцінювання імовірності безвідмовної роботи СПНВП.В результаті проведених досліджень було розроблено інформаційну технологію оцінювання надійності СПНВП, яка формує дані для оцінювання метрик надійності на основі даних отриманих інтегрованим методом визначення поточного положення та методу нейро-нечіткої верифікації.^UThe dissertation is devoted to increase of reliability indoor navigation systems, due to the use of wireless data transmission systems and methods of verification of embedded systems.The modified integrated method of determining the current position on the map of the buildings is based on the analysis of the signal from iBeacon and accelerometer, modified by the Kalman method, which allows to quickly adjust the value of the current position, and allows to reduce the error.The route correction method was modified, which, unlike to the existing ones, uses a Kalman filter and a jump point method, which allows checking the error variation location on the map with the error level 4.7%.One of the most important tasks to be solved in the creation of indoor navigation systems is to ensure their quality. The developed method allows to increase the accuracy, but one of the effective tools which helps to improve quality is verification. Therefore, there was set a task to develop own verification method.For verification there was build a neural-fuzzy system, which is represented as a multilayered neural network, each layer responsible for a specific step of the logical inference algorithm. The usage of this model makes it possible to extract the knowledge base as a whole, which makes the implementation more flexible.The system verification criteria were distinguished: Euclidean space metric, Mankovsky space metric, backup reliability factor, Kalman filter error, angles determination, accelerometer acceleration, coordinate acceleration errors, ling errors.The method of verification of indoor navigation systems is developed on the basis of Kohonen neural networks and fuzzy logic, which, unlike the existing ones, allows to choose a set of decisive rules, rebuild the structure at retraining, use linguistic rules.Information technology is developed that could receive input data by using: BLE 4.0, map representation, video, inertial navigation and voice messaging. It is then possible to determine the current position and verify the current state of the indoor systemThe method of the reliability assessment of indoor navigation systems is modified by the usage of the integrated method of determining the current position and the method of neuro-fuzzy verification, which allows to evaluate the probability of trouble-free operation of indoor navigation systems.The main scientific result of the research aimed to solve the scientifically practical problem of improving the reliability of indoor navigation systems. Developed navigator integrated into the mobile application of the Smart-Campus system, which provides support for students, staff and visitors to the University. The introduction of the voice navigator makes it easier for people with visual impairments to adapt to social benefits.