Черненький Валерий Михайлович

С. 664-695

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

В статье предпринята попытка построения формализованной  структурной модели операционной системы Windows 2000. Изложены структурные описания, не претендующие на функциональный анализ. Вся информация, изложенная в статье, получена из открытых источников (Microsoft Press [1]), или же добыта самостоятельно в результате реверс-исследования компонентов системы. Дается определение структуры операционной системы, включающей в свою очередь, описания структур ее базовых компонентов таких, как блок подсистем окружения, библиотека системной поддержки, исполнительная система, ядро системы, драйверы устройств, системные процессы. Основные структурные компоненты системы даны с указанием их взаимосвязи

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

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

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

Статья посвящена проблеме описания природной среды в процессах ликвидации аварийных разливов нефти. Для решения проблемы предлагается выполнить объектно-ориентированное описание предметной области с целью дальнейшего исследования методами имитационного моделирования. Для формирования понятия объекта предлагается произвести пространственную декомпозицию путем задания сетки в плоскости xy и разбиения по оси z, в результате чего формируются понятия ячейки, слоя, секции. Ячейка характеризуется совокупностью входящих в нее компонентов, структурно организованных в виде дерева. Компоненты, в свою очередь, характеризуются параметрами, над которыми заданы операции преобразования такие, как  разложение, синтез, трансформация, внутреннее преобразование, а также операции перемещения компонент. Для описания процессов преобразования предлагается использовать алгоритмическую модель.

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

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

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