Развитие теоретических основ и методов функционально-структурной организации систем и сетей внешнего хранения и обработки данных тема диссертации и автореферата по ВАК РФ 05.13.15, доктор технических наук Зинкин, Сергей Александрович

• Зинкин, Сергей Александрович
• доктор технических наук
• 2009

Оглавление диссертации доктор технических наук Зинкин, Сергей Александрович

Введение

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

1.1. Концептуальные основы построения высокопроизводительных многофункциональных систем и сетей внешнего хранения и обработки данных

1.1.1. Развитие архитектуры систем и сетей внешнего хранения и обработки данных

1.1.2. Сетевые архитектуры и виртуализация систем хранения и обработки данных

1.1.3. Интеграция и консолидация ресурсов хранения.

1.1.4. Концептуальные основы построения высокопроизводительных хранилищ и машин баз данных.

1.1.5. Примеры реализаций систем внешних запоминающих устройств с развитыми функциональными возможностями

1.2. Особенности системного моделирования и проектирования архитектуры систем и сетей внешнего хранения и обработки данных

1.2.1. Выбор методологии системного моделирования и проектирования систем и сетей внешнего хранения и обработки данных

1.2.2. Выбор подхода к виртуализации и интеллектуализации систем и сетей внешнего хранения и обработки данных.

1.2.3. Определение единой семантики для концептуальных сценарных моделей и сетей виртуальных машин.

1.2.4. Выбор средств представления концептуальных моделей систем и сетей внешнего хранения и обработки данных.

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

1.3. Выбор перспективных сетевых платформ и особенности архитектурного и функционально-структурного проектирования систем и сетей внешнего хранения и обработки данных.

1.4. Примеры реализации систем и сетей внешнего хранения данных

1.4.1. Организация параллельной работы накопителей на магнитных дисках на нижнем уровне иерархии системы внешних запоминающих устройств.

1.4.2. Пример реализации сети ВЗУ с передачей блоков данных

1.4.3. Пример реализации узла сетевой внешней памяти с передачей файлов и блоков

1.5. Выводы

2. Интеграция формальных представлений в теории архитектурного моделирования и виртуализации систем и сетей внешнего хранения и обработки данных.

2.1. Сети абстрактных машин и исполняемые формальные спецификации в проектировании систем и сетей хранения и обработки данных

2.1.1. Методы согласования и координации процессов и объектов и логические модели - основа новых методологий проектирования

2.1.2. Определение базового формализма.

2.1.3. Расширение базового формализма

2.1.4. Основные виды сетей абстрактных машин

2.1.5. Квалифицированные операторы выбора в условных выражениях модулей

2.1.6. Реализация операций реляционной алгебры сетями абстрактных машин.

2.1.7. Сети абстрактных машин и логика высших порядков

2.1.8. Особенности выполнения правил обновления интерпретации текущей сигнатуры.

2.1.9. Согласование правил обновления интерпретации текущей сигнатуры

2.1.10. Механизмы интерпретации сетей абстрактных машин

2.1.11. Декомпозиция сетей абстрактных машин

2.1.12. Статическая сигнатура сетей абстрактных машин

2.1.13. Модификация сетей абстрактных машин.

2.1.14. Применение логики высших порядков к построению сетей абстрактных машин.

2.2. Определение самомодифицируемых сценариев функционирования систем хранения и обработки данных сетями абстрактных машин.

2.2.1. Сценарные представления систем хранения и обработки данных

2.2.2. Определение активной семантической сети (сценария)

2.2.3. Самомодифицируемость сценариев и логика предикатов второго порядка

2.2.4. Временные сценарные модели.

2.2.5. Реализация запросов к сетям сценариев с использованием логики предикатов второго порядка.

2.2.6. Эволюции семантических сетей и концептуальных графов на примере сети хранения и обработки данных).

2.2.7. Определение темпоральных операций в сценариях сетями абстрактных машин.

2.2.8. Барьерная синхронизация сценариев

2.2.9. Иерархическое и одноуровневое представление сценарных моделей.

2.2.10. Свойства темпоральных операций

2.2.11. Формульные и графические представления сценариев

2.2.12. Особенности реализации интерпретирующих сетей абстрактных машин с применением логики второго порядка.

2.3. Организация децентрализованного управления размещением ресурсов в сетях хранения и обработки данных с самомодифицируемой топологией.

2.3.1. Модификация топологии систем хранения и обработки данных

2.3.2. Размещение объектов в сетях хранения данных и алгебра ситуаций

2.4. Логико-алгебраические спецификации и операционная семантика пространственных операций

2.4.1. Брасе-операции для размещения объектов в сети

2.4.2. Реализация и некоторые свойства эрасе-операций.

2.5. Особенности определения и применения содержательных и формальных методов в составе методологии проектирования систем и сетей внешнего хранения и обработки данных.

2.5.1. Представление концептуальных и имитационных поведенческих моделей систем хранения и обработки данных сценарными сетями и сетями абстрактных машин.

2.5.2. Внешняя и внутренняя интеллектуализация систем и сетей хранения и обработки данных

2.6. Выводы

3. Элементы методологии и технологии архитектурного моделирования и реализации систем и сетей внешнего хранения и обработки данных

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

3.2. Концептуальное и имитационное моделирование на базе иерархических сценариев и сетей абстрактных машин

3.3. Представление концептуальных графов сетями абстрактных машин.

3.4. Представление самомодифицируемых сценариев сетями абстрактных машин.

3.5. Реализация базовых сценарных операций модулями-продукциями и модулями-процедурами сетей абстрактных машин

3.6. Определение концептуальных имитационных моделей сетями абстрактных машин.

3.6.1. Многоуровневые и одноуровневые представления сценариев

3.6.2. Реализация уровней параллельности в сценариях, определяемых сетями абстрактных машин

3.6.3. Агентно-ориентированные модели и реализация распределенных систем и сетей хранения и обработки данных

3.7. Иерархические сети абстрактных машин

3.8. Элементы технологии согласования процессов и объектов (технологии активной "классной доски") для моделирования и реализации систем и сетей хранения и обработки данных.

3.8.1. Объектно-ориентированная технология на основе концепции абстрактных машин.

3.8.2. Реализация абстрактных машин в сетевой операционной среде

3.8.3. Алгоритмы функционирования модулей в FS-пространстве

3.9. Декларативные и процедурные методы представления знаний о функционировании распределенных систем и сетей хранения и обработки данных

3.9.1. Сложные сценарные модели представления знаний

3.9.2. Предотвращение тупиковых ситуаций при реализации сложных сценариев

3.10. Представление и синтез реляционных сценариев

3.11. Свертывание и развертывание сетей абстрактных машин на примере сети хранения данных) и дополнительные особенности реализации квалифицированных операторов выбора

3.12. Особенности реализации формальных моделей на основе современных инструментальных средств и технологий

3.13. Выводы.

4. Функционально-структурная организация интеллектуальных систем управления внешней памятью ЭВМ и систем.

4.1. Развитие содержательных и формальных методов в проектировании и имитационном моделировании систем и сетей хранения и обработки данных

4.2. Разработка систем и сетей хранения и обработки данных на основе иерархии концептуальных поведенческих моделей

4.3. Выбор методов интеграции формальных представлений систем и сетей хранения и обработки данных и соответствующих концептуально-поведенческих имитационных моделей.

4.4. Расширение возможностей FS-технологии для повышения эффективности реализации систем и сетей хранения и обработки данных

4.5. Функциональный подход и основные этапы проектирования интеллектуальных систем и сетей управления внешней памятью

4.6. Внутренняя и внешняя интеллектуализация систем управления внешней памятью ЭВМ

4.7. Применение алгебр темпоральных и пространственных сценариев при проектировании архитектуры систем и сетей внешней памяти.

4.8. Функционально децентрализованная архитектура систем управления внешней памятью ЭВМ.

4.9. Мультимикропроцессорные конфигурации систем управления внешней памятью ЭВМ и сетей ЭВМ.

4.10. Синтез структур и алгоритмов функционирования систем управления внешней памятью ЭВМ на основе формализма сетей абстрактных машин.

4.11. Разработка интеллектуальной системы управления внешней памятью с расширенными функциональными возможностями

4.12. Диаграммные макроопределения и сценарии управления внешней памятью ЭВМ

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

4.14. Переход от централизованной архитектуры к кластерным и сетевым архитектурам систем управления внешней памятью ЭВМ

4.15. Выводы

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

5.1. Обработка запросов и управление распределенным ресурсом в сетях внешних запоминающих устройств

5.2. Вывод на семантических и сценарных сетях и его реализация сетями абстрактных машин.

5.3. Управление распределенным ресурсом и выполнение сложных запросов в сети многофункциональных внешних запоминающих устройств

5.3.1. Выбор базового формализма и его особенности

5.3.2. Построение управляющей сети абстрактных машин

5.3.3. Предотвращение тупиковых ситуаций в сети абстрактных машин при формировании сложных запросов к системе внешних запоминающих устройств

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

5.3.5. Результаты имитационного моделирования сети внешнего хранения и обработки данных с приоритетными запросами

5.4. Управление распределенным ресурсом — многофункциональной системой внешней памяти, подключаемой к вычислительной сети.

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

5.4.2. Промежуточный этап построения сети абстрактных машин для децентрализованной системы хранения данных.

5.4.3. Сеть абстрактных машин для топологическидецентрализованной (сетевой) системы хранения данных.

5.5. Сетевая FS-архитектура машин баз данных и исполняемые формальные спецификации.

5.5.1. Выполнение операций над сегментированными отношениями в сетевой среде и сетевая архитектура процессора базы данных

5.5.2. Сетевая реализация операции "пересечение отношений".

5.5.3. Сетевая реализация операции "разность отношений".

5.5.4. Сетевая реализация операции "объединение отношений".

5.5.5. Сетевая реализация операций "декартово произведение отношений" и "соединение отношений".

5.5.6. Сетевая реализация операций "проекция отношений" и "селекция отношений".

5.5.7. Реализация операций реляционной алгебры сетями абстрактных машин.

5.6. Выводы

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

6.1. Сценарные и логико-алгебраические модели систем ВЗУ с централизованной архитектурой.

6.2. Сценарные и логико-алгебраические модели систем ВЗУ с централизованной архитектурой и RAID-подобным режимом работы

6.3. Сценарные и логико-алгебраические модели системы ВЗУ с сетевой архитектурой и RAID-подобным режимом работы.

6.4. Определение сценарных моделей систем и сетей ВЗУ расширенными сетями абстрактных машин.

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

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

6.7. Использование интерфейса передачи сообщений для организации FS-пространства при структурной интерпретации логико-алгебраических моделей систем и сетей хранения и обработки данных

6.9. Выводы

Введение диссертации (часть автореферата) на тему «Развитие теоретических основ и методов функционально-структурной организации систем и сетей внешнего хранения и обработки данных»

Актуальность темы. Современные системы хранения и обработки данных содержат многие компоненты, создаваемые разными производителями, — серверы, коммуникационное оборудование, накопители информации, файловые и операционные системы, системы управления базами данных. В этих системах реализуются сложные взаимодействия между указанными компонентами и с внешней средой. Современные хранилища данных могут насчитывать тысячи процессоров, дисковых накопителей информации и могут хранить и обрабатывать петабайты данных. Например, вычислительная инфраструктура системы Google содержит сотни тысяч серверов, а объем обрабатываемых данных измеряется сотнями петабайтов; инфраструктура системы Grid насчитывает сотни ресурсных центров и содержит тысячи машин.

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

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

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

К новейшим технологиям, способным обеспечить эффективную поддержку перечисленных провайдерских услуг, относятся, например, технологии Grid Computing и Storage Grid. Например, для архитектуры Storage Grid на современном этапе ее развития характерно использование модульных дисковых массивов (называемых интеллектуальными ячейками хранения), единого уровня виртуализации ресурсов хранения, обеспечение избыточности, доступности данных и единого управления. Однако до настоящего времени проблема полной виртуализации и интеграции систем хранения данных, серверов, центров обработки данных и сетей не решена, поэтому актуально решение проблемы унификации предоставления разнородных ресурсов и реализации управления неоднородной инфраструктурой систем и сетей хранения и обработки данных.

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

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

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

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

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

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

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

Выбранный в диссертационной работе архитектурный стиль соответствует архитектуре полностью или частично согласованной системы и соответствует проектированию, базирующемуся на определенной архитектурной модели. В англоязычной литературе такому стилю проектирования соответствует термин architecture-driven design (ADD). Определяя и уточняя принятую методологию проектирования, отметим некоторые известные технологические архитектурные парадигмы, повлиявшие на выбор предлагаемой в диссертации методологии архитектурного моделирования. В качестве составных частей или разновидностей модели ADD могут быть рассмотрены: архитектура, ориентированная на события (event-based architecture), архитектура, управляемая моделями {model-driven architecture), архитектура, управляемая данными {data-driven architecture), архитектура, ориентированная на агенты {agent-oriented architecture), и хорошо известная объектно-ориентированная архитектура {object-oriented architecture). В связи с тем, что архитектура рассматриваемых систем или сетей хранения и обработки данных базируется на использовании базы знаний о функционально-структурной организации, дополним перечисленные парадигмы архитектурами, управляемыми правилами {rule-based architecture) и знаниями {knowledge-based architecture). При формировании общей архитектурной модели ADD, основанной на принципах согласования и координации процессов и объектов, использованы некоторые характерные особенности перечисленных выше архитектурных парадигм после их соответствующей переинтерпретации для сетей абстрактных машин.

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

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

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

Для достижения поставленной цели научного исследования в диссертационной работе решены следующие основные задачи:

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

- разработаны и теоретически обоснованы методы архитектурной и функционально-структурной организации систем и сетей внешнего хранения и обработки данных, позволившие сократить затраты на реализацию систем и сетей внешнего хранения и обработки данных и повысить качество принимаемых решений;

- исследованы и развиты формальные модели, обеспечившие поддержку архитектурного моделирования и функционально-структурной организации систем и сетей внешнего хранения и обработки данных;

- исследованы и реализованы в технологии "активной классной доски методы внешней и внутренней интеллектуализации систем и сетей внешнего хранения и обработки данных;

- разработан метод решения задачи сквозного архитектурного и функционально-структурного проектирования многофункциональных распределенных систем управления внешней памятью ЭВМ и систем, основанный на развитии концептуальных моделей до определенных формально имитационных поведенческих моделей и формальных непосредственно исполняемых спецификаций;

- обоснован и исследован синтез структур и алгоритмов функционирования систем и сетей хранения и обработки данных на базе виртуализации и интеграции сетевых ресурсов хранения данных с вычислительными ресурсами;

- разработаны, обоснованы и исследованы концептуальные и формально определенные имитационные поведенческие модели, адекватная даннe>im моделям сетевая интерпретирующая среда и реализованы системы синтеза структур и программного обеспечения систем и сетей внешнего хранения и обработки данных;

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

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

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

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

Научная новизна заключается в развитии теоретических основ архитектурной, функционально-структурной организации и виртуализации систем и сетей внешнего хранения и обработки данных, в том числе:

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

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

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

- в развитии известных и в разработке новых методов внешней и внутренней интеллектуализации управления в системах и сетях внешнего хранения данных, позволяющих расширить границы применимости методов и моделей искусственного интеллекта для данной предметной области;

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

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

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

Практическая ценность работы связана с архитектурными, функционально-структурными решениями и с разработкой средств проектирования и реализации систем и сетей внешнего хранения и обработки данных:

- предложены методы практической реализации уровней параллельности в сложных системах внешних запоминающих устройств (ВЗУ) и разработаны способы распараллеливания передачи данных;

- предложены методы реализации сетевых архитектур хранения данных с блочной и файловой виртуализацией;

- предложены способы реализации архитектуры узлов хранения данных в глобальных сетях хранения на основе концептуальной схемы использования многофункционального сетевого ВЗУ;

- исследованы и реализованы методы и технологии проектирования средств обработки структурированной информации, алгоритмического и программного обеспечения в сетях хранения данных;

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

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

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

- предложена функционально-структурная организация на основе концепции согласования процессов и объектов и реализация в сетевой среде процессора базы данных;

- разработаны способы пространственно-временной организации управляющих воздействий в подсистемах согласования и координации процессов и объектов систем и сетей внешнего хранения и обработки данных, обеспечивающие эффективные взаимодействия компонент;

- предложена и реализована концепция построения сетей хранения и обработки данных, предназначенных для выполнения сопроцессорных функций хранения и обработки данных клиентских приложений, базирующаяся на технологии активной "классной доски" и обеспечивающая внутреннюю и внешнюю интеллектуализацию данных систем;

- реализованы в реальной сетевой среде основные уровни абстракций сети, используемой для виртуализации и моделирования сложных многофункциональных систем и сетей хранения и обработки данных;

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

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

Основные результаты, выносимые на защиту:

1. Метод архитектурного моделирования и проектирования проблемно-ориентированных систем и сетей внешнего хранения и обработки данных, обеспечивающий согласованность исходной концептуальной модели с формально определенными в процессе иерархического проектирования имитационными поведенческими моделями.

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

3. Метод "активной классной доски" и его использование в качестве основы технологии внешней и внутренней интеллектуализации систем и сетей внешнего хранения и обработки данных. Эффективность реализации данного метода обеспечивается внедрением механизмов, основанных на формальных исполняемых спецификациях и на декларативно-процедурной структуризации представления знаний о предметной области, что сокращает затраты на реализацию систем внешнего хранения и обработки данных в аппаратно-программных средах, обеспечивающих согласование и координацию процессов и объектов.

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

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

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

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

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

9. Архитектурная и функционально-структурная организация: многофункционального узла сети внешних запоминающих устройств, включающего кэш-память; многофункциональной системы внешних запоминающих устройств, подключаемой к вычислительной сети; системы внешних запоминающих устройств, включающей машину баз данных; процессора базы данных, реализуемого в сетевой среде; сетевой среды для реализации виртуали-зированных архитектур систем и сетей внешнего хранения и обработки данных. Эффективность функционально-структурной организации Указанных систем и сетей при ее реализации обусловлена ее унифицированным логико-алгебраическим описанием на всех уровнях моделирования и проектирования, что снижает затраты на структурную интерпретацию этих описаний в программно-аппаратных средах.

Реализация и внедрение результатов диссертационной работы.

Диссертационная работа выполнялась в рамках научно-исследовательских работ, проводимых на кафедре "Вычислительная техника" Пензенского государственного университета в области разработки архитектур, методов и средств проектирования систем и сетей хранения и обработки данных, в том числе в рамках НИР, финансируемых Министерством образования и науки РФ: "Теория и методы организации управления распределенными вычислительными процессами в многопроцессорных вычислительных системах и метакомпьютерных сетях", № гос. регистр. 01.2.00 315092 (2003—2004 гг.), "Теория, методы и средства организации систем параллельной обработки информации на основе использования недетерминированных автоматов", № гос. регистр. 0120.0 502707 (2005-2009 гг.). Разработанные в ходе диссертационной работы системы включены в Государственный фонд алгоритмов и программ, в том числе "Система имитационного моделирования многоуровневых функционально-децентрализованных вычислительных систем" (Инв. № 50870001130), "Разработка и исследование моделей подсистем дисковой памяти с буферной памятью" (Инв. № 50870000284), "Разработка и исследование перспективных систем ВЗУ на магнитных дисках" (Инв. №50890001105).

Основные положения диссертационной работы внедрены на промышленных предприятиях ОАО «НЛП "Рубин"», НИКИРЭТ - филиал ФГУП ФНПЦ и ПО "Старт им. М. В. Проценко"; использование результатов подтверждено соответствующими актами о внедрении.

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

Апробация работы. Основные научные положения и результаты диссертационной работы докладывались и обсуждались на научно-практических конференциях и семинарах; при этом автором сделано 52 доклада на международных конференциях, 22 доклада на всесоюзных и всероссийских и 7 докладов на региональных конференциях и семинарах в Москве, Санкт-Петербурге, Киеве, Новосибирске, Минске, Казани, Воронеже, Саратове, Твери, Рязани, Харькове, Челябинске, Пензе, Тамбове, Курске, Варне (Болгария), Костенеце (Болгария) и в других городах. Результаты работы также регулярно докладывались на кафедре "Вычислительная техника" Пензенского государственного университета.

Публикации. По теме диссертации опубликовано 82 печатные работы, в том числе 40 статей (15 статей опубликовано в изданиях, рекомендованных ВАК РФ, из остальных большинство опубликовано в центральных изданиях), 42 публикации - в материалах докладов на международных и региональных конференциях и авторское свидетельство. Все результаты, составляющие содержание диссертации, получены автором самостоятельно.

Структура и объем диссертационной работы. Работа состоит из введения, шести разделов основной части, заключения, приложений и списка литературы.

Заключение диссертации по теме «Вычислительные машины и системы», Зинкин, Сергей Александрович

6.8. Выводы

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

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

3. Создана новая сетевая аппаратно-программная инфраструктура, поддерживающая эффективную реализацию новых принципов в архитектуре вычислительных систем: предметной ориентированности и полиморфной организации операционной среды, поддержки механизмов логического вывода, реляционной базы данных, балансировки загрузки узлов сети. Эффективность реализации обусловлена тем фактом, что в FS-пространстве хранится как информация, предназначенная для управления инфраструктурой операционной среды с позиций создания единого системного образа для клиента, так и сами данные; кроме того, гибкость и эффективность управления на верхних уровнях среды обеспечивается наличием мультиагентной среды, причинно-следственные связи в которой поддерживаются механизмом передачи сообщений либо самих мобильных агентов.

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

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

- многофункционального узла сети внешних запоминающих устройств, включающего кэш-память;

- многофункциональной системы внешних запоминающих устройств, подключаемой к вычислительной сети;

- системы внешних запоминающих устройств, включающей машину баз данных; в основу построения трех данных систем положены новые технические решения, отличающиеся от известных возможностью распараллеливания операций поиска и обмена данными и обеспечивающие повышение производительности, что подтверждается авторским свидетельством;

- процессора базы данных, реализуемого в сетевой среде;

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

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

Список литературы диссертационного исследования доктор технических наук Зинкин, Сергей Александрович, 2009 год

1. Фарли, М. Сети хранения данных / М. Фарли. М.: Лори, 2003. - 550 с.

2. Наик, Д. Системы хранения данных в Windows / Д. Наик. М.: Вильяме, 2005.-432 с.

3. Фрир, Дж. Построение вычислительных систем на базе перспективных микропроцессоров / Дж. Фрир. М.: Мир, 1990. - 413 с.

4. Олифер, В. Г. Компьютерные сети. Принципы, технологии, протоколы / В. Г. Олифер, Н. А. Олифер. СПб.: Питер, 2004. - 864 с.

5. Ногл, М. TCP/IP. Иллюстрированный учебник / М. Ногл. — М.: ДМК Пресс, Питер, 2001. 424 с.

6. Барфилд, Э. Программирование "клиент-сервер" в локальных вычислительных сетях / Э. Барфилд, Б. Уолтере. М.: Филинъ, 1997. - 424 с.1. О . ЧУ

7. Снейдер, И. Эффективное программирование TCP/IP / И. Снейдер. -СПб.: Питер, 2001. 320 с.

8. Конолли, Т. Базы данных. Проектирование, реализация и сопровождение. Теория и практика / Т. Конолли, К. Бегг. М.: Издательский дом "Вильяме", 2003. - 1440 с.

9. Поспелов, Г. С. Искусственный интеллект — основа новой информационной технологии / Г. С. Поспелов. — М.: Наука, 1988. 280 с.

10. Центры обработки данных Cisco для предприятий: решения для обеспечения безопасности центров обработки данных Электронный ресурс. / -Cisco Systems. 2006. - С. 1-10. - Режим доступа: http://www.cisco.com/web/ RU/downloads/SecCOD.pdf, свободный.

11. Черняк, Л. Виртуализация систем хранения / Л. Черняк // Открытые системы. СУБД. 2002. - № 4. - С. 50-55.

12. Самойленко, А. Виртуализация: новый подход к построению ГГ-инфра-структуры Электронный ресурс. / А. Самойленко. 2007. - Режим доступа: http://www.ixbt.com/cm/virtualization.shtml, свободный.

13. Коржов, В. Виртуализация и консолидация / В. Коржов // Открытые системы. СУБД. 2003. -№ 6. - С. 18-21.

14. Черняк, Л. Виртуализация хранения, вторая волна Электронный ресурс. / Л. Черняк // Открытые системы. 2005. - № 9. - Режим доступа: http://www.osp.ru/os/2005/09/380373/, свободный.

15. Черняк, Л. О хранении в открытую / Л. Черняк // Открытые системы. 2006. - № 6.

16. Дисковый массив Overland Ultamus RAID 1200 Электронный ресурс. / Режим доступа: http://www.itscope.ru/2007/10/23/diskovyjjmas-sivoverlandultamusraid1200.html, свободный.

17. Оуэн, С. Внешняя RAID-система: DAS или SAN? Электронный ресурс. / С. Оуэн // КомпьютерПресс. Электрон, журн. - № 5. - 2004. - Режим доступа: http://www.compress.ru/article.aspx?id=10742&iid=435, свободный.

18. Радаев, А. Подробное знакомство с RAID-массивами Электронный ресурс. / А. Радаев. — Режим доступа: http://www.ferra.ru/online/storage/ s26107/, свободный.

19. Борзенко, А. Технология RAID / А. Борзенко // Byte / Россия. — 2002. — №8.-С. 34-39.

20. Long, D. D. Е., Montague, В. R., Cabrera, L. SWIFT /RAID: A distributed RAID system // Computing Systems. 1994. - № 7(3) - P. 333-359.

21. SAN Volume Controller на марше Электронный ресурс. / М. Воробьев // Storage News. Электрон. Журн. - 2003. - № 2 (16). - Режим доступа: http://www.storagenews.ru, свободный.

22. Виртуальное управление корпоративным хранилищем = SVS+SFS Электронный ресурс. // Storage News. Электрон, журн. - 2003. - № 4 (18). -Режим доступа: http://www.storagenews.ru, свободный.

23. Invista — сетевая виртуализация по ЕМС Электронный ресурс. // Storage News. Электрон, журн. - 2005. - № 3 (24). - Режим доступа: http://www.storagenews.ru, свободный.

24. EMC Rainfinity — NAS-виртуализация Электронный ресурс. / С. Подгорный // Storage News. Электрон, журн. - 2006. - № 1 (26). - Режим доступа: http://www.storagenews.ru, свободный.

25. Hitachi TagmaStore USP: взгляд изнутри Электронный ресурс. / Н. Гребенщикова // Storage News. Электрон, журн. - 2004. - № 3 (21). - Режим доступа: http://www.storagenews.ru, свободный.

26. EMC Celerra MPFSi для НРС-применений Электронный ресурс. // Storage News. Электрон, журн. - 2007. - № 4 (33). - Режим доступа: http://www.storagenews.ru, свободный.

27. Платформа для консолидации ЦОД Электронный ресурс. / Н. Умнов // Storage News. Электрон, журн. - 2008. - № 1 (34). - Режим доступа: http://www.storagenews.ru, свободный.

28. Консолидированное управление хранением: теория и практика Электронный ресурс. // Storage News. Электрон, журн. — 2007. - № 1 (30). - Режим доступа: http://www.storagenews.ru, свободный.

29. Кластерные NAS-хранилища для неструктурированного контента Электронный ресурс. // Storage News. Электрон, журн. - 2007. - № 4 (33). -Режим доступа: http://www.storagenews.ru, свободный.

30. Sun N1 DSP — универсальная платформа для систем среднего класса Электронный ресурс. // Storage News. Электрон, журн. - 2004. - № 3 (21). -Режим доступа: http://www.storagenews.ru, свободный.

31. HP ILM: информация, которая не "лежит", а работает Электронный ресурс. // Storage News. Электрон, журн. - 2005. - № 1 (22). - Режим доступа: http://www.storagenews.ru, свободный.

32. Коуцоникола, В. LDAP: архитектура, реализации и тенденции Электронный ресурс. / В. Коуцоникола, А. Вакали // Открытые системы. Электрон. журн. — 2004. - № 12. — Режим доступа: http://www.osp.ru/os/2004/ 12/184900/, свободный.

33. Оборудование Cisco Systems в интеллектуальных сетях хранения информации Электронный ресурс. / — Режим доступа: http://www.cisco.com/en/ US/products/hw/ps4159/, свободный.

34. IP storage: три дороги к совершенству Электронный ресурс. // Storage News. Электрон, журн. - 2005. - № 2 (23). - Режим доступа: http://www.storagenews.ru, свободный.

35. Гук, М. Дисковая подсистема ПК / М. Гук. СПб.: Питер, 2001. - 336 с.

36. Дисковый массив MSA 1510i (iSCSI-to-SCSI/SATA) Электронный ресурс./ Режим доступа: http://www.itscope.ru/2007/ll/09/diskovyjjmas-sivmsal510iiscsito.html, свободный.

37. Маркс, Г. Как спроектировать сеть iSCSI Электронный ресурс. / Г. Маркс // Сети и системы связи online. Электрон, журн. - 2006. - № 9. -Режим доступа: http://www.ccc.ru/magazine/depot/0609/read.html70102.htm, свободный.

38. Шухарт, С. ISCSI-сети хранения данных Электронный ресурс./ С. Шухарт // Сети и системы связи online. Электрон, журн. - 2004. - № 2. -Режим доступа: http://www.ссс.ru/magazine/depot/0402/read.html?0102.htm, свободный.

39. Жилкина, Н. Эволюция сетевой инфраструктуры хранения Электронный ресурс. / Н. Жилкина // Открытые технологии. 2009. - Электрон, журн. -№ 3. — Режим доступа: http://www.ot.ru/press20090303.html, свободный.

40. Решение Cisco для сетей хранения данных Электронный ресурс. // Computer Club. Электрон, журн. - 2005. - № 12 (103). — Режим доступа: http://www.ccm.kz/article/default.aspx?ArticleID=528, свободный.

41. Системы хранения данных Электронный ресурс. // Открытые технологии. Электрон, журн. — Режим доступа: http://www.ot.ru/facilitiessys corpstorage.html, свободный.

42. Кларк, Ч. Сети хранения данных становятся глобальными / Ч. Кларк // Computerworld. 21/08/2001. № 30.

43. Озкарахан, Э. Машины баз данных и управление базами данных / Э. Озкарахан. М.: Мир. - 1989. - 696 с.

44. Калиниченко, JI. А. Машины баз данных и знаний / JI. А. Калиниченко, В. М. Рыбкин. М.: Наука, 1990. - 226 с.

45. Базы данных. Интеллектуальная обработка информации / В. В. Кор-неев, А. Ф. Гареев, С. В. Васютин, В. В. Райх. М.: Нолидж. - 2000. - 352 с.

46. Александров, А. Машины хранилищ данных / А. Александров // Открытые системы. 2006. - № 2. - С. 32-38.

47. Соколинский, J1. Б. Параллельные машины баз данных / JI. Б. Соко-линский // Природа. Естественно-научный журнал Российской академии наук. 2001.-№ 8. - С. 10-17.

48. Keeton, К., Patterson, D. A., Hellerstein, J. A Case for Intelligent Disks // SIGMOD Record. 1998. - Vol. 27. - № 3. - P. 42-52.

49. Boral, H., DeWitt, D. J. Database Machines: An Idea Whose Time Has Passed? A Critique of the Future of Database Machines // Proceedings of the 1983 Workshop on Database Machines. - Springer-Verlag. - 1983. - P. 166-187.

50. Bratbergsengen, K. Parallel Database Machines // Rivista di Informatica. -1995.-Vol. XXV.-№4.- 17 p.

51. DeWitt D. J., Gray J. Parallel Database Systems: The Future of High Performance Database Processing // ACM Communications. 1992. - Vol. 35. -№ 6. - P. 85-98.

52. GAMMA A High Performance Dataflow Database Machine / DeWitt, D., Gerber, R. H., Graefe, G., Heytens M. L., Kumar, К. В., Muralikrishna, M. // Proceedings of the 1986 VLDB Conference, Japan. - 1986. - P. 228-237.

53. The Gamma Database Machine Project / DeWitt, D. J., Ghandeharizadeh, S., Schneider, D. A., Bricker, A., Hsiao, I-I., Rasmussen, R. // IEEE Knowledge and Data Engineering.- 1990. Vol. 2. - № 1. - P. 44-62.

54. Stonebraker, M. The Case for Shared Nothing // Database Engineering. -1986.-Vol. 9.-№ 1. -P. 4-9.

55. Netezza: New Architecture Rising / Inmon, W., Terdeman, R. Электронный ресурс. / — Режим доступа: www.netezza.com/analystReports/2002/ inmonreport.pdf, свободный.

56. Параллельный доступ к данным в НРС-средах: подход SCI Электронный ресурс. / А. Анциферов // Storage News. Электрон, журн. - 2008. -№ 1 (34). - Режим доступа: http://www.storagenews.ru, свободный.

57. Хранение данных в НРС-комплексах Электронный ресурс. / Е. Ла-гунцов // Storage News. — Электрон, журн. 2007. — № 4 (33). - Режим доступа: http://www.storagenews.ru, свободный.

58. Вилларс, Р. Построение многоуровневых систем хранения данных: роль Networked Storage Controller Электронный ресурс. / Р. Вилларс // Jet Info. Электрон, журн. - 2005. - № 9. - С. 1-16. — Режим доступа: http://www.jetinfo.ru/2005, свободный.

59. Высокопроизводительная NAS-платформа Электронный ресурс. // Byte / Россия. Электрон, журн. - 2007. - № 4. - Режим доступа: http://www.bytemag.ru/articles/detail.php?ID=:8699, свободный.

60. Маркс, Г. Средства кластеризации и виртуализации устройств NAS / Г. Маркс Электронный ресурс. // Сети и системы связи online. Электрон, журн. - 2006. - № 9. - Режим доступа: http://www.mediaban.ru/magazine/ de-pot/0609/read.html?0104.htm, свободный.

61. Prototyping Bubba, A Highly Parallel Database System / H. Boral, W. Alexander, L. Clay, G. Copeland, S. Danforth, M. Franklin, B. Hart, M. Smith, P. Valduriez // IEEE Transactions on Knowledge and Data Engineering 1990. -Vol.2. -№ 1.-P. 4-24.

62. Колесников С. SAS, NAS или SAN: выбор правильной технологии хранения данных для организации Электронный ресурс. / С. Колесников //-Компьютер-Информ. Электрон, журн. - 2003. — № 1. - Режим доступа: http://www.ci.ru/informO 105/р10.htm, свободный.

63. Мощное решение для NAS на флеш-модуле от компании Wasabi Systems Электронный ресурс. / Режим доступа: http://storusint.com/products/ wasabiflash.htm, свободный.

64. Хилл, С. Перспективы развития устройств NAS Электронный ресурс. / С. Хилл // Сети и системы связи online. Электрон, журн. - 2006. -№ 9. - Режим доступа: http://www.ccc.ru/magazine/depot/0609/ read.html? 0103.htm, свободный.

65. Banerjee, J, Hsiao, D. К., Kannan К. DBC a database computer for very large databases // IEEE Trans. - 1979. - Vol. С - 28. - № 6. - P. 414^129.

66. Дубова, H. Решетка хранения / H. Дубова // Открытые системы. СУБД.-2004.-№ 12.-С. 28-33.

67. Спиряев, О. Технологии Grid в решениях HP / О. Спиряев // Byte / Россия.-2005.-№7.-С. 35-40.

68. Wentz, D. L. A multiple access mass storage networks: development and uses // Network'80: Proc. Int. Conf. 1980. - P. 305-317.

69. Самойленко, С. И. Локальные сети суперЭВМ / С. И. Самойленко // Вычислительные процессы и системы. Вып. 2. -М.: Наука. - 1985. - С. 154-161.

70. LCN — Loosely coupled network // Computer networks and protocols in the Soviet Union: Proc. Int. Conf. Washington, Los-Angeles. - 1981.

71. Мартин, Дж. Вычислительные сети и распределенная обработка данных / Дж. Мартин. Вып. 2. - М.: Финансы и статистика. - 1986. - 269 с.

72. Cote, Н. Optical Storage Subsystem Overview // Sixth IEEE Symposium on Mass Storage Systems, Vail Colo, 4-7 June 1984. Digest of Papers. P. 47-51.

73. Hoover, J. H. Intelligent Optical Disk Controller Architecture // SPIE Optical Disk System and Application Proc. Conf., 1983. P. 10-19.

74. Бусленко, H. П. Лекции по теории сложных систем / H. П. Бусленко, В. В. Калашников, И. Н. Коваленко. М.: Советское радио, 1973. - 440 с.

75. Соснин, П. И. Архитектурное моделирование автоматизированных систем: учеб. пособие / П. И. Соснин. Ульяновск: УлГТУ, 2007. - 146 с.

76. Таненбаум, Э. Распределенные системы. Принципы и парадигмы / Э. Таненбаум, М. ван Стеен. СПб.: Питер, 2003. - 877 с.

77. Имитационное моделирование производственных систем / под общ. ред. А. А. Вавилова. М.: Машиностроение; Берлин: Техника, 1983. - 416 с.

78. Технология системного моделирования / Е. Ф. Аврамчук, А. А. Вавилов, С. В. Емельянов и др. М.: Машиностроение; Берлин: Техника. - 1988. - 520 с.

79. Представление и использование знаний / под ред. X. Уэно, М. Исид-зука. М.: Мир. - 1989. - 220 с.

80. Искусственный интеллект. — В 3-х кн. Кн. 2. Модели и методы: Справочник / под ред. Д. А. Поспелова. М.: Радио и связь, 1990. - 304 с.

81. Многоуровневое структурное проектирование программ: теоретические основы, инструментарий / Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян. М.: Финансы и статистика. - 1989. - 208 с.

82. Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. — М.: Наука. 240 с.

83. Глушков, В. М. Теория автоматов и формальные преобразования микропрограмм / В. М. Глушков // Кибернетика. 1965, № 5. - С. 1-9.

84. Глушков, В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. Киев, Наукова думка, 1978. — 320 с.

85. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. Киев, Наукова думка, 1980. - 252 с.

86. Капитонова, Ю. В. Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. — М.: Наука, 1988. — 296 с.

87. Тыугу, Э. X. Концептуальное программирование / Э. X. Тыугу. М.: Наука, 1984.-256 с.

88. Шенк, Р. Обработка концептуальной информации / Р. Шенк. М.: Энергия, 1980.

89. Selic, В. The pragmatics of model-driven development // IEEE Software. -2003. Vol. 20. - № 5. - P. 19-25.

90. Walsh, D., Bordeleau, F. Selic, B. A constraint-driven executable model of dynamic system reconfiguration // Journal of Software. 2008. - Vol. 3. - № 4. -P. 37-50.

91. O'Keefe, R. M., Roach, J. W. Artificial intelligence approaches to simulation // Journal Operational Research Society. 1987. - Vol. 38. - № 8. - P. 713-722.

92. Альянах, И. H. Моделирование вычислительных систем / И. Н. Алья-нах. — Л.: Машиностроение. Ленингр. отделение. — 1988. -223 с.

93. Борисов, Ю. П. Математическое моделирование радиотехнических систем и устройств / Ю. П. Борисов, В. В. Цветков. М.: Радио и связь. — 1985.- 176 с.

94. Ming Zhang. DEVS Tutorial DEVS and Disrtibuted DEVS Электронный ресурс. - 2008. - 57 p. - Режим доступа: http://hosting.cs.vt.edu/ hpcs2008/DEVSTutorial.pdf, свободный.

95. Дейтел, X. М. Технология программирования на Java 2: Кн. 2. Распределенные приложения / X. М. Дейтел, П. Дж. Дейтел, С. И. Сантри. М.: Бином-Пресс. - 2003. - 464 с.

96. Хьюз, К. Параллельное и распределенное программирование на С++ / К. Хьюз, Т. Хьюз. М.: Издательский дом "Вильяме", 2004. - 672 с.

97. Максимей, И. В. Имитационное моделирование на ЭВМ / И. В. Мак-симей. М.: Радио и связь. - 1988. - 232 с.

98. Кудрявцев, Е. М. GPSS World. Основы имитационного моделирования различных систем / Е. М. Кудрявцев. М.: ДМК Пресс, 2004. - 320 с.

99. Андрианов, А. Н. Программирование на языке СИМУ ДА 67 / А. Н. Андрианов, С. П. Бычков, А. И. Хорошилов. М.: Наука, 1985. - 370 с.

100. Вашкевич, Н. П. Проектирование систем внешних ЗУ на магнитных дисках для супер-ЭВМ / Н. П. Вашкевич, В. Н. Дубинин, С. А. Зинкин // Периферийные устройства ЭВМ: материалы семинара. М.: МДНТП. - 1991. — С. 22-26.

101. Дубинин, В. Н. Формализованное описание и верификация коммуникационных структур сетей внешних ЗУ / В. Н. Дубинин, С. А. Зинкин // Периферийные устройства ЭВМ: материалы семинара. М.: МДНТП. - 1991. — С. 27-32.

102. А. с. 1462411 СССР. Система внешних запоминающих устройств на магнитных дисках / Н. П. Вашкевич, В. Н. Дубинин, А. М. Дудкин, С. Л. Зверев, С. А. Зинкин, Б. М. Раков. -№ 3973458/24-10. Опубл. 28.02.89. Бюл. № 8.

103. Вашкевич, Н. П. Вычислительные сети коллективного пользования: учеб. пособие / Н. П. Вашкевич, С. А. Зинкин. Пенза: Изд-во Пенз. политехи. ин-та. - 1979. - 72 с.

104. Вашкевич, Н. П. Оценка характеристик структур ЭВМ с использованием GPSS/360 и GPSS V / Н. П. Вашкевич, С. А. Зинкин, Б. М. Раков // Вопросы радиоэлектроники. Серия ЭВТ. 1978. - Вып. 13. - С. 63-71.

105. Огнев, И. В. Интеллектуальные системы ассоциативной памяти / И. В. Огнев, В. В. Борисов. М.: Радио и связь. - 1996. - 176 с.

106. Огнев, И. В. Ассоциативные среды / И. В. Огнев, В. В. Борисов. -М.: Радио и связь, 2000. 312 с.

107. Gelernter, D., Zuck, L. D. On what Linda is: formal description of Linda as a reactive system // Lecture Notes in Computer Science. Vol. 1282. Proceedings of the Second International Conference on Coordination Languages and Models, 1997.-P. 187-204.

108. Paradise: user's guide and reference manual. Scientific Computer Associates, New Haven, U.S.A., 2006. 171 p.

109. Adaptive parallelism and Piranha / Carriero, N., Freeman, E., Gelernter, D., Kaminsky, D. // Computer. 1995. - Vol. 28, - № 1. - p. 40-49.

110. Freeman, E., Hupfer, S., Arnold, R. JavaSpaces, Principles, Patterns and Practice. Reading, MA: Addison-Wesley, 1999.-368 p.

111. T Spaces / Wyckoff, J.P., Mclaughry, S., Lehman, Т., Ford, D. // IBM Systems, 1998. P. 454^174.

112. Gelernter, D., Carriero, N. Coordination languages and their significance // Commun. ACM. 1992. - Vol. 35. - № 2. - P. 96-107.

113. Papadopoulos, G., Arbab, F. Coordination models and languages // Advances in Computers. Vol. 46. - New York, NY: Academic Press, 1998. -P. 329^400.

114. Колмогоров, A. H. К определению алгоритма / A. H. Колмогоров, В. А. Успенский // Успехи математических наук. 1958, 13:6. - С. 3-28.

115. Gurevich, Y. On Kolmogorov machines and related issues. The logic in computers science column // Bulletin of Europian Assoc. for Theor. Сотр. Science, №35, 1998.-P.71-82.

116. Gurevich, Y. Evolving algebras a tutorial introduction // Bulletin of the EATS, 43, 1991., - P. 264-284.

117. Dexter, S., Doyle, P., Gurevich, Y. Gurevich abstract state machines and Shonhage storage modification machines // Journal of Universal Сотр. Science. — 1997.-Vol.3.-№4. -P. 279-303.

118. Плоткин, Б. И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. М.: Наука, 1991. - 448 с.

119. Ершов, Ю. JI. Математическая логика / Ю. JI. Ершов, Е. А. Палю-тин. М.: Наука, 1979. - 320 с.

120. Общая алгебра / Артамонов В. А., Салий В. Н., Скорняков JI. А., Шеврин JI. Н., Шульгейфер Е. Г. М.: Наука, 1991.-480 с.

121. Мальцев, А. И. Алгебраические системы / А. И. Мальцев. М.: Наука.- 1970.-392 с.

122. Плесневич, Г. С. Логические модели / Г. С. Плесневич // Искусственный интеллект. В 3-х кн. Кн. 2. Модели и методы: Справочник / под ред. Д. А. Поспелова. — М.: Радио и связь, 1990. - С. 14-28.

123. Маркин, В. И. Логика предикатов / В. И. Маркин // Новая философская энциклопедия. В 4-х томах. — Т. 2. - М.: Мысль, 2000.

124. Целищев, В. В. Язык математики и цели математического дискурса / В. В. Целищев // Философия науки, № 1(16), 2003. С. 18-45.

125. Карпенко, А. С. Логика на рубеже тысячелетий Электронный ресурс. / А. С. Карпенко // Logical Studies. Электрон, журн. - № 5. - 2000. -Р. 1-50. — Режим доступа: Ьйр://^ю.ги/Шез/Ь85МКафепко^£ свободный.

126. Manzano, М. Extentions of first order logic. Cambridge tracts in theoretical computer science. — Cambridge: Cambridge University Press, 1996. 410 p.

127. Оллонгрен, А. Определение языков программирования интерпретирующими автоматами / А. Оллонгрен. М.: Наука, 1990. - 226 с.

128. Ноаге, С. A. R.Consistent and complementary formal theories of the semantics of programming languages / C. A. R. Hoare, P. E. Lauer // Acta Information 1974.-№3.-P. 135-153.

129. Wegner, P. The Vienna definition language / P. Wegner // Computing Surveys. 1972. - Vol. 4. - № 1. - P. 5-63.

130. Хендерсон, П. Функциональное программирование. Применение и реализация / П. Хендерсон. М.: Мир, 1983. - 349 с.

131. Колмогоров, А. Н. Математическая логика / А. Н. Колмогоров, А. Г. Драгалин. -М.: Изд-во УРСС, МГУ. 2005. - 240 с.

132. Клини, С. К. Математическая логика / С. К. Клини. М.: Мир. — 1973.-480 с.

133. Мейер, Д. Теория реляционных баз данных / Д. Мейер. М.: Мир, 1987.-608 с.

134. Дубинин, В. Н. Языки логического программирования в проектировании вычислительных систем и сетей: учеб. пособие / В. Н. Дубинин, С. А. Зинкин. Пенза: Изд-во Пенз. гос. ун-та, 1997. - 88 с.

135. Литвинцева, Л. В. Сценарии / Л. В. Литвинцева // Искусственный интеллект. В 3-х кн. Кн. 2. Модели и методы: Справочник / под ред. Д. А. Поспелова. - М.: Радио и связь, 1990. - С. 56-60.

136. Робототехника и гибкие автоматизированные производства. — В 9 кн.: Учеб. пособие. Кн. 6. Техническая имитация интеллекта / В. М. Назаретов, Д. П. Ким / под ред. И. М. Макарова. М.: Высш. шк., 1986. - 144 с.

137. Перспективы развития вычислительной техники. — В 11 кн.: Справ, пособие. Кн. 2. Интеллектуализация ЭВМ / Е. С. Кузин, А. И. Ройтман, И. Б. Фоминых, Г. К. Хахалин / под ред. Ю. М. Смирнова. М.: Высш. шк., 1989.-159 с.

138. Тейз, А. Логический подход к искусственному интеллекту: от классической логики к логическому программированию / А. Тейз, П. Грибомон, Ж. Луи и др. М.: Мир, 1990. - 429 с.

139. Котов, В. Е. Сети Петри / В. Е. Котов. -М.: Наука. 1984. - 160 с.

140. Кандрашина, Е. Ю. Представление знаний о пространстве и времени в системах искусственного интеллекта / Е. Ю. Кандрашина, Л. В. Литвинцева, Д. А. Поспелов. М.: Наука, 1989. — 328 с.

141. Поспелов, Д. А. Ситуационное управление: теория и практика / Д. А. Поспелов. М.: Наука, 1986. - 284 с.

142. Ершов, А. П. Ведение в теоретическое программирование / А. П. Ершов. М.: Наука, 1977. - 283 с.

143. Маклаков С. В. Создание информационных систем с AllFusion Modelling Suite / С. В. Маклаков. М.: Диалог-МИФИ, 2003. - 432 с.

144. Калиниченко, JI. А. Методы и средства интеграции неоднородных баз данных / JI. А. Калиниченко. М.: Наука. - 1983. - 424 с.

145. Мартин, Дж. Организация баз данных в вычислительных системах / Дж. Мартин. М.: Мир. - 1980. - 662 с.

146. Поспелов, Г. С. Искусственный интеллект — основа новой информационной технологии / Г. С. Поспелов. М.: Наука. - 1988. - 280 с.

147. Экспертные системы для персональных компьютеров / В. С. Кри-севич, JI. А. Кузьмич, А. М. Шер и др. Минск: Вышэйшая школа. - 1990. -197 с.

148. Кузнецов, В. Е. Представление в ВМ неформальных процедур: продукционные системы / В. Е. Кузнецов (с послесловием Д. А. Поспелова). -М.: Наука. 1989. - 160 с.

149. Миренков, Н. Н. Иерархические параллельные алгоритмы / Н. Н. Ми-ренков // Вычислительные процессы и системы. — Вып. 2. М.: Наука. — 1985.-С. 121-128.

150. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах / под ред. В. И. Варшавского. — М.: Наука. 1986. - 400 с.

151. Брой, М. Информатика. Основополагающее введение / М. Брой. Часть I. М.: Диалог-МИФИ (Springer-Lehrbuch), 1996. - 300 с.

152. Слисенко, А. О. Сложностные задачи теории вычислений // Успехи математических наук. 1981. - Т. 36. - Вып. 6(222). - С.21-103.

153. Методы параллельного микропрограммирования / под ред. О. Л. Банд-ман; ИМ СО АН СССР. Новосибирск: Наука, 1981. - 180 с.

154. Барздинь, Я. М. Проблема универсальности в теории растущих автоматов / Я. М. Барздинь // Докл. АН СССР. 1964. - Т. 157. - № 3. - С. 542-545.

155. Норенков, И. П. Подходы к проектированию автоматизированных систем Электронный ресурс. / И. П. Норенков // Наука в образовании: Электронное научное издание. — 2005, № 6. — Режим доступа: http://technomag.edu.ru:8001/db/msg/26310.html, свободный.

156. Элементы параллельного программирования / В. А. Вальковский, В. Е. Котов, А. Г. Марчук, Н. Н. Миренков / под ред. В. Е. Котова. — М.: Радио и связь, 1983. 240 с.

157. Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: Справочник / под ред. В. Н. Захарова, В. Ф. Хорошевского. — М.: Радио и связь, 1990. 368 с.

158. Представление и использование знаний / под ред. X. Уэно, М. Исид-зука. М.: Мир, 1989. - 220 с.

159. Кузин JI. Т. Новая информационная технология и организация вычислительных систем / JI. Т. Кузин // Электронная вычислительная техника. -Вып. 3, 1989.-С. 20-28.

160. Вальковский, В. А. Распараллеливание алгоритмов и программ. Структурный подход / В. А. Вальковский. М.: Радио и связь. 1989. - 176 с.

161. Назаров, С. В. Операционные системы специализированных вычислительных комплексов: теория построения и системного проектирования. М.: Машиностроение. - 1989. - 400 с.

162. Месарович, М., Мако Д., Такахара И. Теория иерархических многоуровневых систем / М. Месарович, Д. Мако, И. Такахара. М.: Мир, 1973.-340 с.

163. Иванищев, В. В. Управление на сетях с переменной структурой /

164. B. В. Иванищев, А. Д. Краснощекое. -М.: Наука. 1982. - 116 с.

165. Мото-ока, Т. Японский проект вычислительных систем пятого поколения / Т. Мото-ока // Высокоскоростные вычисления. Архитектура, производительность, прикладные алгоритмы и программы суперЭВМ / под ред. Я. Ковалика. -М.: Радио и связь. 1988. - С. 90-105.

166. Genrich Н. J. Predicate/transition nets // Lecture Notes in Computer Science, vol. 254. Springer-Verlag, 1986. - P. 207-247.

167. Genrich H. J. Equivalence transformations of PrT-Nets // Lecture Notes in Computer Science, vol. 424. Springer-Verlag, 1990. -P. 179-208.

168. Glaesser U. Combining abstract state machines with predicate/transition nets // Lecture Notes in Computer Science, vol. 1333. Springer-Verlag, 1997. -P. 108-122.

169. Лавров, С. С. Программирование. Математические основы, средства, теория. СПб.: БХВ-Петербург, 2001. - 320 с.

170. Зинкин, С. А. Иерархические сети абстрактных машин и виртуализация интеллектуальных систем внешнего хранения и обработки данных /

171. C. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. -№ 2. - С. 25-38.

172. Зинкин, С. А. Согласование и координация объектов и процессов в агентно-ориентированных системах и сетях хранения данных / С. А. Зинкин // Вопросы радиоэлектроники. 2009. - № 4. - С. 83-96.

173. Зинкин, С. А. Реализация барьерной синхронизации и управление процессами в виртуальном сетевом дисковом массиве / С. А. Зинкин // Информационные технологии. — 2008. № 12. — С. 22—29.

174. Зинкин, С. А. Элементы новой объектно-ориентированной технологии для моделирования и реализации систем и сетей хранения и обработки данных / С. А. Зинкин // Информационные технологии. 2008. - № 10. — С. 20-27.

175. Зинкин, С. А. Элементы технологии иерархического концептуального моделирования и реализации систем и сетей хранения и обработки данных / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. 2008. - № 4. - С. 3-15.

176. Зинкин, С. А. Управление распределенными ресурсами в сети внешних запоминающих устройств / С. А. Зинкин // Вопросы радиоэлектроники. 2008. - № 5. - С. 85-97.

177. Зинкин, С. А. Разработка интеллектуальных систем управления внешней памятью ЭВМ и сетей с расширенными функциональными возможностями / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. 2008. - № 2. - С. 3-15.

178. Зинкин, С. А. Концептуальное моделирование многофункциональных систем и сетей внешних запоминающих устройств / С. А. Зинкин // Вопросы радиоэлектроники. 2008. - № 5. - С. 76-85.

179. Зинкин, С. А. Функционально-структурная реализация интеллектуальных систем управления внешней памятью ЭВМ и сетей / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки.-2008.-№ 1.-С. 14-21.

180. Вашкевич, Н. П. Применение методологии и принципов нечеткой логики в информационной системе «Электронная история болезни» / Н. П. Вашкевич, С. А. Зинкин, М. М. Макаров // Вопросы радиоэлектроники. 2007, - № 2. - С. 5-14.

181. Зинкин, С. А. Алгебра сценариев для спецификации операционной семантики активных сетей хранения и обработки данных / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. 2004. - № 2. - С. 96-107.

182. Зинкин, С. А. Сетевая FS-архитектура машин баз данных и исполняемые формальные спецификации / С. А. Зинкин // Вестник Пермского государственного университета. Научный журнал. Серия "Математика. Механика. Информатика". 2008. - № 4(20). - С. 169-181.

183. Коллективное поведение агентов в сетях хранения и обработки данных / Н. П. Вашкевич, С. А. Зинкин, В. А. Киреев, А. В. Прошкин // Приложение к журналу "Информационные технологии". 2003. - № 9. - 24 с.

184. Зинкин, С. А. Мобильные агенты в TCP/IP сетях: особенности технологии и проблемы безопасности / С. А. Зинкин, В. А. Киреев, А. В. Прошкин // Телекоммуникации. 2002. - № 9. - С. 30-39.

185. Зинкин, С. А. Сценарные модели функционирования систем и сетей хранения и обработки данных / С. А. Зинкин // Новые информационные технологии и системы: тр. VII Междунар. науч.-техн. конф. Часть 1. — Пенза: Изд-во Пенз. гос. ун-та. 2006. - С. 117—123.

186. Зинкин, С. А. Интеграция сетевых, информационных и кластерных технологий в TCP/IP сетях. Метод, указания / С. А. Зинкин, В. В. Швецов, Е. А. Шумилкина. Пенза: Изд-во Пенз. гос. ун.-та. - 2006. - 76 с.

187. Зинкин, С. А. Реализация барьерной синхронизации и управление процессами в FS-пространстве / С. А. Зинкин // Новые информационные технологии и системы: тр. VI Междунар. науч.-техн. конф. Часть 1. Пенза: Изд-во Пенз. гос. ун-та. - 2004. - С. 217-226.

188. Зинкин, С. А. Эволюции сетей хранения и обработки данных / С. А. Зинкин // Новые информационные технологии и системы: тр. VI Междунар. науч.-техн. конф. Часть 1. Пенза: Изд-во Пенз. гос. ун-та. - 2004. -С. 192-200.

189. Зинкин, С. А. Виртуальные топологии сетей хранения и обработки данных / С. А. Зинкин // Новые информационные технологии и системы: тр. VI Междунар. науч.-техн. конф. Часть 1. Пенза: Изд-во Пенз. гос. ун-та. -2004. - С. 200-208.

190. Зинкин, С. А. Семантические сети в управлении мобильными агентно-ориентированными вычислениями / С. А. Зинкин // Новые информационные технологии и системы: Материалы V Международной НТК. Пенза, 2002. - С. 48-52.

191. Зинкин, С. A. A SAN/NAS-like platform for the intelligent distributed systems design / С. А. Зинкин // Новые информационные технологии и системы: Материалы V Междунар. НТК. Пенза, 2002. - С. 56-60.

192. Зинкин, С. А. Мобильные агентно-базированные вычисления и семантические сети / С. А. Зинкин // Материалы XIII Международной школы-семинара "Синтез и сложность управляющих систем". Ч. I, Ч. II. М.: МГУ, 2002. - С. 89-94.

193. Зинкин, С. А. Макроструктурная теория распределенных мобильных систем хранения и обработки данных / С. А. Зинкин // Материалы XIII Международной школы-семинара "Синтез и сложность управляющих систем". Ч. I. Ч. II. М.: МГУ, 2002. - С. 84-89.

194. Зинкин, С. А. Анализ состояния распределенной системы хранения данных / С. А. Зинкин // Межвузовский сборник научных трудов. — Пенза: Изд-во Пенз. гос. ун-та, 2002. С. 127-137.

195. Зинкин, С. А. Вероятностные модели поиска данных в вычислительных сетях / С. А. Зинкин // Материалы XII Международной школы-семинара "Синтез и сложность управляющих систем". Ч. I, Ч. II. М.: МГУ, 2001. -С. 90-94.

196. Зинкин, С. А. Распределенная модель хранения данных для корпоративных сетей / С. А. Зинкин // Новые информационные технологии и системы: материалы IV Междунар. НТК. Пенза, 2000. - С. 102-103.

197. Зинкин, С. А. Организация управления распределенным хранилищем данных / С. А. Зинкин // Новые информационные технологии и системы: материалы IV Междунар. НТК. Пенза, 2000. - С. 100-102.

198. Зинкин, С. А. Метод производящих функций в исследовании функционирования распределенной системы хранения данных / С. А. Зинкин // Новые информационные технологии и системы: материалы IV Междунар. НТК. Пенза, 2000. - С. 103-106.

199. Сетевой агентно-ориентированный метакомпьютер / Н. П. Вашкевич, С. А. Зинкин, В. А. Киреев, А. В. Прошкин // Новые информационные технологии и системы: материалы IV Междунар. конф. Пенза, 2000. - С. 106-109.

200. Зинкин, С. А. Анализ состояния распределенной системы хранения данных / С. А. Зинкин // Новые информационные технологии и системы: материалы IV Междунар. НТК.- Пенза, 2000. С. 99-100.

201. Зинкин, С. А. Управление информационными потоками в распределенных системах памяти с использованием технологий мобильных агентов / С. А. Зинкин // Распознавание-99: сб. материалов IV Междунар. конф. -Курск, КГТУ, 1999.-С. 124-125.

202. Зинкин, С. А. Организация распределенной памяти для высокопроизводительных структур на платформе ЛМ и JAVASPACES / С. А. Зинкин // Распознавание-99: материалы IV Междунар. конф. Курск, 1999. - С. 122-124.

203. Зинкин, С. А. Концепция мобильности в распределенных системах обработки информации / С. А. Зинкин // Материалы VII Всероссийского семинара "Нейроинформатика и её приложения ". — Красноярск, 1999. С. 58.

204. Zinkin, S. A. Systolic nets modeling with simulation programs of different types / S. A. Zinkin // Proceedings East-West International Conference "Information Technology in Design" (EWITD'96). Moscow, Russia, 1-5 July. -P. 91-93.

205. Zinkin, S. A. The software and hardware architecture of a knowledge representation system / S. A. Zinkin // Proceedings East-West International Conference "Information Technology in Design" EWITD'96. Moscow, Russia, 1-5 July.-P. 87-90.

206. Зинкин, С. А. Интеллектуальная дисковая память для построения систем обработки знаний / С. А. Зинкин // Сборник аннотаций IV Международной конференции "Дисковые запоминающие устройства" (ДЗУ'90). — Костенец, Болгария. 1990. - С. 50-51.

207. Зинкин, С. А. Моделирование интеллектуальных систем массовой памяти / С. А. Зинкин // Сборник аннотаций IV Международной конференции "Дисковые запоминающие устройства" (ДЗУ'90). — Костенец, Болгария. -1990.-С. 52-53.

208. Зинкин, С. А. Проектирование функционально-децентрализованных вычислительных систем / С. А. Зинкин // Материалы докладов Второго регионального семинара "Распределенная обработка информации". Новосибирск: Изд-во СО АН СССР. - 1987. - С. 48.

209. Вашкевич, Н. П. Использование высокоуровневых имитационных систем при проектировании архитектуры вычислительных комплексов: учеб. пособие / Н. П. Вашкевич, С. А. Зинкин. Пенза: Изд-во Пенз. политехи, инта. - 1980. - 112 с.

210. Зинкин, С. А. Методы составления и описания имитационных моделей вычислительных систем и устройств: учеб. пособие / С. А. Зинкин. -Пенза: Изд-во Пенз. политехи, ин-та. 1987. — 85 с.

211. Вашкевич, Н. П. Методы и средства моделирования при проектировании цифровых устройств и систем: учеб. пособие / Н. П. Вашкевич, С. А. Зинкин. Пенза: Изд-во Пенз. политехи, ин-та. - 1987. - 80 с.

212. Зинкин, С. А. Организация и моделирование систем управления внешней памятью высокопроизводительных ЭВМ: учеб. пособие / С. JI. Зверев, С. А. Зинкин. Пенза: Изд-во Пенз. политехи, ин-та. - 1991. - 80 с.

213. Дубинин, В. Н. Спецификация и верификация процессов обмена информацией в вычислительных системах и сетях: учеб. пособие / В. Н. Дубинин, С. А. Зинкин. — Пенза: Изд-во Пенз. политехи, ин-та. 1992. - 95 с.

214. Зинкин, С. А. Проектирование архитектуры децентрализованных вычислительных комплексов: учеб. пособие / С. А. Зинкин. Пенза: Изд-во Пенз. политехи, ин-та. — 1982. - 67 с.

215. Зинкин, С. А. Проектирование структур и алгоритмов систем управления внешней памятью высокопроизводительных ЭВМ. Описания лабораторных работ / С. JI. Зверев, С. А. Зинкин. Пенза: Изд-во Пенз. гос. унта. - 1993.-42 с.

216. Зверев, С. JI. Интеллектуализация систем внешней и массовой памяти ЭВМ / С. JI. Зверев, С. А. Зинкин, Б. М. Раков // Вопросы радиоэлектроники. Серия ЭВТ. 1990. - Вып. 13. - С. 43-58.

217. Зинкин С. А. Анализ структур больших информационных систем памяти / С. А. Зинкин, Б. М. Раков // Вопросы радиоэлектроники. Серия ЭВТ. — 1981.-Вып. 13.-С. 72-78.

218. Зинкин С. А. Проектирование архитектуры больших информационных систем памяти с использованием GPSS/360 и GPSS V / С. А. Зинкин, Б. М. Раков // Вопросы радиоэлектроники. Серия ЭВТ. 1978. - Вып. 13. — С. 72-81.

219. Вашкевич Н. П. К анализу информационного обслуживания в системе «процессор внешние запоминающие устройства» / Н. П. Вашкевич, С. А. Зинкин, Б. М. Раков // Вопросы радиоэлектроники. Серия ЭВТ. - 1974. -Вып. 12.-С. 82-91.