Методы проектирования и экспертизы технически оптимальных позиционных систем программного управления тема диссертации и автореферата по ВАК РФ 05.13.12, доктор технических наук Ботуз, Сергей Павлович

• Ботуз, Сергей Павлович
• доктор технических наук
• 2003

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

Введение.

Глава I. АНАЛИЗ И ПОСТАНОВКА ОСНОВНЫХ ЗАДАЧ

АВТОМАТИЗАЦИИ ПРОЦЕССОВ ПРОЕКТИРОВАНИЯ И ЭКСПЕРТИЗЫ ПСПУ ФТП

1.1. Общая характеристика объекта проектирования и экспертизы.

1.2. Задачи проектирования систем оперативного приема, обработки и распространения данных в ИСАПР ПСПУ ФТП.

1.3. Математические модели ИСАПР ПСПУ ФТП.

1.4. Сравнительный анализ и обоснование критериев выбора методов исследования ПСПУ.

1.5. Цели и критерии принятия решений на основных стадиях проектирования и экспертизы ПСПУ.

1.6. Особенности формализации притязаний ЛПР в процессе проектирования технически оптимальных ПСПУ.

1.7. Выводы.

Глава 2. МАТЕМАТИЧЕСКИЕ МЕТОДЫ И МОДЕЛИ

АВТОМАТИЗАЦИИ ИССЛЕДОВАНИЯ ЭВОЛЮЦИИ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ИСАПР ПСПУ

2.1. Инструментальная среда для автоматизации процессов исследования эволюции ИТ ИСАПР ПСПУ.

2.2. Модель эволюции стратегий экспертизы состояния ИТ в ИСАПР ПСПУ.

2.3. Подсистема автоматизированной обработки НПД объектов промышленной собственности в ИСАПР ПСПУ.

2.4. Нечеткие СНФ экспертизы состояния ОИС в ИСАПР ПСПУ

2.5. Алгоритмы и процедуры генерации оценок графо-аналитического профиля предметной области в ИСАПР ПСПУ.

2.6. Выводы.;.

Глава 3. РАЗРАБОТКА АДАПТИВНОГО КОМПЛЕКСА АЛГОРИТМИЧЕСКИХ СРЕДСТВ ИСАПР ПСПУ

3.1. Синтез структуры библиотеки подпрограмм ИСАПР ПСПУ

3.2. Способ контроля корректности цифровых моделей ИСАПР ПСПУ

3.3. Разработка алгоритмов и процедур исследования ПСПУ ФТП "аналитическими" методами.

3.4. Разработка подсистемы адаптивных алгоритмических средств формирования транспортного запаздывания в ИСАПР ПСПУ.

3.5. Оптимизация вычислительных процессов ИСАПР ПСПУ.

3.6. Выводы.

Глава 4. МЕТОДЫ, АЛГОРИТМЫ И АППАРАТНО-ПРОГРАММНЫЕ

СРЕДСТВА МОДЕЛИРОВАНИЯ И ОБРАБОТКИ МНОГОМЕРНЫХ ДАННЫХ В ИСАПР ПСПУ

4.1. Разработка алгоритмов подсистемы обработки (сжатия, отображения и накопления) многомерных числовых данных.

4.2. Синтез отображений многомерной числовой информации в ИСАПР ПСПУ.

4.3. Конструктивная геометрия графо-аналитических бинарных полей

4.4. Синтез конструктивных элементов графо-аналитических бинарных полей.

4.5. Сетевые методы обработки многомерных данных в ИСАПР ПСПУ.

4.6. Выводы.

Глава 5. АВТОМАТИЗАЦИЯ ОСНОВНЫХ ПРОЦЕССОВ

ПРОЕКТИРОВАНИЯ И ЭКСПЕРТИЗЫ ИСАПР ПСПУ

5.1. Методы и модели ИСАПР ПСПУ.

5.2. Методики исследования и разработки технически оптимальных ПСПУ ФТП

5.3. Синтез объектно-ориентированных процессов проектирования и экспертизы состояния ИСАПР ПСПУ.

5.4. Объектно-ориентированные процедуры квантификации

ОИС в ИСАПР ПСПУ.

5.5. Проектирование нейроподобных структур в ИСАПР ПСПУ на примере интерактивной генерации слоганов в сети Internet.

5.6. Автоматизированный синтез интерактивных алгоритмов обучения экспертов ИСАПР ПСПУ.

5.7. Выводы.

Введение диссертации (часть автореферата) на тему «Методы проектирования и экспертизы технически оптимальных позиционных систем программного управления»

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

Основные проблемы систем автоматизации проектирования (САПР) данного класса ПСПУ ФТП предопределены непрерывностью процесса их проектирования и необходимостью обеспечения постоянно возрастающих требований к их предельным характеристикам (не только к таким как точность и быстродействие позиционирования, но и к энергозатратам, массе, простоте и скорости перенастройки режимов позиционирования и т.п.).

В процессе проектирования и эксплуатации ПСПУ ФТП лицу, принимающему решение (ЛПР, проектировщику, эксперту и др.) необходимо находить не оптимальные точки в пространстве решений, а допустимые области в этом пространстве или в терминах принципа минимальной (ограниченной) сложности (ПМС) - ПСПУ должны быть технически оптимальными (ТО). Отличительной особенностью развития современных САПР является постоянный рост сложности соответствующих систем программного управления. Широкое использование САПР (CAD/CAM) в России и странах СНГ, таких как T-Flex, CadMech, КОМПАС и др. [1], по сравнению с более мощными зарубежными САПР, такими как Cimatron, Unigraphics, Pro/Ingineer, CATIA и др. [2,3], обусловлено не только дороговизной последних, но и тем, что первая группа САПР обладает свойством открытости и может быть хорошо адаптирована к решению специфических задач в конкретной предметной области (ПрО), а вторая - менее открыта и не обладает модулями для эффективной адаптации и применения в других ПрО.

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

Однако на практике для производителей электронной техники быстрый выход на рынок с готовым изделием при высоких технических характеристиках являются наиболее важными составляющими, чем все остальные. Современные средства САПР позволяют ставить и решать подобные плохо формализуемые задачи проектирования, а программируемые логические интегральные схемы (ПЛИС) и стандартные языки описания аппаратуры (Hardware Description Languages - HDL) становятся ключевыми элементами в новых технологиях и методологиях проектирования [4]. Лидеры современного рынка производства ПЛИС, такие фирмы как: Altera; Xilinx; Actel, концентрируют свои усилия на устранении основных недостатков ПЛИС [5,6,7]. Как известно, у ПЛИС относительно невысокая рабочая скорость (тактовые частоты меньше, чем в других технологиях производства ИМС) и невысокая плотность (размеры кристалла ПЛИС превышают размеры ИМС, использующих другие технологии). Полузаказные и заказные специализированные ИС (Application Specific Integrated Circuits - ASIC) также используются для обеспечения решения подобных проблем. Однако ПЛИС обеспечивают повышенную гибкость при проектировании и модификации аппаратуры, а также более быстрый выход на рынок при меньших затратах [8]. Кроме того, непрерывно растет популярность использования стандартных языков описания аппаратуры (VHDL и Verilog) при проектировании электронных систем и устройств на основе ПЛИС. В процессе проектирования сложных (более тысячи затворов) ПЛИС инженеры уже не могут использовать традиционные методики проектирования (булевы уравнения, описания в виде логических схем и т.п.). Современные языки описания аппаратуры типа VHDL (Very high speed integrated circuit Hardware Description Language) обеспечивают высокоуровневое описание сложных устройств, позволяют выполнить проектирование устройств значительно быстрее, поддерживают создание библиотек проектирования, в которых компоненты могут быть многократно использованы в последующих проектах. Кроме того, они обеспечивают совместимость кодов программ между средствами синтеза и моделирования, а также независимо от конкретного кристалла ИМС, обеспечивается достаточно простое конвертирование проекта с ПЛИС в реализацию в виде полузаказной схемы или базового матричного кристалла.

В современных условиях разработчики ПСПУ ФТП используют новые технологии и современные САПР на основе ПЛИС и HDL. При этом процесс проектирования сводится к описанию схемы на, так называемом, языке описания аппаратуры (поведенческое или сценарное описание спецификации) и использованию средств САПР, в которой выполняется синтез схемы по исходному описанию, моделированию и реализации схемы в выбранном кристалле, после которых формируется файл загрузки (конфигурации). Запрограммированная ИМС может далее быть помещена на плату или использоваться в более крупных проектах. Так, разработанный SystemGenerator фирмами Xilinx и Math Works, позволяет автоматически переносить модели, созданные в среде MatLab/Simulink, в среду физического синтеза проектов для ПЛИС типа FPGA [9]. В данном случае, на этапе разработки проектов для ПЛИС - SystemGenerator предоставляет разработчику набор блоков Xilinx - XBS, реализованный в виде S-функций, в состав которого входят параметризированные модули математических, логических и DSP-функций, модули для взаимодействия с MatLab/Simulink, специальные конструкции для работы с закрытыми пользовательскими функциями и программным обеспечением Xilinx. В свою очередь, набор блоков XBS позволяет перевести и моделировать работу заданного или требуемого алгоритма в bit-true режим (в этом режиме учитывается разрядность данных, эффекты переполнения и т.п.). Затем, при помощи утилит Netlister и Mapper, Simulink-модель, созданная при помощи модулей XBS, транслируется в VHDL-описание, передаваемое после этого средствам синтеза функциональных блоков. Таким образом, современные САПР и методология проектирования ПЛИС требует от разработчика концентрировать свое внимание больше на функциональных вопросах разрабатываемой системы, нежели на вопросах реализации проекта в кристалле ИМС.

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

В то же время проблема проектирования ТО ПСПУ в каждой ПрО является сложной и чисто с математической точки зрения. В процессе проектирования ПСПУ возникает необходимость применения мощных систем математического моделирования и анализа таких как MatCad, MatLab, Maple, Statistica и др. Многие отечественные и зарубежные научно-исследовательские и проектные организации предпочитают использовать интегрированные многоуровневые САПР, которые представляют гибкое сетевое объединение различных модулей CAD/CAM/CAE. Применение подобных ИСАПР требует разработки математических моделей проектируемых систем в каждой ПрО. При этом ЛПР (пользователю, проектировщику, конструктору и т.п.) приходится подстраиваться под требования и возможности существующего программно-аппаратного обеспечения, а не наоборот.

В настоящее время процесс проектирования любой сложной системы программного управления в реальных условиях неопределенности и ограниченности ресурсов разного вида представляет собой в большей мере искусство, нежели какую-либо строго формализованную процедуру. На сегодняшний день нет единой методологии автоматизированного синтеза и анализа подобных сложных СПУ. Однако, имеется подготовленная теоретическая и практическая база для ее разработки в виде теории систем, теории выбора и принятия решения, теории сложности и методов инженерии знаний, теории САПР; средств компьютерной графики, CASE и CALS технологий. При этом быстро развивающиеся системы с искусственным интеллектом (в т.ч. экспертные системы ЭС) позволяют ставить и решать задачи, связанные с автоматизацией сложно формализуемых этапов ИСАПР. Однако, несмотря на то, что ЭС начали использоваться в САПР, начиная с 1976г. (например, TEIRESIAS - САПР ЭС, SACON- САПР машиностроение, OPS5 — САПР вычислительных комплексов и более поздние: EFM (1995), AGETS MBR (1995), TED (1997), ROMEX (1990), ИНУС (1995), ABRex (1997), REVMACOM (1996), DESY-3 (2000) и др.), узким звеном, сдерживающим успешное применение ЭС, продолжают оставаться процессы автоматического сиитеза моделей представления и получения знаний на основе наблюдения и анализа всего множества данных в ИСАПР [10,11].

Проблемам проектирования программных комплексов САПР посвящены многие работы отечественных и зарубежных ученых: В.Н. Агафонова, О.В. Алексеева, Б.В. Анисимова, Е.И. Артамонова, Н.И. Борисова, Б. Боэма, Г. Буча, М.М. Вельбицкого, Ю.Х. Вермишева, Н. Вирта, Вл.В. Воеводина, В.Н. Гридина, В;А. Горбатова, А.Н. Данчул, И.И. Дзегеленка, А.П. Ершова, Д.А. Калахана, JI.A. Калиниченко, В:А. Кравченко, Ф.Ф. Куо, В.В. Липаева, А.Г. Мамиконова, Дж. Мартина, И.П. Норенкова, А.И. Петренко, Б.А. Позина, М.А. Редкозубова, Г.Г. Рябова, Л.П. Рябова, АС. Саркисяна, В.П. Сигорского, М.И. Смирнова, В.В: Солодовникова, И.В. Солодовникова, М.А. Терещенко, Н.И. Федунец и др. [12].

По меткому выражению авторов ПМС ". процесс проектирования при множественных целях и ограничениях является творчески слишком интересным для того, чтобы его следовало целиком перепоручать ЦВМ" (см. [13], с. 16). Соответственно, этап поискового проектирования (ППр), на котором необходимо гибкое сочетание эвристических способностей ЛПР и больших вычислительных возможностей ЦВМ, в сравнении с такими традиционными этапами проектирования ПСПУ как внешнее и внутреннее проектирование (ВнП и ВПр) является наименее разработанным направлением научной и практической деятельности всех известных на настоящее время САПР. Это состояние современных интегрированных САПР обусловлено тем, что в состав ППр входят такие разделы проектирования, которые сложно поддаются формализации и регулированию какими-либо нормативами. В то же время ППр частично используется во ВнП и в большей мере в ВПр любой ИСАПР и включает в себя элементы производственного и частного предпринимательства, изобретательства и т.п., определяющие или предопределяющие жизненный цикл любой спроектированной современной системы программного управления. Существующий спектр методических средств ППр современных ИСАПР, который находит в настоящее время практическое применение, простирается от известных сетевых информационно-поисковых систем (ИПС) до уровня всевозможных эвристических процедур, которые аккумулируются в узкой предметной области (ПрО), в основном, в виде опыта ЛПР (как правило, главного конструктора, главных или ведущих специалистов и др.), персональных баз данных (БД) и баз знаний (БЗ). Причем данное состояние ППр в ИСАПР обусловлено рядом объективных обстоятельств. Самое главное из которых, это то, что на этих стадиях проектирования получают или формируются основные идеи и разноликие их интерпретации, которые в дальнейшем могут быть использованы (или эксплуатируются) неопределенным кругом лиц, нанося непоправимый ущерб разработчику или авторам той или иной спроектированной системы программного управления. Таким образом, информационные технологии ППр затрагивают все основные этапы современных ИСАПР, а именно, сложно формализуемые технологические и инновационные аспекты собственности, как например, взаимодействие субъектов (постановщиков задач проектирования, программистов, работодателей, авторов, правопреемников и т.п. ЛПР) и объектов (алгоритмов, полезных моделей, изобретений: способы и устройства, промышленных образцов и т.п.) интеллектуальной собственности (ОИС или промышленной собственности ОПС). При проектировании ПСПУ к вышеперечисленным особенностям современных, как правило, интегрированных САПР добавляются всевозможные этапы сопровождения и модернизации однажды спроектированной ПСПУ. Причем объем работ, связанный с модернизацией, настройкой или адаптацией спроектированной ПСПУ требует от разработчика не меньше, а зачастую, больше усилий, не только временных, материальных или физических, но и интеллектуальных. Поскольку в каждой прикладной задаче использования ПСПУ возникает множество таких "нюансов", которые при проектировании учесть ЛПР не предоставляется возможным. При этом, по сути, любой процесс адаптации ПСПУ представляет собой не только самостоятельный этап дополнительного или "доводочного" проектирования, но и самостоятельную технологическую процедуру коррекции и настройки, а зачастую, и переработки не только отдельных интерфейсных программ и подпрограмм, но и изменения самой идеологии обработки и представления данных в конкретной ПрО, адаптированной на потребности того или иного заказчика.

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

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

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

В соответствии с вышеизложенным актуальность диссертационной работы обусловлена:.

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

- необходимостью сокращения сроков проектирования и экспертизы состояния (исследования, разработки, патентования, эксплуатации) технически оптимальных ПСПУ ФТП в условиях ограниченности материальных, людских и других ресурсов;

- недостаточной изученностью проблемы алгоритмизации процессов проектирования и экспертизы состояния (ПЭС) нелинейных систем управления с целенаправленными элементами в контуре управления на основе применения принципа сложности,

- несоответствием высокотехнологических процессов, происходящих в ПСПУ ФТП и методов управления соответствующими процессами их проектирования, исследования, разработки, патентования и эксплуатации,

- недостаточной изученностью проблемы создания интеллектуальных САПР (CAD/CAM/ CAE) для систем программного управления на основе применения современных телекоммуникационных систем и открытых сетевых Internet/Intranet -технологий.

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

Исследования и разработки по теме диссертации в 80-х годах проводились в рамках Основных направлений научных исследований в области САПР, АС-НИ; АСУТП и технической кибернетики на 1981-1985 гг. и планов важнейших работ министерства приборостроения, средств автоматизации и систем управления (1986-1990 гг.), а в 90-х годах — Координационного плана комплексной программы РАН в области фундаментальных исследований проблем машиностроения, механики и процессов управления.

Кроме того, актуальность исследований по теме диссертации подтверждается тематикой "Приоритетных направлений развития науки и техники" и перечнем "Критических технологай федерального уровня" на 1996-2000 годы, подготовленных ГКНТ России и утвержденных Председателем Правительственной комиссии по НТК России (№ 2727п-П8 и № 2728п-П8 от 21.02.96г.).

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

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

1. Исследование и анализ информационных технологий (ИТ) автоматизации проектирования и экспертизы состояния ПСПУ ФТП.

2. Разработка методов и моделей исследования эволюции ИТ средств промышленной автоматизации и САПР ПСПУ ФТП.

3. Разработка адаптивного программно-алгоритмического обеспечения для автоматизации мониторинга основных процессов проектирования и экспертизы состояния технически оптимальных ПСПУ ФТП.

4. Разработка инструментальных средств геометрического моделирования и обработки (сжатия, отображения, хранения и защиты) многомерных параметрических зависимостей в интегрированных САПР.

5; Реализация результатов теоретических исследований в виде проблемно-ориентированных инструментов интеллектуальной поддержки основных информационных процессов проектирования и экспертизы состояния ПСПУ.

При этом решение крупной научно-технической проблемы — создание единой методологической основы для формирования государственной автоматизированной системы сопровождения в сети ПСПУ (ОИС, ОПС), обеспечивается за счет теоретического обобщения и исследования проблем и прикладных задач поддержки ЛПР на основных этапах проектирования и экспертизы состояния (исследования, разработки, патентования и эксплуатации) технически оптимальных ПСПУ различными ФТП.

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

Научная новизна. В диссертационной работе получены следующие основные результаты, которые выносятся на защиту.

Научная новизна диссертационной работы заключается в разработке проблемно-адаптивной концепции проектирования и экспертизы состояния ТО ПСПУ, на основе применения и развития методологии и научных основ принципа сложности в теории построения интегрированных САПР.

Предлагаемая концепция включает:

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

- новые инвариантные в рассматриваемом классе инструментальные средства для автоматизации процессов геометрического моделирования и обработки (сжатия, отображения, накопления и защиты) многомерных параметрических зависимостей, обеспечивающие биективное (взаимно-однозначное) сечение и визуализацию исследуемого многомерного пространства параметров на плоскости в адекватной для зрительного восприятия в ИСАПР ПСПУ;

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

В рамках разработанного подхода получены и представлены к защите следующие основные научные результаты:

1. Методы проектирования и экспертизы состояния ТО ПСПУ на основе использования единого методологического и математического аппарата дифференциально-разностных систем уравнений запаздывающего типа с нестационарными существенно нелинейными функциями.

2. Формализация процесса квантификации (сведения качественных экспертных характеристик к количественным) средств промышленной автоматизации на основе синтеза нечетких существенно нелинейных функций пространства параметров проектирования и экспертизы ПСПУ в интегрированных САПР."

3. Методы генерации (автоматизированного проектирования) вычислительных процедур исследования нелинейных нестационарных ПСПУ во временной области на основе учета многорежимности и разнотемповости динамических процессов программного позиционирования объектов различной физической природы.

4. Метод автоматического контроля корректности нечетких дискретных моделей существенно нелинейных нестационарных систем программного управления и регулирования в ИСАПР.

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

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

7. Структура имитационной модели для идентификации динамических процессов, происходящих в ПСПУ на основных этапах их жизненного цикла.

8. Методика автоматизированного проектирования и синтеза интерактивных алгоритмов обучения экспертов ПСПУ в ИСАПР на основе эффективного использования современных открытых сетевых технологий.

9. Методы и модели оптимизации основных этапов новой информационной технологии проектирования и экспертизы состояния ПСПУ, обеспечивающие автоматизацию процедур параметрической квантификации и синтеза проблемно-ориентированных информационно-поисковых объектов в ИСАПР ПСПУ, применяемых в различных отраслях народного хозяйства.

На защиту выносятся следующие основные результаты:

1. Методология автоматизированного проектирования технически оптимальных ПСПУ;

2. Технология геометрического моделирования и визуализации многомерных зависимостей в ИСАПР ПСПУ ФТП;

3. Алгоритмическое и программно-аппаратное обеспечение организации процессов проектирования и экспертизы состояния технически оптимальных ПСПУ.

Обоснованность и достоверность результатов и выводов, полученных в диссертационной работе, подтверждается:

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

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

Рис. В.1. Методологическая схема исследований

Практическая значимость работы состоит в создании комплекса инструментальных средств в виде методов, алгоритмов, моделей и инженерных методик, предназначенных для автоматизации основных этапов проектирования и экспертизы состояния ПСПУ на основе эффективного применения ПМС, а также для синтеза персонифицированного интерфейса ЛПР-ЭВМ, позволяющего в широком классе приложений рационально использовать возможности проектировщика (ЛПР) и ЭВМ в ИСАПР. Практическая ценность работы определяется внедрением результатов исследований на промышленных объектах и в учебных процессах. Развитые в диссертации подходы, методы и полученные результаты создают теоретическую и методологическую основу для автоматизации основных процессов проектирования (ИСАПР) и экспертизы состояния ПСПУ в условиях неопределенности технологической подготовки производства (АСТПП) с учетом влияния средств взаимодействия проектировщик - система (субъектов и объектов среды проектирования), квалификацию ЛПР, ограниченности материальных и других ресурсов.

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

Фактический экономический эффект от внедрения разработанных инструментальных средств только за период 1998 — 2000 гт. составил 2 340 ООО ("два миллиона триста сорок тысяч) рублей:

1. Программный комплекс реляционной системы управления базами данных "Эксперт ОПС", инструментальные средства для обработки и визуализации (сжатия, отображения, накопления и защиты) многомерных измерительных данных внедрены при выполнении госбюджетной НИР "Символ Г5-034/92-410" в Центральном научно-исследовательском институте "ЦИКЛОН" (г. Москва).

Фактический экономический эффект составил 900 (девятьсот) тысяч рублей. (Акт о внедрении от 30.05.2000 г.);

2. "Способ многоуровневого измерения, обработки и регистрации физических величин" внедрен в ЦАГИ им. Н.Е. Жуковского в НИР по теме "Метрологический анализ автоматизированных систем для испытания авиационных конструкций на статическую прочность и выносливость" (Акт о внедрении от 07.03.2000 г.);

3. Комплекс автоматизированного синтеза вычислительных процедур для исследования распределенных нелинейных динамических процессов, методики экспертизы состояния позиционных систем программного управления подвижными объектами внедрены в войсковой части 08317 (ЦУП, г. Голицыно, Моск.обл. Акт о внедрении от 19.09.2000 г.);

4. Разработанные "Методы и средства многоканальной обработки (измерения, регистрации и сжатия) данных" внедрены в Федеральном государственном унитарном предприятии "НПО ТЕХНОМАШ" Российского космического агентства в распределенных системах программного управления и регулирования агрегатами многодвигательных установок. Фактический экономический эффект составил 800 (восемьсот) тысяч рублей. (Справки и акты о внедрении №№ 20-1/ГУ - 20-5/ГУ от 12.05.99г.);

5. Результаты НИР на тему: "Автоматизация исследования, разработки и патентования позиционных систем программного управления", внедрены в ССО "ВОДОАВТОМАТИКА" (г. Москва) и его филиалах: АООТ СУ "ВОДОАВТОМАТИКА" (г. Павловский Посад); АО Волгоспецмонтаж (г. Саратов) и ООО "Телемеханика" (г. Ставрополь). При этом использованы разработанные методики, математические модели, алгоритмы и программно-аппаратные средства при проектировании технических систем регулирования, измерения и контроля водо-и теплопроводных систем, в рамках выполнения ССО "ВОДОАВТОМАТИКА" Комплексной целевой программы "Энергосберегающие технологии межотраслевого применения" (№ 2728п-П8 ГКНТ РФ от 21 июля 1996г.); - результаты выполненных исследований положены в основу реализации "Координационного плана развития и внедрения комплексных систем регулирования и телеконтроля ССО "ВОДОАВТОМАТИКА" на 1996-2000 гг. Фактический экономический эффект составил 640 (шестьсот сорок) тысяч рублей.(Справки и акты о внедрении № 161-165/НИР от 16.03.98г.);

6. Материалы диссертационной работы использованы при чтении лекций и выполнении курсовых работ по курсу "Теория управления" в Московском техническом университете связи и информатики (1999 - 2000 уч.год) и используются в процессе чтения лекций и проведения практических занятий по курсу "Электротехнические устройства" на кафедре "Радиоприборы" Московского института радиотехники, электроники и автоматики (Акт о внедрении от 18.06.1999 г.), Московском государственном институте электроники и математики по курсу "Компьютерное право" [14]; компанией "SOFTLINE" в программе курса "Методы и модели экспертизы объектов интеллектуальной собственности в сети Internet на базе инструментальных средств MatLab" [15].

Результаты исследований также использованы при выполнении НИР и НИОКР, выполненных по хоздоговорной и госбюджетной тематикам в различных организациях в период с 1976 - 1997 гг., в т.ч.:

1. "Оптимальный синтез и разработка бортовой программной системы управления". Отчет НИР по договору с ОКБ ИКИ (Особое конструкторское бюро Института космических исследований) АН СССР, № Гос.регистр. 76091701, инв. номер Б 752848, ФПИ, Фрунзе, 1978. - 209с. (Справка о спецвнедрении от 10.12.1979г.);

2. "Разработка алгоритмов численных методов решения систем дифференциальных уравнений" (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр. 79020038, инв. номер Б 920513; ФПИ; Фрунзе, 1980. - 105с.;

2.1. "Разработка и исследование подпрограмм моделирования существенно нелинейных звеньев САУ" (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр.79020038, инв. номер Б 920515, ФПИ; Фрунзе, 1980. - 63с.;

2.2. "Исследование сканирующей системы на ЦВМ" (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр. 79020038, инв. номер Б 937972, ФПИ; Фрунзе, 1980. - 51с. Фактический экономический эффект составил 13 800 (тринадцать тысяч восемьсот) рублей. (Справка о внедрении от 16.12.80г.);

2.3. "Разработка макета дискретной системы с нелинейной импульсной модуляцией" (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр. 79020038, инв. номер Б 937971, ФПИ, Фрунзе, 1980. - 79с.;

2.4. "Разработка алгоритмов и пакета прикладных программ для исследования класса дискретных систем управления" (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр. 79020038, инв. номер Б 937970, ФПИ, Фрунзе, 1980; 161с. (Справка о внедрении от 31.08.79г.);

3. "Синтез сложных динамических систем управления" (Госбюджетная НИР Гос.регистр. 01825000128). Фрунзе: ФПИ. 1981. - 230с.;

4. "Исследование методик проектирования и разработка аппаратного и программного обеспечения специализированных устройств" (Отчет НИР по договору с Фрунзенским заводом электронных вычислительных машин им.50-летия СССР);

4.1. Часть I. Исследование методик проектирования микропроцессорных систем управления с применением встроенных микропроцессоров и микро-ЭВМ и разработка аппаратных и программных средств. - 300с.

4.2. Часть 2. Разработка программного обеспечения для специализированных вычислительных комплексов. - 294с. № Гос.регистр. 01829008899, ФПИ, Фрунзе, 1984.

Справка о внедрении, ожидаемый экономический эффект 70 тыс.рубл.;

5. "Разработка адаптивного комплекса прикладных программ для дешифрирования (распознавания) двумерных полутоновых изображений" (Отчет НИР по договору ФПИ с ИКИ АН СССР), № Гос.регистр. 01840061229, ФПИ, Фрунзе, 1984. - 251с. Фактический экономический эффект составил 40 тысяч.рубл. (Справка о внедрении от 25.10.84);

6. "Исследование и разработка системы автоматизированного учета и прогноза отказов литьевых автоматов МЗПП им. Сакко и Ванцетти" (НИР № 7741 656620, приказ МНПО"Оргтехника" Министерства приборостроения, средств автоматизации и систем управления СССР от 21.04.86г. №35, Справка о внедрении, ожидаемый экономический эффект 181 тыс.рубл.);

7. "Разработка программного обеспечения для отображения многомерных параметрических зависимостей в АСУ ТП сахарного производства" (НИР по договору № 640 от 20.09.90г. между Центром социальной экспертизы Инновационного объединения АН СССР и Карабалтинским сахарным комбинатом), Москва, 1990. 123с. (Справка о внедрении, ожидаемый экономический эффект 70 тыс.рубл.);

8. "Разработка и отладка интерпретатора схем диалога". (Договор № 38/90 на передачу научно-технической продукции от 16.05.90г. между НПО "Вычислительная математика и информатика" МГУ им. М.В. Ломоносова и ИВЦ Министерства финансов Кирг.ССР), Москва, 1990. (Акт сдачи - приемки научно-технической продукции по договору № 38/90 от 16.05.90г.);

9. "Исследование и разработка двухсвязанной САР". (Договор № 32/90 на передачу научно-технической продукции от 02.07.90г. между НПО "Вычислительная математика и информатика" МГУ им. М.В. Ломоносова и Институтом проблем регистрации информации АН УССР), Москва, 1990. - 170с. (Акт сдачи - приемки научно-технической продукции по договору № 32/90 от 02.07.90г.);

10. "Разработка программных средств для лазерных регистрирующих устройств". (Договор № 51/90 на передачу научно-технической продукции от 30.07.90г. между НПО "Вычислительная математика и информатика" МГУ им. М.В. Ломоносова и Фрунзенским политехническим институтом), Москва, 1990. (Акт сдачи - приемки научно-технической продукции по договору № 51/90 от 30.07.90г.);

1 Г. "Разработка программного обеспечения для повышения эффективности управления гидравлическими и тепловыми режимами ФРУНЗЕТЕПЛОСЕТИ" (НИР по договору № 6501/543 от 24.01.91г. между Центром социальной экспертизы Инновационного объединения АН СССР и Фрунзенские тепловые сети "Фрунзетеплосеть"), Москва, 1991. 115с. (Справка о внедрении, ожидаемый экономический эффект 80 тыс.рубл.);

12. "Методы численного моделирования устройств ввода/вывода на приборах с зарядовой связью (УВВПЗС)" (НИР по договору № 609 от 18.02.91г. между Центром социальной экспертизы Инновационного объединения АН СССР и Винницким предприятием "Центр"), Москва, 1991. (Акт сдачи-приемки научно-прикладной работы от 15.03.91г. по договору №609);

13. "Разработка интерпретатора диалога с ДВК". (Договор на выполнение НИР № 501/414 от 31.08.90г. между Центром социальной экспертизы Инновационного объединения АН СССР и НИИ Точной Технологии), Москва, 1990. (Акт сдачи - приемки выполненных работ от 30.06.91г. по договору № 501/414);:

14. "Разработка технического решения специализированного электромеханического уровнемера". (Договор на выполнение научно-прикладной работы № 0-91/1/К-178 от 01.10.91г. между Внедренческим обществом с ограниченной ответственностью "ФИРМА" и Международным объединением "Интерводоавто-матика"), Москва, 1991. (Акт сдачи - приемки научно-прикладной работы от 25.12.91г. по договору № 0-91/1/К-178);

15; "Отладка программного обеспечения по замене релейной части электропривода бумагоделательной машины БП-82". (Договор на выполнение НИР № 3288/203 от 24.07.91г. между Центром социальной экспертизы Инновационного объединения АН СССР и НПО "ЭЛЕКТРОПРИВОД"), Москва, 1991. (Акт сдачи - приемки выполненных работ от 21.11.91г. по договору № 3288/203);

16. "Анализ и исследование технического решения систем питания программно-регулируемых цифровых устройств". (Договор № 50/90 на передачу научно-технической продукции от 02.07.90г. между НПО "Вычислительная математика и информатика" МГУ им. М.В. Ломоносова и НПО "ЭЛЕКТРОПРИВОД"), Москва, 1990. (Акт сдачи - приемки научно-технической продукции по договору № 50/90 от 02.07.90г.);

Проблемно-ориентированный комплекс программно-аппаратных и технических средств экспонировался на Республиканских и Всесоюзных выставках НТТМ, использован при выполнении НИР, разработанные методики — в учебных процессах (1980-2001), в частности: в программе ежегодной школы-семинара "Интернет в экономике и образовании", руководимого Ю.Н.Кофановым, д.т.н., проф. Московского государственного института электроники и математики (МГИЭМ) и В:А.Кайминым, вице-президента World Distrib-uted University (WDU), проф., д.т.н. (информация о данном семинаре размещена по адресу http://vvshp.boom.ru/matr/pln.htm); в программе курса "Методы и модели экспертизы объектов интеллектуальной собственности в сети Internet на базе инструментальных средств MatLab", основная часть данного курса доступна по адресу http://www.matlab.ru/lection/ mil.asp, который проводится при непосредственной поддержке компании "SOFTLINE".

Справки и акты о внедрении приведены в приложении.

Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на конференциях:

Всероссийской научной конференции "Проектирование научных и инженерных приложений в среде MatLab" (Москва, ИПУ РАН им. В.А.Трапезникова, 28-29 мая 2002);

4-th International Conference and exhibition on "Digital Signal Processing and Its Applications" (February 27 - March 1,2002, Moscow, Institute of Control Sciences); научной сессии МИФИ-2002 на секциях «Измерительные системы» (24.01.2002) и «Информационные технологии» ( 25.01.2002);

International Conference "Parallel Computations and Control Problems (PACO'2001)" (October 2-4,2001, Moscow, Institute of Control Sciences);

VIII и IX международных конференциях "Проблемы управления безопасностью сложных систем" (Москва, ИПУ РАН им. В.А. Трапезникова, 2000, 2001);

1-й Московской конференции "Декомпозиционные методы в математическом моделировании" (Москва, ВЦ РАН, 2001); научно-практической конференции "О проблемах и направлениях охраны программного обеспечения ЭВМ" (15 февраля, 2001, Москва, РОСПАТЕНТ); научно-практической конференции "Проблемные вопросы теории и практики охраны промышленной собственности и некоторых объектов авторского права в Российской Федерации" (10-11 октября, 2001, Москва, РОСПАТЕНТ);

Второй международной научно-практической конференции "Математическое моделирование в науке, образовании и промышленности 2001" (Тирасполь, 2001);

Международной научно-технической конференции "Информатизация процессов формирования открытых систем на основе СУБД, САПР, АСНИ и систем искусственного интеллекта" (Вологда, ВоГТУ, 2001);

Третьей международной школе "БИКАМП'ОГ (С-Пб., ЛИАП, 2001);

10-th International Conference on Computer Graphics and Vision GraphiCon'2000 (August 28 - September 2,2000, Moscow, Keldysh Institute of Applied Mathematics);

Международных конференциях "Научный сервис в сети Интернет" (Москва - Новороссийск, НИВЦ МГУ им. М.В. Ломоносова, сентябрь 1999,2000);

International Scientific Conference "System Identification and Control Problems (SICPRO '2000)" (2000, Moscow, Institute of Control Sciences);

International Scientific and Technical Conference "System Problems of Quality, Mathematical, Modeling and Information Technologies" (Sochi, 1999, 2000);

IY-m Международном симпозиуме "Интеллектуальные системы" (INTELS'2000). (Москва, 28 июня - 1 июля, 2000; МГТУ им. Н.Э. Баумана);

Международной научно-технической конференции "Системные проблемы надежности, математического моделирования и информационных технологий", посвященной 80-летию академика А.А. Самарского, основателя и директора Института математического моделирования РАН (Москва - Сочи, МГИЭМ, 5 — 24 сентября 1998);

Международных форумах информатизации (МФИ-1993, 1998, 1999, 2001) международном конгрессе "Информационные технологии" (Москва, ноябрь 1993), международных конгрессах "Коммуникационные технологии и сети" (CTN-98,99) (Москва, ноябрь, 1998, 1999, 2001);

Международных конференциях "Математические методы распознавания образов (МММРО-9, 10)" (Москва, ВЦРАН, 1999, 2001);

Международной конференции "Электрография 91" (Москва, МРП СССР, 25 октября 1991);

IY-м Рабочем совещании "Моделирование и методы анализа биоэлектрической активности головного мозга" Института биологической физики АН СССР (Пущино, 25 апреля 1991);

IY-й и Y-й Всесоюзных конференциях "Тепловизионная медицинская аппаратура и ее применение " и на XXXIX и XL конференциях Московского института радиотехники, электроники и автоматики (Москва, МИРЭА, 1990, 1991);

IY всесоюзной научно-технической конференции "Проблемные вопросы совершенствования системы выявления и защиты советских изобретений в процессе государственной научно-технической экспертизы". (Москва, ВДНХ СССР, 30 октября 1991); Всесоюзной научно-технической конференции "Методы и средства проектирования динамических систем с учетом требований корректности и грубости" (Москва - Одесса, МВТУ им. Н.Э. Баумана, 3-5 сентября, 1986);

Всесоюзной научно-технической конференции "Образный анализ многомерных данных" (Москва - Владимир, ИПУ АН СССР, 1984); научно-технических конференциях профессорско-преподавательского, научного и инженерного состава Московского технического университета связи и информатики на секции "Защита информации в технологиях предприятий связи", январь 1999,2000,2001, 2002;

V-й конференции молодых ученых и специалистов Института технической кибернетики АН БССР "Теория и методы автоматизации проектирования сложных систем и автоматизации исследований" (Минск: ИТК АН БССР, 1983);

Втором и Третьем Всесоюзных совещаниях по автоматизации проектирования систем автоматического и автоматизированного управления технологическими процессами (Челябинск, 1978; Иваново, 1981);

Девятом Всесоюзном научно-техническом совещании "Создание и внедрение автоматизированных и автоматических систем управления непрерывными и дискретно-непрерывными технологическими процессами" (Ивано-Франковск, 1980); на семинарах:

Биомеханика", проводимого под рук. д.ф.-м.н., проф. В.В.Смолянинова в Институте машиноведения РАН им. А.А.Благонравова (19 октября 2001 г.);

Системы и процессы управления", проводимого под рук. академика РАН А.А.Красовского и проф., д.т.н. В.Н.Букова в Военном авиационном техническом университете им. Н.Е. Жуковского (8 ноября 2001 г.);

VII и VI Международных семинарах "Устойчивость и колебания нелинейных систем управления" (Москва, ИПУ РАН им. В.А.Трапезникова, 2000, 2002); общемосковском семинаре "Экспертные оценки и анализ данных" (Москва, ИПУ РАН им. В.А.Трапезникова, 23 февраля 2000);

Всесоюзном семинаре "Теория и практика изобретательства, рационализации и патентно-лицензионной работы" при Московском Доме научно-технической пропаганды (МДНТП) им. Ф.Э.Дзержинского (Москва, 1990); научно-практическом семинаре "Новые информационные технологии" Московского государственного института электроники и математики (на секции "ЭВМ и сети" 19 января 1999 и на секции "Проектирование приложений",

20 января 1999); семинаре "Типизация и автоматизация в проектировании АСУ ТП" при Московском Доме научно-технической пропаганды (МДНТП) им. Ф.Э. Дзержинского (Москва, 1982) и других; научных семинарах профессорско-преподавательского и научного состава: факультета вычислительной математики и кибернетики МГУ им. М.В Ломоносова (1986. 1989), МИРЭА (1990.1991), энергетического факультета и кафедры автоматики и телемеханики ФПИ (1976.1984); научно-технических советах: ОКБ ИКИ АН СССР (1976. 1986), Гос.ИФТП РАН (1994. 1999), МНПО "Оргтехника" Минприбора СССР (1985. 1987), ЦНИИ "Циклон" (1991. 2000), МВТУ им. Н.Э. Баумана на кафедре ИУ-1 (1986. 1988,2000), МАИ на кафедре 403 (1988), п.я. Р-6155 на НТС ТО 133 (1988), ЦАГИ им. Н.Е. Жуковского (1989,2000), в.ч. 25871 (1991), в.ч. 08317 (2000), НИЦ-250 ФГУП "НПО ТЕХНОМАШ" Российского космического агентства (1996. 1999), НПО "Электропривод" (1990), на секциях НТС ВНИИГ-ПЭ (1987. 1996), ФИПС Роспатента РФ (1997. 2002), на семинарах кафедры "Информационные технологии в автоматизированных системах" МГИЭМ (1999 . 2002) и кафедры "Информатизация структур государственной службы" Российской Академии государственной службы при Президенте РФ (2003) и других.

Публикации. По теме диссертации опубликовано 84 научных работ, из них 2 монографии и 4 отдельных изданий, 62 статьи и материалов докладов, 16 авторских свидетельств на изобретения и патент РФ,1 в том числе 2 монографии, 2 брошюры, 37 статей и 8 изобретений общим объемом 52 п.л. выполнены без соавторов.

Структура и объем работы. Диссертация состоит из введения, пяти глав, заключения, списка литературы и приложения. Основная часть работы изложена на 250 страницах. Работа содержит 90 рисунков и 4 таблицы.

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Ботуз, Сергей Павлович

5.7.Выводы

Электронные публикации начинают стремительно вытеснять традиционно используемые в ИСАПР нормативные правовые документы (НПД) на бумажных носителях. Отсутствие законодательно закрепленного понятийного аппарата приводит: - к неоднозначному толкованию НПД; - к рассогласованию действующих НПД и к необходимости постоянно совершенствовать соответствующее множество НПД (вносить изменения и дополнения).

В этой связи в распределенных ИСАПР ПСПУ необходимо осуществлять исследование и разработку НПД на основе системного анализа эволюционных процессов развития правовых механизмов защиты объектов промышленной собственности в ГВС.

Разработанные в настоящей главе инструментальные средства ИСАПР ПСПУ позволяют: автоматизировать непосредственно сам процесс формализации способов поиска решения в ИСАПР и соответствующие траектории поиска решения. Проверять в автоматизированном режиме последовательность действий конкретного ЛПР в контуре проектируемой ПСПУ на предмет ее оригинальности (патентоспособности); выполнять в автоматизированном режиме проверку правового статуса того или иного НПД в процессе его разработки и в процессе его применения непосредственно в динамике функционирования ИСАПР ПСПУ; осуществлять оптимизацию процессов управления взаимоотношениями ЛПР-ОИС(ОПС) в ИСАПР ПСПУ; осуществлять проектирование стратегий экспертизы состояния ПСПУ (ОИС) в ГВС.

Кроме того, предоставляется возможность управлять процессом поиска решения в ИСАПР ПСПУ, поскольку обеспечивается прямой доступ к дереву поиска вывода.

В этой связи в сравнении с программной реализацией процедур сопровождения ПСПУ, например, на основе такого языка программирования экспертных систем как Пролог, эту функцию обеспечить невозможно. Поясняется это тем, что у основного большинства языков программирования экспертных систем или систем искусственного интеллекта (не говоря уже о таких широко распространенных языках программирования Си++, Perl, Java и др.) жестко фиксированы структура логического исчисления и методы поиска выводов.

Функциональные возможности механизма интенсификации информационных процессов в ИСАПР на основе применения разработанного аппарата инструментальных средств графо-аналитической обработки данных различной физической природы приведены на рис. 5.31.

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

Оперативная информация Л

Структурная информация А

Биологическая^ и социальная активность человека

Рис. 5.31. Структура интенсификации информационных процессов в ИСАПР ПСПУ На рис. 5.31. приняты следующие обозначения: 1 - блок регулирования скорости доступа, пропускной способности каналов и количества передаваемой информации в единицу времени в ИСАПР 11СПУ; 2 - блок контроля объема и информативности данных для конкретного ЛПР; 3 - блок контроля скорости обработки данных; 4 - блок контроля и регулирования интенсивности использования обратной связи; 5 — блок расширения научных исследований на основе использования графо-аналитических объектов; 6 —блок визуализации многомерных данных на плоскости в виде графо-аналитических бинарных вычислительных полей; 7 - блок синтеза и разработка новой персонифицированной ор-гэлектронной техники обработки многомерных данных на основе применения проблемно-ориентированных графо-аналитических парадигм; 1 - положительная обратная связь; 2 — воздействие предметов быта, произведений искусства, культуры, науки и т.п.: 3 - воздействие орудий труда, производительных сил и т.п.

Разработанные объектно-ориентированные инструментальные средства могут быть внедрены в действующих АСУ (АСУ ТП, АСУП, АСНИ и др.) без изменения существующих, как правило, разветвленных и неоднородных сетевых топологий, обеспечивая проверку их функционирования в интерактивных режимах ИСАПР ПСПУ.

ЗАКЛЮЧЕНИЕ

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

В диссертационной работе получены следующие основные теоретические и практические результаты:

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

2. Разработаны математические модели проектирования и экспертизы технически оптимальных ПСПУ ФТП на основе отождествления процессов позиционирования оптических излучений различной физической природы с элементарными операциями, выполняемых ЛПР в процессе взаимодействия с ЦВМ в ограниченном информационном (признаковом, содержательном и т.п.) пространстве диалоговых меню экспертизы состояния ИСАПР сложных систем программного управления и регулирования.

3. На основе развития макромодели Дж.Форрестера, путем доопределения ее интерактивными процедурами формирования нечетких экспертных оценок состоятельных мер зависимостей ОПС, впервые разработана единая инструментальная среда для исследования эволюции информационных технологий ИСАПР ПСПУ. Осуществлена формализация процесса сведения качественных экспертных характеристик средств промышленной автоматизации к количественным на базе синтеза нечетких СНФ пространства параметров основных подсистем автоматизации экспертизы состояния ПСПУ ФТП.

4. Разработан и исследован адаптивный комплекс инструментальных средств генерации (автоматизированного синтеза) вычислительных процедур исследования ПСПУ ФТП. Процесс генерации численных процедур исследования ПСПУ реализован на основе развития основных положений принципа ограниченной сложности путем введения новых определений СНФ и аппарата МШС в пространстве таких противоречивых характеристик вычислительной среды ИСАПР как точность, скорость, объем занимаемой памяти и другие.

5. На основе применения принципа сжимающих отображений разработана подсистема алгоритмических и технических средств обработки (сжатия, отображения и накопления) многомерных данных в ИСАПР ПСПУ ФТП. Показано, что подсистема разработанных средств позволяет: взаимно-однозначно (биективно) отображать на плоскости многомерные числовые зависимости в виде графоаналитических вычислительных таблиц; представить в памяти ЦВМ многомерные данные в виде упорядоченных иерархических списков; учитывать эвристические способности ЛПР на основных стадиях проектирования ПСПУ.

6. Впервые разработаны и исследованы конструктивные и аппаратно-программные решения новой системы подвижно-взаимосвязанной системы координат в виде чертежно-графических приборов и сетевых средств многоуровневого измерения, обработки и регистрации величин различных ФТП. Разработанные способы и система измерения, приборы и устройства позволяют биективно отображать и моделировать на плоскости многомерные числовые зависимости в САПР ПСПУ. Приоритет и мировая новизна разработанных приборов, устройств, способов и системы защищены 16 авторскими свидетельствами и патентом.

7. Впервые для организации эффективного интерактивного взаимодействия ЛПР-ЦВМ в ИСАПР ПСПУ разработан и исследован новый способ формирования упреждающих воздействий на основе использования комбинированной ЧШИМ. Разработаны методика, алгоритм и процедура проектирования ПСПУ ФТП, основанные на последовательном достижении целей с последующим свертыванием критериев. При этом отличительная особенность методики состоит в том, что для сокращения процесса поиска технически оптимальных ПСПУ начальные значения параметров выбираются из условия обеспечения асимптотической устойчивости проектируемой или исследуемой системы. Кроме этого, процедура поиска технически оптимальных ПСПУ представлена таким образом, чтобы учесть эвристические способности и опыт ЛПР на основе использования графо-аналитических растров вычислительных таблиц и соответствующих элементов геометрического моделирования в/на R2 и R2 (2D и ЗО-графики).

8. Рассмотрены задачи самокалибровки многоканальных каналов приемопередающих узлов ИСАПР ПСПУ ФТП, которые устанавливают не только числовые, но и "образные" - графо-аналитические соотношения между контролируемыми переменными. Впервые в процессе синтеза геометрических объектов в САПР предоставляется возможность ЛПР формировать проблемно-адаптивный параметрический растр (или графический интерфейс), согласованный с конкретными ситуациями проектирования и экспертизы состояния сложных систем программного управления и регулирования.

9. Разработаны методы и модели оптимизации основных этапов проектирования и экспертизы состояния ПСПУ на основе применения и развития открытых сетевых технологий, позволяющие: осуществлять автоматизацию процедур параметрической квантификации (сведение качественных экспертных характеристик к количественным) ОПС, повысить эффективность работы ЛПР в существующих поисковых системах и генерировать проблемно-ориентированные информационно-поисковые объекты для распределенных баз данных различного назначения.

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

11. Прикладные возможности разработанных в диссертации математических моделей, алгоритмов моделирования, аппаратно-программых средств, способов и устройств подтверждаются результатами их использования при автоматизации процессов проектирования и экспертизы состояния (исследования, разработки, патентования и эксплуатации) ПСПУ ФТП (при проектировании бортовых позиционных систем программного управления сканирующими устройствами, специализированных микропроцессорных систем программного управления, в процессе проектирования систем мониторинга состояния АСУП и АСУ ТП гидравлических, тепловых и др. режимов работы систем распределенного диспетчерского управления и регулирования) в условиях неполной информации и ограниченности ресурсов разного вида.

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

Фактический экономический эффект от внедрения разработанных инструментальных средств при проектировании и экспертизе состояния ПСПУ различными ФТП только за период 1998 - 2000 гг. составил два миллиона триста сорок тысяч (2 340 ООО) рублей.

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

СПИСОК ПРИНЯТЫХ СОКРАЩЕНИЙ

АСУ - автоматизированная система управления

АСУП - автоматизированная система управления предприятием

АСУТП - автоматизированная система управления технологическим процессом

АРМ - автоматизированное рабочее место

БД - база данных

БЗ - база знаний

БП - бинарное поле

БПП - бинарное параметрическое поле

ВнП - внешнее проектирование

ВПр - внутреннее проектирование

ВОИС - Всемирная организация интеллектуальной собственности

ВЭ - виртуальный сетевой эксперт

ГАБП - графо-аналитическое бинарное поле

ГАП - графоаналитический профиль (или ГА парадигма)

ГАПС - графоаналитическая поисковая система

ГВС - глобальная вычислительная сеть (среда)

ИСПУ - интерактивная система программного управления

ИМС - интегральная микросхема

ИП - информационное поле

ИПС - информационно-поисковая система

ИСГПМ

ИТ

ЛВС

ЛПР

ЛСА

MAC

МД мчи

МШС

НПД

ОИС

ООП

ОПС

ОС оэ плис

•г пмс по

ППр ПрО ПСПУ пц

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

САПР - система автоматизации проектирования

СДУ - система дифференциальных уравнений

СКАЭ - система комплексной автоматизации основных процессов экспертизы

СНФ - существенно нелинейная функция

СУ - система управления

ТО - технически оптимальная

ФТП - физико-химический технологический процесс

ВОТ - загрузочный модуль

CAD - система автоматизированного проектирования

CAE - система автоматизированного конструирования

CALS — компьютерная поддержка жизненного цикла изделия

САМ - система автоматизированного производства

CASE - система автоматизированной разработки программного обеспечения

CIM - компьютеризированное интегрированное производство

ISO - международная организация стандартизации

PDMS - система управления данными

RAD — технология быстрой разработки приложений т

Список литературы диссертационного исследования доктор технических наук Ботуз, Сергей Павлович, 2003 год

1. http://www.cad.dp.ua/obzorl .html2. http://www.sapr.ru3. http://www.kulichki.com/libcad.html

2. Skahil К. VHDL for Programmable Logic. Addison-Wesley, 1996. - 593p.

3. Программируемые логические интегральные схемы фирмы Xilinx: Каталог продукции. М.: ЗАО "SCAN", 1999. - 52с.

4. Стешко В.Б. Плис фирмы "Altera": элементная база, система проектирования и языки описания аппаратуры. М.: Додэка-ХХ1, 2002, - 575с.

5. Программируемые логические ИМС на КМОП-структурах и их применение/ П.П. Мальцев, Н.И. Гарбузов, А.П. Шарапов и др. М.: Энергоатомиздат, 1998. - 198с.

6. Архитектура с изменяемой конфигурацией возможность повышения производительности FPGA ПЛИС //Инженерная микроэлектроника. 1998,1, с. 47.9. http://www.setltd.com

7. Ботуз С.П. Методы и модели экспертизы объектов интеллектуальной собственности в сети Internet. М.: Солон-Р, 2002. - 320с.

8. Балашевич Н.В., Габасов Р., Кириллова O.Mi Оптимальное позиционное управление группой объектов // А и Т. 1994. №2.

9. Балашевич H.Bi, Габасов Р.', Кириллова Ф.М. Оптимальное позиционное подвижное управление линейными динамическими объектами // Известия РАН. Теория и системы управления. 1998. №3.

10. Ботуз С.П. Анализ рынка информационных технологий и ноу-хау.

11. Техника машиностроения, 1998; № 3 (16), с.83-94.

12. Ботуз С.П. Проблемно-адаптивный подход к автоматизации основных процессов экспертизы позиционных систем программного управления. Информатика машиностроения, 1998, № 4(22), с.28-33.

13. Ботуз С.П. Алгоритмизация исследования позиционных систем программного управления сканирующими устройствами на основе принципа сложности. Дисканд. техн. наук. Фрунзе: ФПИ; 1983; — 256с.

14. Ботуз С.П. Автоматизация исследования, разработки и патентования: позиционных систем программного управления. М.: Наука, Физматлит,• 1999.-316 с

15. Ворошилов М.С. Проектирование и расчет следящих систем с программным управлением. Л.': Машиностроение, 1969: - 264 с.

16. Горелов В.Н. Синтез и моделирование на ЭЦВМ оптимальных по быстродействию нелинейных позиционных систем. Автореф. дис. на соиск. учен, степ. канд. техн. наук. Таганрог, 1974:

17. Antipina T.V., Kokkoz A.F., Stratiev I.G. et. al. Atmospeherelidar// Proc. Of Int. Aerosol Symposium. Vol. Technologies. Moscow, 1994

18. ГоссоргЖ. Инфракрасная термография. Основы, техника, применение. Пер с франц. М.: Мир, 1988. - 416 с.

19. Катыс Г.П. Восприятие и анализ оптической информации автоматической системой: — М.: Машиностроение, 1986. 416с.29; Катыс Г.П. Оптико-электронная обработка информации. М.: Машиностроение, 1973. - 447с.

20. Катыс Г.П. Автоматическое сканирование. М.: Машиностроение, 1966.-518 с.

21. Non-distructive semiconductor testing using scanned laser techniques. -"Solid State Technology", 1971, vol. 4, N 3, p.44-50/ D.C. Gupta, В: Sherman, E.D; Jungbluth, J.F. Black.

22. Григорьянц A.A., Кочегаров A.A., Кочегарова Г.И. Лазеротерапия в комплексном лечении больных раком пищевода и проксимального отдела желудка // Лазеры в онкологии, Сб. научных трудов НИИ онкологии и радиологии МЗУзССР - Ташкент, 1987. - с. 102-104.

23. Чубаров Е.П. Контроль и регулирование с подвижным локальным воздействием. — М.: Энергия, 1977. — 208 с.

24. Бутковский А.Г., Даринский Ю.В., Пустыльников Л.М. Управление распределенными системами путем перемещения источника. // Автоматика и телемеханика, 1974, № 5, с. 11-30.

25. Бутковский А.Г. Методы управления системами с распределенными параметрами. М.: Наука, 1975. - 568 с.

26. Применение сканирующих пирометров для контроля и управления электронно-лучевой плавкой/ И.А.Конопов, Е.П.Чубаров, Э.М; Волин и др. — В кн.: Технология легких сплавов. М.: 1976.

27. Huong N.H. An automatic scanning densitometer and its application to X-ray crystallagraphy / Jomal of Scintifec Instruments, 1968, vol.1, p.485-489.

28. Выскуб В.Г Пути совершенствования оптико-механических сканирующих устройств с электромеханическим приводом. Приборы и системы. Управление. Контроль. Диагностика, 2001, № 6, с.61-63.

29. Principle of optical disc systems / G. Bouhuis, J. Braat, A. Huijser etc. Boston, 1985;

30. Опто-электронные приборы/ Сб. статей. Под ред. Л.П. Лазарева. М.: МВТУ, 1977.-80 с.45; Оптико-электронные приборы в системах контроля и управления. Материалы семинара. Под ред. Ю.Г.Янушенкова. М.: МДНТП, 1978. - 168 с.

31. Оперативные космические системы. -М;:Гидрометеоиздат. 1993: 16с.

32. Митин В.П. Расчет основных параметров зеркальных сканирующих систем. ОМП, № 7,1980, с. 21-23.

33. Корн Г., Корн Т. Справочник по математике для научных работников и инженеров. М.: Наука, 1977. - 832 с.

34. Кунцевич В.М;, Чеховой Ю.Н; Нелинейные системы управления с частотно- и широтно-импульсной модуляцией. Киев: Техника,. 1970. — 339 с.

35. Бахвалов Н.С. Численные методы, т. I; М;: Наука, 1973; - 632 с.

36. Кулаков Ю.А., Луцкий Г.М; Компьютерные сети. — К.: Юниор; 1988.384с.

37. Аэрокосмические исследования Земли. М.: Наука. 1979. - 304с.

38. Григорьянц А.Г. Лазерная резка металлов. — М.: Высш.школа, 1988. —127с.

39. Huong N.H. An automatic scanning densitometer and its application to X-ray crystallagraphy / Jornal of Scintifec Instruments, 1968, vol. 1, p.485^89.

40. Андре А. Математика для электро- и радио-инженеров. Ml: Наука, 1965. -780 с.

41. Бутковский А.Г., Пустыльников JI.M. Теория подвижного управления системами с распределенными параметрами.-М^: Наука, 1980,-384с.

42. Gates W., MacCracken М. and Potter G. Systematic comparison of global climate models/ LLNL Energy andTechnology Review, Lawrence Livermore National Laboratory, Livermore, CA, UCRL-52, pp. 56-66, May-June 1990.

43. Спутниковые системы связи и вещания: Ежегодник/ Книга 2. — М:: Изд-во журнала "Радиотехника", 1998: 634с.

44. Kidwell К.В1 NOAA Polar Orhitcr Data Users Guide. NCDC/SDSD. (Updated from original 1984 edition). Washington, DC. 1988.

45. Захаров М.Ю., Лупян E.A. Организация формата записи данных, поступающих со спутников серии NOAA, для решения локальных задач // Исследование Земли из Космоса, 1993, № 3, с. 66 70.

46. Мейнджер Дж. Java: основы программирования. Киев: Изд. группа BHV, 1997. -320с.

47. Нортон П., Шилдт Г. Полный справочник по Java. Киев: Диалектика. 1997.-592с.

48. Folk М; An Introduction to HDF (Hierarchical Data Format) HDF Groupe University of Illinois at Urbana Champaign 1997. 63 p.

49. TIFF Revision 6.0. Aldus Corporation; Seattle. 1992.

50. Коутс P., Внейминк И1 Интерфейс "человек-компьютер", Мир, 1990 г.

51. Горбатов В: А., Крылов А.В., Федоров Н.В САПР систем логического управления, Энергоатомиздат, М.:. 1996 г., - 264 с.

52. Методология динамического моделирования IDEFO/CPN/WFA. Мета-технология. -М.: 1995г.

53. Турецкий X. Анализ и синтез систем управления с запаздыванием. — М.: Машиностроение, 1974. 328 с.

54. Куржанский А.Б. К аппроксимации линейных дифференциальных уравнений, с запаздыванием. Диф. уравн., т. 3, № 12, 1967, с. 2094-2107.

55. Беллман Р., Кук К. Дифференциально-разностные уравнения. М.: Мир, 1967.-548 с.

56. Солодов А.В., Солодова Е.А. Системы с переменным запаздыванием. -М.: Наука, 1980.

57. Ботуз С.П. Автоматизация исследования позиционных систем программного управления сканирующими устройствами. В кн.: Конструирование приборов для изучения космоса. - М.: Наука, 1985.

58. Системное проектирование средств в автоматизации / С.В. Емельянов, Н.Е. Костылева,Б.П. Матич и др.-М.: Машиностроение, 1978.- 190 с.

59. Гантмахер Ф.Р. Теория матриц. М.: Наука, 1967. - 576 с.

60. Эльсгольц Л.Э., Норкин С.Б. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. М.: Наука, 1971. - 296 с.

61. Ботуз С.П: Проектирование и разработка технически оптимальных позиционных систем программного управления (ПСПУ). В кн.: Системы управления движением. Фрунзе: ФПИ;. 1981, с. 96-104.

62. Ботуз С.П; Исследование и разработка позиционной системы программного управления. В кн.: Теория и техника автоматического управления, Томск, ТЛИ, 1981, с .43-55.

63. Арушанян О.Б., Залеткин С.Ф. Численное решение обыкновенных дифференциальных уравнений на Фортране. М.: Изд-во МГУ, 1990.85 i Ивахненко А.Г. Системы эвристической самоорганизации в технической кибернетике. Киев: Техника, 1971, с. 109-110.

64. Геращенко Е.И., Геращенко С.М. Метод разделения движений и оптимизация нелинейных систем. Mi: Наука, 1975. - 296 с.

65. Шаршеналиев Ж.Ш. Оптимизация систем с разделяемыми движениями и ограниченными ресурсами: Фрунзе: Илим, 1980. - 197 с.

66. Cohen R. Н., Cohen В. I. and Dubois P. F. Comprehensive numerical modeling of Tokamaks / Lawrence Livermore National Laboratory, Livermore, CA, UCRL-ID-105 650, Jan. 3,1991.

67. Куропаткин П.В., Макаров B.A., Петров B.A. Оптимизация многомерных объектов методами математического программирования: — В кн.: Оптимальные и адаптивные системы. Фрунзе: ФГТИ, 1979, с. 3-19.

68. Батищев Д.И. Поисковые методы оптимального проектирования. М.: Советское радио, 1975.-216с.

69. Табак Д., Куо Б. Оптимальное управление и математическое программирование. М.: Наука, 1975. - 280 с.

70. Солодовников В.В., Матвеев П.С. Расчет оптимальных систем автоматического управления при наличии помех. — Mi: Машиностроение, 1973. 198 с.

71. Ботуз С.П. Оптимизация диалоговых процедур СУБД "Эксперт ОИС". В кн.: Искусственный интеллект в технических системах. Вып. № 19. — М.: Гос.ИФТП РАН. 1998, с.145-153.

72. Фельдбаум А.А., Бутковский А.Г. Методы теории автоматического управления. — М.: Наука, 1971. 744 с.

73. Алгоритмы оптимизации проектных решений. Под ред. А.И. Половинкина. М.: Энергия, 1976. - 276с.

74. Алескеров Ф.Т. Локальные модели голосования. Автореф. дис. на соиск. учен. ст. докт. техн. наук. М.: ИПУ, 1993. - 36с.

75. Циген Т. Ассоциативная психология. — М.: ООО "Издательство АСТ-ЛТД", 1998.-560с.

76. Автономов B.G. Модель человека в экономической науке. СПб.Гос.Университет экономики и финансов. 1998. - 230с.

77. Шумпетер Й.А. Теория экономического развития. М.: Прогресс, 1983.-356с.

78. Петраков НЛ. Кибернетические проблемы управления экономикой. -М.: Наука, 1973.

79. Ботуз С.П; Модели эволюции информационных технологий средств промышленной автоматизации. М.: ИПРЖ "Радиотехника", 1998. - 28с.

80. Гермейер Ю.Б. Введение в теорию исследования операций. — М.: Наука, 1971.-264с.

81. Моисеев Н.Н., Иванилов Ю.П., Столяров Е.М. Методы оптимизации. -М.: Наука, 1978.-351 с.

82. Zadeh L. Fuzzy logic, neural network and soft computing // Communications of the ACM. 1994. V.37. №3.

83. Ботуз С.П. Интерактивные технологии и экспертиза объектов ИС/ Интеллектуальная собственность, № 5-6, 1996, с.12-19.

84. McCormic В.Н.', DeFanti Т.А., Brown М: Visualization in scientific computing// ACM Computer Graphics. 1987. Vol. 21. № 6.107. http://wearables.www.media.mit.edu/projects/wearables108; http://cdr.stanford.edu/NextLink/Expert.html

85. Автоматизированные обучающие системы профессиональной подготовки операторов летательных аппаратов/ Л.С. Демин, Ю.Г. Жуковский, А.П. Семин и др.; Под ред. В.Е. Шукшунова. М.: Машиностроение, 1986. — 240с.

86. Ботуз С.П. Методы и средства отображения многомерных параметрических зависимостей. — В кн.: Информационные технологии искусственного интеллекта/ Под ред. академика Л.Н. Лупичёва. М:: РАН Гос.ИФТП, 1994, с. 127-130.

87. Ботуз С.П. Рынок информационных технологий и ноу-хау.— М.: Интеллектуальная собственность, № 1-2, 1996, с.34-41.

88. Ботуз С.П. В лабиринтах правовой охраны: Как сохранить объект интеллектуальной собственности в Internet / Мир персональных компьютеров, №9, 1997, с.124—130.

89. Иодан Э. Структурное проектирование и конструирование программ. -М.: Мир, 1979.-410 с.

90. Ботуз С.П. САПР технически оптимальных позиционных систем программного управления в сети Internet/Intranet. Т. 14. Информационные технологии. Тез. докл. Научная сессия МИФИ. Ml: МИФИ, 2003.

91. Прангишвили И.В. Проблемы управления сложными крупномасштабными процессами/ Приборы и системы управления. 1996. № 6.

92. Шапиро Д.И. Эволюционные модели и мнимая реальность. В кн.: Эволюционная информатика и моделирование / Сб. научн. тр. по материалам международной конференции, декабрь 1993 года, М.: РАН ГосИФТП^ 1994, с.55-63.

93. Ботуз С.П. Социально-экономический аспект информационных технологий/ Интеллектуальная собственность, № 3-4,1996, с. 10-13.

94. Тезисы докл. "Проблемы мирового информационного сообщества// Материалы Международного Форума Информатизации "МФИ-97". М.: МФИ, 1997.-160 с.

95. Демин А.И. Информационная теория экономики. Макромодель. — М.: Палев, 1996.-352с.

96. Горбатов В1 А. Основы дискретной математики (информационная математика). М.: Наука, 1998. - 640 с.

97. Гомеостатика живых, технических, социальных и экологических систем/ Под ред. проф. Горского Ю.М. Новосибирск: Наука, Сиб. отд. 1990: -350 с.

98. Абдеев Р.Ф. Философия информационной цивилизации. — М.: Владос, 1994.-336 с.

99. Букатова И.Л., Михасев Ю.И., Шаров A.M. Эвоинформатика: теория и практика эволюционного моделирования. — М.: Наука, 1990. — 76с.

100. Скорняков Э.П. Маркетинговые исследования на основе патентной информации. М.: Издательство ВИПСИ,1995. - 134с.

101. Бахвалов Л.А. Моделирование динамики России на основе модели Форрестера // Приборы и системы управления, 1997, № 8.

102. Форрестер Дж. "Мировая динамика". М.: Наука, 1978. - 267с.

103. Ботуз С.П. Оптимизация диалоговых процедур СУБД "Эксперт ОИС". В кн.: Искусственный интеллект в технических системах. Вып. № 19. —М.: Гос.ИФТП РАН. 1998; с.145 - 153.

104. Zadeh L. Fuzzy logic, neural network and soft computing // Communications of the ACM. 1994. V.37. №3.

105. Ботуз С.П. Алгоритмизация основных процедур классификации способов и устройств линеаризации передаточных характеристик измерительных преобразователей. В кн.: Патентная информация, вып. 2. — М.: ВНИИПИ, 1994.

106. Бирюков В.Ф. Оптимизация некоторых классов многомерных стохастических систем управления на основе принципа сложности: Автореф. докт. дис. М.: МВТУ им. Баумана, 1975. - 39с.

107. Хоор Ч.Э., Лауэр П.Е. Непротиворечивые взаимодополняющие теории семантики языков программирования. В кн.: Семантика языков программирования. - М.: Мир, 1990, с. 196-221.

108. Ботуз С.П. Интерпретация процесса графического отображения многомерной числовой информации в косоугольной системе подвижно-взаимосвязанных координат. В кн.: Образный анализ многомерных данных. — М.: ИПУ, 1984, с.29-30.

109. Ботуз С.П. Обработка многомерной числовой информации при исследовании и разработке бортовых САУ. — В кн.: Конструирование и технология изготовления космических приборов. -М.: Наука, 1983, с.228-234.

110. Бутковский А.Г. К геометрической теории управления системами с распределенными параметрами // Теория и системы управления, , 1995, № 4, с. 16— 19.

111. Вельбицкий И.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. М.: Статистика, 1980. -263 с.

112. Глушков В.М: Фундаментальные исследования и технология программирования. Программирование, № 2, 1980, с. 3—13.

113. Cox J. Planning the Software Industrial Revolution/ IEEE Software, 7(6): 25-35; November 1990.

114. Kirkerud B. Object-Oriented Programming with Simula, Addison-Wesley,, Reading, MA, 1989.

115. Rist Rl, Terwilliger R. Object-oriented Programming in Eiffel, Prentice-Hall; Englewood Cliffs, NJ; 1995.149; Норенков И.П; Разработка систем автоматизированного проектирования. М.: Изд-во МГТУ им. Н.Э. Баумана, 1994. - 207с.

116. Шаршеналиев Ж.Ш., Ботуз С.П. Об одном подходе к разработке САПР технически оптимальных позиционных систем программного управления. В кн.: Конструирование и технология изготовления космических приборов. -М.: Наука, 1983; с. 124-131.

117. Деруссо П., Рой Р., Клоуз 41 Пространство состояний в теории управления. М;: Наука, 1970. - 620 с.

118. Арушанян О.Б., Залеткин С.Ф. Численное решение обыкновенных дифференциальных уравнений на Фортране. М;: Изд-во МГУ, 1990.

119. Чуа Л.О., Лин Пен-Мин. Машинный анализ электронных схем1 (алгоритмы и вычислительные методы). — М.: Энергия, 1980. — 640 с.1541 Тихонов А.Н., Арсенин В1Я; Методы решения некорректных задач. -М.: Наука, 1979. -288 с.

120. Симкин M.Mi О применимости дискретного подхода к исследованию нелинейных систем. Автоматика и телемеханика, № 5, 1978, с. 58-63.

121. Колмогоров A.Hi, Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1976. - 544 с.

122. Бахвалов Н.С. Численные методы, т. I. М:: Наука, 1973. - 632 с.

123. Тьарсон Р.' Разреженные матрицы. — М.: Мир, 1977. 156с.

124. Зайцев В., Лихачев А. Системы управления проектными данными: Опыт практической реализации/ САПР и графика, № 8, 2002, с.106-109.

125. Абруков Д.А., Боголюбов Ю.И. Теория геометрических моделей уравнений и систем уравнений и ее проблемы. Чебоксары, 4111И, 1997. — 105с.

126. Хованский Г.С. Основы номографии. М;: Наука, 1976. - 352 с.

127. Авт.свид. № 1743906 (СССР). Прибор для построения номограмм (Устройство для отображения многомерных зависимостей)/ С.П.Ботуз. Опубл. в БИ 1989,№24.

128. Авт.свид. № 1050914 (СССР). Чертежный прибор. (Устройство для моделирования взаимозависимых многомерных функций)/ С.П.Ботуз, Ж.Ш.Шаршеналиев, Н.Н.Горбина. Опубл. в БИ 1983, № 40.

129. Авт.свид. № 1675121 (СССР). Чертежный прибор. (Устройство для моделирования взаимно обратных многомерных параметрических зависимостей)/ С.П.Ботуз. Опубл. в БИ 1991, №33.

130. Авт .свид. № 1597556 (СССР).' Графопостроитель/ С.П.Ботуз. Опубл. в БИ 1989, №37.

131. Авт.свид. № 1673838 (СССР). Графопостроитель/ С.П.Ботуз. Опубл. в БИ 1991, №32.

132. Авт.свид. № 1747905 (СССР). Способ многоканальной регистрации результатов измерений и устройство для его осуществления/ С.П.Ботуз. Опубл. в БИ 1992, №26.

133. Авт.свид. № 1679195 (СССР). Устройство для прогнозирования состояния систем управления/ С.П.Ботуз. Опубл. в БИ4991, № 35.

134. Ботуз С.П. Позиционные системы программного управления подвижными объектами. М.: ИПРЖ "Радиотехника", 1998. -21с.

135. Авт.свид. № 1674058 Релейно-импульсный регулятор (приоритет от 19.03.83 по заявке №3635095/24(126141) на "Способ автоматического регулиро-ва-ния)/ С.П.Ботуз, Опубл. в БИ 1992, № 92.

136. Патент № 2012034 (Российской Федерации). Способ автоматического управления и система для его осуществления/ В.Ф.Бирюков, С.П.Ботуз. Опубл. в БИ 1994, № 8.

137. Кофанов Ю.Н; Теоретические основы конструирования, технологии и надежности радиоэлектронных средств. М.: Радио и связь, 1991. — 360с.

138. Научно-технический отчет по результатам работ с комплексом научной аппаратуры дистанционного зондирования Земли "Природа" (модуль "Природа" орбитальной станции "Мир"). П33631-515; - М.: РКК "Энергия", 1997.

139. Оптико-электронные системы визуализации и обработки оптических изображений. М.: ЦНИИ Циклон, 2000.

140. Шаршаналиев Ж.Ш., Ботуз С.П. Обобщенный алгоритм моделирования существенно нелинейных звеньев САУ и АСУ ТП. В кн.: Автоматизация проектирования систем автоматического и автоматизированного управления. — Челябинск, 1978, с.92.

141. Ботуз С.П. Автоматизированный синтез нейроподобных структур и моделей идентификации нелинейных динамических процессов в Internet. В кн.: Математические методы распознавания образов (МММРО - 9)/ Под ред. акад. Ю.И.Журавлева. - М.: ВЦ РАН, 1999.

142. Funahashi К. On the approximate realization of continuous mappings by neural networks // Neural Networks. 1989. № 2. P. 183-1921

143. Ботуз С.П. Открытая технология экспертизы объектов промышленной собственности в Internet. Техника машиностроения, 1998, № 2(16), с.83-94.

144. Шаршеналиев Ж.Ш., Ботуз С.П. и др. Оптимальный синтез и разработка бортовой программной системы управления (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр. 76091701, инв. номер Б 752848, ФПИ, Фрунзе, 1978. 209с.

145. Шаршеналиев Ж.Ш., Ботуз С.П. и др. Исследование сканирующей системы на ЦВМ (Отчет НИР по договору с ОКБ ИКИ АН СССР), № Гос.регистр. 79020038, инв. номер Б 937972, ФПИ, Фрунзе, 1980. 51с.

146. Нелепин Р.А. Метод сечения пространства параметров в теории нелинейных автоматических систем. Сб. трудов ЛВВМИУ, вып. 23, 1964.

147. Нелепин Р;А. Точные аналитические методы в теории нелинейных автоматических систем. — JL: Судостроение, 1967.

148. Ботуз С.П. Математические модели идентификации объектов и субъектов промышленной собственности в сети Интернет/ Междунароная конференция "Математические методы распознавания образов-10" (ММРО-10). — Mi: ВЦ РАН, 2001.

149. Ботуз С.П., Гудзенко JI.B. Определение области асимптотической устойчивости нелинейных систем автоматической стабилизации уровня воды в нижнем бьефе. Фрунзе, Труды ФПИ№ 81, 1974, с.43-54.

150. Афанасьев В.Н., Колмановский В.Б., Носов В .Р. Математическая теория конструирования систем управления. М.: Высшая школа, 1998. 575с.

151. Campbell К.Y. Copyright on the Internet Shetland/ E1PR. V.I 9, № 5.2000.

152. An Introduction to Computer Security: The NIST Handbook. Draft. — National Institute of Standards and Technology, Technology Administration, U.S. Department of Commerce, 1994. 310 c.208. http://www.weblink.ru/

153. Фролов А.В., Фролов Г.В. Программирование для Windows NT. 4.1. — М.: Диалог МИФИ, 1996. - 272с.

154. Фролов А.В., Фролов Г.В. Программирование для Windows NT. 4.2. -М.: Диалог МИФИ, 1997. - 271с.

155. Дейтл Г. Введение в операционные системы: Т.1. М.: Мир, 1987.359с.

156. Секреты создания интрасетей; СПб.: Питер, 1998. - 592с.

157. Ботуз С.П. Разработка инструментальных средств открытой технологии экспертизы объектов промышленной собственности (ОПС) в Internet. В кн.: Научный сервис в сети Интернет. - М.: НИВЦ МГУ, 1999, с.56-63.

158. ФЕДЕРАЛЬНЫЙ ИНСТИТУТ ПРОМЫШЛЕННОЙ СОБСТВЕННОСТИ1. На правах рукописи1. Ботуз Сергей Павлович

159. МЕТОДЫ ПРОЕКТИРОВАНИЯ И ЭКСПЕРТИЗЫ ТЕХНИЧЕСКИ ОПТИМАЛЬНЫХ ПОЗИЦИОННЫХ СИСТЕМ ПРОГРАММНОГО УПРАВЛЕНИЯ

160. Специальность 05.13.12 Системы автоматизациипроектирования