Абстрактные транспортные системы основаны на абстракции движения ресурсов в области транспорта. Такие движения могут быть определены на двух уровнях абстракции, которые ведут к определению систем эволюций и транспорта. В статье рассматриваются композиции таких систем и языки описания различных абстрактных уровней, представленных в алгебраической, логической форме, а также в форме диаграмм.

Предлагается новая абстрактная модель взаимодействия агентов со средой. Она может быть использована в качестве семантического базиса как для изучения взаимодействия, так и для определения семантики Языка Действий, рассмотренного в предыдущей статье авторов. Взаимодействие агентов и среды определяется более жестким и симметричным путем по сравнению с этой публикацией. Основное понятие, используемое в статье - это хорошо известное понятие транзиционной системы с расходимостью и остановкой. Для определения различных транзиционных систем, используются следующие три основные формы: рекурсивные алгебраические определения, эквациальные определения и структурная операционная семантика.

Висвітлено проблему проектування цифрових пристроїв на базі токових елементів - нових КМОП логічних елементів, що споживають однаковий струм як у станах логічного "0" чи "1", так і в момент переходу з одного стану в інший. Завдяки таким властивостям, токові елементи не генерують перешкод (так званого цифрового шуму), і тому можуть бути розмішені на одному кристалі з аналоговими пристроями, що утворює разом однокристальну аналого-цифрову СБИС-систему (англ. System On Chip). Досліджено логічні властивості токових елементів. Показано, що "алгебра" токових елементів відрізняється від алгебри Буля, і крім того, є багатозначною. Запропоновано способи мінімізації логічних функцій в "алгебрі" токових елементів. Наведено приклади "токових прототипів" деяких стандартних цифрових пристроїв: суматорів, тригерів, комутаторів та ін. Отримані пристрої мають меншу кількість логічних елементів (до 35 %) у порівнянні з їх аналогами, побудованими на звичайних логічних елементах КМОП.

Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

Описано систему Delphi, яка дає змогу створювати програми для роботи під керуванням операційної системи Windows. Розглянуто головні елементи середовища Delphi, визначення та використання команд, прийоми роботи. Наведено назви подій та концепцію їх застосування під час програмування, а також повний перелік компонент Delphi та загальні принципи їх побудови. Головні властивості компонент систематизовано в логічну структуру, визначено роботу з інспектором об'єктів, описано роботу з довідковою системою. Розглянуто основні особливості мови Objekt Pascal, яка є в основі Delphi. Наведено навчально-демонстраційні проекти, які дають змогу зрозуміти суть програмування в Delphi та використання компонент.

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

Описаны новые стратегии в области широтно-импульсной модуляции для силовых электронных преобразователей для электропривода с замкнутыми и разомкнутыми по выходу контурами управления. Описаны квазиадаптивные методы регулирования тока преобразователей с управлением замкнутого типа с использованием элементов теории хаоса и метод прямой синхронной модуляции с алгебраическим описанием процессов в системах.

Розглянуто задачу числового моделювання параметрів і характеристик мікросмугастої антени з резистивним диском, збуджуваної вертикальним електричним диполем. Для розв'язання задачі використано метод аналітичної регуляризації разом з методом Гальоркіна, що дозволило одержати нескінченну систему лінійних алгебричних рівнянь Фредгольма другого роду. Аналітично оптимізовано обчислювальний процес; отримано й обговорено енергетичні характеристики антени, такі як потужність просторової та поверхневих хвиль, діаграми спрямованості, ККД випромінювання для різних величин резистивності диска.

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

В работе рассматривается алгебраический подход к проблеме статического анализа программ и, в частности, к проблеме поиска инвариантных соотношений с использованием метода абстрактных интерпретаций. Дается полная алгебраическая характеристика этого подхода. Алгоритмы иллюстрируются на примерах.

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

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

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

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

Розкриваються історичні факти втілення засад автокефалії крайових церков. Висвітлюються устрій та зовнішні відносини Кіпрської, Синайської, Грузинської (Іберійської), Ново-грецької, Румунської, Болгарської та Сербської церков, Охридської архиєпископії, Карловацької, Чорногорської, Германштадської, Буковинської митрополій. Особливу увагу приділено нарису головніших подій з історії Української церкви до повстання Московської церкви.

Описаны системы гамма-видения с гексагональной структурой кодирующей маски, модели и алгоритмы обработки интегрально-счетной и спектральной информации, обеспечивающие восстановление изображения интенсивности гамма-поля. Предложены алгебраические критерии полной и абсолютной наблюдаемости, построенные на основе спектральных представлений операторов линейных нестационарных систем, определенных на конечных интервалах. Рассмотрены формализованные комплексные критерии оценки условий труда, служащие основой для разработки алгоритмической структуры систем автоматизированного контроля условий труда. Отдельные статьи посвящены динамической модели процесса круглого наружного шлифования, оптимизации процесса ультразвукового упрочнения деталей подшипников, адаптивной фильтрации ложных изображений в результатах оптико-электронной регистрации сюжетов и др.

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

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

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

Розглянуто алгебраїчний підхід до проектування візуальних систем розробки різноманітних мульті-медіа програм. Автором побудована та досліджена узагальнена мета-алгебра структурних граф-схем Калужніна, а також алгебра діалогу, яка застосовується для конструювання інтерактивної взаємодії користувача з комп'ютером. Наведено опис побудованої на теоретичних дослідженнях автора інструментального засобу системи Fancy for Windows, яка може бути корисною при розробці візуальних даних, електронних енциклопедій, діагностуючих та тестових програм, різноманітних програм навчального призначення.