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

Запропоновано метод проектування складних автоматів за їх композиційною специфікацією мовою L. Композиційна специфікація складається із специфікацій автоматних модулів та зв'язків між ними. Автомат, що синтезується, одержується шляхом з'єднання графів переходів модулів, синтезованих за їх специфікаціями.

Індекс рубрикатора НБУВ: З815.1

Рубрики:

Скінченні автомати

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Проведено аналіз впливу режимів роботи циркуляційного насоса на економічність систем низькопотенційного комплексу та на загальну економічність роботи теплових і атомних електростанції. Проведено аналіз експлуатаційних характеристик систем низькопотенційного комплексу Запорізької АЕС в перерізі року, який показав, що як критерій економічності роботи низькопотенційного комплексу може бути прийняте значення збільшення вироблення потужності відсіку парової турбіни електростанції. Визначено резерв енергозбереження при підвищенні ефективності роботи систем низькопотенційного комплексу. Так сумарна величина втрат розташовуваної енергії в низькопотенційному комплексі для енергоблоків ТЕС потужністю 300 - 1200 МВт становить 7 - 8 % для систем водопостачання з водоймами-охолоджувачами й випарними градирнями та 8 - 10 % - для систем з радіаторними й сухими градирнями. Визначено основні залежності, що характеризують ефективність роботи систем низькопотенційного комплексу. Проведено аналіз експериментальних характеристик енергоблоку 300 МВт Зміївської ТЕС та визначено залежність тиску пари у конденсаторі від температури циркуляційної води й витрати пари при фіксованій витраті циркуляційної води. Наведено аналітичні залежності, за яких виходячи з відомих значень витрати пари, температури циркуляційної води і бажаного тиску в конденсаторі можна визначати необхідну витрату охолоджувальної води, за якої буде забезпечено задані параметри. Побудовано порівняльну характеристику енергетичної ефективності роботи системи турбіна-конденсатор виходячи з характеристик виправлень потужностей турбіни для конкретної витрати пари і залежності витрати циркуляційної води від споживаної потужності циркуляційних насосів. Наведено модель керування системою низькопотенційного комплексу за критерієм оптимуму витрати циркуляційної води, при якій сумарні втрати енергії будуть мінімальні. На підставі вищенаведених теоретичних положень розроблено алгоритм енергозберігаючого керування системою низькопотенційного комплексу електростанцій.

Індекс рубрикатора НБУВ: З815

Рубрики:

Теорія автоматів

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ