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

• Крылов, Сергей Михайлович
• доктор технических наук
• 2005

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

ВВЕДЕНИЕ.

1 СУЩЕСТВУЮЩИЕ ПОДХОДЫ И МЕТОДЫ АНАЛИЗА И СИНТЕЗА МНОГОФУНКЦИОНАЛЬНЫХ ПРОГРАММНО-ПЕРЕСТРАИВАЕМЫХ СИСТЕМ.

1.1 Автоматические многофункциональные и универсальные системы обработки и преобразования информации.

1.2 Анализ и синтез систем с точки зрения общей теории систем . 48 Л 1.3 Другие философские и математические подходы к теории систем

1.4 Многофункциональные (гибкие) автоматические технологические системы в машино- и приборостроении и методы их синтеза

1.5 Выводы.

2 ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ФОРМАЛЬНО-ТЕХНОЛОГИЧЕСКОГО АНАЛИЗА МНОГОФУНКЦИОНАЛЬНЫХ ПРОГРАММИРУЕМЫХ ТЕХНОЛОГИЧЕСКИХ СИСТЕМ.

2.1 Базовые формально-технологические понятия и определения

2.2 Некоторые свойства формальных технологически систем.

2.3 Базовая формально-технологическая модель структуры универсальной программируемой технологической системы.

2.4 Структуры многофункциональных программируемых систем для практических реализаций.

2.5 Свойства объектов технологий и их представление.

2.6 Элементы теории функциональностей объектов.

2.7 Эмерджентные свойства и эмерджентная функциональность.

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

Актуальность проблемы. Создание разного рода максимально гибких (т.е. предельно многофункциональных), а в идеале - универсальных -приборов и систем - одна из актуальнейших научно-технических задач современности [14, 24, 40, 41,45, 52, 121, 122, 124, 129, 149, 160, 178, 189, 194, 203, 208, 211, 216, 304] (см. также ссылки в разделах 1.1, 1.4 настоящей работы). Ее решение в каждом конкретном случае базируется, как правило, на накопленном в данном научно-техническом направлении, опыте. При этом гибкость (в пределе - универсальность) и программную управляемость различных систем обычно связывают с присутствием в них универсальных цифровых вычислительных машин (по современной терминологии -компьютеров). Однако сами по себе компьютеры не могут обеспечить технологическую или функциональную гибкость какой-либо производственной системы или измерительного прибора непосредственно на технологическом уровне - то есть на уровне выполняемых технологических операций и процессов. Основное их назначение - обеспечение прежде всего информационной гибкости технологических систем, - то есть на уровне приема и обработки информации от самых различных источников (датчиков) и выдачи соответствующих управляющих и информационных сигналов на различные приемники (исполнительные и индикаторные устройства, другие системы и т.д.). Для обеспечения же технологической гибкости самих технологических систем и приборов непосредственно на уровне технологических операций и процессов, эти системы и приборы должны отвечать определенным схемо- и системотехническим требованиям. Как правило, в случае конкретного и существенно ограниченного спектра решаемых задач эти требования достаточно просто формулируются и реализуются. Примерами такого ограниченного множества реализуемых функций могут служить так называемые универсальные (на самом деле многофункциональные) цифровые измерительные приборы и преобразователи, вопросам теории и синтеза которых посвящено большое число работ зарубежных и отечественных авторов, среди которых можно выделить публикации Б.К.Коула, М.Е.Хоффа, М.Таунсенда, К.Шеннона, Р.С.Ли, А.И.Кондалева, М.М.Гельмана, В.А.Лося, Е.А.Чернявского, Б.А.ЬСурдикова, А.В.Крайникова, Ю.Ф.Мухопада, Ю.Д.Пальченкова, Г.Е.Пухова, В.Б.Смолова, А.М.Смирнова и др. [39, 61, 79, 80, 82, 83, 123, 147, 158, 164, 165, 187, 188, 199, 203, 215, 239], или разного рода многофункциональные биохимические анализаторы (например, [272, 345, 346, 393]). Однако в более общем случае, когда число возможных задач либо очень велико, либо их нельзя предсказать заранее и нужно рассчитывать на самые маловероятные (или даже на все без исключения) случаи, проблема синтеза многофункциональных приборов и систем становится трудноразрешимой. Причина этого - почти полное отсутствие общетеоретических (концептуальных) моделей "предельно многофункциональных систем" в той или иной технологической области, неразвитость формального описания такого рода моделей применительно к различным возможным технологиям -то есть явная междисциплинарность задачи, осложняющая поиск подходящего формального аппарата, наконец, путаница в самих критериях степени универсальности различных технологических систем - как следствие отсутствия все той же общетеоретической междисциплинарной формальной базы. В дальнейшем - для устранения различий в толковании смысла термина "универсальный" применительно к различным приборам и системам, мы будем понимать под ним именно "предельную многофункциональность" того или иного прибора или системы, связанную с определенным математическим обоснованием данного факта, основанном, в свою очередь, на известной математической модели универсальной машины Тьюринга, и, во-вторых - для корректности мысленно (а иногда и явно) брать это слово в кавычки: "универсальный". Действительно - как показывает анализ, даже так называемая универсальная машина Тьюринга в принципе не является конечным объектом, поскольку требует для решения некоторых задач подключения дополнительного объема памяти (дополнительного фрагмента ленты) [132, 136,357].

В литературе (см., например, [120, 122, 134, 142, 201, 202, 271, 290, 294, 325, 401, 402]), в том числе и в ранних работах автора [85, 86, 107, 110], неоднократно высказывалось мнение о явной междисциплинарности аппарата теории алгоритмов и связанных с ним концепций. Тем не менее сколько-нибудь серьезных попыток расширения и адаптации этих формальных концепций применительно к максимально большому классу объектов алгоритмических операций, включая возможные гетерогенные объекты реальных технологий, а также изучения особенностей получаемых таким образом формальных систем с точки зрения их потенциальной полноты и универсальности, до сих пор практически не было. Все известные попытки сводятся в основном либо к алгоритмизации многих, если не всех, окружающих нас физических процессов (исключаются обычно процессы ментального характера - см., например, [380]), либо к использованию алгоритмической теории сложности объектов для доказательства конструктивности самих таких процессов и их результатов [271,401, 402].

Особенно актуальной становится задача разработки соответствующего формального аппарата, облегчающего синтез и оптимизацию "универсальных" и многофункциональных приборов и систем в свете последних достижений интегральных технологий, ранее использовавшихся только при производстве электронных микросхем. Новые методы и приемы, применяемые в таких технологиях, позволяют изготавливать не только миниатюрные электронные компоненты, но и другие базовые элементы технологических систем микронных и субмикронных размеров - различные микродвигатели и микроприводы (в англоязычной версии - actuators), микроканалы, микрореакторы, микроклапаны и микронасосы, микродатчики и различные микромеханические и микрооптические подсистемы, выполняющие самые разнообразные функции - вплоть до "фабрик на кристалле" ("factory on a chip") [127, 383, 452] или "лабораторий на кристалле" ("lab on a chip") [35, 65, 252, 287, 300, 307, 341, 407, 436]. Изготавливаемые с помощью таких интегральных технологий приборы и системы получили названия микроэлектромеханических ("microelectromechanical"), микропотоковых ("microfluidic") и микрооптических ("microoptical"), (англоязычные сокращения - MEMS, MFS и MOS) [65, 127, 192, 193, 283, 284, 287, 370]. Для удобства все такого рода системы мы в дальнейшем будем называть микросистемами, или сокращенно - МКС. Ясно, что многофункциональные МКС способны совершить примерно такой же - если не больший - переворот в различных сферах нашей жизни, как и микропроцессоры - первые миниатюрные и дешевые универсальные программируемые системы для обработки информации. Скорее всего, именно через многофункциональные МКС может лежать наиболее эффективный путь и к следующему технологическому рубежу нашей цивилизации - к нанотехнологии, оперирующей объектами с размерами на уровне атомов и молекул [71, 250, 288, 292, 342, 364, 362, 432]. О важности и актуальности последней задачи говорит хотя бы такой факт, как выделение в 2001 финансовом году на различные исследования в области нанотехнологий в США порядка 500 млн. долларов, из которых примерно 40 млн. предполагалось израсходовать на программы, связанные с фундаментальными междисциплинарными исследованиями [369] - то есть фактически на решение задач, в значительной степени пересекающихся с данной работой. Понятно, что достичь технологических возможностей, позволяющих манипулировать объектами размерами в единицы и десятки нанометров, гораздо легче со стороны технологических систем, работающих в диапазонах сотен и тысяч нанометров, чем со стороны систем, оперирующих с макро-объектами размерами от миллиметров до сотен метров. Ясно также, что если подобные "микрофабрики на кристалле" для производства нано-систем будут предельно-многофункциональными ("универсальными") и программно-перестраиваемыми, то эффективность их будет намного выше, чем соответствующих специализированных аналогов, поскольку позволит выпускать гораздо более разнообразную нано-продукцию при практически тех же исходных затратах, составляющих, согласно [418], порядка 1 млн. долларов на разработку одного кристалла МКС. (Здесь уместно также напомнить, что по крайней мере для макро-систем доля индивидуального и мелкосерийного производства достигает 75% [24].)

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

Необходимо также отметить, что еще одной важной задачей при создании различных - в том числе и многофункциональных - МКС является задача создания универсального (многоцелевого) интерфейса между технологической частью МКС (самые разнообразные аналоговые датчики и исполнительные механизмы) и управляющей, в качестве которой обычно используется цифровая микроЭВМ [365]. Эта задача пришла в МКС из макросистем, поскольку и для них проблема сопряжения универсального и относительно дешевого микропроцессорного цифрового управляющего ядра с различными наборами разнородных аналоговых датчиков и исполнительных механизмов представляет собой актуальную системотехническую задачу [82, 83]. Как показывают исследования автора, решение этих задач тоже может быть найдено в рамках подходящего формально-технологического расширения аппарата теории алгоритмов и соответствующих математических моделей универсальных систем [58, 87, 89, 91, 95, 105, 106].

С другой стороны - сами по себе вопросы, связанные с понятиями предельно многофункциональных систем и универсальности вообще чрезвычайно многоплановы и сложны. Они так или иначе включают в себя широкий спектр сопряженных проблем. Одна из них - проблема всеобщей применимости математики и ее методов. Действительно - универсальность математического аппарата общепризнанна. Однако о причинах такой универсальности до сих пор спорят и сами математики, и философы, и специалисты в других областях [33, 74, 69, 118, 130, 168, 200, 251, 264, 271, 303, 306, 331, 380, 386, 395]. Теория алгоритмов и рекурсивных функций, тезис Тьюринга-Черча, в какой-то степени объясняющие универсальность вычислительного аппарата математики, тем не менее никак не проясняют ситуацию относительно причин универсальной применимости математических формул и соотношений в самых различных областях человеческой деятельности - от социологии и популяционной генетики до астро- и квантовой физик [30, 32, 134, 153, 212, 213, 274, 303]. Поэтому, исследуя само понятие универсальной системы - будь то в технологии обработки информации, в производстве изделий или в других областях, нам неизбежно приходится сталкиваться с общематематическими и общефилософскими проблемами, связанными с критериями универсальности, с их возможными формальными соотношениями для различных технологий, используемых как человеком, так и природой.

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

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

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

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

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

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

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

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

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

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

Научная новизна работы заключается в следующем:

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

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

3. Доказан ряд базовых теорем, касающихся ключевых моментов и свойств различных технологий, включая теоремы о креативности, о полноте, об алгоритмической эквивалентности различных технологических систем, и др.

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

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

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

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

8. Предложены новые методы анализа биологических систем на основе формально-технологического подхода.

Научная значимость результатов работы обусловлена тем, что

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

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

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

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

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

Практическая значимость. Постановка задачи соответствует актуальным потребностям мировой системотехники в области разработки перспективных многоцелевых перепрограммируемых технологических микросистем [365, 418] и их имитационного моделирования [368, 418], в области разработки многоцелевых ("универсальных") программируемых аналого-цифровых систем обработки и преобразования информации [39, 79, 82, 83], а также в других областях. Практическая значимость результатов обусловлена тем, что:

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

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

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

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

- разработана возможная структура программно-управляемой "нано-фабрики на кристалле";

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

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

Реализация результатов. Разработанные теоретические, системо- и схемотехнические решения внедрены в виде многофункционального программируемого АЦП-ЦАП в составе системы статистической обработки аналоговых сигналов на базе микроЭВМ на предприятии "Особое конструкторское бюро кабельной промышленности" в 1983г. (номер госрегистрации темы 80003728), в производство универсальной программируемой платы сопряжения на основе дискретно-аналогового процессора (ДАЛ) для компьютеров типа IBM PC в рамках внедренческого предприятия "ДИАС, Лтд", созданного в 1991г. по итогам Всесоюзного конкурса по микроэлектронике в соответствии с рекомендациями ППИ НЦ (г. Зеленоград). Указанная плата ДАЛ использовалась для комплектования различных систем сбора и обработки данных, поставленных целому ряду предприятий, в том числе: для НТЦ "Наука" (г.Самара), для НПЦ "Инфотранс" (г.Самара), для систем сканирующего туннельного микроскопа, разрабатываемых НИИ "Дельта" (г.Москва), для систем съема и обработки экспериментальных данных НИИ "Редких металлов" (г.Москва), для аналогичной системы Самарского филиала ФИАН, для МЭИ (г.Москва), ЦАГИ (г.Жуковский), для АО "СИНКО" (г.Самара), в составе программно-аппаратного комплекса "ДАП-ЛАБ" для Самарского государственного аэрокосмического университета (СГАУ), для "Инженерно-метрологического центра" (г.Уфа), для Самарского государственного технического университета (СамГТУ), для Уфимского государственного авиационного технического университета, Челябинского регионального "Центра высшей школы", Пензенского госуниверситета, МВТУ им. Баумана (г.Москва) и научно-производственного центра "Тандем" (г. Уфа) - для выполнения учебных лабораторных работ по курсам "Электроника", "Аналоговые интерфейсы микроЭВМ", "Микропроцессорные системы", "Технические средства микропроцессорных систем", в составе системы автоматического обзвона, опроса и информации абонентов по телефонам для АТС-41 г.Самары, администрации железнодорожного района г.Самары, АО "Самарасвязьинформ", а также для ряда других предприятий и организаций.

Апробация работы проводилась на следующих конференциях, симпозиумах и семинарах: V Всесоюзный симпозиум "Проблемы создания преобразователей формы информации" (Киев, ИК АН Украины, 1984); 3-я Поволжская НТК по системам автоматического управления (Волгоград,

НИПИАСУ, 1984.); рабочий семинар Центрально-Поволжской территориальной группы Национального комитета международной ассоциации по математическому и машинному моделированию "Математическое и машинное моделирование систем управления и обработки информации" (Горький, ПТИ, 1987), НТК в рамках Всесоюзного конкурса по микроэлектронике (Зеленоград, ПНИ НЦ, 1989-1991), 3-я Международная школа-семинар "Новые информационные технологии" (Крым, Судак, ГКРФ ВО, 1995г.), Научно-методическая конференция "Компьютерные технологии обучения: концепции, опыт, проблемы" (Самара, СамГТУ, 1997), Всероссийская НТК "Новые информационные технологии в радиоэлектронике", (Рязань, РГРА, 1998), Всероссийская НТК "Микроэлектроника и информатика - 98" (Зеленоград, МИЭТ, 1998), на сайте института философии РАН по итогам Московского международного форума по синергетике (http://www.iph.ras.ru/~mifs/rus/krylovl.htm, 1998-2000), 5-я Международная НТК "Радиоэлектроника, электротехника и энергетика" (Москва, МЭИ, 1999), НТК "Биосфера и человечество" (Обнинск, МРНЦ РАН, 2000), Международные конференции по мягким измерениям и вычислениям SCM'2001, SCM'2002 (Санкт-Петербург, ЛЭТИ, 2001, 2002гг.), международная конференция по микро- и нано-системам "COMS 2004" (г.Эдмонтон, Канада), Всероссийская конференция "Компьютерные технологии в науке, практике и образовании" (Самара, СамГТУ, 2004г), и др. В 1990г. проект создания многоцелевых программируемых БИС на основе предложенного подхода стал лауреатом Всесоюзного конкурса по микроэлектронике, проводимом "Предприятием перспективных исследований" НЦ (г.Зеленоград).

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

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

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

5.5 Выводы

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования доктор технических наук Крылов, Сергей Михайлович, 2005 год

1. Адельсон-Вельский Г.М., Кузнецов О.П. Дискретная математика для инженера.-2-е изд. - М.: Энергоатомиздат,-1988.-480с.

2. Айламазян А.К., Стась Е.В. Информатика и теория развития.- М.: Наука,-1989. -174с.

3. Акоф Р.Л. Системы, организация и междисциплинарные исследования. В кн.: Исследования по общей теории систем. М.: Прогресс,-1969.-С.143-164.

4. Алгебраическая теория автоматов, языков и полугрупп. Под ред. М.А.Арбиба. Пер.с англ. М.: Статистика,-1975.-335с.

5. Алгоритмы анализа и синтеза механизмов. Сб. трудов. М.: Наука,-1977.-172с.

6. Аналитическая химия. Химические методы анализа. / Под ред. О.М.Петрухина. М.: Химия,-1992.-400с.

7. Арбиб М.А. Мозг, машина и математика. -М.: Наука,-1968.-224с.

8. Ахо А., Хопкорф Дж., Ульман Дж. Построение и анализвычислительных алгоритмов. М.: Мир,-1979. - 536 с.

9. Бадд Т. Объектно-ориентированное программирование в действии.-СПб.: Питер,-1997.-464с.

10. Бак П., Кан Чен. Самоорганизация и критичность.// В мире науки.-1991.-№ З.-С. 16-24.

11. Баранов С.И. Синтез микропрограммных автоматов. 2-е изд. JL: Энергия,-1979.-232с.

12. Белоцерковский О.М., Макаров И.М. Робототехника и гибко перестраиваемая технология. М.: Знание,-1983.-124с.

13. БИС асинхронного приемо-передатчика K1000XJ11 /А. J1. Коган, А. В. Колосовский, Ю. Н. Панов, В. В. Синекаев. // Электронная промышленность.-1982.-№ 2.-С.48-51.

14. Блинов С.А., Васильев В.Н. Методика исследования и многокритериальной оценки типовых вариантов гибких производственных систем. В кн.: Проблемы создания гибких автоматизированных производств. М.: Наука,-1987.-С.29-36.

15. Блохина Е.Ю., Крылов С.М. Классификация хаотических алгоритмических систем с точки зрения формальной технологии./ Самарский гостехуниверситет. Самара, 1998.-Зс. - Деп. в ВИНИТИ 30.03.98 №945-В98.

16. Богданов А.А. Тектология: Всеобщая организационная наука. В 2-х кн. -М.: Экономика,-1989. Кн.1 -304с.; Кн.2 -351с.

17. Боулдинг К. Общая теория систем скелет науки. В кн.: Исследования по общей теории систем. - М.: Прогресс,-1969.-С. 106-124.

18. Брукс Ф.П. Как проектируются и создаются программные комплексы. Пер.с англ. М.: Наука,-1979.-151с.

19. Бугровский В.В., Карпов Е.М Измерения и меры в мире живого. Препринт Института почвоведения и фотосинтеза. -Пущино: Научный центр биологических исследований АН СССР,-1990.-9с.

20. Будюков А.Ю., Родионов М.Ю. Разработка концепции ГПМ длякомплексной обработки. В кн.: Гибкие технологические процессы и системы в механосборочном производстве. Межвузовский сборник. -Саратов: Саратовский политехнический институт. -1989.-С.38 43.

21. Буканов Ф.Ф., Карпов Е.М. Основы теории систем. Куйбышев: КуАИ,-1978.-34с.

22. Булгаков А. А. Программное управление системами машин. М.: Наука,-1980. - 264 с.

23. Бусленко В.Н. Автоматизация имитационного моделирование сложных систем. М.: Наука,-1977.-240с.

24. Бусленко Н.П. Моделирование сложных систем. -2-е изд., перераб. М.: Наука,-1978.-400с.

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

26. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на Си ++. Пер.с англ. М.: "Издательство Бином",-1998.-560с.

27. Быстродействующий программируемый микроконтроллер. Проспект к экспонату ВДНХ. / Крылов С.М. и др. Куйбышев: КптИ,-1984.-2.

28. Вигнер Ю. Непостижимая эффективность математики в естественных науках. В кн.: Вигнер Ю. Этюды о симметрии. М.: Мир,-1971.-С. 182198.

29. Винер Н. Кибернетика: управление и связь в животном и машине (второе издание).- М.: Наука,-1983 .-344с.

30. Витгенштейн Л. Логико-философский трактат. Пер.с нем. В кн.: Витгенштейн Л. Философские работы. М.: Гнозис,-1994. 4.1.-С.5-73.

31. Витгенштейн Л. Философские работы. Замечания по основаниям математики. Пер.с нем. М.: Генезис,-1994.-Ч.2.-кн. 1- 214с.

32. Витенберг И.М., Танкелевич Р.Л. Аналоговые вычислительные машины с последовательным выполнением операций. М.: Энергия,-1968. -128с.

33. Власов Ю.Г., Легин А.В., Рудницкая A.M. Новый метод многокомпонентного анализа жидких сред. .// Петербургский журнал электроники.-2000.-№3-4.-С. 128-131.

34. Вунш Г. Теория систем. Пер.с нем. М.: "Сов.радио",-1978.-288с.

35. Гаврюшов М.А. Особенности проектирования технологических процессов в условиях ГПС. В кн.: Гибкие технологические процессы и системы в механосборочном производстве. Межвузовский сборник. -Саратов: Саратовский политехнический институт.-1989.-С.82-86

36. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования. Паттерны проектирования. СПб: "Питер",-2001.-420с.

37. Гельман М.М. Системные аналого-цифровые преобразователи и процессоры сигналов. М.: Мир,-1999.-356с.

38. Гибкие автоматизированные производственные системы./ Под ред. Л.С.Ямпольского.- Киев: Техника,-1985.-198с.

39. Гибкие производственные комплексы. / Под ред. П.Н Белянина и В.А. Лещенко -М.: Машиностроение,-1984.-3 84с.

40. Гибкие производственные системы изготовления РЭА./ А.И.Артемьев,' В.П.Ковешников, М.С.Лапин и др. М.: Радио и связь,-1990.-240с.

41. Гибкие производственные системы сборки. / П.И.Алексеев, А.Г.Герасимов, Э.П.Давыденко и др. Под общ.ред. А.И.Федотова. Л.: Машиностроение,-! 989.-349с.

42. Гибкие производственные системы Японии. Пер. с яп. А.Л.Семенова, под ред. Л.Ю.Лищинского. М.: Машиностроение,-1987.-232с.

43. Гибкое автоматическое производство./ Под ред. С.А.Майорова и Г.В. Орловского. Л.: Машиностроение,-1985.-390с.

44. Глухов А.О., Трофимов В.В. Метод решения задач идентификации и моделирования самоорганизации систем на основе генетического подхода. В кн.: SCM'2001. Международная конференция по мягким измерениям и вычислениям. Сборник докладов. Том 1. Санкт

45. Петербург, 26-27 июня 2001г. С-Пб: ЛЭТИ,-2001г.-С.291-293.

46. Глушков В.М. Введение в кибернетику. Киев: Изд-во АН УССР,-1964.-324с.

47. Горбатов В.А. Теория частично-упорядоченных систем. М.: Сов.рад ио,-1976.-336с.

48. Горбатов В.А. Фундаментальные основы дискретной математики. М.: Наука,-1999.-544с.

49. Дворников О., Чехвой В. Аналоговый биполярно-полевой БМК с расширенными функциональными возможностями.// Chip News.-1999.-№2.-С.21-24.

50. Де Шарден П.Т. Феномен человека. Пер. с франц. Н.А.Садовского. М.: Прогресс,-1965.-240с.

51. Дедков В.К., Пупков К.А., Чинаев П.И. Автоматизированное программируемое машиностроительное производство. -М.: Наука,-1985.-238С.

52. Джойс Дж.Ф. Направленная молекулярная эволюция. //В мире науки.-1993.-№2.-С.32-40.

53. Дилигенский Н.В. Анализ и структуризация фундаментальных свойств, характеристик и проблем управления сложными системами. // Известия Самарского научного центра РАН-2000.-т.2.-№1.-С.72-80.

54. Дмитриев Д.П. Универсальная система обработки аналого-цифровых данных. В кн.: XXV Гагаринские чтения. Тез.докл. Междун.конф. М.: "МАТИ" -Российский государственный технологический ун-т им. К.Э.Циолковского.-1999.-С.685-686.

55. Дмитриев Д.П., Крылов С.М. Устройство ввода-вывода видеоинформации в ПК через шину PCI. Тез. докл. Всерос. межвуз. научно-техн. конф. студентов и аспирантов "Микроэлектроника и информатика 98". Зеленоград, 20-22 апреля 1998г. - М.: МИЭТ.-1998.-С.36.

56. Дмитриев Д.П., Крылов С.М., Лавров Д.В., Пешков С.А., Романов К.В.

57. Исследования в области общей теории систем на основе формально-технологического расширения теории алгоритмов.//Вестник Самарского государственного технического университета, Вып.8, Самара: СамГТУ.-2000г.-С.171-179.

58. Дмитриев Д.П., Крылов С.М. БИС дискретно-аналогового процессора.// "Электронная техника".-серия 3.-"Микроэлектроника".-1999. -Вып.1 (153).-С.32-36.

59. Донцов А.И., Баксанский О.Е. Схемы понимания и объяснения физической реальности. // Вопросы философии.- 1998.-№ 11.-С.76-90.

60. Дружинин В.В., Конторов Д.С. Системотехника. М.: Радио и связь,-1985.-200с.

61. Жевнеров С.В., Скучарев В.В., Козинцев О.Г. Универсальный аналого-цифровой функциональный преобразователь. В кн.: Проектирование систем автоматики и вычислительной техники. Воронеж: Воронежск; политехи. ин-т.-1978.-С.116-118.

62. Жуков Н.И. Философские основания математики. Минск: "Университетское",-1990. -110с.

63. Зангер Г. Электронные системы. Теория и применение. Пер.с англ. под ред. М.Д.Карасева. М.: Мир,-1980.-392с.

64. Звонкин Ф.Л., Левин Л.А. Сложность конечных объектов и обоснование понятия информации и случайности с помощью теории алгоритмов. //Успехи математических наук.-1970.-Т.25.-№6 (1956).-С.85-127.

65. Зимина Т.М. Интегральные капиллярные сепарационные микросистемы для химического анализа. // Петербургский журнал электроники.-2000.-№3-4.-С.70-78.

66. Изосимов О.А. Методы синтеза и динамического анализа самосинхронных КМДП СБИС. Дисс. канд.техн.наук. М.: МИФИ.-1993.-165с.

67. Казьмин А.И., Менн А.А. Некоторые методы и средства автоматизации разработки программного обеспечения гибких производств. В кн.:

68. Проблемы создания гибких автоматизированных производств. М.: Наука,-1987.-С.212-219.

69. Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. М.: Мир,-1971.-210с.

70. Кант И. Пролегомены ко всякой будущей метафизике, могущей появиться как наука. Соч. В 6-ти томах. Т.4.-часть 1 . М.: Мысль,-1965.-С.67-210.

71. Карпов Е.М. Об алгебре физических взаимодействий. В кн.: Математическое обеспечение САПР (Межвуз. сб. научн. трудов). Куйбышев: КуАИ.-1989.-С.20-29.

72. Карякин А.А. Биосенсоры и биомолекулярная электроника.// Микросистемная техника.-2001.-№ 8.-С.З-8.

73. Кауфман С. А. Антихаос и приспособление // В мире науки. 1991.-N 10.-С.58-65.

74. Кимура М. Молекулярная эволюция: теория нейтральности. /Пер.с англ.

75. A.Г.Имашевой и др; Под ред. Ю.П.Алтухова, Л.А.Животовского. М.: Мир,-1985. -398с.

76. Клайн М. Математика. Поиск истины./Пер.с англ. Под ред. и с предисл.

77. B.ИАршинова, Ю.В.Сачкова. М.: Мир,-1988. -295с.

78. Клир Дж. Системология. Автоматизация решения системных задач. Пер.с англ. М.А.Зуева под ред. А.И.Горлина. М.: Радио и связь,-1990. -540с.

79. Князева Е.Н., Курдюмов С.П. Синергетика и принципы коэволюции сложных систем. Интернет: Http://www.iph.ras.ru/

80. Колмогоров А.Н. Три подхода к определению понятия "количество информации". //Проблемы передачи информации.-1965.-Т. 1.-№1.-С.З-11.

81. Колмогоров А.Н., Успенский В.А. К определению алгоритма. В кн.: Алгоритм, информация, сложность М.: Знание.-1991.-С.5-23. (Новое в жизни, науке, технике. Сер. "Математика, кибернетика", №1).

82. Кондалев А.И. Преобразователи формы информации компьютерного типа. В кн.: Проблемы создания преобразователей формы информации. Тез.докл. VI Всес.симпозиума. Киев: ИК им.Глушкова АН УССР.-1988.-С.З-4.

83. Кондалев А.И., Багацкий В.А., Романов В.А., Фабричев В.А. Высокопроизводительные преобразователи формы информации. //Под общ.ред.А.И.Кондалева. Киев: Наукова думка,-1987.-280с.

84. Корендясев А.И., Серков Н.А., Стояченко С.С. Применение имитационного моделирования при создании гибких производственных систем. В кн.: Проблемы создания гибких автоматизированных производств. М.: Наука.-1987.-С.48-56.

85. Коул Б.К. Меняющийся аналоговый мир. // Электроника.- 1989.-N 18.-С.33-42.

86. Коул Б.К. Развитие техники и технологии однокристальных аналоговых БИС- и СБИС-систем. // Электроника.-1987.-№ 11.-C.33-38.

87. Крылов С.М. Формальная технология в философии, технике, биоэволюции и социологии. Самара: СамГТУ,-1997.-180с.

88. Крылов С.М. Формальная технология и универсальные системы I. // Кибернетика (современное название Кибернетика и системный анализ).-1986.-№ 4.-С.85-89.

89. Крылов С.М. Формальная технология и универсальные системы II. // Кибернетика.-1986.-№ 5 .-С.28-31.

90. Крылов С.М. Модели универсальных дискретно-аналоговых машин на основе машины Тьюринга.// Электронное моделирование.-№ 3.-1982,-С.6-10.

91. Крылов С.М. Универсальность устройств преобразования, генерирования и приема дискретных сигналов. // Управляющие системы и машины.-1983 .-№2.-С .7-10.

92. Крылов С.М. Универсальные дискретно-аналоговые микропроцессоры преобразования формы информации. В кн.: Проблемы созданияпреобразователей формы информации: Тез. Докл. V Всесоюзн. симпозиума Киев: Наукова думка.-1984.-С.67-69.

93. Крылов С.М. Об одной оценке скорости эволюции систем. // Генетика.-1997.-том 33.-№ 9.-С.1308-1309.

94. Крылов С.М. Программируемый аналоговый интерфейс для микроЭВМ. // Электронная промышленность.-1981.-№7-8.-С.126-130.

95. Крылов С.М. Многопротокольный программируемый процессор связи. // Электронная промышленность.-1983.-№3.-С. 19-22.

96. Крылов С.М. Модифицируемые контроллеры. // Электронная промышленность.-1984.-№6.-С.З-7.

97. Крылов С.М. Программное управление оборудованием в аналого-цифровой системе обработки данных. // Изв. Ленингр. электротехн. инта им. В.И. Ульянова (Ленина).-1979.-вып. 262.-С.50-55.

98. Крылов С.М. Аналого-цифровой микропроцессор для сбора и хранения информации. В кн.: Теория и практика проектирования микропроцессорных систем. Куйбышев: КПтИ.-1989.-С.46-51.

99. Крылов С.М. Влияние аппаратных погрешностей на свойства дискретно-аналоговых вычислителей. В кн.: Автоматизированные моделирующие системы в технологических задачах. Куйбышев:1. КПтИ. 1984.-С.128-132.

100. Крылов С.М. Модели молекулярных автоматов и различные типы функциональностей, необходимые для их реализации. // Вестник Самарского государственного технического университета.-2004.-Вып.20.-С.10-16.

101. Крылов С.М. Дискретно-аналоговый процессор универсальное средство сопряжения персональных компьютеров с "внешним" миром. // "Электронная техника".-сер.З "Микроэлектроника".- 1991.- вып.5 (144).-С.50.

102. Крылов С.М. Взаимосвязь между энтропийным, структурным и функциональным описанием объектов и систем. // Вестник Самарского государственного технического университета.-2003.-Вып.19.-С.156-160. •

103. Крылов С.М. Колмогоровская сложность синтеза случайных линейных биоподобных структур. /Самарский гостехуниверситет.- Самара, 1999.-8с. Деп. в ВИНИТИ 15.03.99 № 768-В99.

104. Крылов С.М. Концепция активных баз данных в АСНИ. В кн.: Автоматика и информационные технологии. Тезисы юбилейн.научно-техн.конф. "35 лет ФАИТ и 90 лет со дня рождения основателя факультета профессора Л.Ф.Куликовского". Самара: СамГТУ.-1995.-С.40-42.

105. Крылов С.М. Формально-технологические модели в общей теории систем. // Известия Самарского научного центра РАН.- 2003.- т.5.-№1,-С.83-90.

106. Крылов С.М. Некоторые свойства моделей дискретно-аналоговых вычислительных систем. В кн.: Вопросы проектирования автоматизированных моделирующих и управляющих систем. Межвузовс. (Межведомств.) тем. Сб. научн. трудов. Куйбышев: КПтИ.-1982.-С.70-74.

107. Крылов С.М. Об одном подходе к созданию универсальных устройств сопряжения цифровых и аналоговых систем. В кн.:

108. Автоматизированные моделирующие и управляющие системы. Сб. научн. трудов. Куйбышев: КПтИ.-1980.-С.111-116.

109. Крылов С.М. Основы синтеза универсальных периферийных устройств. В кн.: Системы контроля и управления на основе микроЭВМ. Межвузовс. (Межведомств.) тем. сб. научн. трудов. Куйбышев: КПтИ.-1983.-С.18-21.

110. Крылов С.М. Поведение моделей предбиологических хаотических технологических систем. / Самарск. госуд. технич. ун-т. Самара, 1998.-12с. - Деп. в ВИНИТИ 25.11.98 № 3475-В98.

111. Крылов С.М. Формальное описание дискретных технологий и креативность технологических систем. В кн.: Автоматизация экспериментальных исследований. Куйбышев: КуАИ.-1982.-С. 123-125

112. Крылов С.М. Доказательство ограниченности действия тезиса Тьюринга-Черча на объектах с физическими свойствами.// Вестник Оренбургского государственного университета.-2003.-№3.-С. 102-105.

113. Крылов С.М., Лавров Д.В., Пешков С.А. Техническое описание микросети "СПЛАВ". / Самарский гостехуниверситет: рук. Крылов С.М., Самара, -1992.-135с.

114. Крылов С.М. Синтез универсальных информационно-измерительных приборов и систем. // Известия ВУЗов. Приборостроение.-2003.- № 12,1. С8-11.

115. Курдюмов С.П., Малинецкий Г.Г., Потапов А.Б. Синергетика новые направления. -М.: Знание.- 1989.-48с. (сер. "Новое в жизни, науке, технике")

116. Кучерова С.А. Использование Ф-языка для описания динамической модели функционирования гибкой производственной системы. В кн.: Гибкие производственные системы. Межвузовский сборник. JL: ЛЭТИ им. Ульянова (Ленина). 1984.-С.10-17.

117. Лакатос И. Бесконечный регресс и основания математики. В кн.: Современная философия науки, М.: Логос.-1995 .-С. 106-132.

118. Ланге О. Целое и развитие в свете кибернетики. В сб. Исследования по общей теории систем. М.: Прогресс.-1969.-С. 181-251.

119. Ласло Э. Основания трансдисциплинарной единой теории. Internet: www.iphras.ru:8101 /~mifs/rus/laslo~l .htm.

120. Лебедовский M.C., Вейц В.Л., Федотов А.И. Научные основы автоматической сборки. Л.: Машиностроение,-1985.- 236с.

121. Лескин А.А. Алгебраические модели гибких производственных систем. -Л.: Наука,-1986,-284с.

122. Лифшиц В.М., Садовский Л.Е. Алгебраические модели вычислительных машин. // УМН.-1972.-т.20.-вып.З (165).-С.79-125.

123. Логашев В.Г. Технологические основы гибких автоматических производств. Л.: Машиностроение,-1985.-258с.

124. Лось В.А. Электронные вычислительные машины-модели с программным управлением. // Автоматика и телемеханика.-1959.-№ 4.-С.25-46.

125. Лукьянов И.Ф. Сущность категории свойство. М.: Мысль,-1982.-143с.

126. Лучинин В.В. Научно-технический прорыв на микроуровне. // Петербургский журнал электроники.-2000.-№3-4.-С.4-11.

127. Льноградский Л.А. Горизонты системного анализа. Самара: ИЭКА "Поволжье",-2000.-244с.

128. Макаров И.М. Состояние и перспективы создания гибких автоматизированных производств. В кн.: Проблемы создания гибких автоматизированных производств. М.: Наука.-1987.-С.5-12.

129. Малышев Г. Математика как язык науки (к кризису теоретико-множественной математики). В кн.: "Язык науки XXI века. Материалы конференции, посвященной 200-летию со дня рождения О.Конта",-У фа.-1998.-С. 145-152.

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

131. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука,-1965. -392с.

132. Манин Ю.И. Вычислимое и невычислимое. М.: Сов.радио,-1980.-128с.

133. Манин Ю.И. Расширяющаяся конструктивная вселенная. В кн.: Алгоритмы в современной математике и ее приложениях. Материалы международного симпозиума, Ургенч, Узбекистан, 16-22 сент. 1979г. -Новосибирск: СО АН СССР,-1982.-С.4-9.

134. Марков А.А., Нагорный Н.М. Теория алгорифмов. М.: Наука,-1984.-432с.

135. Машины Тьюринга и рекурсивные функции. / Г.Д.Эббинхауз, К.Якобс, Ф.К.Манн, Г.Хермес. М.: Мир,-1972.-264с.

136. Месарович М., Такахара Я. Общая теория систем. Математические основы. М.: Мир,-1978.-326с.

137. Микропроцессоры связные контроллеры (сообщение). // Электроника.-1978.-№8.-С. 11-12.

138. Минский М. Вычисления и автоматы. М.: Мир,-1971.-364с.

139. Многофункциональное гибридное операционное устройство / Чернявский Е.А., Курдиков Б.А., Крайников А.В. и др. В кн.: Вычислительная техника. - Пенза: ППтИ.-1975.-вып. 5.-С.132-160.

140. Моисеев Н.Н. Алгоритмы развития. М.: Наука,-1987.-304с.

141. Моисеев Н.Н. Еще раз о проблеме коэволюции. // Вопросы философии. 1998.-№ 8.-С.26-32.

142. Моисеев Н.Н. Математические задачи системного анализа. М.: Наука,-1981.-488С.

143. Мороз А.И. Курс теории систем. М.: Высшая школа,-1987.-3 04с.

144. Мур Э. Математика в биологии. В кн.: Арбиб М.А. Мозг, машина и математика. М.: Наука,-1968.-С.196-216.

145. Мухопад Ю.Ф. Проектирование специализированных микропроцессорных вычислителей. Новосибирск: Наука, сиб.отд,-1981.-161с.

146. Мюллер В.К. Англо-русский словарь. 20-е изд., стереотип. М.: Рус.яз.,-1985.-830с.

147. Мясников В.А., Игнатьев М.Б., Покровский A.M. Программное управление оборудованием. Д.: Машиностроение,-1984.-427с.

148. Назаретов В.М., Кульба А.В. Использование модифицированных сетей Петри для имитационного моделирования гибкого автоматизированного производства. В кн.: Проблемы создания гибких автоматизированных производств. М.: Наука.-1987.-С.56-62.

149. Николаев А.Я. Биологическая химия. М.: Высш.шк.,-1989. -495с.

150. Николаев В.И., Брук В.М. Системотехника: методы и приложения. JL: Машиностроение,-1985.-199с.

151. Николас К.Дж. Компьютер моделирует эволюцию растения. // В миренауки.-1986.-№5.-С.50-58.

152. Николис Г, Пригожин И. Познание сложного. М.: Мир,-1990. -344с.

153. Общая химия. Учебник для ВУЗов.//Под ред. Е.М.Соколовской, Г.Д.Вовченко, Л.С.Гузея. М.: МГУ,-1980.-726с.

154. Оно С. Генетические механизмы прогрессивной эволюции. М.: Мир,-1973,-364с.

155. Пальченков Ю.Д. О формализации понятий вычислительных гибридных преобразователей информации. В кн.: Проблемы создания преобразователей формы информации. Часть 1. Киев: Наукова думка,-1976.-С. 18-20.

156. Пальченков Ю.Д. Организация управления в гибридном вычислителе. // Изв. Ленингр. электротехн. ин-та им. В.И.Ульянова (Ленина).-1978.-вып. 232.-С.30-35.

157. Пономарев В.М., Лескин А.А. Технологические и информационные структуры гибких производственных систем. В кн.: Проблемы создания гибких автоматизированных производств. М.: Наука.-1987.-С.44-47.

158. Попов Е.П. Робототехника и гибкие производственные системы. М.: Наука,-1987.-192с.

159. Поппер К. Реализм и цель науки. В кн.: Современная философия науки. М.: Логос,-1995.-С.92-106.

160. Пригожин И., Стенгерс И. Порядок из хаоса: Новый диалог человека с природой. Пер.с англ. М.: Прогресс,-1986.-432с.

161. Программируемый процессор связи для мини- и микроЭВМ. Проспект к экспонату ВДНХ. / Крылов С.М. и др. Куйбышев: КПтИ,-1984.-2с.

162. Пухов Г.Е., Береговенко Г.Я. Об одном способе описания гибридных вычислительных систем. В кн.: Проблемы создания преобразователей формы информации. Тез. докл. четвёртого Всес. симп. Киев.-1980.-ч.2.-С.23-24.

163. ПФИ для контрольно-измерительных систем и вычислительных комплексов /Кондалев А.И., Клочан П.С., Лаврентьев В.Н. и др. В кн.:

164. Проблемы создания преобразователей формы информации. Тез. докл. четвёртого Всес. симп. Киев.-1980.-ч. 2.-С. 12-20.

165. Рапапорт А. Математические аспекты абстрактного анализа систем. В кн.: Исследования по общей теории систем. М.: Прогресс.-1969.-С.83-105.

166. Рапапорт А. Различные подходы к общей теории систем. В кн.: Системные исследования. Ежегодник. -М.: Наука.-1969.-С.55-79.

167. Рассел Б. Словарь разума, материи и морали. Европейский университет: Port-Royal,-1996.-368с.

168. Рахманкулов В.З. Системный подход к созданию гибких автоматизированных производств. В кн.: Проблемы создания гибких автоматизированных производств. М.: Наука.-1987.-С.12-21.

169. Редько В.Г. К теории эволюции. Модель возникновения "программ жизнедеятельности". // Журнал общей биологии. -1991. Т.52. - № 3.~ С.334-341.

170. Редько В.Г. Оценка скорости эволюции в моделях Эйгена и Куна. // Биофизика.-1986.-Том31.-№3.-С.511-516.

171. Редько В.Г. Синергетика 2, Синергетика 3 или Эволюционная кибернетика? Internet: Http:// www.iph.ras.ru:8101/~mifs/rus/Redko2.htm

172. Редько В.Г. Спиновые стекла и эволюция. // Биофизика.-1990.-Т.35.-вып.5.-С.831-834.

173. Редько В.Г. Эволюционная кибернетика Тезисы курса лекций. Интернет, 2000. www.keldysh.ru/BioCyber/PapersR.html

174. Редько В.Г. Эволюционный подход к исследованию естественных и созданию искусственных "биокомпьютеров".// Нейрокомпьютер. 1994. № 1/2.-С.38-49.

175. Редько В.Г. Спиновые стекла и эволюция.//Биофизика.-1990.-Т.35.-вып.5.-С.831-834.

176. Ржеуцкая С.Ю. Анализ и разработка структур цифро-аналоговых вычислительных устройств для воспроизведения сигналов заданнойформы. Дис. канд. техн. наук. JI.-1980. -180с.

177. Робототехника и гибкие автоматизированные производства. Кн.5: Моделирование робототехнических систем и гибких автоматизированных производств. / Под ред. И.М.Макарова. М.: Высшая школа,-1986.-175с.

178. Романов В.А. Модульный набор для расширения возможностей преобразователей формы информации. В кн.: Проблемы создания преобразователей формы информации. Тез. Докл. четвёртого Всес. симп. - Киев.-1980.-ч. 2.-С.122-126.

179. Рябуша А.В. Методика построения имитационной модели сложного многоуровневого производственного объекта типа цеха ГАП. В кн.: Гибкие производственные системы. Межвузовский сборник. JL: ЛЭТИ им. Ульянова (Ленина). 1984.-С.29-34

180. Садовский В.Н. Основания общей теории систем. М.: Наука,-1874.-280с.

181. Система статистической обработки аналоговой информации на базе микроЭВМ./ Семенов B.C., Золотов В.П., Крылов С.М. и др. В кн.:I

182. Алгоритмы, средства и системы автоматического управления. Тез.докл. 3-ей Поводжск.н-техн.конф. 10-12 апреля 1984г. Волгоград, Волгогр. ПТИ.-1984.-С. 167-168.

183. Системное проектирование интегрированных производственных комплексов. / А.Н.Домарацкий, А.А.Лескин, В.Н.Пономарев и др. Под общ.ред. В.М.Пономарева. Л.: Машиностроение,-1986.-319с.

184. Смирнов A.M. Исследование вычислительных устройств на основе развёртывающих систем с последовательным выполнением операций при многократном использовании решающих блоков. Дис. канд. техн: наук. Л.,-1975. - 245 л.

185. Смолов В.Б. Состояние и перспективы развития средств гибридной вычислительной техники. В кн.: Неоднородные вычислительные системы. Киев: Наукова думка.-1975.-С.З-19.

186. Смолов В.Б. Функциональные преобразователи информации. Л.: Энергоиздат.-Ленингр. отд-ние,-1981. -248с.

187. Смолов В.Б., Чернявский Е.А. Об универсальности комбинированных вычислительных устройств с цифровыми управляемыми параметрами. В кн.: Вычислительная техника. Минск: БГУ им. В.П.Ленина.-1969.-С.168-171.

188. Смолов В.Б., Чернявский Е.А. Гибридные вычислительные устройства с дискретно-управляемыми параметрами. Л.: Машиностроение (Ленингр. отд-ние),-1977. - 296 с.

189. Сосонкин В.Л. Программное управление технологическим оборудованием. М.: Машиностроение,-1991.-512с.

190. Справочник по аналоговой вычислительной технике./ Пухов Г.Е., Беляков В.Г., Бердяков Г.И. и др. Киев: Техника,-1975.-432с.

191. Справочник по нелинейным схемам: Пер.с англ./ Под ред. Д.Шейнголда. М.: Мир,-1977.-528с.

192. Суховеев С.П. Объемные электромагнитные микродвигатели с субмикронными микроструктурами. // Петербургский журнал электроники.-2000.-№3-4.-С. 102-108.

193. Телец В.А., Никифоров А.Ю. Микроэлектронные преобразователи физических величин и компоненты датчиков перспективная база микросистемной техники.// Микросистемная техника.-2001.-№ 1.-С.6-12

194. Тимофеев А.В. Робототехника и гибкие производственные системы. -Л.: Знание,-1985.-196с.

195. Тимофеев-Ресовский Н.В. Генетика и эволюция. Избранные труды. М.: Медицина,-1996.-С.203-263.

196. Треви С. Связной адаптер, сопрягаемый с большинством микропроцессоров. // Электроника.-1978.-№6.-С.45-53.

197. Туркова Л.В. Од одной математической модели ГАП. В кн.: Гибкие производственные системы. Межвузовский сборник. Л.: ЛЭТИ им. Ульянолва (Ленина). 1984.-С.48-53.

198. Уемов А.И. Системный подход и общая теория систем. М.: Мысль,-1978.-272с.

199. Универсальные гибридные преобразователи информации / Смолов В.Б., Чернявский Е.А., Полянская Т.И., Курдиков Б.A.- JL: Машиностроение,-1971.-312с.

200. Успенский В.А. Витгенштейн и основания математики. // Вопросы философии.-1998.-№5.-С.85-97.

201. Успенский В.А., Семенов A.JI. Алгоритмы в современной математике и ее приложениях. В кн.: Материалы международного симпозиума, Ургенч, Узбекистан, 16-22 сент.1979г. Новосибирск: СО АН СССР.-1982.-С.99-342.

202. Успенский В.А., Семенов A.JL, Теория алгоритмов: основные открытия и приложения. М.: Наука,-1987. -288с.

203. Фишер Дж.Л. Программируемые компоненты завтрашний день сверх БИС. // Электроника.-1980.-№ 13.-С.47-53.

204. Фокс Р. Энергия и эволюция жизни на Земле. Пер.с англ.- М.: Мир.-1992. -282с.

205. Фон Берталанфи Л. Общая теория систем критический обзор. В кн.: Исследования по общей теории систем. - М.: Прогресс.-1969.-С.23-82.

206. Фон Берталанфи, Л. Общая теория систем: Обзор проблем и результатов.// Системные исследования. Ежегодник. -М.: Наука.-1969.-С.30-54.

207. Фон-Нейман Дж. Теория самовоспроизводящихся автоматов. Пер.с англ. М.: Мир,-1971 .-284с.

208. Фролов К.В. Проблемы создания гибких производств.// Машиностроение: Новые идеи. М.: Знание,-1984.-128с.

209. Хакен Г. Информация и самоорганизация: Макроскопический подход к сложным системам. М.: Мир,-1991. -240с.

210. Хакен Г. Синергетика. М.: Мир,-1980.-408с.

211. Хартли Дж. ГПС в действии. Пер. с англ. М.: Машиностроение,-1987.328с.

212. Хахлвег К. Системный подход к эволюции и эволюционной эпистемологии. В кн.: Современная философия науки, М.: Логос,-1995.-С.178-198.

213. Хахлвег К., Хукер К. Эволюционная эпистемология и философия науки. В кн.: Современная философия науки, М.: Логос, 1995.-С. 158-177.

214. Хетч Р. Расширение функциональных возможностей цифрового мультиметра при использовании микропроцессора. // Электроника.-1976.-№ 19.-С.35-42.

215. Хофф М.Е., Таунсенд М. Однокристальный микропроцессор для обработки сигналов в реальном времени. //Электроника.-1979.-№ 5.-С.23-30.

216. Частиков А.П., Балашов Е.П. Эволюция вычислительных систем.- М.: Знание.-1981.-64с. (Новое в жизни, науке и технике. Сер. " Радиоэлектроника и связь".-N 3).

217. Шарин Ю.С., Тишенина Т.Н., Шарков А.Н. и др. Гибкие производственные системы. Свердловск: Средне-Уральское книжное издательство,-1988.-160с.

218. Шеннон К. "Математическая теория дифференциального анализатора" В кн.: Шеннон К. Работы по теории информации и кибернетике. Пер.с англ. М.: Иностранная литература.-1963.-С.709-728.

219. Шеннон К. Работы по теории информации и кибернетике. Пер.с англ. -М.: Иностранная литература,-1963. -830с.

220. Шенфилд Дж. Степени неразрешимости. Пер.с англ. М.: Наука,-1977.-192с.

221. Шноль С.Э. Физико-химические факторы биологической эволюции. В кн.: Биосфера и человечество. Матер.конф. 100-лет. Тимофеева-Ресовского. Обнинск, 20-21 сент.2000г. - Обнинск: МРНЦ РАМН.-2000г.-С.66-71.

222. Шрейдер Ю.А., Шаров А.А. Системы и модели. М.: Радио и связь,-1982.-152с. (Серия Кибернетика)

223. Штернберг М.И. Синергетика и биология.// Вопросы философии.-1999. -№2.-С.95-108.

224. Щербак В.И. Информационный артефакт генетического кода (кооперативная симметрия) и интерпретация его контекстуального и ассоциативного содержания. Рукоп. депонир. в КазНИИТИ.-№ 1694.-17 июня 1987г. -6с.

225. Щербаков В.А. Разработка и исследование многофункциональных преобразователей с переменной структурой для ИИС. Дис. канд. техн. наук. Куйбышев.-КПтИ.-1975. - 221 л.

226. Эволюция производства: цифровые фабрикаторы. Сообщение. Опубликовано 20.02.2001, http://www.ovum.ru/tree/c774.htm

227. Эйген М., Шустер П. Гиперцикл. Принципы организации макромолекул. Пер.с англ. В.М.Андреева. Под ред.-М.В.Волькенштейна, Д.С.Чернавского. М.: Мир,-1982.-272с.

228. Энциклопедический словарь. В 2-х томах. М.: Советская энциклопедия,-1964.-1583с.

229. Яблонский С.В. Введение в дискретную математику. М.: Наука,-1986.-384с.

230. Ялышев А.У., Разоренов О.И. Многофункциональные аналоговые регулирующие устройства автоматики. М.: Машиностроение,-1981.-399с.232. 2700 Multimeter/Data Acquisition System. Data sheets. Keithley Instruments KIEX.-2000. Http:// www.keithley.com/

231. Advanced Automation for Space Missions: Part 5. REPLICATING

232. ADVIA© LabCell™ Bayer Corporation, 2000. Http://www.bayer.com/

233. ADVIA® IMS™. Bayer Corporation.-2000. Http://www.bayer.com/

234. Aerts, D. Quantum Structures and their future importance. // Soft Computing.-N5.-2001 .-p. 131.

235. Aerts, D. Time, space and reality: an analysis from physics. In: Mirrors of Space and Time, eds. Broekaert, J.-2001.-p.34-58.

236. Aerts, D., Transdisciplinary and integrative sciences in sustainable development. In: the Encyclopedia of Life Support Systems. Baldwin House, Aldates.-0xford.-2001 .-p.648-682.

237. ALD500RAU/ALD500RA/ALD500R. Precision integrating analog processor with precision voltage reference. Advanced Linear Devices, Inc.: 2000. Http://www. Aldinc.com/

238. AN10E40 Data Manual. Anadigm Inc.-2000. Http://www.anadigm.com/

239. AnadigmDesigner Version 1.0. Field Programmable Analog Array Design Software. - Cupertino: Anadigm.- 2000. Http://www.anadigm.com/

240. Antoniol G., Calzolari F., Cristoforetti L., Fiutem R., and Caldiera G. Adapting Function Points to Object Oriented Information Systems Online publication: March 12.-1999. Springer Verlag Heidelberg 1998. Http://www.springer.de/

241. Antonsson, E.K., Cagan, J. Formal Engineering Design Synthesis. -Cambridge University Press.-Cambridge.-U.K.-2001.-36p.

242. Arbib M.A. Simple self-reproducing universal automata. // Information and Control.-Vol. 9.-N 2.-p.177-189.-1966.

243. Erhem P., Liljenstium H. On the Coevolution of Cognition and Consciousness.// J. Theor. Biol. (1997).-V.187.-p.601-612.

244. Ashby, W.R. An Introduction to Cybernetics Chapman & Hall, London, 1956. http://pcp.vub.ac.be/books/IntroCyb.pdf

245. Babbage, Ch. Passages from the Life of a Philosopher, corrected by A. W. Van Sinderen// Annals of the History of Computing.-1980.-N 2.-p.l69-185. (Chapter 8)

246. Ball F., and Love D. Expanding the Capabilities of Manufacturing Simulators Through Application of Object-Oriented Principles. // Journal of Manufacturing Systems.-Vol. 13.-No. 6.-1994

247. Banzhaf W., Dittrich P. and Rauhe H. Emergent Computation by Catalytic. Reactions. //Nanotechnology 7(l).-1996.-p. 307-314.

248. Bard A.J. Integrated Chemical Systems: A Chemical Approach to Nanotechnology (The George Fisher Baker Non-Resident Lectureship in Chemistry at Carnell Nivers). John Wiley & Sons.-New York.-1994. -324p.

249. Benacerraf P. What Numbers Could Not Be. // Philosophical Review.-74; 1965.-p.47-73.

250. Bernard A. Nano-Bio-Technology (Tutorial). In: Hasliberg 4 WORKSHOP ON NANOSCIENCE October 16-20, 2000, Ferienhaus Wasserwendi Hasliberg.-Switzerland. IBM Research Laboratory, http ://www. sgnt. ch/hasliberg4/abstracts .htm

251. Berry G., Boudol G. The chemical abstract machine. // Theor. Сотр. Sci.-96.-1992.-p.217.

252. Biomek 2000 Laboratory Automation Workstation. Beckman Coulter.-2000. Http:// www.beckman.com/

253. Blomberg C. On the Appearance of Function and Organisation in the Origin of Life.//J.theor. Biol. V.187.-1997.-p.541-554.

254. Bogdanov A.A. Essays in Tektology: The General Science of Organization. Transl.by G.Gorelik Intersystems.-Seaside.-1980.-442p.

255. Broenink J. F. Object-oriented modeling with bond graphs and Modelica. Presented at the ICBGM '99, International Conference on Bond Graph Modeling and Simulation, part of the WMC '99, the Western

256. MultiConference, San Francisco, CA, January 17-20 1999.-Simulation Series.-Vol31.-No l.-p. 163-168.

257. Broenink J. F., and Weustink P.B.T. A COMBINED-SYSTEM SIMULATOR FOR MECHATRONIC SYSTEMS. In: Proceedings of ESM'96, Modelling and Simulation 1996, Budapest, Hungary, June 2-6 1996, SCS Publishing.-SCS Europe.-Ghent.-1996.-p.l42-148.

258. Broenink J.F., Hilderink G.H., and Bakkers A.W.P. Building Blocks for Embedded Control Systems. Proceedings PROGRESS 2000 Workshop on Embedded Systems, 13-10-2000, Utrecht, Technology Foundation (STW), 2000.-p. 27-33.

259. Bunge M. Reply to van Rootselaar's of my theory of things.// Int. J. of General Systems.-1977.-V.3.-p.l81-182.

260. Bunge M. Things.//Int. J. of General Systems.- 1974.-V.l.-p.229-236.

261. Bunge M., Sangalli A.A.L. A theory of properties and kinds.// Int. J. of General Systems.-1977.-V.3 .-p. 183-190.

262. Bunge, M. The Furniture of the World. Vol.3 of the Treatise on Basic Philosophy. D.Reidel Publ. Company: Dordrecht and Boston.-1977.-3 86p. .

263. Burns M. Atoms from Bits. The Digital Revolution in Manufacturing. TCT 2000.-Cardiff.-Wales. October 11.-2000.-1 lp.

264. Burns M. Automated Fabrication. The Future of Manufacturing //Rapid Prototyping Journal.- 1995. -Volume 1.-Number l.-p.4-10.

265. Burns M. Fabbing the Future Developments in Rapid Manufacturing. Plastics Product Design & Development Forum.-Chicago.-Illinois.-May 30.-1998.

266. Burns M. Perspectives on StereoLithography Automated Fabrication in the 19th, 20th and 21st Centuries. Keynote Address to StereoLithography Users Group Conference and Annual Meeting San Francisco.-California.-March31.-1992.

267. Byl J. Self-reproduction in small cellular automata. // Physica D.-1989.-V34.-p.295-299.

268. Campbell, K. Metaphysics Encino: Dickenson.-1976.-348p.

269. Chaitin G.J. A Century of Controversy over the Foundations of Mathematics. In: C. Calude and G. Paun, Finite versus Infinite Springer-Verlag London.-. 2000.-p. 75-100.

270. Chip-Based Genotyping for Tuberculosis Diagnosis. In: Biochip Arrays and Integrated Devices for Clinical Diagnostics.Head, S. R. IBC conference. Biochip Publication.-1997. http://www.orchidbio.com/

271. Chow P., and Gulak P.G. A field-programmable mixed-analog-digital array. In: Proceedings of the third international ACM symposium on Field-programmable gate arrays February 12 14. - Monterey.-CA US A.-1995.-p. 104-109.

272. Cipra B. Prime Formula Weds Number Theory and Quantum Physics.// Scince.-1996.-Vol. 274.-N 5295.-p. 2014.

273. Conrad M. On Design Principles for a Molecular Computer. // Comm. ACM, 28, 1985.-p.464-480.

274. Copeland, B.J Turing's O-machines, Searle, Penrose and the Brain.// Analysis.-1998.-58.-p. 128-138.

275. Copeland, B.J. Super Turing-Machines. // Complexity.-1998.-N4.-p.30-32.

276. Copeland, B.J., Proudfoot, D. Alan Turing's Forgotten Ideas in Computer Science. // Scientific American.-280 (April).-1999.-p.99-103.

277. Copeland, B.J. The Church-Turing Thesis. In: E. Zalta, ed., The Stanford Encyclopaedia of Philosophy.-1998. http://plato.stanford.edu/

278. CORBA Project. Object Management Group, Inc.: 1997. Http ://www.omg.org/

279. CoventorWare 2001.3. Architect. Data sheets. Coventor, Inc.-2001. thttp://www.coventor.com/coventorware/architect.html

280. Crabtree H.J., Lukomskyj J., Ning Y. Solutions for "Lab-on-a-Chip" Concepts. In: CWMEMS '99 Canadian Workshop on MEMS. Alberta Microelectronic Corporation.-1999.-p.32-34.

281. Crick F. On Molecules and Men. Univ. Of Washington Press.-Seattle.-1967.-86p.

282. Di Giulio M. On the Origin of the Genetic Code.// J. theor. Biol.- 1997.-VI 87.-p.573-581.

283. Dodge A., Lichtenberg J., E. Verpoorte E., de Rooij N.F. Valveless Microfluidic Chip for Heterogeneous Immunoassay (Poster) In: Hasliberg 4 WORKSHOP ON NANOSCIENCE October 16-20.-2000.-Ferienhaus Wasserwendi Hasliberg.-Switzerland.-2000.-8p.

284. Drexler K.E. Engines of Creation. The Coming Era of Nanotechnology. -Anchor Books.-1986.-246p.

285. Fabber Applications: Using the Magic. Ennex Corporation.-1999-Http://www.ennex.com/

286. Fagerstr, Jagers P., Schuster P., Sthasmary E. Biologists Put on Mathematical Glasses.// Science.-1996.-V.274.-N 5295.-p. 2039.

287. Feldkamp U., Banzhaf W., Rauhe W. A DNA Sequence Compiler, 2000, http://www.lcnc.nl/dna6/, http://lsl l-www.cs.uni-dortmund.de/molcomp/

288. Feynman R.P. There's Plenty of Room at the Bottom.// Engineering and Science.-California Institute of Technology (Caltech).-February 1960.-35p.

289. FIPSOC. User's Manual. Madrid: Sidsa.-2000r. Http:// www.sidsa.es/

290. Fontana W. Algorithmic Chemistry. In: Articial Life II: Proceedings of the 2nd ALife Workshop, C.G. Langton et al. (eds.), Addison Wesley.-Reading.-MA.-1991.-p. 159.

291. Fontana W., Buss L.W. The barrier of objects: From dynamical systems tobounded organizations. In: Boundaries and Barriers, J. Casti and A. Karlqvist (eds.), Addison-Wesley.-1996.-p. 56-116.

292. Fredkin E. and Toffoli, T. Conservative Logic. // International Journal of Theoretical Physics.-1982.-Vol. 21.-No. 3/4.-p.219-253.

293. Freitas R. A. Nanomedicine. Vol.1: Basic Capabilities. Landes Bioscience.-1999. -509p. Internet: http://www.nanomedicine.com/

294. Gaines, B.R. General System Research: Quo vadis? // General System Yearbook.-24.-1979.-p. 1 -9.

295. Garcia N. Sandia National Laboratories presents fully integrated lab-on-a-chip development. News Releases. March 26, 2000. http://www.sandia.gov/media/whatnew.htm

296. Gilbert W. The RNA world. // Nature.-V.319,1986.-p.618 (20 February.-1986)

297. Gould P. Allowing, Forbidding, but not Requiring: A Mathematics for a Human World. In: Complexity, Language, and Life. Mathematical Approaches. Ed. By J.L.Casti, A.Karlqvist. Springer-Verlag.-Berlin.-Heidelberg, New York, Tokyo.-1986.-p.l-20.

298. Griesmeyer J.M. Final Report: An Enabling Architecture for Information Driven Manufacture. Sandia National laboratories.-Albuquerquae.-NM 87185-1010.-1997.

299. Grodzki Z. The k-machines. // Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys.-1970.-N 7.-p.399-402.

300. Harbour H. What 'What Numbers Could Not Be', by Paul Benacerraf, Is. http://hilton.org.uk/index.phtml

301. Harvey-Clark J. "Lab on a chip" for DNA Testing. NASA information.-1998. http://astrobiology.arc.nasa.gov/roadmap/index.html

302. Heylighen F. Cognitive Levels of Evolution: pre-rational to meta-rational. In: The Cybernetics of Complex Systems, F. Geyer (ed.), Intersystems.-Salinas.-California.-1991 .-p.75-92.

303. Heylighen F. Principles of Systems and Cybernetics. In: Cybernetics and Systems '92, R. Trappl (ed.), World Science.-Singapore.-1992.-p. 3-10.

304. Heylighen F. Fitness as Default: the evolutionary basis for cognitive complexity reduction. In: Cybernetics and Systems '94, R. Trappl (ed.). -World Science.-Singapore.-1994.- p. 1595-1602.

305. Heylighen F. The Growth of Structural and Functional Complexity during Evolution. In: F. Heylighen & D. Aerts (eds.) "The Evolution of Complexity" Kluwer, Dordrecht, 1997.-p.7-42.

306. Heylighen F. Basic Concepts of the Systems Approach. "Principia CyberneticaProject".-1998. http://pespmcl.vub.ac.be/

307. Heylighen F. Evolutionary cybernetics. "Principia Cybernetica Project".-March 6.-2000. http://pespmcl.vub.ac.be/

308. Heylighen F. What is Systems Theory? "Principia Cybernetica Project".-1992 http://pespmc 1 .vub.ac.be/

309. Heylighen F., Campbell D.T. Selection of Organization at the Social Level: obstacles and facilitators of Metasystem Transitions, // World Futures: the journal of general evolution.- 1995.-Vol. 45:l-4.-p.l81.

310. Joslyn, V. Turchin (eds.).-1995.-p. 128-146.

311. Hjelmfelt A., Weinberger E.D., and Ross J. Chemical implementation of neural networks and Turing machines. // Proc. Natl. Acad. Sci. USA.- 1991.-N88.-p. 10983

312. Hofstadter D. Godel, Escher, Bach. Basic Books.-New York.-1979.-236p.

313. IspPAC20: In-System Programmable Analog Circuit. Specifications ispPAC20. Lattice Semiconductor Corporation.-1999. Http:// www.latticesemi.com/

314. IspPAC80: In-System Programmable Analog Circuit. Lattice. Semiconductor Corporation.-2000. Http:// www.latticesemi.com/

315. Jager E.W.H., Inganas O., and Lundstrem I., Microrobots for Micrometer-Size Objects in Aqueous Media: Potential Tools for Single Cell Manipulation. // Science.-2000.-vol. 288.-N 5475.-p.2335-2338.

316. Johnson R.C. Sandia puts GaAs sensors onto 'lab-on-a-chip'. // EE Times.-04.13.99.-http://www.eetimes.com.

317. Jones B. General System Theory and Algorithm Theory. // Int. J. General Systems. 1983. V.9.-p. 157-160.

318. Josephs M.B., Udding J.T. An algebra for delay-insensitive circuits. Technical Report WUCS89-54. St Louis, USA: Washington University.-1989.-34p.

319. Joslyn C., Turchin V. System. "Principia Cybernetica Project".-1993.

320. Http://pespmc 1 .vub.ac.be/

321. Kampis G. Beyond the Machine Metaphor. Интернет, http://hps.elte.hu/~gk/

322. Kampis G. Evolution As Its Own Cause And Effect, http://hps.elte.hu/~gk/ •

323. Kampis G. Organization, Not Behavior (An Essay about Natural and Artificial Creatures) Department of History and Philosophy of Science ELTE University .-Budapest, http://hps.elte.hu/~gk/

324. Kampis G. Self-Modifying Systems in Biology and Cognitive Science. -Oxford.-Pergamon.-1991. -544p.

325. Kampis G. Some problems of System Descriptions I: Function. // Int. J. Of General System.-1987.-Vol. 13 .-p. 143-156.

326. Kampis G. The Inside and Outside Views of Life, http://hps.elte.hu/~gk/

327. Kauffman S.A. Emergent properties in random complex automata. // Physyca D.-1984.-vl0.-p. 145-156.

328. Kauffman S.A., Smith R.G. Adaptive automata based on Darwinian selection' //PhysicaD. 1986. V.22. N.l-3.-p.68-82.

329. Kim E.E., Toole B.A. Ada and the First Computer. // Scientific American.-280 (May).-1999.-p.66-71.

330. Keller R.M. Towards a Theory of Universal Speed-Independent Modules. // IEEE Transactions on Computers.-V. C-23.-N 1 .-Jan.-1974.-p.21 -33.

331. KonikowskaB. Continuous Machines, т-computation and т-computable Sets. // Bull. Acad. Polon. Sci.-Ser. Math. Asfcronom. Phys.-1971.-N 6.-p.525-530.

332. Konikowska B. Continuous Machines. // Information and Control.-1973.-N 4.-p.353-372.

333. Konikowska B. Formalization of the Notion of an Analog Computer Described by a Linear Differential Equation with Constant Coefficients. // Bull. Acad. Polon. Sci.-Ser. Math. Asfcronom. Phys.-1972.-N 12.-p.1015-1020.

334. Krause C. ORNL Is Developing "Chemistry Lab On A Chip". Oak Ridge National Laboratory.-12.13.94. Public Affairs Department (615).-p.5744160.

335. Krylov, S.M. Universal Programmable Completely Automated Factories-on-a-Chip. Proceedings of the COMS2004. Aug.29 Sept.2, 2004. Edmonton, Canada. - MANCEF.-2004.-p.269-273.

336. Krylov S.M. A Method for Estimation of the System Evolution Rate.// Russian Journal of Genetics.-1997.-Vol.33.-No 9.-p.l 118-1119.

337. Krylov S.M. Formal Technology and Cognitive Processes. // Int. Journal of General Systems.-1996.-V.24.-p.233-243.

338. L-8800. Amino Acid Analyzer. Hitachi Instruments, Inc.-2000. Http:// www.hii-hitachi.com/

339. LACHROM 2000 series. Hitachi Instruments, Inc.-2000. Http:// www.hii-hitachi.com/

340. Langton C. G. Self-reproduction in cellular automata. // Physica D.-1984.-Vol. 10.-p.l35-144.

341. Laszlo E. Evolution. The Grand Synthesis. Boston: New Science Library.-1987.-116p.

342. Lee R.C., Cox F.B. A high-speed analog-digital computer for simulation. // IRE Transactions on Electronic Computers, EC 8.-1959.-N 2.-p.l86-196.

343. Lee, E. K. F. Field-Programmable Mixed Analog and Digital Array. -National Science Foundation.-07/l 5/97-06/30/01.

344. Leier A., Richter C., Banzhaf W., Rauhe H. Cryptography with DNA binary strands. // BioSystems.-2000.-57.-p. 13-22.

345. Lenski R.E., Ofria C., Collier T.C., Adami C. Genome complexity, robustness and genetic interaction in digital organisms. .// Nature, 1999.-V400.-N 6745.-p.661-664.

346. Leutwyler K. The New Nanofrontier. // Scientific American.-November 27.-2000.-http://www.sciam.com/explorations/2000/112700nano/

347. Libet B. Concious Mind as a Force Field: A Reply to Lindahl & Erthem. //J. theor. Biol.-V.185.-1997.-p. 137-138.

348. Lovelace, A. Ada. Notes by the Translator. In: Faster than Thought. A

349. Symposium on Digital Computing Machines. / Edited by B.V.Bowden. -London.-1957,-р.З 62-408.

350. Maniwa T. What's included in EDA? // EEdesign.-March 16.-2001. http://www.edtn.com/

351. Manna, Z. Mathematical Theory of Computation (McGraw-Hill Computer Science Series). McGraw-Hill Inc. New-York.-1974. -448p.

352. Mao Ch., Labean Т.Н., Reif J.H., & Seeman N.C. Logical computation using algorithmic self-assembly of DNA triple-crossover molecules. // Nature.-2000.-V407.-N 6803.-p.493-496.

353. MAX+PLUS II Programmable Logic Development System. Altera Corp.-1997. Http://www.altera.com/

354. McDonough J.K., and O'Leary-Hawthorne J. Numbers, Minds, and Bodies: A Fresh Look at Mind-Body Dualism. // Philosophical Perspectives, Language Mind and Ontology.-1998. -N12.-p.86-98.

355. Medevick P.A., Hollen R.M., Roberts R.S. Development of an Automated Workcell for DNA Hybridization Array Construction. // Laboratory Robotics and Automation.-V.3 .-N 4/5.-1991 .-p. 169-173.

356. Merkle R.C. Design considerations for an assemble. // Nanotechnology.-V7.-1996.-p.210-215.

357. Merkle R.C. Two Types of Mechanical Reversible Logic. // Nanotechnology.-Volume 4.-1993 .-p. 114-131.

358. Merkle R.C. NASA and Self-Replicating Systems: Implications for Nanotechnology. //Foresight Update.-No. 9.-June 1990.-p.4.

359. Microsystems. Massachusetts Institute of Technology, Microsystems Technology Laboratories.-2000. Http://www-mtl.mit.edu/mtlhome/

360. Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99

361. Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18.-1999.-Proceedings. / A.M.D. Moreira, S. Demeyer (Eds.). // Lecture Notes in Computer Science.-Vol. 1743.-Springer.-1999.

362. Mukherjee A. A Language for MEMS. In: Structured Design Methods for MEMS. Final Workshop Report. November 12-15.-1995. California Institute of Technology, Pasadena, CA.-1995.-p.228-306.

363. O.R.C.A. iFluidics — Disposable microfluidic integrated circuits. http://www.micronics.net/overview.htm, 2000.

364. ORCA® Robot. Beckman Coulter.-2000. Http:// www.beckman.com/

365. Pattee H.H. Dynamics and Language in Biology. In: Proc. 1974 Conference on Biologically Motivated Automata Theory, IEEE.-New York.-N. Y.-1974.-p.199-200.

366. Pattee, H.H. Artificial life needs a real epistemology. In: Moran et al., Advances in Artificial Life.-1995.-p.23-38.

367. Pattee, H.H. The physics of symbols and the evolution of semiotic control. In: Workshop on Control Mechanisms for Complex Systems: Issues of Measurement and Semiotic Analysis, Las Cruces, New Mexico.-December 8-12.-1996.-p. 128-142.

368. Pattee, H.H. Causation, control, and the evolution of complexity. In: Downward Causation. P. B. Anderson, P.V. Christiansen, C. Emmeche, and N. O. Finnemann, Eds. Aarhus University Press.-2000.-p.63-77.

369. Pawlak Z. Stored program computers. // Algorytmy.-V10.-1996.-p.5-19.

370. Peistel R. On the evolution of biological macromolecules III. Precelular organization. IV. Holobiotic competition // Studia biophysica. 1983. V.93.-N.2.-p.l 13-128.

371. Pennisi E., Roush W. Developing a New View of Evolution. // Science.-V.277.-4 Jul.l997.-p.34-37.

372. Penrose R. Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford, New York, Melbourne: Oxford University Press.-1994.-457p.

373. Penrose R. The Emperor's New Mind. Oxford: Oxford University Press.-1989.-486p.

374. Perrier, J.-Y., Sipper M., and Zahud J. "Toward a viable, self-reproducing universal computer." //Physica D.-Vol. 97.-1996.-p.335-352.

375. Pethig R. Chip factory cleans up water pollution.// Biotechnology.-Issue 22.2001. University of Wales Bangor: Http://www.wda.co.uk/business/publns/advances/issues/issue22/bio04.htm

376. Portable chemical analysis device. Sandia National Laboratories/-2001. http://www.sandia.gov/media/whatnew.htm,

377. Proceedings of International Hipercomputation Workshop. Ed. By J.Copeland. University College, London.-May.-24-th.-2000. Http ://www. AlanTuring.net/

378. Prokop A. Systems analysis and synthesis in biology and biotechnology.// Int. J. of General Systems.-1982.-V.8.-p.7-31.

379. PSoC™ Mixed Signal Array. Final Data Sheet. For Silicon Revision A. Lynnwood, Cypress MicroSystems.-2003. Http://www.cypress.com/.

380. Rauhe H, Vopper G, Feldkamp U., Banzhaf W., Howard J.C. Digital DNA Molecules. February 11.-2000. http://www.lcnc.nl/dna6/

381. Ray T.S. An approach to the synthesis of life. In C. G. Langton, C. Taylor, J. D. Farmer, and S. Rasmussen, editors, Artificial Life II, volume X of SFI Studies in the Sciences of Complexity. Addison-Wesley, Redwood City, CA.-1992.-p.371-408.

382. Reggia J.A., Armentron S.L., Chou H.-H., and Peng Y. Simple System that exhibit self-directed replication. // Science.-259.-February 1993.-p.1282-1287.

383. Roche/Hitachi 747 Clinical Analyzers. Hitachi Instruments, Inc., 2000. Http:// www.hii-hitachi.com/

384. Root-Bernstein R.S., Dillon P.F. Molecular Complementary I: the Complementary Theory of the Origin and Evolution of Life. // J. theor. Biol.-1997.-188 .-p.447-479.

385. Rosen R. On Information and Complexity. In: Complexity, Language, and Life: Mathematical Approaches (ed. Casti, J and Karlquist, A.). Springer.-Berlin.-1986.-p. 174-195.

386. Rubel L.A. Digital simulation of analog computation and Church's thesis. // Journal of Symbolic Logic.-1989.-54 (3).-p.l011-1017.

387. SAGIAN™ Core Systems. Beckman Coulter.-2000. Http:// www.beckman.com/

388. Salit, M.L., Guenther, F.R., Kramer, G.W., Griesmeyer, J.M., Integrating Automated Systems With Modular Architecture. // Analytical Chemistry, V66.-1994.-p.361-367.

389. Salomons O.W. .Computer Support in the Design of Mechanical Products. Phd thesis. Universiteit Twente.-1995. http://www.pt.wb.utwente.nl/staff/otto/

390. Schmidhuber J. A. Computer Scientist's View of Life, the Universe, and Everything. In C. Freksa, ed., Foundations of Computer Science: Potential -Theory Cognition. // Lecture Notes in Computer Science.-Springer.-1997.-p. 201-208.

391. Schmidhuber J. Algorithmic Theories of Everything. Technical Report IDSIA-20-00.-Version 2.0; 20 Dec 2000. http://www.idsia.ch/~juergen/

392. Schoenemann P.T. Syntax as an Emergent Characteristic of the Evolution of Semantic Complexity. Minds and Machines.-9.-1999.-p.309-346.

393. Schwarz E. TOWARD A HOLISTIC CYBERNETICS. FROM SCIENCE THROUGH EPISTEMOLOGY TO BEING. In: Cybernetics and Human Knowing. Alborg.-1996. http://www.unine.ch/ciesys/Welcome.html

394. Schweber B. Programmable Analog ISs: Designer's Delight or Dilemma? // Electronic Design News.-April 13.-2000.-p.74-84.

395. Shealy D.B., Bailey S.L., Hill R.H., Orti D.L. Solving the Problems of Laboratory Robotic Systems. // Laboratory Robotics and Automation.-V.3.-N 2.-1991.-p.67-73.

396. Sheila H. DeWitt Massively Parallel, Microfabricated Systems for High-Throughput Drug Discovery. In: February 1998 Meeting on Drug Discovery, Somerset, NJ, USA Marriott Hotel. http://lab-robotics.org, http://www.orchidbio.com/

397. Siegelmann, H.T. Computation Beyond the Turing Limit. // Science.-N268.-1995.-p.545-548.

398. Sipper M. Non-uniform cellular automata: Evolution in rule space and formation of complex structures. In R. A. Brooks and P. Macseditors, Artificial Life IV.-The MIT Press.-Cambridge, Massachusetts.-1994.-p.394-399.

399. Sjolander S. On the Evolution of Reality Some Biological Prerequisites and

400. Evolutionary Stages. // J. theor. Biol. V.l 87.-1997.-p.595-600.

401. Software Technologies and Methods Formal Design Techniques. Part 3.10 Formal Design Techniques. Swedish Institute of Computer Science Electrum.-1997. Http://www.sics.se/sicsinfo/researchprog/ф97/sф4.html

402. Sontag E.D., Siegelmann H. Analog computation, neural networks, and circuits. // Theor. Сотр. Sci. -V131.-1994.-p.331-360.

403. Souza C. Anadyne speeds system development with reconfigurable analog. // Electronics Business News.-08.10.2000.-3p.

404. Staccato applications-focused workstations. Zymark Corporation.-2000. Http:// www.zymark.com/

405. Stannett, M. X-Machines and the Halting Problem: Building a Super-Turing Machine. // Formal Aspects of Computing.-2.-1990.-p.331-341.

406. Stewart I. Deciding the Undecidable. // Nature.-1991.-V352.-p.664-665.

407. Structured Design Methods for MEMS. Final Workshop Report. November 12-15.-1995. -326p.(California Institute of Technology, Pasadena, С A.)

408. Swoyer C. Properties. Stanford Encyclopedia of Philosophy. Stanford University.-1999. Http://www.plato.stanford.edu/

409. Szathmary E., Smith J.M. From Replicators to Reproducers: the First Transitions Leading to Life.// J. theor. Biol.-1997.-V.187.-p.555-571.

410. Tamura S., Tanaka K. Note on Analog Memory Automata.// Information Sciences.-1974.-7.-p.73-80.

411. Thompson A. Artificial Evolution in the Physical World In: Evolutionary Robotics: From Intelligent Robots to Artificial Life (ER'97), T. Gomi (Ed.). -AAI Books.-1997.-p. 101-125.

412. Thompson A. Temperature in Natural and Artificial Systems In: Proc. 4th Int. Conf. on Artificial Life (ECAL97), Husbands, P. and Harvey, I. (eds.).

413. MIT Press.-1997.-p.388-397.

414. Tomiyama Т., Yoshikawa H. Extended general design theory. In: H. Yoshikawa and E. Warman, editors, Design Theory for CAD, IFIP. Elsevier Science Publishers.-1987.-p.95-l 30.

415. Turchin V. The Phenomenon of Science. A cybernetic approach to human evolution Columbia University Press.-New York.-1977.-360p.

416. Turing A. M. On computable numbers with an application to the Entscheidungsproblem. //Proc. London Maths. Soc., ser. 2.-1936.-42.-p.230-265.

417. Turing A. M. Systems of Logic defined by Ordinals. // Proc. Lond. Math. Soc., ser. 2.-1939.-45.-p. 161-228.

418. Unbounding the Future: the Nanotechnology Revolution. / Eric Drexler and

419. Chris Peterson, with Gayle Pergamit. William Morrow and Company, Inc., New York.-1991.-346p.

420. Van Rootselaar B. On Bunge's theory of things. // Int. J. of General Systems.-1977.-V.3.-p.l75-180.

421. Veerkamp P. J. Multiple Worlds in an Intelligent CAD System. Center of Mathematics and Computer Science, Amsterdam, Report CS-R9057.-1990.-lip.

422. Veerkamp P.J., Bernus P., ten Hagen P.J.W. IDDL, a Language for Intelligent Interactive Integrated CAD System. Center of Mathematics and Computer Science, Amsterdam, Report CS-R9056.-1990.-17p.

423. Verpoorte S. Microfluidics: Chip-Based Chemistry for the Masses. In: Hasliberg 4 WORKSHOP ON NANOSCIENCE, October 16-20, 2000. -Ferienhaus Wasserwendi Hasliberg, Switzerland.-2000.-p.124-128.

424. Von Bertalanffy L. General System Theory. Foundations, Development, Applications. New York: George Braziller 1968.-120p.

425. Vykoukal J., Schwartz J. A., Becker F. F., and Gascoyne P. R. C., "A Programmable Dielectrophoretic Fluid Processor For Droplet-based Chemistry", Proceedings of the jiTAS 2001 Symposium.-Kluwer Academic Publishers.-2001.-p. 72-74.

426. Wegrzyn S., Vidal P., Gille J-Ch. On some models for developmental systems. Part XII. More on internal context sensitivity. //IntJ.Systems Sci. 1990.-V.21.-No. 8.-p.l441-1449.

427. What is a Fabber? An Introduction to the 21st Century. Ennex Corporation, 1998-2000. Http://www.ennex.com/

428. Whitehead, A.N.: Process and Reality.- New York: Free Press.-1929.

429. Wood P.N. A Functional Model for the Ribosome.// J. theor. Biol.-1997.-V185.-p.97-118.

430. XP Robot. Zymark Corporation.-2000. Http:// www.zymark.com/

431. Yao X., and Higuchi T. Promises and Challenges of Evolvable Hardware. http://www.cs.adfa.oz.au/~xin, 1996.

432. Yi Lin, Yong-Hao Ma. Remarks on analogy between systems.// Int. J. of General Systems.-1987.-V.13.-p.l35-141.

433. Yi Lin, Yong-Hao Ma. Some properties of linked time systems.// Int. J. of General Systems.-1987.-V. 13 .-p. 125-134.

434. Zakowski W. Controlled (Z, Q)-machines and Generalized (Z, CD-computable Sets. // Bull. Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys.-1976.-N 2.-p.l29-132.

435. Zalta E.N. 1983, Abstract Objects: An Introduction to Axiomatic Metaphysics. Dordrecht: D. Reidel (Kluwer).-1983.-193p.

436. Zalta E.N. Principia Metaphysica. Center for the Study of Language and Information Stanford University. Stanford.-1999. Http://www.stanford.edu/

437. Zalta E.N. The Theory of Abstract Objects. Center for the Study of Language and Information Stanford University. Stanford (Metaphysics Research Lab).-1999. Http://www. plato.stanford.edu/

438. Zeleny M. Tectology. // Int.J. of General Systems. 1988.-V.14.-N 4.-December.- p.331-334.

439. Zhou X-F., Burt J.P.H., Talary M.S., Goater A.D., and Pethig R. Development of biofactory-on-a-chip technology. Proceedings of SPIE. Micro machining & Microfabrication, 2000.-N4177: 29, S6. http ://www. sees. bangor.ac.uk/

440. Патенты и авторские свидетельства по теме диссертации:

441. Патент №1425635 РФ, МПК G05F 3/00. Программируемое многофункциональное аналого-цифровое устройство сопряжения / Крылов С.М. Опубл. 23.09.88, Бюл. №35.

442. Патент № 1488877 РФ, МПК G11C 27/00/ Аналоговое запоминающее устройство / Крылов С.М. Опубл. 23.06.89, Бюл. № 23.

443. Патент № 1522264 РФ, МПК G06G 7/12. Рекурсивное вычислительное устройство / Крылов С.М. Опубл. 15.11.89, Бюл. №42.

444. Патент №1559355 РФ, МПК G06F 15/74. Программируемоемногофункциональное аналого-цифровое устройство сопряжения / Крылов С.М. Опубл. 23.04.90, Бюл. №15.

445. Патент №1709841 РФ, МПК G06G 7/26. Функциональный генератор / Крылов С.М. ДСП, 1992.

446. Патент №1715087 РФ, МПК G06F 3/00. Программируемое многофункциональное аналого-цифровое устройство сопряжения / Крылов С.М. ДСП, 1992.

447. А. с. 1451778 СССР, МКИ G11C 27/00/ Аналоговое запоминающее устройство / Крылов С.М., Сафронов Е.А. Опубл. 15.01.89, Бюл. №2.

448. А. с. 1495853 СССР, МКИ G11C 27/00. Аналоговое запоминающее устройство / Крылов С.М., Сафронов Е.А. Опубл. 23.07.89. Бюл. №27.

449. А. с. 841055 СССР, МКИ G11C 27/00. Аналоговое запоминающее устройство / Крылов С.М. Опубл. 23.06.81, Бюл. №23.

450. А. с. 855736 СССР, МКИ G11C 27/00. Аналоговое запоминающее устройство / Крылов С.М. Опубл. 15.08.81, Бюл. № 30.

451. А. с. 995311 СССР, МКИ НОЗК 13/02. Многоканальный цифро-аналоговый преобразователь. / Антонюк Т.Н., Гребцова Л.И., Крылов С.М. Опубл. 07.02.83, Бюл. №5.

452. А.с. 1582350 СССР, МКИ НОЗК 17/681. Коммутатор напряжения / Крылов С.М. Опубл. 30.07.90, Бюл. №28.

453. А.с. 1589282 СССР, МКИ G06F 12/00. Контроллер памяти. / Горошкин И.П., Король В.П., Крылов С.М. Опубл. 30.08.90, Бюл. №32.