Методы синтеза эталонных интерфейсов информационного взаимодействия для технических систем дискретного типа

• Автор: Дронкин, Станислав Юрьевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2006
• Место защиты: Саратов
• Количество страниц: 114 с. : ил.

Содержание
Введение
Г лава 1. Метод синтеза эталонных интерфейсов информационного взаимодействия для дискретных систем на основе модели универсального автомата.

1.1. Универсальность в классах моделей

технических систем дискретного типа

1.2. Универсальные автоматы при синтезе эталонных интерфейсов информационного взаимодействия дискретных систем
Глава 2. Методы синтеза и анализа моделей эталонных интерфейсов информационного взаимодействия для дискретных систем на основе переменных множеств программируемых множеств
2.1. Методологические аспекты описания информационного взаимодействия дискретных систем при помощи программируемых отношений

2.2. Программируемые множества и их свойства

2.3. Синтез и анализ программируемых отношений

Заключение
Литература


Вводится и исследуется понятие гак называемого автомата с настроечным входным каналом. Теорема 1. В разделе 1. ДО. Описывается общая схема, содержащая этапы автоматного моделирования дискретных систем на основе универсальности (перенастраивае-мости ) их поведения. Формулируются и обосновываются Задачи 1-4 синтеза автоматов, способных выступать в качестве эталонных интерфейсных языков. Задача 1. Поиск в автомате типовых функциональных зависимостей и способов описания автомата средствами этих зависимостей с ориентацией в конечном итоге на повышение уровня абстракции автоматного описания ДУ. Задача 2. Поиск формы представления автомата в виде системы частных интегративных зависимостей, каждая из которых является однозначноопределённым упрощением общего закона поведения автомата. Задача 3. Создание такой системы частных интеграционных зависимостей (такой композиции подавтоматов), в которой каждая компонента характеризует отдельное системное свойство автомата в его рабочей среде (каждая компонента, изолированно от прочих, описывает способ вхождения автомата в соответствующую общесистемную, охватывающую всю среду, частную интегративную зависимость, является частью этой зависимости). Задача 4. Разработка разносторонней операционной поддержки намеченной автоматной модели, как минимум: проектирование на модель известных операций над автоматами, создание средств ее синтеза, исходя из традиционного представления автомата, развитие межпроцессуальных операций. В основе этих задач лежит допущение о переменном характере трех основных автоматных множеств, а именно множества состояний, множеств входных и выходных символов. В дальнейшем множества такого рода названы программируемыми. Вторая глава посвящена исследованию программируемых отношений (отношений, определенных на программируемых множествах- переменных множествах). В разделе 2. В центре внимания находятся вопросы описания блоков задач разработки эталонных описаний поведений дискретных систем с использованием аппарата программируемых отношений. Устанавливается взаимосвязь между автоматными отображениями и переменными (программируемыми) множествами. Этот факт позволяет в дальнейшем исследование свойств автоматных моделей дискретных систем вести на языке программируемых множеств и отношений. Раздел 2. Вводится ряд определений, описывающих различного типа программируемые отношения и так -называемые программы- законы варьирования (своеобразный индекс переменности) трех основных автоматных множеств 8,Х,У. Совокупность правил изменения этих множеств и правил выбора элементов названа процессом программирования. Теорема 2. Дальнейшее исследование посвящено рассмотрению вопросов взаимодействия программирований различных множеств. Теоремы 2. Проведенные исследование свойств программируемых отношений позволяют перейти в разделе 2. По существу, с автоматной точки зрения, это означает переход к синтезу и анализу структурных автоматов, описывающих поведения сложных структурированных систем дискретного типа. Теоремы 2. Подводят итог исследования теоремы 2. Таким образом, глава 1 и глава 2 содержат описания двух, вообще говоря, противоположных подходов к построеннию универсальных (эталонных) математических моделей дискретных систем. В первом случае (глава 1) речь идет о возможности перенастраиваемости поведения за счет внешних воздействий по специальному каналу и согласно специальной процедуре (при традиционном условии неизменности состава и мощности трех основных автоматных множеств 8,Х,У) - это так называемый “макроуровень” универсальности. При другом подходе (глава 2), основной упор делается на возможность варьирования составом множеств Б, X, У , а также на предположении о наличии некоторого закона выбора их элементов - “микроуровень” универсальности. Основные результаты диссертации докладывались на Международной конференции «Компьютерные науки и информационные технологии» (Саратов, ), на Всероссийской конференции ‘Телематика- (Санкт- Петербург, ), на семинарах в Саратовском государственном университете им Н.