Список литературы по теме "Системы поиска решений"

Г.В. Соколов

Список литературы с 1995 г.

Теория поиска решений

Дополнение списка (от 20.04.07)

Артемьева И.Л., Крылов Д.А. Планировщик решателей задач по спецификации класса задач // Дальневосточная математическая школа-семинар имени академика Е.В. Золотова. Владивосток, 2002. С. 112-113.
Емельянов В.В., Курейчик В.М., Курейчик В.В.. Теория и практика эволюционного моделирования. – М.: Физматлит, 2003. -432с.
Клещев А.С., Артемьева И.Л. Математические модели онтологий предметных областей. Часть 1. Существующие подходы к определению понятия "онтология" // Научно-техническая информация, серия 2 "Информационные процессы и системы", 2001, № 2, с. 20-27.
"Искусственные иммунные системы и их применение". Пер. с англ. под ред. А.А. Романюхи. Москва, ФИЗМАТЛИТ, 2006. 344 стр. Тираж - 600.
Клещев А.С., Артемьева И.Л. Отношения между онтологиями предметных областей. Часть 2. Отношения сходства онтологий, композиция онтологий // Научно-техническая информация, серия 2 "Информационные процессы и системы", № 2, 2002. С. 24-31.
Книга посвящена новой области информатики и математического моделирования – искусственным иммунным системам. Принципы работы и механизмы иммунной системы используются для построения алгоритмов анализа данных, оптимизации и распознавания, систем компьютерной и интернет безопасности, оценки финансовых рисков и других приложений. Данное направление близко к идеям и методам искусственного интеллекта, но несколько отличается исходными положениями и подходами.
"Итоги науки и техники" Серия "Современная математика и ее приложения". Тематические обзоры. Т. 110. "Оптимальное управление и динамические системы". Научный редактор серии Р.В. Гамкрелидзе. Москва, ВИНИТИ, 2006. 272 стр. Тираж - 300.
Кудрявцев В.Б., Гасанов Э.Э., Долотова О.А., Погосян Г.Р. "Теория тестирования логических устройств". Москва, ФИЗМАТЛИТ, 2006. 160 стр. Тираж - 400.
Тестирование логических устройств – активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Курейчик В.М., Лебедев Б.К., Лебедев О.Б. "Поисковая адаптация: теория и практика". Москва, ФИЗМАТЛИТ, 2006. 272 стр. Тираж - 300.
Рассматриваются задачи, методы и алгоритмы адаптации, используемые для построения поисковых алгоритмов оптимизации. Описывается типовая структура адаптивного алгоритма, излагаются методы коллективной адаптации в условиях динамически изменяющейся внешней среды. Излагается общий цикл проектирования СБИС, этапы конструкторского проектирования СБИС и основные задачи, решаемые на этих этапах, с учетом современных тенденций. Предназначена для специалистов в области специальных методов оптимизации, разработчиков алгоритмов на основе перспективных методов эволюционной адаптации, разработчиков интеллектуальных САПР.
Новак В., Перфильева И., Мочкорж И. "Математические принципы нечеткой логики". Пер. с англ. Под ред. Аверкина А.Н.. Москва, ФИЗМАТЛИТ, 2006. 352 стр. Тираж - 300.
Эта книга – первое российское издание, в котором нечеткая логика представлена с позиций формального дедуктивного исчисления. Специфика нечеткости отражена в выборе решеточной структуры истинностных значений, обогащенной алгебраическими операциями. Возникающая при этом логическая алгебра, называемая резидуальной решеткой, обобщает булеву алгебру. Помимо логики в книге рассматриваются примеры формальных конструкций фраз естественного языка и неформальных схем построения умозаключений. Для студентов, аспирантов и научных сотрудников университетов, технических вузов, научных учреждений.

Дополнение списка (от 29.12.04)

Л.В.Городняя "Основы функционального программирования" -М.: www.intuit.ru, Серия "Основы информационных технологий", Курс лекций, 2004. С. 272.
Виттих В.А. Онтологический анализ и синтез при управлении сложными открытыми системами. //Проблемы управления и моделирования в сложных системах: Труды \/ международной конференции. (Самара, 17-21 июня 2003 г.).-Самара: СНЦРАН, 2003. С. 50-60.
Смирнов С.В. Онтологический анализ в системах компьютерного моделирования. //Проблемы управления и моделирования в сложных системах: Труды \/ международной конференции. (Самара, 17-21 июня 2003 г.).-Самара: СНЦРАН, 2003. С. 102-107.
И.Д. Гофман, Д.А. Инишев, А.В. Шурбаков, Л.Г. Романов. Моделирование ресурсных ограничений при структурном неопределенном планировании в технологии TIME-EX // Труды VI-й международной конференции "Проблемы управления и моделирования в сложных системах" -Самара: Самарский Научный Центр РАН, 2004. -С. 176-182.
Россеева О.И., Загорулько Ю.А. Организация эффективного поиска на основе онтологий. // Труды международного семинара Диалог'2001 по компьютерной лингвистике и ее приложениям. -Т.2. -Аксаково, 2001. -с.333-342.
Д.М. Прудников. Использование мета-свойств при построении онтологий // Труды 9-й национальной конференции по искусственному интеллекту с международным участием - КИИ'2004. -Москва: Физматлит, 2004. -Т.1. -С.85-93.
О.И. Боровикова, Ю. А. Загорулько. Организация порталов знаний на основе онтологий. // Труды международного семинара Диалог'2002 "Компьютерная лингвистика и интеллектуальные технологии". -Т.2. -Протвино, 2002. -с.76-82.
С.В. Булгаков, Ю.А. Загорулько, Ю.В. Костов. Проект интеллектуального интернет-портала информационных ресурсов о научном и производственном потенциале региона // Труды V-й международной конференции "Проблемы управления и моделирования в сложных системах" -Самара: Самарский Научный Центр РАН, 2003. -С. 255-260.
О.И. Боровикова, С.В. Булгаков, Ю.А. Загорулько, Е.А. Сидорова, Ю.П. Холюшкин. Концепция интеллектуального интернет-портала знаний для доступа к информационным ресурсам по археологии и этнографии // Труды VI-й международной конференции "Проблемы управления и моделирования в сложных системах" -Самара: Самарский Научный Центр РАН, 2004. -С. 215-220.
А.Г. Марчук, Ю.П. Холюшкин, Ю.А. Загорулько, В.Т. Воронин, О.А. Андреева, О.И. Боровикова, С.В. Булгаков, В.С. Костин, А.Н. Нуртдинов, Е.А.Сидорова. Разработка новых методов и информационных технологий представления и обработки археологических и этнографических данных. //Информационные технологии в гуманитарных исследованиях Вып.7. - Новосибирск, Изд. НГУ, 2004, -С.10-22.
Ю.А. Загорулько, И.С. Кононенко, Е.А. Сидорова. Ю.В. Костов. Подход к интеллектуализации документооборота // "Информационные технологии" № 11, 2004, с. 2-11.
Ю.А. Загорулько, И.С. Кононенко, Е.А. Сидорова. Концепция интеллектуализации документооборота // Труды 9-й национальной конференции по искусственному интеллекту с международным участием - КИИ'2004. -Москва: Физматлит, 2004. -Т.3. -С.986-993.
С.В. Булгаков. Подход к построению мульти-агентной системы содержательного поиска во множестве разнородных структурированных источников данных // Труды 9-й национальной конференции по искусственному интеллекту с международным участием - КИИ'2004. -Москва: Физматлит, 2004. -Т.2. -С.706-714.
В.Г. Напреенко, А.С. Нариньяни, Ю.А. Кузин, Н.Е. Яковлев. Оптимизация политики цен и налогов с помощью компьютерной модели региона (на примере Томской области) // Труды VI-й международной конференции "Проблемы управления и моделирования в сложных системах" -Самара: Самарский Научный Центр РАН, 2004. -С. 314-321.
В.Г. Напреенко, А.С. Нариньяни. Опыт недоопределенного моделирования экономики // Труды 9-й национальной конференции по искусственному интеллекту с международным участием - КИИ'2004. -Москва: Физматлит, 2004. -Т.1. -С.412-419.
Загорулько Г.Б., Гончар А.М. . Подход к разработке Экспертной системы корректировки микроэлементного состава организма на основе данных рентгенофлуоресцентного анализа волос. //Проблемы управления и моделирования в сложных системах: Труды \/ международной конференции (Самара, 17-21 июня 2003 г.).-Самара: СНЦРАН, 2003. С. 242-247.

Дополнение списка (от 29.05.03)

Большаков Б.Е. Основы теории развития системы общественное производство - природная среда с использованием измеримых величин. Автореферат (дтн). - Дубна, 2000.

Дополнение списка (от 13.05.02)

Grady Booch Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд./Пер. с англ. - М.: Изд-во "Бином", СПб.: "Невский диалект", 2000. - 560 с.
Маторин С.И. О новом методе системологического анализа, согласованном с процедурой объектно-ориентированного проектирования.(I, II) // Кибернетика и системный анализ. - 2001, N4; 2002, N1.
Бондаренко М.Ф., Маторин С.И., Соловьёва Е.А. Особенности теории и практики решения сложных проблем на основе онтологий // Искусственный интеллект. - 2000. - N3. - С. 25-33.
Соловьёва Е.А., Маторин С.И. О моделировании понятийных знаний: системный бионический подход // НТИ. Сер. 2. - 1989. -N3. - С. 2-8.
Фаулер М., Скот К. UML в кратком изложении. Применение стандартного языка объектного моделирования / Пер. с англ. - М.: Мир, 1999. - 191 с.
Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя / Пер. с англ. - М.: ДМК, 2000. - 432 с.
Советов Б.Я., Яковлев С.А. Моделирование систем. - М.: Высш.шк., 1998. - 319 с.

Список литературы с 1995 г.

Теория поиска решений

Батищев Д.И. Генетические алгоритмы решения экстремальных задач /Учебное пособие.- Воронеж, ВГТУ, 1995. - 69 с.
Берштейн Л.С. и др. Модели и методы принятия решений в интегрированных интеллектуальных системах. - Ростов на Дону: Изд-во Ростовского ун- та, 1999.
Васильев Н.С. Метод синтеза условий выводимости хорновских и некоторых других формул // Сиб. Мат. Журн. 1997. Т.38. N 5.
Васильев С.Н. От классических задач регулирования к интеллектному управлению //Известия академии наук. Теория и системы управления, 2001, N 1, с. 5-22 (список литературы из 223 пунктов).
Гладун В.П., Ващенко Н.Д. Локально-статистические методы формирования знаний // Кибернетика и системный анализ. - 1995. - N2. - C.62-74.
Гладун В.П. и др. Вывод гипотез о составе и свойствах объектов на основе аналогии // Искусственный интеллект. - 2000. - N1. - C. 44-52.
Горбань А.Н., Россиев Д.А. Нейронные сети на персональном компьютере. Новосибирск: Наука, 1996.
"Итоги науки и техники" Серия "Современная математика и ее приложения". Тематические обзоры. Т. 110. "Оптимальное управление и динамические системы". Научный редактор серии Р.В. Гамкрелидзе. Москва, ВИНИТИ, 2006. 272 стр. Тираж - 300.
Кигель В.Р. Математические методы принятия решений в эффективном предпринимательстве (укр.). - Киев: Ин-т экономики, управления и хозяйственного права, 1999. - 269 с.
Коваль В.Н., Кук Ю.В. Целенаправленные системы планирования решения // Искусственный интеллект. - 1999. - N2. - С. 158-165.
Курейчик В.В. Об эволюционном подходе к проблеме принятия решений. // Известия ТРТУ. Тематический выпуск: Интеллектуальные САПР. - Таганрог: ТРТУ, 2000. - N2(16).
Курейчик В.М. Генетические алгоритмы. - Таганрог: изд-во ТРТУ, 1998. - 242 с.
Курейчик В.М., Лебедев Б.К., Лебедев О.Б. "Поисковая адаптация: теория и практика". Москва, ФИЗМАТЛИТ, 2006. 272 стр. Тираж - 300.
Лабутин С.А., Пугин М.В. Статические методы и модели в измерительных задачах. - Н.- Новгород: НГТУ, 2000. - 115 с.
Лотов А.В. и др. Компьютер и поиск компромисса. Метод достижимых целей. М. Наука, 1997.
Михеенкова М.А. Развитие ДСМ-метода автоматического порождения гипотез для его применения при анализе социологических данных типа "субъект-> поведение". Автореферат на соискание уч. степени ктн. - М.: ВИНИТИ, 1998.
Новак В., Перфильева И., Мочкорж И. "Математические принципы нечеткой логики". Пер. с англ. Под ред. Аверкина А.Н.. Москва, ФИЗМАТЛИТ, 2006. 352 стр. Тираж - 300.
Строц А.О., Яхно Т.М. Интеграция нейронных сетей и генетических алгоритмов. Научно-технический отчет. N 12. РосНИИ ИИ, Москва-Новосибирск, 1998, 32с.
Таран Т.А. Концепция аргументационной системы поддержки принятия решений в конфликтных ситуациях. // Труды 4-го международного семинара по прикладной семиотике, семиотическому и интеллектуальному управлению ASC/IC'99. Ред. д.ф.-м.н. Осипов Г.С. - М., ПАИМС, 1999.

Представление знаний

Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. /Учебник. Спб.: Питер, 2001. - 384 с.
Grady Booch Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд./Пер. с англ. - М.: Изд-во "Бином", СПб.: "Невский диалект", 2000. - 560 с.
Загоруйко Н.Г. Прикладные методы анализа данных и знаний. - Новосибирск: Институт математики СО РАН, 1999.
Загорулько Ю.А., Попов И.Г. Представление знаний в интегрированной технологической среде SemP-TAO // Сб. Проблемы представления и обработки не полностью определенных знаний/ - М. - Новосибирск, RRIAI, 1996.
Загорулько Ю.А.. Методы представления и обработки знаний: Семантические сети и системы продукций. Методическое пособие. Изд-во НГУ. Новосибирск, 1996. 46 с.
Загорулько Ю.А., Попов И.Г. Подход к разработке языка представления знаний, использующего динамическое множество ограничений. // Труды шестого международного семинара "Распределенная обработка информации". -Новосибирск, 1998. -С.323-327.
Загорулько Ю.А., Попов И.Г., Щипунов В.В. Интегрированная технологическая среда для создания систем обработки знаний . РАН. Известия Академии наук. Теория и системы управления. N 5, 1995. С.210-213.
Загорулько Ю.А., Попов И.Г. Описание сложных предметных областей на основе интеграции средств представления знаний. Труды международного семинара Диалог'97 по компьютерной лингвистике и ее приложениям. Москва, 1997. С.110-115.
Клещев А.С., Артемьева И.Л. Математические модели онтологий предметных областей. Часть 1. Существующие подходы к определению понятия "онтология" // Научно-техническая информация, серия 2 "Информационные процессы и системы", 2001, № 2, с. 20-27.
Клещев А.С., Артемьева И.Л. Отношения между онтологиями предметных областей. Часть 2. Отношения сходства онтологий, композиция онтологий // Научно-техническая информация, серия 2 "Информационные процессы и системы", № 2, 2002. С. 24-31.
Корнеев В.В. и др. Базы данных. Интеллектуальная обработка информации. - М.: Нолидж, 2000. - С. 352.
Нарыжный Е.В. Компьютерная обучающая система ОСТЭЛА, Труды 6-й национальной конференции по искусственному интеллекту с международным участием (КИИ`98). Российская Ассоциация искусственного интеллекта, г. Пущино: 1998, Т.1, С. 49-55.
Непейвода Н.Н. Парадокс изобретателя и уровни знаний и умений // Знание - Диалог - Решение / Труды конф. KDS - 2001. - С - Петербург, 2001, Том 2. - С. 515 -518.
Осипов Г.С. Приобретение знаний интеллектуальными системами. - М.: Наука - Физматлит, 1997.
Осипов Г.С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретения знаний // Известия РАН, Теория и системы управления. - М.: Наука, 1995.
Россеева О.И., Загорулько Ю.А. Организация эффективного поиска на основе онтологий. // Труды международного семинара Диалог'2001 по компьютерной лингвистике и ее приложениям. -Т.2. -Аксаково, 2001. -с.333-342.
Смердина Г.В. Когнитивная сеть - активная динамическая среда для задач управления и принятия решений. // Труды 4-го международного семинара по прикладной семиотике, семиотическому и интеллектуальному управлению ASC/IC`99 / Под ред. Осипова Г.С. и Толмачева И.Л. - М.: ПАИМС, 1999. - С. 89-101.
Стефанюк В.Л. Теоретические аспекты разработки компьютерных систем обучения. Учебное пособие. Саратов: Издательство Саратовского университета, 1995, 36 с.
Проблемы представления и обработки не полностью определенных знаний. Под редакцией И.Е. Швецова, РосНИИ ИИ, Москва-Новосибирск, 1996, 123с.

Системы искусственного интеллекта

Артемьева И.Л., Крылов Д.А. Планировщик решателей задач по спецификации класса задач // Дальневосточная математическая школа-семинар имени академика Е.В. Золотова. Владивосток, 2002. С. 112-113.
Астанин С.В., Захаревич В.Г. Информационно-советующие комплексы систем гибридного интеллекта. - Таганрог: изд-во ТРТУ, 1997.
Гладун В.П. Партнерство с компьютером (человеко-машинные целеустремленные системы). - К.: Port - Royal, 2000. - 128 с.
Загорулько Ю.А., Попов И.Г. Представление знаний в интегрированной технологической среде SemP-TAO // Сб. Проблемы представления и обработки не полностью определенных знаний/ - М. - Новосибирск, RRIAI, 1996.
Загорулько Ю.А., Кононенко И.С., Сидорова Е.А. Semp-L - программная среда для создания лингвистических проектов. // Труды международного семинара Диалог'2000 по компьютерной лингвистике и ее приложениям. Т.2 -Протвино, 2000. -с.137-141.
Заде Л. Понятие лингвистической переменной/ Пер. с англ. М.: Мир, 1976. - 165 С.
"Искусственные иммунные системы и их применение". Пер. с англ. под ред. А.А. Романюхи. Москва, ФИЗМАТЛИТ, 2006. 344 стр. Тираж - 600.
Еремеев А.П. Экспертные модели и методы принятия решений. - М.: МЭИ, 1995.
Искуственный интеллект: - В 3 кн.: Справочники/ Под ред. Э.В. Попова, Д.А. Поспелова, В.Н. Захарова, В.Ф. Хорошевского. - М.: Радио и связь, 1990.
Кожевникова Г.П., Микетина Е.Э. Концепция готовых оценочных ресурсов и построение метрического аппарата оценки качества интеллектуальных систем // Знание - Диалог - Решение / Труды конф. KDS - 2001. - С - Петербург, 2001, Том 1. - С. 342 - 350..
Попов Э.В. и др. Реинжиниринг бизнеса: Реинжиниринг организаций и информационные технологии. - М.: Финансы и статистика, 1997.
Першиков В.И., Савинков В.М. Толковый словарь по информатике. - М., Финансы и статистика, 1991.
Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. - М.: Наука, 1976.
Попов Э.В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ. - М.: Наука. Гл. ред. ф-м лит., 1987.
Попов Э.В. и др. Реинжиниринг бизнеса: Реинжиниринг организаций и информационные технологии. - М.: Финансы и статистика, 1997.
Поспелов Г.С. Системный анализ и искусственный интеллект. - М.: ВЦ АН СССР, 1980.
Поспелов Г.С. Искусственный интеллект - основа новой информационной технологии. - М.: Наука, 1988.
Поспелов Д.А. Ситуационное управление: теория и практика. - М.: Наука, 1980.
Минский М. Структура для представления знания // Психология машинного зрения/ - М.: Мир, 1978.
Уотерман Д. Руководство по экспертным системам. - М.: Мир, 1989.
Швецов А.Е. Основные положения технологии активных объектов. - Новосибирск, Препринт/ Рос. НИИ ИИ, 1995.
Fikes,R.E. and Nilsson, N.J., "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving," Artificial Intelligence: Business/Technology Books (USA), Vol.2, 1971.
Problem Solving and Planning//Artificial Intelligence: An Overview (Обзор): B/T BOOKS (USA), Vol. 5A, 5B, 5C, 1984.

Многоагентные системы

Городецкий В.И. Информационные технологии и многоагентные системы // Проблемы информатизации. 1998. Вып. 1. С. 3 - 14.
Загорулько Ю.А., и др. Использование агентной технологии для разработки систем представления и обработки знаний. // Труды II-й международной конференции "Проблемы управления и моделирования в сложных системах." -Самара: Самарский Научный Центр РАН, 2000. -С. 245-250.
Загорулько Ю.А., Попов И.Г., Костов Ю.В.. Интеграция технологии баз знаний с агентной технологией и методами программирования в ограничениях. // Материалы международной научно-технической конференции "Информационные системы и технологии" (ИСТ ’2000). -Новосибирск: Издательство НГТУ, 2000. -Т.3. -С. 508.
Загорулько Ю.А., Попов И.Г., Костов Ю.В. Подход к интеграции технологии баз знаний с мульти-агентной технологией. // Четвертый сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-2000). Тезисы докладов. -Новосибирск: Издательство Института математики, 2000. Часть 2. -С. 115.
Загорулько Ю.А., Попов И.Г., Костов Ю.В., Сергеев И.П. Общая концепция агентов в системе моделирования SEMP-A. // Труды международной научно-практической конференции KDS-2001 "Знание-Диалог- Решение". -Т.1. Санкт-Петербург, 2001, -с.259-267.
Емельянов В.В. Многоагентная модель децентрализованного управления производственными системами // Информационные технологии и вычислительные системы. 1998, N 1. С.69-77.
Нестренко Т.В., Старовит С.А., Титова М.В., Швецов И.Е. TAO-Kit: система программирования в активных объектах. Технический отчет. N 5. РосНИИ ИИ, Москва-Новосибирск, 1996, 38с.
Поспелов Д.А. Многоагентные системы - настоящее и будущее // Информационные технологии и вычислительные системы. 1998. N 1. С. 14-21.
Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте // Новости искусственного интеллекта, N2, 1998.
Хорошевский В.Ф. Поведение интеллектуальных агентов: модели и методы реализации. // Труды 4-го международного семинара по прикладной семиотике, семиотическому и интеллектуальному управлению ASC/IC'99. Ред. д.ф.-м.н. Осипов Г.С. - М., ПАИМС, 1999.
Швецов А.Е. Основные положения технологии активных объектов. - Новосибирск, Препринт/ Рос. НИИ ИИ, 1995.
Швецов И.Е., Нестеренко Т.В., Старовит С.А. ТАО - технология активных объектов для разработки многоагентных систем. Информационные технологии и вычислительные системы. РАН, Москва. 1998, N 1. С. 35-44.
Agent oriented software engineering: first international workshop; revised papers / AOSE 2000, Limerick, Ireland, June 10, 2000. Paolo Ciancarini; Michael Wooldridge (ed.). - Berlin, …: Springer, 2001.

Экспертные системы

Еремеев А.П. и др. Реализация прототипа системы поддержки принятия решений реального времени на основе инструментального комплекса G2 // Программные продукты и системы. - 1996. -вып. 3, - с.21-26.
Попов Э.В. и др. Статические и динамические экспертные системы. [Уч. пособие] - М.: Финансы и статистика, 1996. - 320 с.
Трахтенгерц Э.А. Компьютерная поддержка принятия решений. - М.: СИНТЕГ, 1998.

Моделирование

Большаков Б.Е. Основы теории развития системы "общественное производство - природная среда" с использованием измеримых величин. Автореферат (дтн). - Дубна, 2000.
Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя / Пер. с англ. - М.: ДМК, 2000. - 432 с.
Гладун В.П. Гипотетическое моделирование: методология и применение // Кибернетика и системный анализ. - 1997. - N1. - С. 10-20.
Л.В.Городняя "Основы функционального программирования" - М.: www.intuit.ru, Серия "Основы информационных технологий", Курс лекций, 2004, 272 с.
Емельянов В.В. Системы поддержки принятия решений на основе интеллектуальной имитационной среды // Знание - Диалог - Решение / Труды конф. KDS - 2001. - С - Петербург, 2001, Том 1.
Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационное моделирование сложных систем и процессов. Язык РДО. -М.: АНВИК, 1998. - 427 с.
Емельянов В.В., Курейчик В.М., Курейчик В.В.. Теория и практика эволюционного моделирования. – М.: Физматлит, 2003. -432с.
Еремеев А.П. Экспертные модели и методы принятия решений. - М.: МЭИ, 1995.
Загорулько Ю.А., Попов И.Г. Описание сложных предметных областей на основе интеграции средств представления знаний. // Труды международного семинара Диалог'97 по компьютерной лингвистике и ее приложениям. -Москва, 1997. -С.110-115.
Загорулько Ю.А., Соколов Г.В. Функциональное моделирование логических элементов на основе системы представления знаний SEMP-TAO // Роль метазнаний в системах поиска решений. // Труды Международных конференций "Искусственные интеллектуальные системы" (IEEE AIS'02) и "Интеллектуальные САПР" (CAD-2003). Научное издание. - М.: Издательство физ.-мат. лит-ры, 2002.-609 с. / Материалы Международной научно-технической конференции и молодежной научной конференции "Интеллектуальные САПР". – Таганрог: ТРТУ, 2000. –N2 (16). –391с.
Зинченко Л.А. Алгоритмы численно-аналитического моделирования и средства программной поддержки САПР электронных устройств. - Таганрог: ТРТУ, 1999.([173] - список литературыы)
Кашеварова Т.П., Применение метода недоопределенных вычислений в математическом моделировании. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. - Новосибирск, 1999.
Коваль В.Н., Кук Ю.В. Целенаправленные решающие системы структурного моделирования // Знание - Диалог - Решение / Труды конф. KDS - 2001. - С - Петербург, 2001, Том 1. - С. 318 - 327.
Кудрявцев В.Б., Гасанов Э.Э., Долотова О.А., Погосян Г.Р. "Теория тестирования логических устройств". Москва, ФИЗМАТЛИТ, 2006. 160 стр. Тираж - 400.
Моделируйте будущее по своему вкусу. // Computerworld Россия, N19, 1996.
Нариньяни А.С. Модель или алгоритм: новая парадигма информационных технологий. Информационные технологии. 1997, N 4. С. 11-16.
Нариньяни А.С., Телерман В.В., Ушаков Д.М., Швецов И.Е. Программирование в ограничениях и недоопределенные модели. Информационные технологии. - Москва, "Машиностроение". 1998, N 7. С. 13-22.
Советов Б.Я., Яковлев С.А. Моделирование систем. - М.: Высш.шк., 1998. - 319 с.
Соколов Г.В. Роль метазнаний в системах поиска решений. // Интеллектуальные САПР/ Материалы Международной научно-технической конференции и молодежной научной конференции "Интеллектуальные САПР". – Таганрог: ТРТУ, 2000. –N2 (16). –391с.
Телерман В.В. Недоопределенные модели и их реализация в системе НеМо+. Технический отчет. N 6. РосНИИ ИИ, Москва-Новосибирск, 1997, 22с.
Фаулер М., Скот К. UML в кратком изложении. Применение стандартного языка объектного моделирования / Пер. с англ. - М.: Мир, 1999. - 191 с.

Проектирование

Батищев Д.И. и др. Оптимизация в САПР. - Учебное пособие. - Воронеж: ВГУ, 1997.
Валькман Ю.Р. Интеллектуальные технологии исследовательского проектирования. - Киев: Port-Royal, 1998. - 249 с.
Grady Booch Объектно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изд./Пер. с англ. - М.: Изд-во "Бином", СПб.: "Невский диалект", 2000. - 560 с.
Дмитров В.И. Опыт внедрения CALS за рубежом // Автоматизация проектирования, 1997, Вып. 1, 2, 5.
Зинченко Л.А. Алгоритмы численно-аналитического моделирования и средства программной поддержки САПР электронных устройств. - Таганрог: ТРТУ, 1999. - 194 с.
Интеллектуальные САПР // Ежегодный сб. научных трудов / Таганрог: ТРТУ.
Калянов Г.Н. Консалтинг при автоматизации предприятий. - М.: СИНТЕГ, 1997.
Колчин А.Ф. Методология разработки интеллектуальных систем // Сб. научных трудов "Проектирование технологических машин". М.: МГТУ "СТАНКИН", 1997. -Вып. 7
Курейчик В.М., Зинченко Л.А. Эволюционная адаптация в проектировании // Искусственный интеллект. - Донецк: НАН Украины - институт проблем ИИ, 2001, N 1, С. 75 - 81.
Нариньяни А.С., Иванов Д.А., Седреев С.В., Фролов С.А. Недоопределенное календарное планирование: новые возможности. Информационные технологии. 1997, N 1.
Нариньяни А.С., Корниенко В.В., Прейс С.В., Швецов И.Е. ФинПлан: новая технология финансово-экономического планирования в условиях неполноты информации. Информационные технологии. Москва, "Машиностроение". 1998, N 11. С. 10-17.
Поляков А. К. Моделирование цифровых систем на языке VHDL. Учебное пособие / М.: Моск. энерг. ин-т, 1995.
Попов И.Г., Загорулько И.Г., Тарасевич В.В. Применение интегрированной среды SemP-TAO в преподавании курса САПР. // Материалы международной научно-методической конференции "Новые информационные технологии в университетском образовании". -Новосибирск, НИИ МИОО НГУ, 1998. -С.35-36.

Конец списка