Здание ИПС РАН

 

Об Институте

Структура Института

Научная деятельность

Информация

Из истории Института

На главную страницу

 

Публикации сотрудников ИПС им. А.К. Айламазяна РАН

[ книги ][ статьи:  1984, 1985, 1986,1987,1988, 1989,1990,1991, 1992,1993,1994, 1995,1996,1997, 1998,1999,2000, 2001,2002,2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012]

 

Монографии

1.     Айламазян А.К. Информация и информационные системы. М., Радио и связь, 1982, 160с

2.     Цирлин А.М. Вариационные методы расчета химических аппаратов. М., Машиностроение, 1983

3.     Гаспарян А.С. О некоторых приложениях многомерных матриц. Сообщения по прикладной математике, ВЦ АН СССР, Москва, 1983

4.     Цирлин А.М., Балакирев В.С., Дудников Е.Г. Вариационные методы оптимизации управляемых объектов. М., Энергия, 1984

5.     Цирлин А.М. Оптимальные циклы и циклические режимы. М., Энергоиздат, 1985

6.     Цирлин А.М. (в соавторстве). Сегpегиpованные пpоцессы в химической пpомышленности. М., Химия, 1986

7.     Цирлин А.М. Оптимальное управление технологическими процессами. М., Энергоиздат, 1986.

8.     Гурман В.И. (в соавторстве) Методы улучшения в вычислительном эксперименте. Новосибирск, Наука, 1988

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

10.  Гурман В.И. (в соавторстве) Эколого-экономическая стратегия развития региона. Новосибирск, Наука, 1990

11.  Гурман В.И. (в соавторстве) Методы решения задач теории управления на основе принципа расширения. Новосибирск, Наука, 1990

12.  Гилула М.М., Столбоушкин А.П. Язык программирования СТАРСЕТ. М., Наука, 1991

13.  Гилула М.М. Множественная модель данных в информационных системах. М., Наука, 1992

14.  Столбоушкин А.П., Тайцлин М.А. Математические основы программирования. М., Наука, 1992

15.  Абрамов С.М. Метавычисления и их применение. М., Наука, Физматлит, 1995

16.  Гурман В.И. Принцип расширения в задачах управления. М., Наука, 1997

17.  Осипов Г.С. Приобретение знаний интеллектуальными системами: Основы теории и технологии. М., Наука, 1997

18.  Цирлин А.М. Методы усредненной оптимизации и их приложения. М., Наука, Физмалит, 1997

19.  Кульбака Н.Э. Опыт моделирования устойчивого развития региона. Роль информатики в региональном развитии. М., Наука, Физматлит, 1997

20.  Комаров С.И., Куршев Е.П. Осипов Г.С. Интеллектуальная технология для экспертных систем. Учебное пособие. РГАТА, Рыбинск, 1997

21.  Беляев А.Б., Годовников М.Н., Голубев С.А., Загоровский И.М., Комаров С.И., Куршев Е.П., Осипов Г.С., Сазонова Л.И. Технология создания распределенных интеллектуальных систем. Учебное пособие. Университет г. Переславля, 1997, Переславль-Залесский

22.  Цирлин А.М., Амелькин С.А. Основы теории вероятностей. Учебное пособие. УГП, 1997, Переславль-Залесский

23.  Gurman V.I. The Extention Principle in Control Problems. M., Nauka, Fizmatlit, 1998

24.  Tsirlin A.M., Berly R.S., Kazakov V., Sieniutycz S., Szwast Z. Thermodynamic Optimization of Finite-Time Processes. John Willey & Sons, Ltd., 1999, Chichester, New York, Weinheim, Brisbane, Singapore, Toronto

25.  Миронова В.А., Амелькин С.А., Цирлин А.М. Математические методы термодинамики при конечном времени. М., Химия, 1999

26.  А.Г.Кушниренко, Г.В.Лебедев, Я.Н.Зайдельман. Информатика 7-9. Учебник для общеобразовательных учебных заведений. - М.:Дрофа, 2000

27.  Миронова В.А., Цирлин А.М. “Математические методы в термодинамике при конечном времени” М., Химия, 2000

28.  Егоров А.И. Уравнения Риккати. М.: Наука-Физматлит, 2001

29.  Моделирование социо-эколого-экономической системы региона / Под ред. Гурмана В.И., Рюминой Е.В. - М.: Наука, 2001

30.  Цирлин А.М. Оптимальные процессы в необратимой термодинамике и микроэкономике. М.: Физматлит. 2002, 416с

31.  Кушниренко А.Г., Лебедев Г.В., Зайдельман Я.Н. Информатика 7-9. Учебник для общеобразовательных учебных заведений. Издание 2-е // М.:Дрофа, 2002

32.  Цирлин А.М. Необратимые оценки предельных возможностей термодинамических и микроэкономических систем. М.: Наука. 2003, 349с

33.  Софиева Ю.Н., Цирлин А.М. Условная оптимизация, методы и задачи. М.: УРСС, 2003, 144с

34.  Осипов Г.С., Куршев Е.П., Кормалев Д.А., Трофимов И.В.,Рябков О.В.,Тихомиров И.А. Семантический поиск в среде Интернет. Препринт. Переславль-Залесский: ИПС РАН, 2003, 37с

35.  Кормалев Д.А., Куршев Е.П., Осипов Г.С., Сулейманова Е.А., Трофимов И.В. Методы поиска и анализа информации. Автоматическое извлечение данных. Препринт. Переславль - Залесский: ИПС РАН, 2003, 48с

36.  Знаменская Л.Н. Управление упругими колебаниями. - М.:Физматлит, 2004, 176с

37.  Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. - М.: Научный мир, 2004, 208с.

38.  Agrachev А.А.,  Sachkov Yu.L., Control Theory from the Geometric Viewpoint, Springer-Verlag, 2004.

39.  Аграчев А.А.,  Сачков Ю.Л., Геометрическая теория управления. М.: Физматлит, 2004.

40.  Proceedings of IFAC Wokshop"Generalized solutions in control problems"  (GSCP-2004), Pereslavl-Zalessky, September 2004. - Moscow: Fizmatlit, 2004, pp 400.

41.  Г.И. Назаренко, Я.И. Гулиев, Д.Е. Ермаков. Медицинские информационные системы: теория и практика. М.,  Физматлит, 2005,  320 с.

42.  Gurman V.I. The extension principle in the problems of sustainable development". Moscow: Fizmatlit, 2005

43.  Цирлин А.М. Математические модели и оптимальные процессы в  макросистемах. М.: Наука, 2005.

44.  Gurman  V.I., Ukhin M.Yu. The extension principlе  in control problems: Constructive methods and applied problems.- Moscow: Fizmatlit, 2005.-148 p.

45.  Tsirlin A.M., Kazakov V.A. Extremal principles and limiting possibilities of open thermodynamic and economic systems. // Variational and extremum principles in macroscopic systems, S. Sieniutycz  & H. Farkas (eds.), Kluwer Academic Publishers.  2005.

[ в начало ]

 

Статьи

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

 

2007

1.     Tsirlin A.M., Kazakov V.A., Macrosystems and Irreversibility in Economics, International Journ.of Mathematics. Game Theory and Algebra.  V.16. N 5/6 pp.87-104, 2007

2.     Tsirlin A.M., Kazakov V.A., Optimal Processes in Irreversibility Microeconomics, International Journ.of Mathematics. Geme Teory and Algebra.  V.16. N 5/6 pp.105-126. 2007

3.     Цирлин А.М., Романова Т.С., Выбор последовательности разделения трехкомпонентных смесей. ТОХТ, т.41, №1, с.71-78. 2007

4.     Tsirlin A.M., Romanova T.S. Selection of the Sequense of Separation of  Ternari Mixtures.  Teor.Found. of Chemical Engineering. Vol.41 No 1,pp. 66-73. 2007

5.     V.Kazakov, A.M. Tsirlin. Optimal Dispatsh in Electricity Markets,  Universiti of technology Sydney, Research Paper 206, Oktober 2007, pp. 1-14.

6.     Цирлин А.М., Лесков Е.Е. Оптимизация диффузионных систем. Теоретические  основы химической технологии, т.41,2007г., № 4, с.1-9.

7.     Пак А.А., Сухорукова Р.Н., Андреев Д.А.,Цирлин А.М. Влагоперенос в многослойных изделиях из полистиролгазобетона // Строительные материалы, №6, 2007, с.48-49.

8.     Ахременков А.А., Галицкий Б.А. Модель взаимодействия производителей и потребителей с учетом рекламы. Математическое моделирование, т.19, №2, 2007, стр.23-32.

9.     M.Marvan, A.M.Vinogradov, V.A.Yumaguzhin, Differential invariants of generic hyperbolic Monge--Ampere equations, Central European Journal of  Mathematics, 5(1) 2007 105-133.

10. Виноградов А.Н., Калугин Ф.В., Недев М.Д., Погодин С.В., Талалаев А.А., Тищенко И.П., Фраленко В.П., Хачумов В.М. Выделение и распознавание локальных объектов на аэрокосмических снимках. – Аэрокосмическое приборостроение, 2007, № 9, с. 39-45

11. Ватутин В.М., Круглов А.В., Смирнов С.В., Виноградов А.Н., Заднепровский В.Ф., Куршев Е.П., Хачумов В.М.  Анализ перспективных платформ для эффективного сжатия данных без потерь в системах приема и передачи телеметрии – Авиакосмическое приборостроение (статья принята к печати)

12. Трушков В.В., Хачумов В.М. Определение ориентации объектов в трехмерном пространстве - Автометрия (статья принята к печати).

13. Ватутин В.М., Лебедев Ю.Г., Хромов О.Е., Виноградов А.Н., Заднепровский В.Ф., Куршев Е.П., Хачумов В.М. Международные стандарты и проблемные вопросы формирования передачи и обработки информационно-управляющих потоков в космических системах. – Авиакосмическое приборостроение, № 4, 2007, с.48-64.

14. Хачумов В.М., Виноградов А.Н. Разработка новых методов непрерывной идентификации и прогнозирования состояния динамических объектов на основе интеллектуального анализа данных. – Сб. докладов 13-ой Всероссийской конференции «Математические методы распознавания (Ленинградская обл., г.Зеленогорск, 30-сентября-6 октября, 2007 г).- М.: МАКС Пресс, 2007, с.548-550.

15. Емельянова Ю.Г., Малышевский А.А., Хачумов В.М. Визуализация процессов обучения нейронных сетей. – Сб. докладов 13-ой Всероссийской конференции «Математические методы распознавания (Ленинградская обл., г. Зеленогорск, 30-сентября-6 октября, 2007 г).- М.: МАКС Пресс, 2007, с.586-588. 

16. Бурдаев М.Н., Ежов С.А., Кальмин А.В., Крылов И.А. Перспективы использования пилотируемых орбитальных комплексов для решения задач дистанционного зондирования Земли. - Информационно-измерительные и управляющие системы, № 7, т.5, 2007, с.23-25.

17. Бурдаев М.Н., Ватутин В.М., Ежов С.А., Кальмин А.В., Сашов А.А. Использование пилотируемых космических аппаратов для мониторинга Земли с целью обнаружения и контроля мест размещения антропогенных отходов. - Информационно-измерительные и управляющие системы, № 7, т.5, 2007, с.26-29.

18. Бурдаев М.Н., Ватутин В.М., Заднепровский В.Ф., Хачумов В.М., Круглов А.В., Снегирев В.М. Методы когнитивной графики для контроля и диагностики сложных процессов и систем. - Информационно-измерительные и управляющие системы, № 7, т.5, 2007, с.30-36.

19. Ватутин В.М., Круглов А.В., Сашов А.А., Заднепровский В.Ф., Недев М.Д., Талалаев А.А., Фраленко В.П., Хромов О.В., Хачумов В.М., Снегирев В.М. Использование нейронных сетей и средств распараллеливания для высокопроизводительной обработки потоков данных. - Информационно-измерительные и управляющие системы, № 7, т.5, 2007, с.48-53.

20. F. Kalugin, S. Pogodin. Object contour extraction at aerospace photos.Proceedings of the 9th International Conference "Pattern Recognition and Information Processing", 22-24 May, 2007, Minsk, Belarus, vol. 1, 177-182.

21. Трофимов И.В. Новые методы определения и выявления значимого контекста рассуждений. //Труды Второй международной конференции "Системный анализ и информационные технологии" САИТ-2007: В 2-х томах. – М.: ЛКИ, 2007, т.1, стр. 179-182.

22. Куршев Е.П., Кормалев Д.А., Сулейманова Е.А., Трофимов И.В. Исследование методов извлечения информации из текстов с использованием автоматического обучения и реализация исследовательского прототипа системы извлечения информации // Математические методы распознавания образов: 13-я Всероссиийская конференция. Ленинградская обл., г. Зеленогорск, 30 сентября - 6 октября 2007 г.: Сборник докладов. - М.: МАКС Пресс, 2007. - С. 602-605.

23. Сулейманова Е.А. Классификация ресурсов знаний в системе извлечения информации из текста // Математические методы распознавания образов: 13-я Всероссиийская конференция. Ленинградская обл., г. Зеленогорск, 30 сентября - 6 октября 2007 г.: Сборник докладов. - М.: МАКС Пресс, 2007. - С. 625-628.

24. Кормалев Д.А. Параметры алгоритмов построения правил для автоматической обработки текста // Вторая Международная конференция "Системный анализ и информационные технологии" САИТ-2007 (10-14 сентября 2007 г., Обнинск, Россия): Труды конференции. В 2 т. Т.1. - М.: Издательство ЛКИ, 2007. - С. 141-144.

25. Недев М.Д. Определение ориентации полутонового изображения. / Труды международной конференции «Математические методы в технике и технологиях ММТТ-20». -Ярославль: Издательство ЯГТУ, 2007, т.7, с. 95 - 96.

26. Недев М.Д., Сердюк Ю.П. MC# Grid  system: опыт использования для рендеринга изображений. / Труды всероссийской конференции «Научный Сервис в сети Интернет», Новороссийск, сентябрь 2007. -  М.: Изд-во МГУ, 2007, с. 166 - 170.

27. А.В. Петров, Ю.П. Сердюк «Система программирования MC# 2.0 для многоядерных процессоров», - Труды всероссийской конференции «Научный Сервис в сети Интернет», Новороссийск, сентябрь 2007. -  М.: Изд-во МГУ, 2007, с. 19 - 25.

28. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova  Checking Properties of Adaptive Workflow Nets. Fundamenta Informaticae, Volume 79, Number 3-4, 2007, р. 347-362.

29. В.А. Башкин, И.А. Ломазова. Эквивалентность ресурсов в сетях Петри. М.: Научный мир, 2007, 208 с.

30. Осипов Г.С. Состояние работ в области искусственного интеллекта в Европе. Труды научной сессии МИФИ-2007 (22–26 января 2007 года, Москва). Т.3 Интеллектуальные системы и технологии, 2007, стр.14-17.

31. Osipov, G.S  Workflows and Their Discovery from Data.   International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS-2007), April 30 2007-May 3 2007, Waltham, MA, USA, p. 354-358.

32. Осипов Г.С. Модели потоков работ // Математические методы распознавания образов: 13-я Всероссиийская конференция. Ленинградская обл., г. Зеленогорск, 30 сентября - 6 октября 2007 г.: Сборник докладов. - М.: МАКС Пресс, 2007. - С. 511-515.

33. Назаренко Г.И., Замиро Т.Н., Михеев А.Е., Гулиев Я.И., Хаткевич М.И., Куликов Д.Е., Базаркин А.Н. Новые интерфейсные решения в МИС ЛПУ. Визуальное управление коечным фондом // Врач и информационные технологии . - 2007. - №4. - С. 44-47.

34. Назаренко Г.И., Замиро Т.Н., Михеев А.Е., Гулиев Я.И., Хаткевич М.И. Проблемы создания медицинских информационных систем. Поддержка мультипликативных структур ЛПУ в МИС // Врач и информационные технологии. - 2007. - №4. - С. 48-50.

35. Назаренко Г.И., Замиро Т.Н., Михеев А.Е., Кабаенкова Г.С., Юрченко С.Г., Малых В.Л., Гулиев Я.И. Система контроля качества и эффективности оказания медицинской помощи пациенту Медицинского центра Банка России // Врач и информационные технологии . - 2007. - №4. - С. 35-38.

36. Гулиев Я.И., Белышев Д.В., Куликов Д.Е. Мобильные электронные медицинские карты // Врач и информационные технологии. - 2007. - №3. - С. 33-37.

37. Назаренко Г.И., Михеев А.Е., Горбунов П.А., Гулиев Я.И., Фохт И.А., Фохт О.А. Особенности решения проблем информационной базопасности в медицинских информационных системах // Врач и информационные технологии. - 2007. - №4. - С. 39-43.

38. Гулиев Я.И. Интерин PROMIS 4.0: новые возможности // Врач и информационные технологии. - 2007. - №3. - С. 38-42.

39. Гурман В.И., Ухин М.Ю. Синтез оптимального управления периодическими процессами при неограниченном времени//Автоматика и телемеханика, 2007. № 2

40. Гурман В.И., Ухин М.Ю. Синтез оптимального управления периодическими процессами при неограниченном времени//Автоматика и телемеханика, 2007. № 2

41. Никифорова, Л.Н., Ухин М.Ю. Улучшение и оценка приближенно-оптимального позиционного управления // Автоматика и телемеханика, 2007. № 2. С. 39-48.

42. Блинов А.О. Приложение метода наименьших квадратов к задачам моделирования и оптимизации//Вестник тамбовского университета: Естественные и технические науки, 2007. Т. 12. № 4. C. 412-414.

43. Гурман В.И., Трушкова Е.А. Метод улучшения управления для дискретных систем//Вестник тамбовского университета: Естественные и технические науки, 2007. Т. 12. № 4. C. 439-441.

44. Трушкова Е.А., Блинов А.О. Метод улучшения управления в моделировании динамических систем//Сборник докладов Третьей всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности "Имитационное моделирование. Теория и практика".Санкт-Петербург: Издательство ФГУП Центральный научно-исследовательский институт технологии судостроения, 2007. Т. 1. С. 234-236.

45. Ухин М.Ю. Вырожденная задача стабилизации заданной траектории//Автоматика и телемеханика, 2008. №3. (в печати)

46. Ухин М.Ю., Ачитуев С.А. Оптимизация стратегий развития региона на многокомпонентной модели//Автоматика и телемеханика, 2008. №3.

47. Гурман В.И.,Квоков В.Н.,Ухин М.Ю. Приближенные методы оптимизации управления летательным аппаратом//Автоматика и телемеханика, 2008. №4.

48. Gurman V.I., Kvokov V.N., Ukhin М.Yu. Approximated methods of helicopter control optimization//Proceedings of 33-rd European forum, Kazan, Russia, September 11-13, 2007.

49. А.А.Аграчев, Ю.Л. Сачков, Геометрическая теория управления. М.: Физматлит, 2005, 391 С.

50. Сачков Ю.Л. Управляемость и симметрии инвариантных систем на группах Ли и однородных пространствах.---М.: Физматлит, 2007, 224 С.

51. Сачков Ю.Л. Дискретные симметрии в обобщенной задаче Дидоны//  Матем. Сборник, 2006, T. 197, № 2, с. 95-116.

52. Сачков Ю.Л. Множество Максвелла в обобщенной задаче Дидоны // Матем. Сборник, 2006, Т. 197,  № 4, С. 123-150.

53. Сачков Ю.Л. Полное описание стратов Максвелла в обобщенной задаче Дидоны  // Матем. Сборник, 2006,  T. 197, № 6, С. 111-160.

54. Сачков Ю.Л. Оптимальность эйлеровых эластик // Доклады Академии Наук, том 417, № 1, ноябрь 2007, С. 23--25.

55. Ю. Л. Сачков, Теория управления на группах Ли, Современная Математика. Фундаментальные направления. 2007, 27, 5–59

56. Yu. L. Sachkov, Maxwell strata in Euler's elastic problem, Journal of Dynamical and Control Systems, Springer, 2008, No. 2.

57. Yu. L. Sachkov, Conjugate points in Euler's elastic problem, Journal of Dynamical and Control Systems, Springer, 2008, No. 3.

58. Рюмина Е.В. Показатель ущерба как экономический инструмент сохранения окружающей среды // Труды VII Всероссийской конференции «Теория и практика экологического страхования: устойчивое развитие». М.: ИПР РАН. 2007. С. 110-124.

59. Рюмина Е.В. Критерии сырьевой зависимости экономики регионов России // Есть ли у России несырьевое будущее? Тезисы выступлений участников VI Международной Кондратьевской конференции. М.: Международный фонд Н.Д.Кондратьева. 2007. С. 61-63.

60. Рюмина Е.В. Роль экономики в стимулировании охраны окружающей среды. – На пути к устойчивому развитию России, № 36, 2007. С. 13-15.

61. Ryumina E.V. On the role of Konstantin G. Gofman in establishing “economics of nature management” – Social Ecology Working Paper, N 94, January, 2007 (Institute of Social Ecology, Vienna).

62. Рюмина Е.В., Аникина А.М. Анализ влияния фактора природных ресурсов на уровень экономического развития регионов России // Проблемы прогнозирования. 2007. № 5. С. 106-125.

63. Рюмина Е.В. Основные направления учета влияния состояния окружающей среды на показатели экономической деятельности  // Стратегическое планирование и развитие предприятий. Материалы Симпозиума. Секция 2. М.: ЦЭМИ РАН. 2007. С. 170-171.

64. Рюмина Е.В. Доля природы в региональных доходах // Экономическое развитие и окружающая среда: стратегии, модели, инструменты управления. Материалы 8-ой Международной конференции Российского общества экологической экономики. Сочи: НИА-Природа. 2007. С. 247-250.

65. Рюмина Е.В. Экономические аспекты управления экологическим долгом // Экономика природопользования. № 6. 2007.

66. Лучшева В.В., Рюмина Е.В. Методологические проблемы экономики природопользования // Вестник Российского гуманитарного научного фонда. 2007. № 3. С. 91-98.

67. Лучшева В.В., Рюмина Е.В. Специфика инновационных программ экологической направленности // Стратегическое планирование и развитие предприятий. Материалы Симпозиума.  М.: ЦЭМИ РАН. 2007. С. 103-105.

68. Лучшева В.В., Савченко А.В. Учет инвестиционной привлекательности региона для развития бизнеса // Стратегическое планирование и развитие предприятий. Секция 4. / Тезисы докладов и сообщений Восьмого всероссийского симпозиума. Москва, 10-11 апреля 2007 г. – М.: ЦЭМИ РАН, 2007. C. 84-85.

69. Гордин И.В. Берегите берега. М.: Физматлит. 2007.

70. Гордин И.В. Игнорирование экологических угроз. М.: Физматлит. 2007.

71. Гордин И.В., Кирпичникова Н.В., Куприянова Е.И. Система мониторингового отслеживания процесса застройки водоохранных зон // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С.48-52.

72. Гордин И.В., Кирпичникова Н.В., Куприянова Е.И., Харитонов В.А. Динамика застройки зоны санитарной охраны Иваньковского водохранилища // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С.52-61.

73. Гордин И.В., Кирпичникова Н.В., Новиков С.Л. Экономические преимущества централизованных предприятий очистки сточных вод коттеджных поселков // Материалы Симпозиума «Стратегическое планирование и развитие предприятий», 2007. С.46-48.

74. Гордин И.В. Эффективность коттеджной очистки сточных вод // Материалы 8-й Международной конференции Российского общества экологической экономики «Экономическое развитие и окружающая среда». 2007. С.79-80.

75. Гордин И.В., Новиков С.Л., Ли Е.А. Стратегия муниципальных предприятий «Водоканал» в условиях рекреационной застройки побережий // Материалы Симпозиума «Стратегическое планирование и развитие предприятий», 2007. С.48-50.

76. Гордин И.В., Новиков С.Л. Конфликтогенность землепользования в водоохранных зонах// Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С.103-114.

77. Гордин И.В., Новиков С.Л. Фактическая эффективность очистных сооружений рекреационных комплексов в условиях бесконтрольности // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С.114-126.

78. Гордин И.В. Экономика строительства очистных сооружений в водоохранных зонах // Экономика природопользования. 2007 № 4. С.90-98.

79. Гордин И.В. Неправомочность трактовки Водного кодекса как документа, повсеместно ослабляющего запреты на приближение жилищ к воде // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С. 61-73.

80. Гордин И.В., Крюченков Л.Н., Крюченков А.Л. Проблемы дачно-коттеджной застройки побережий // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С. 73-82.

81. Гордин И.В., Крюченков Л.Н., Крюченков А.Л. Системный анализ «Положения о водоохранных зонах» // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С.83-95.

82. Гордин И.В., Крюченков Л.Н., Крюченков А.Л. Практика применения основных документов, регламентирующих дачно-коттеджную застройку водоохранных зон // Вестник Международной академии системных исследований «Информатика, экология, экономика». 2007. С. 96-103.

83. Немытых А.П., 2007 г. Суперкомпилятор SCP4: общая структура // Немытых А.П. М.: УРСС, 2007, 152 c., (Монография) ISBN: 978-5-382-00365-8

84. С.М. Абрамов 2007. Итоги суперкомпьютерной программы "СКИФ" Союзного государства и перспективы ее развития. В книге "Пути ученого. Е.П. Велихов". Под общей редакцией академика РАН В.П. Смирнова -- М.:РНЦ "Курчатовский институт". -- стр. 325-333 IBSN 978-5-9900996-1-6

85. С.М. Абрамов, А.А. Московский, В.А. Роганов (ИПС РАН), П.Е. Велихов (SDSC, США). 2007. Суперкомпьютерные и GRID-технологии. В книге "Пути ученого. Е.П. Велихов". Под общей редакцией академика РАН В.П. Смирнова -- М.:РНЦ "Курчатовский институт". -- стр. 314-324 IBSN 978-5-9900996-1-6

86. С.М. Абрамов, Д.В. Белышев, В.П. Котельников, А.Ю. Пономарев, Ю.В. Шевчук. 2007. Технологии создания региональных компьютерных сетей. В книге "Пути ученого. Е.П. Велихов". Под общей редакцией академика РАН В.П. Смирнова -- М.:РНЦ "Курчатовский институт". -- стр. 303-313 IBSN 978-5-9900996-1-6

87. А.П. Лисица,  А.П. Немытых, 2007. Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4). "Программирование", No 1, стр.22-34, 2007 г., ("Programming and Computer Software", ISSN

88. Lisitsa A.P., Nemytykh A.P.  2007. Reachability Analysis in Verification via Supercompilation , In Proc. of the Satellite Workshops of DTL 2007, TUCS General Publication, No. 45, Part 2, pp: 53-67, Eds: M. Hirvensalo, V. Halava, I. Potapov, K. Jarkko, Tur

89. Lisitsa A.P., Nemytykh A.P.  2007. A Note on Specialization of Interpreters , In Proc. of The 2-nd International Symposium on Computer Science in Russia, Lecture Notes in Computer Science, Vol. 4649, pp: 237-248, 2007.

90. Патаракин Е.Д., Ярмахов Б.Б., 2007, Веб 2.0 Управление, изучение и копирование, Educational Technology & Society - 10(2) 2007, ISSN 1436-4522 http://ifets.ieee.org/russian/depository/v10_i2/html/2.htm

91. Патаракин Е.Д., Ярмахов Б.Б., 2007, Повседневная сетевая культура как решение классификационных задач, Educational Technology & Society, 10(2) 2007 ISSN 1436-4522. http://ifets.ieee.org/russian/depository/v10_i2/html/3.htm

92. Патаракин Е.Д., Новое пространство для учебной деятельности. Высшее образование в России. No 7,  2007, стр. 70-74, 2007.

93. Патаракин, Е.Д., 2006, Реализация творческих и воспитательных возможностей информатики в сетевых сообществах // Педагогическая Информатика, No 1, стр. 3 – 11

94. Патаракин Е.Д. , 2006, "Сетевые сообщества и обучение", М., ПЕР СЭ, 112 с.

95. Патаракин Е.Д., Социальные сервисы Веб 2.0 в помощь учителю // Е.Д. Патаракин – М.: Интуит.ру, 2006, 64 с., (Учебно-методическое пособие), ISBN 5-9556-0088-4

96. Патаракин Е.Д., Створення учинiвських, студентських i викладацьких спiльнот на базi мережевих сервiсiв Веб 2.0 К.: Навчально-методичний центр "Консорцiум iз удосконаления менеджмент-освiти в Украini", 2007, 88 с., ISBN 966-8487-41-9

97. Патаракин Е.Д., Вопросы применимости Web 2.0 в сфере образования // Е. Д. Патаракин. – М.:МИФИ, 2007. – 76 с : ил.

98. С.М. Абрамов. 2007. Суперкомпьютеры семейства "СКИФ": вчера, сегодня, завтра.// Информационные и математические тхнологии в науке и управлении. Труды XII Байкальской Всероссийской конференции. Иркутск, 2007. Часть II. стр. 6-12

99. С.М. Абрамов, В.В. Анищенко, В.Ф. Заднепровский, А.А. Московский, Н.Н. Парамонов, О.П. Чиж. 2007. Перспективные модели суперкомпьютеров "СКИФ" // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ. Труды Всероссийской научной  конференции, 24-29 сентября 2007 г. Новороссийск, Изд-во  МГУ, М., с. 5--7

100.            А.А. Московский, А.Ю. Первин, М.В. Стоцкий. 2007. Прогнозирование аппаратных сбоев вычислительных кластеров // Научный сервис в сети Интернет: многоядерный компьютерный мир. 15 лет РФФИ. Труды Всероссийской научной  конференции, 24-29 сентября 2007 г. Новороссийск, Изд-во  МГУ, М., с. 143--147

101.            Alexander Moskovsky, Vladimir Roganov, and Sergei Abramov. 2007. Parallelism Granules Aggregation with the T-System. Parallel Computing Technologies: 9th International Conference, PaCT 2007 Pereslavl-Zalessky, Russia, September 2007. Proceedings. Victor Malyshkin (Ed.)- Berlin etc. Springer, 2007. - Lecture Notes in Computer Science: Volume 4671, pp. 293-302

102.            Alexander Moskovsky, Vladimir Roganov, Sergei Abramov, and Anton Kuznetsov. 2007. Variable Reassignment in the T++ Parallel Programming Language. Parallel Computing Technologies: 9th International Conference, PaCT 2007 Pereslavl-Zalessky, Russia, September 2007. Proceedings. Victor Malyshkin (Ed.)- Berlin etc. Springer, 2007. - Lecture Notes in Computer Science: Volume 4671, pp. 579-588

103.            Sergei Abramov, Robert Gluck, Yuri Klimov. 2007. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006 Novosibirsk, Russia, June 2006. Proceedings. I. Virbitskaite and A. Voronkov (Eds.): PSI 2006, LNCS 4378, pp. 27-40, 2007 Springer-Verlag Berlin Heidelberg 2007  (tif format, 3,3 MB

104.            Абрамов С.М., Кузнецов А.А., Роганов В.А. 2007. "Кроссплатформенная версия T-системы с открытой архитектурой" //Вычислительные методы и программирование. - 2007. - Т. 8. - No 1. -  Раздел 2. стр. 175-180 (электронная версия журнала http://num-meth.srcc.msu.su/)

105.            А.А. Московский. 2007. Реализация библиотеки для параллельных вычислений на основе шаблонных классов языка С++. Proc. Труды Международной научной конференции "Параллельные вычислительные технологии (ПаВТ'2007)", Челябинск, 29 января - 2 февраля 2007 г., Челябинск, изд. ЮУрГУ, Т 2, с. 256 

106.            С.М. Абрамов, А.А. Кузнецов, В.А. Роганов. 2007. Кроссплатформенная версия Т-системы с открытой архитектурой. Proc. Труды Международной научной конференции "Параллельные вычислительные технологии (ПаВТ'2007)", Челябинск, 29 января - 2 февраля 2007 г., Челябинск, изд. ЮУрГУ, Т 1, с. 115-121  

107.            С.М. Абрамов, В.В. Анищенко, Н.Н. Парамонов, В.И. Стецюренко, А.А. Московский, В.Ф. Заднепровский. 2007. Перспективы развития суперкомпьютерной программы "СКИФ". Proc. Труды Международной научной конференции "Параллельные вычислительные технологии (ПаВТ'2007)", Челябинск, 29 января - 2 февраля 2007 г., Челябинск, изд. ЮУрГУ, Т 1, с. 3-14 

 

2006

1.     Sergei M. Abramov, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk “The Open TS dynamic parallelization system approach”, PARA'06: State-of-the-Art in Scientific and Parallel Umeå, Sweden, June 18-21, 2006, book of abstracts. 

2.     S.M. Abramov, A.A. Moskovsky, V.A. Roganov  “The T-system approach for distributed computing”, Вторая международная конференцияРаспределённые вычисления и Грид-технологии в науке и образовании”, 26-30 июня 2006 года, гДубна, сборник трудов конференции.

3.     Абрамов С.М., Коряка Ф.А., Московский А.А., Первин А.Ю. “Создание испытательного полигона для GRID-приложений в городе Переславле-Залесском”, Вторая международная конференция “Распределенные вычисления и Грид-технологии в науке и образовании”, 26-30 июня 2006 года, г. Дубна, сборник трудов конференции.

4.     С.М. Абрамов, А.А. Московский, В.А. Роганов “О задачах выравнивания нагрузки для сред с динамическим распараллеливанием вычислений (реализаций Т-системы)”, Международная конференция “Параллельные вычисления и задачи управления”, 2-4 октября 2006 г., Институт Проблем Управления РАН, г. Москва, сборник трудов конференции.

5.     С. М. Абрамов, И. М. Загоровский, М. Р. Коваленко, А. А. Кузнецов, В. И. Осипов, В.А. Роганов “Перенос средств параллельного программирования OpenTS на платформу Windows Compute Cluster Server”. Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит", стр. 233–243

6.     С. М. Абрамов, Г. И. Есин, И. М. Загоровский, Г. А. Матвеев, В. А. Роганов “Принципы организации отказоустойчивых параллельных вычислений для решения вычислительных задач и задач управления в Т-Системе с открытой архитектурой (OpenTS)”. Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит", стр. 257–264

7.     С. М. Абрамов, И. М. Загоровский, М. Р. Коваленко, Г. А. Матвеев, В.А. Роганов “Миграция от MPI к платформе OpenTS: эксперимент с приложениями PovRay и ALCMD”. Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит", стр. 265–275

8.     С. М. Абрамов, И. М. Загоровский, М. Р. Коваленко, Г. А. Матвеев, В.А. Роганов. “Система визуализации трассы выполнения параллельных программ в среде OpenTS”. Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит", стр. 285–296

9.     Ф.А. Коряка, А.А. Московский, А.Ю. Первин. “Создание испытательного полигона для Grid-приложений в городе Переславле-Залесском”, Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит".

10. А.А. Московский “T-Sim –– библиотека для параллельных вычислений на основе подхода Т-системы”, Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит".

11. А. А. Московский, А. Ю. Первин, М. В. Стоцкий «Прогнозирование аппаратных сбоев вычислительных кластеров с помощью систем мониторинга». Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит", стр. 277–283.

12. А.А. Московский, А.Ю. Первин, Е.О. Сергеева “Первый опыт реализации шаблона параллельного программирования на основе Т-подхода”,  Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит".

13. С.М. Абрамов, А.А. Кузнецов. BotikTools — пакет программ для Абонентов научно-образовательной сети г. Переславля-Залесского. Международная конференция “Программные системы: теория и приложения (PSTA-2006)”, "Физматлит", c. 135-154

14. А.П. Лисица, А.П. Немытых. Верификация как параметризованное тестирование. (Эксперименты с суперкомпилятором SCP4.). Принято для публикации в журнале “Программирование”, 2006.

15. А.П. Лисица, А.П. Немытых. Работа над ошибками. Труды международной конференции “Программные системы: теория и приложения” (PSTA-2006), Физматлит, Москва, том 1, стр. 195-232, 2006. 

16. Lisitsa and A.P. Nemytykh, Induction principles in verification via supercompilation. Представлена на рассмотрение для конференции ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation PEPM-2007.

17. S.D. Mechveliani. A Predicate Calculus Prover Based on Completion and Boolean Term Algebra. Технический отчёт No 2006-16 института RICAM Австрийской академии наук, г. Линц, Австрия, 2006.

18. Патаракин Е.Д. , «Сетевые сообщества и обучение», М., ПЕР СЭ, 112 с.

19. Патаракин Е.Д., Сущности,  средства и формы педагогической информатики эпохи сетевых сообществ // Конференция  «XX лет школьной и вузовской информатики: проблемы и перспективы», Нижний Новгород, 27 – 29 марта 2006 г., с. 259 - 261

20. Патаракин, Е.Д., Реализация творческих и воспитательных возможностей информатики в сетевых сообществах // Педагогическая Информатика, № 1, стр. 3 – 11

21. Кулик Е.Ю., Патаракин Е.Д., WikiWiki в организации учебного процесса // Конференция «Свободное программное обеспечение в высшей школе», Переславль-Залесский, 28–29 января 2006 года, стр. 21 – 23.

22. Патаракин Е.Д.,  Ярмахов Б.Б., NetLogo в моделировании социальных  феноменов и на занятиях по менеджменту // Конференция «Свободное программное обеспечение в высшей школе», Переславль-Залесский, 28–29 января 2006 года, стр. 36 – 38

23. Патаракин Е.Д., Быховский Я.С.,  Ястребцева Е.Н., Создание учебной гипертекстовой энциклопедии в среде ВикиВики: Общероссийский проект Летописи.ру – М.: Институт развития образовательных технологий, 30 с.

24. Патаракин Е.Д.,  Совместное конструирование знаний и взаимная адаптация соавторов внутри гипертекста ВикиВики, Educational Technology & Society 9(2) 2006 ISSN, 1436-4522 pp. 287-297

25. Патаракин Е.Д., Коллективная творческая деятельность в среде сетевых сообществ как новая составляющая системы непрерывного образования. «Информатизация общего, педагогического и дополнительного образования» (СИО-2006).

26. Патаракин Е.Д., Социальные сервисы сетевых сообществ в помощь сельскому учителю. Анапа. IV Всероссийский научно-методический симпозиум «Информатизация сельской школы».  – 2006. 40 с.

27. Я.И. Гулиев, В.Л. Малых. Концептуальные принципы интегрированной системы управления медицинской помощью и единого информационного пространства / Программные системы: теория и приложения / Под редакцией С.М. Абрамова. В двух томах. –– М.: Физматлит, 2006, т.1 с.27-49

28. Я.И. Гулиев, Д.В.Белышев. Исследование методов представления темпоральной медицинской информации посредством интерфейса "Боткинский лист" / Программные системы: теория и приложения / Под редакцией С.М. Абрамова. В двух томах. –– М.: Физматлит, 2006, т.1 с.73-92

29. Я.И. Гулиев, Н.В. Гладков, Э.Ф. Тавлыбаев. Обзор систем распределённого сбора медицинской статистики / Программные системы: теория и приложения / Под редакцией С.М. Абрамова. В двух томах. –– М.: Физматлит, 2006, т.1 с.93-105

30. П.А.Горбунов, И.А.Фохт. Проблемы информационной безопасности в медицинских информационных системах - теоретические решения и практические разработки / Программные системы: теория и приложения / Под редакцией С.М. Абрамова. В двух томах. –– М.: Физматлит, 2006, т.1 с.107-112

31. А.Н. Базаркин, М.И. Хаткевич, Ю.И. Хаткевич. Подсистема управления кадрами в интегрированных медицинских информационных системах / Программные системы: теория и приложения / Под редакцией С. М. Абрамова. В двух томах. –– М.: Физматлит, 2006, т.1 с.113-124

32. Г.И.Назаренко, Я.И. Гулиев. Информационные системы в управлении лечебно-профилактическим учреждением / Врач и информационные технологии, №4, Москва, ООО Издательский Дом "Менеджер Здравоохранения", 2006

33. А.Е. Михеев, Г.И.Назаренко, Ш.А. Исамухаметов, М.И.Хаткевич, Я.И. Гулиев. Данные и информация в МИС: панели управления / Врач и информационные технологии, №4, Москва, ООО Издательский Дом "Менеджер Здравоохранения", 2006

34. А.Н. Калинин, В.Л. Малых, Т.Ш. Юсуфов. Управление материальными ресурсами ЛПУ в МИС. Аптека и диетпитание / Врач и информационные технологии, №4, Москва, ООО Издательский Дом "Менеджер Здравоохранения", 2006

35. Т.Н. Замиро, А.Е. Михеев, В.Л. Малых, С.Г. Юрченко, Ш.А. Исамухаметов. Контроль качества медицинской помощи - программное обеспечение аудита лечебного процесса / Врач и информационные технологии, №4, Москва, ООО Издательский Дом "Менеджер Здравоохранения", 2006

36. Я.И. Гулиев, А.Е.Михеев. Интегрированная медицинская информационная система Медицинского центра Банка России / Статья, Врач и информационные технологии, №2, Москва, ООО Издательский Дом "Менеджер Здравоохранения", 2006

37. М.Н. Бурдаев, А.Н.Виноградов, В.Ф. Заднепровский, А.В. Захаров, Е.П. Куршев, В.М. Хачумов Комплекс программно-инструментальных средств для создания систем контроля и управления объектами аэрокосмического назначения. // Авиакосмическое приборостроение. - Москва, Научтехлитиздат, 2006. - N 8. - С. 24-33

38. Бурдаев М.Н., Хачумов В.М., Круглов А.В., Снегирев В.М., Ватутин В.М. Когнитивные методы контроля и диагностики сложных процессов и систем. – Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП», 2006, 369-371.

39. Круглов А.В., Фраленко В.П., Хачумов В.М., Ватутин В.М., Снегирев В.М. Распознавание образов на основе нейронной сети Кохонена  с метрикой Евклида-Махаланобиса. – Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП», 2006, с.366-368.

40. Виноградов А. Н., Недев М. Д., Талалаев А. А., Фраленко В. П., Хачумов В.М. Распознавание графических образов на основе искусственных нейронных сетей. М.: Физматлит, 2006, с. 309 – 322. Труды  международной конференции "Программные системы: теория и приложения".

41. Виноградов А.Н., Коданев И.В., Талалаев А.А., Тищенко И.П., Хачумов В.М., Щербаков А.В. Библиотека нейронных сетей для распознавания графических образов на кластерном вычислительном устройстве. – Сб. трудов 2-ой Международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности», 7-9 февраля 2006, г.Санкт-Петербург, Издат-во Политехнического университета, 2006, т.6, с.8-10.

42. Бурдаев М.Н., Хачумов В.М. Использование методов когнитивной графики в учебном процессе космонавтов. – Материалы XXXII общественно-научных чтений, посвященных памяти Ю.А.Гагарина (Гагаринский сборник) – Гагарин:, 2006, с.218- 225.

43. Ватутин В.М., Виноградов А.Н., Заднепровский В.Ф., Куршев Е.П., Лебедев Ю.Е., Хачумов В.М., Хромов О.Е. Международные стандарты и проблемные вопросы формирования, передачи и обработки информационно-управляющих потоков в космических системах. – Авиакосмическое приборостроение ( в печати).

44. Бурдаев М.Н., Кальмин А.В., Ежов С.А., Ватутин В.М., Сашов А.А. Применение пилотируемых космических аппаратов для мониторинга Земли с целью обнаружения и контроля мест размещения антропогенных отходов. – Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП», 2006,с.345-346

45. Ежов С.А., Бурдаев М.Н., Кальмин А.В., Романюк В.А., Крылов И.А. Перспективы использования  пилотируемых орбитальных комплексов для решения зпадач дистанционного зондирования Земли. – Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП», 2006, с.293-294.

46. Заднепровский В.Ф., Талалаев А.А., Хромов О.Е., Ватутин В.М. – Восстановление и фильтрация сигналов на основе нейронной сети Хопфилда.  Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП», 2006,с.77-78.

47. Круглов А.В., Ватутин В.М., Заднепровский В.Ф., Талалаев А.А.  Применение нейронных сетей и средств распараллеливания для высокоскоростной обработки потоков данных. - Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной. 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП», 2006, с.79-80.

48. Виноградов А.А., Романюк В.А., Ватутин В.М. Поиск месторождений полезных ископаемых на основе анализа данных аэрокосмических съемок с применением методов искусственного интеллекта. Тезисы докладов научно-технической конференции ФГУП «РНИИ КП», посвященной 60-летию предприятия (10-12 октября 2006 г.) – М.: ФГУП «РНИИ КП»,  2006, с.295-296.

49. А.Н. Виноградов Интеллектуальная моделирующая система "Miracle" // Труды X национальной конференции по искусственному интеллекту с международным участием КИИ-2006 (Обнинск, 25-28 сентября 2006г). // М., Физматлит, 2006, с. 709-713.

50. Хачумов В.М. Логические элементы на нейронах.- Материалы IX    Международной конференции "Интеллектуальные системы и    компьютерные науки" (23-27 октября 2006г.) - М.: Издательство    механико-математического факультета МГУ, Т.1, часть 2, 2006,    с.297-300.

51. Осипов Г.С., Выборнова О. Е., Завьялова О.С., Смирнов И.В., Тихомиров И.А. Методика оценки эффективности систем информационного поиска. // Сборник трудов VI международной конференции Интеллектуальный Анализ Информации ИАИ'2006, Киев: Просвита, 2006, с. 214-227.

52. Осипов Г.С., Тихомиров И.А., Смирнов И.В. Exactus -  система интеллектуального метапоиска в сети Интернет. // Труды десятой национальной конференции по искусственному интеллекту с международным участием КИИ-2006. М: Физматлит, 2006. т. 3,  с. 859-866.

53. Osipov G. S., Smirnov I. V., Tikhomirov I. A., Vybornova O.V, Zavjalova O. S. Linguistic Knowledge for Search Relevance Improvement. // Papers of Joint conference on knowledge-based software engineering JCKBSE'06, IOS Press, 2006, P. 294-302.

54. Kees van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve. Nested Nets for Adaptive Systems. 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Turku, Finland, June 26-30, 2006, (S. Donatelli and P. S. Thiagarajan, eds), Lecture Notes in Computer Science, vol. 4024, Springer Verlag, 2006, pp. 241--260.

55. Ломазова И.А. О некоторых формальных моделях распределенных систем с динамической структурой. Труды VII межд. конф. «Дискретные модели в теории управляющих систем», Покровское, 4-6 марта 2006 г. М.: МАКС Пресс, 2006. С. 230-237.

56. Ломазова И.А. Вложенные сети Петри для адаптивного управления потоками работ. Труды III межд. конф. «Параллельные вычисления и задачи управления», Москва, 2-4 октября 2006. Москва: ИПУ РАН, 2006, с. 1300-1308.

57. Bashkin V.A., Lomazova I.A. Resource equivalence in workflow nets. Proc. CS&P'2006. Vol.1. Informatik-Bericht 206. Humboldt-Universitat zu Berlin. Berlin, 2006, pp. 80-91.

58. Kees van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova and Marc Voorhoeve. Checking Properties of Adaptive Workflow Nets. Proc. CS&P'2006. Vol.1. Informatik-Bericht 206. Humboldt-Universitat zu Berlin. Berlin, 2006, pp. 92-103. 

59. Башкин В. А., Ломазова И. А. О параметризованном построении подобия ресурсов в сетях Петри. Материалы IX международной конференции "Интеллектуальные системы и компьютерные науки". М.: Изд-во механико-математического факультета МГУ, 2006. Т.1, с.56-58.

60. Башкин В. А., Ломазова И. А. Эквивалентность ресурсов в моделях потоков работ. Программные системы: теория и приложения. Труды международной конференции «Программные системы: теория и приложения», ИПС РАН, г. Переславль-Залесский, октябрь 2006. – М.: Физматлит, 2006. Т. 1, с. 323-338.

61. Александровский Д.А., Кормалев Д.А., Кормалева М.С., Куршев Е.П., Сулейманова Е.А., Трофимов И.В. Развитие средств аналитической обработки текста в системе ИСИДА-Т // Труды Десятой национальной конференции по искусственному интеллекту с междунар. участием КИИ-2006, Обнинск, 25-28 сентября 2006 г.: В 3 т.  — М.: Физматлит, 2006. — Т. 2. — С. 555—563.

62. Кормалев Д.А. Обобщение и специализация при построении правил извлечения информации // Тр. Десятой нац. конф. по искусственному интеллекту с междунар. участием КИИ-2006, Обнинск, 25-28 сентября 2006 г.: В 3 т.  — М.: Физматлит, 2006. — Т. 2. — С. 572—579.

63. Кормалев Д.А., Куршев Е.П. Развитие языка правил извлечения информации в системе ИСИДА-Т // Тр. междунар. конф. «Программные системы: теория и приложения», ИПС РАН, Переславль-Залесский, октябрь 2006 г.: В 2 т. — М.: Физматлит, 2006. — Т.1. — С. 365—377.

64. Куршев Е.П., Сулейманова Е.А. Представление предметных знаний в системах интеллектуального анализа текста // Тр. междунар. конф. «Программные системы: теория и приложения», ИПС РАН, Переславль-Залесский, октябрь 2006 г.: В 2 т. — М.: Физматлит, 2006. — Т.1. — С. 379—390.

65. Трофимов И.В. Значимый контекст рассуждений в задаче планирования: эксперименты и перспективы // Тр. Десятой нац. конф. по искусственному интеллекту с междунар. участием КИИ-2006, Обнинск, 25-28 сентября 2006 г.: В 3 т.  — М.: Физматлит, 2006. — Т. 2. — С. 700—708.

66. Трофимов И.В. Скрытые знания в задачах планирования // Тр. междунар. конф. «Программные системы: теория и приложения», ИПС РАН, Переславль-Залесский, октябрь 2006 г.: В 2 т. — М.: Физматлит, 2006. — Т.1. — С. 339—347.

67. Serdyuk,Yu.: MC# 2.0: A Language for Concurrent Distributed Programming Based on .NET, - .NET Technologies 2006,  4th International Conference, University of West Bohemia, Plzen, Czech Republic,May 29 - June 1, 2006.

68. Цирлин А.М., Зубов Д.А.,Барбот А. Учет фактора необратимости в процессе бинарной ректификации. ТОХТ №2, 2006

69. Цирлин А.М., Ниминь-Кань, Трушков В.В. Процессы минимальной диссипации для химических реакторов. ТОХТ №1 2006

70. Цирлин А.М., Романова Т.С. О выборе оптимальной последовательности разделения  многокомпонентных смесей. ТОХТ, №6, 2006.

71. Ахременков А.А., Галицкий Б.А., Модель взаимодействия производителей и потребителей с учетом рекламы. "Математическое моделирование" N1, 2007.

72. Ахременков А.А., Цирлин А.А., Управляемые температурные поля и задача термостатирования. . Сборник трудов конференции  "Инфокоммуникационные и вычислительные технологии и системы". Улан-Удэ 2006.

73. Ахременков А. А. Андреев Д. А. Сравнительный анализ и оптимизация систем термостатирования зданий. Сборник трудов конференции "Программные системы : теория и приложения (PSTA-2006)" , с.249-265.

74. Цирлин А.М., Романова Т.С. Алгоритм разделения трехкомпонентных смесей и выделения промежуточного компонента с минимальной затратой энергии. Сборник трудов конференции "Программные системы : теория и приложения (PSTA-2006)" , т.2 , с.181-199.

75. Амелькин С.А. Математическая модель равновесия в открытой  микроэкономической системе. . Сборник трудов конференции "Программные системы : теория и приложения (PSTA-2006)" ,т.2 с.267—276.

76.  Юмагужин В.А., REDUCE--программа для вычисления дифференциальных инвариантов     гиперболических  уравнений Монжа-Ампера,  ИПС РАН, Программные системы: теория     и приложения.  Труды международной конференции, г. Переславль-Залесский, октябрь, 2006, том 2, стр. 353-363.

77. Юмагужин В.А., Юмагужина В.Н., Алгоритм вычисления алгебр изотропии уравнений    y''=a(x,y)y' 3+b(x,y)y' 2+c(x,y)y'+d(x,y), Программные системы: теория и приложения.    Труды международной конференции, г. Переславль-Залесский, октябрь, 2006, том 2,     стр. 365-377.

78.  Tsirlin, A. M., Kazakov V., Ni Min Kan, Trushkov V. V. Thermodynamic Analysis and Thermodynamic Efficiency of Chemical Reactors // J. Phys. Chem. B.; 2006; 110(5); 2338-2342.

79. Tsirlin A.M., Kazakov.V, Ahremenkov A.A., Alimova N.A., Thermodynamic constraints on temperature distribution in a stationare sustem with heat engine or refrigerator.  J.Phys D: Appl.Phys. 39 (2006) , pp.4269-4277.

80.  M.Marvan, A.M.Vinogradov, V.A.Yumaguzhin, Differential invariants of generic hyperbolic     Monge--Amp\`ere equations, Central European Journal of Mathematics,  принята в печать.    e-print: http://lanl.arxiv.org/abs/nlin/0604038.

81. Сачков Ю.Л.  Дискретные симметрии в обобщенной задаче Дидоны // Мат. Сборник, 2006, T. 197, N 2, S. 95-116.

82. Сачков Ю.Л. Множество Максвелла в обобщенной задаче Дидоны // Мат. Сборник, 2006, Т. 197,  № 4, С. 123-150.

83. Сачков Ю.Л. Полное описание стратов Максвелла в обобщенной задаче Дидоны  // Мат. Сборник, 2006,  T. 197, N 6, С. 111-160.

84. Сачков Ю.Л.  Задача Эйлера об эластиках, Программные системы --- Теория и приложения, 2006, Труды международной конференции, ИПС РАН, Переславль-Залесский, 2006 г., М.: Физматлит. – Т. 2, 7-21.

85. Сачкова Е.Ф.   Решение задачи управления на основе нильпотентной аппроксимации, Программные системы --- Теория и приложения, 2006, Труды международной конференции, ИПС РАН, Переславль-Залесский, 2006 г., М.: Физматлит. – Т. 2, 57-81.

86. Ардентов А.А.  Экстремальные кривые в задаче Эйлера об эластиках, Программные системы --- Теория и приложения, 2006, Труды международной конференции, ИПС РАН, Переславль-Залесский, 2006 г., М.: Физматлит. – Т. 2, 23-37.

87. Маштаков А.П.  Римановы геодезические на поверхностях вращения, Программные системы --- Теория и приложения, 2006, Труды международной конференции, ИПС РАН, Переславль-Залесский, 2006 г., М.: Физматлит. – Т. 2, 39-51.

88. Сачков Ю.Л. Точки Максвелла и сопряженные точки в задаче Эйлера об эластиках, Международная конференция по дифф. уравнениям и динамическим системам, Суздаль, 2006 г., Тезисы докладов, 194—195.

89. Sachkov Yu.L. Control theory on Lie groups, Preprint SISSA 15/2006/M (March 2006), Trieste, Italy, 78 pp.

90. Ухин М.Ю. Приближенный синтез оптимального управления. М.: Физматлит 2006. 8 п.л.

91. Гурман, В.И.,Ухин М.Ю.  Синтез оптимального управления периодическими процессами при неограниченном времени // автоматика и телемеханика. - 2006. - № 12. С.

92. Гурман В.И., Ухин М.Ю., Ни Минь Кань. Практические схемы оптимизации управления на основе принципа расширения // Автоматика и телемеханика. 2006. № 5.

93. Ухин М.Ю. Синтез приближенно оптимального управления на дискретных моделях //  Автоматика и телемеханика. 2006. № 7.

94. Гурман В.И., Урбанович Д.Е. Эволюция моделей экономического роста и развития // Экономика природопользования, 2006 № 5. 

95. Нестеров С.С. Программное обеспечение социо-эколого-экономической модели с блоком оптимизации. - Научное обозрение, № 5, 2006.

96. Гурман В.И., Рюмина Е.В. Каналы формирования экономического ущерба от экологических нарушений // Сборник научных трудов. - Курск: КГУ, 2006.

97. Гурман В.И., Рюмина Е.В. Исследование зависимости экономики от состояния окружающей среды. - Научное обозрение, № 5, 2006.

98. Гурман В.И., Рюмина Е.В. Механизм формирования ущерба от экологических нарушений // Труды международной научно-практической конференции "Экономика природопользования для устойчивого развития: теория и практика". - Минск: БГЭУ, 2006.

99. Рюмина Е.В. Формирование природоохранной стратегии предприятия // Стратегическое планирование и развитие предприятий. Секция 3 / Тезисы докладов и сообщений Седьмого всероссийского симпозиума. Москва, 11-12 апреля 2006 г. - М.: ЦЭМИ РАН, 2006, с. 184-186.

100.    Рюмина Е.В. Зависимость экономических показателей от состояния окружающей среды // Труды Международной конференции "Программные системы: теория и приложения" (PSTA-2006). - Переславль-Залесский: ИПС РАН, 2006.

101.    Аникина А.М., Рюмина Е.В. Кластерный анализ регионов по уровню использования природно-ресурсного потенциала. - Экономика природопользования 2006 в печати).

 

 

2005

1.     Г.И. Назаренко, Я.И. Гулиев, Д.Е. Ермаков. Медицинские информационные системы: теория и практика.  М., Физматлит, 2005, 320 с.

2.     Yadulla I. Guliev. Integrated Healthcare Systems: Theory and Practice // Proc. Advanced Information and Telemedicine Technologies for Health (AITTH’2005), Minsk, Belarus, November 08-10, 2005 — Vol. 1. — С. 202.

3.     Sergei G. Yurchenko, Vladimir L. Malykh, Yadulla I. Guliev. Conceptual Models for Representing Information in Healthcare Information Systems // Proc. Advanced Information and Telemedicine Technologies for Health (AITTH’2005), Minsk, Belarus, 2005 — Vol. 1. — С. 198.

4.     Я.И. Гулиев. Задачи МИС в ЛПУ // Тез. Международной конференции «Информационные и телемедицинские технологии в охране здоровья» (ITTHС-2005), Москва,  2005 г.

5.     Пережигин А.А., Хачумов В.М. Обнаружение и автоматическое определение параметров летательного объекта на видео потоке. - Информационные технологии и вычислительные системы, № 1, 2005, с. 38-48.

6.     Хачумов В.М. Разрядно - параллельные вычислительные схемы. -  Труды Всероссийской научной конференции «Методы и средства обработки информации» - М.:  МГУ, 2005,  с.288-294.

7.     Хачумов В.М., Бурдаев М.Н., Виноградов А.Н., Заднепровский В.Ф., Куршев Е.П. Комплекс программно-инструментальных средств для создания систем контроля и управления аэрокосмического назначения. – Тезисы докладов 4-ой Международной конференции «Авиация и космонавтика-2005»  – М.: МАИ, 2005, с. 118.

8.     Калугин В.Ф., Хачумов В.М. Непрерывная диагностика дизельного оборудования на основе интеллектуального анализа графиков рабочих характеристик  - Тезисы 5-й международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта CAD/CAM/PDM – 2005». – М.: ИПУ РАН, 2005, с.47.

9.     Бурдаев М.Н. Некоторые результаты исследования уравнения Кеплера методами когнитивной графики - XL Научные Чтения памяти К.Э.Циолковского. Калуга: Издательский дом «Эйдос, 2005,  с. 48

10.  Бурдаев М.Н. Применение методов когнитивной графики в процессе подготовки космонавтов. – Труды Шестой Международной научно-практической конференции «Пилотируемые полеты в космос». - Звездный городок:  Редакционно-издательский отдел РГНИИЦПК им. Ю.А.Гагарина,  2005, с. 48

11.  Амелькин С.А., Хачумов В.М.. Обобщенное расстояние Евклида - Махаланобиса и его применение в задачах распознавания образов. – Доклады 12-ой Всероссийской конференции «Математические методы распознавания образов».  – М.: МАКС Пресс, 2005 с. 7-9.

12.  Zakharov A.V., Khachumov V. M.. A Bit-Parallel Representation of Activation Functions for Fast Neural Networks. - Pattern Recognition and Image Analysis, Vol. 15, No. 2,  2005, pp.  470-473.

13.  Андреев Д.А.  Оптимизация температурного поля в открытых многокамерных системах. // Промышленные АСУ и контроллеры. 2005. №3 с26-29.

14.  Амелькин С.А. Предельные возможности процесса  ресурсообмена в неоднородной открытой микроэкономической системе. // Математическое моделирование. N2, 2005.

15.  Цирлин А.М. Экстремальные принципы и оптимальные процессы в открытых макросистемах. // АиТ, 2005, №3.

16.  Марван М., Виноградов А.М., Юмагужин В.А. Дифференциальные инварианты гиперболических уравнений Монжа-Ампера общего положения. // ДАН, т. 405, № 3, 2005.

17.  Amelkin S. A., Andresen B., Burzler J. M., Hoffmann K. H., Tsirlin A. M. Thermo-mechanical systems with several heat reservoirs: maximum power processes, J. Non-Equilib. Thermodyn. 30, 53, (2005).

18.  Tsirlin A.M., Kazakov V.A. Average relaxations of extremal problems and generalized maximum principle. // Nova Science Publishers, Advances in Mathematics Research, vol.6, 2005 pp. 141-156.

19.  Tsirlin A.M., Kazakov V.A. Irreversible work of separation and heat-driven separation. // J.Phys. Chem. B 108. 6035-6042. 2005.

20.  Tsirlin A.M., Kazakov V.A. Extremal principles and limiting possibilities of open thermodynamic and economic systems. // Variational and extremum principles in macroscopic systems, S. Sieniutycz  & H. Farkas (eds.), Kluwer Academic Publishers.  2005.

21.  Tsirlin A.M., Kazakov V.A., Trushkov V.V. Controllable open macrosystems in thermodynamics and microeconomics. // Open Sys. & Information Dyn. 12. pp.1-17. 2005.

22.  Tsirlin A.M., Kazakov V.A., Alimova N.A., Ahremenkov A.A. Thermodynamic model of capital extraction in economic systems. // Journal Interdisciplinary Description of Complex Systems. № 1. 2005.

23.  Цирлин А.М. Математические модели и оптимальные процессы в  макросистемах. М.: Наука, 2005.

24.  Amelkin S.A. Extreme performance of macrosystems with several driving forces of different nature. International Workshop on Multidisciplinary Researches, Zagreb, Croatia, May, 2005.

25.  Amelkin S.A. Extreme performance of a heat engine as an economic agent. // International workshop “New perspectives in thermodynamics quantifying non-equilibrium processes”. Udine, Italy, 26 October – 5 November, 2005.

26.  С.В. Бурчу, А.В. Карлаш, А.С. Нестеров, Ю.В, Шевчук   2005. Административно-расчетная система Nadmin как электронная система автоматического обслуживания. Proc. Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции, Изд-во МГУ, М., с. 263-264.

27.  Ю.В. Шевчук, С.В. Бурчу. 2005 Методы обнаружения сетевой вирусной активности. Proc. Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции, Изд-во МГУ, М., с. 262-263.

28.  С.М. Абрамов, Д.В. Белышев, М.В. Гумин, А.А. Кузнецов, А.С. Нестеров, Ю.В. Шевчук. 2005. Botik Tools: Пакет программ для абонентов научно-образовательной сети города Переславля-Залесского. Proc. Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции, Изд-во МГУ, М., с. 254-257.

29.  Lisitca, A.P. Nemytykh, Verification of parameterized systems using supercompilation. A case study. In Proceedings of APPSEM05, Ludwig Maximillians Universitat Munchen, 2005. ftp://www.botik.ru/pub/local/scp/refal5/appsem_verification2005.ps

30.  Lisitca, A.P. Nemytykh, Towards verification via supercompilation, in Proceedings of COMPSAC'2005, 2005.

31.  Патаракин Е.Д. 2005. Стайные сетевые взаимодействия, Educational Technology & Society 8(2) 2005, pp. 278-288

32.  Патаракин Е., Быховский Я., Ястребцева Е., «Геокешинг, Готагинг, Фликр, Вики-Вики, Веб-блоги и Живой Журнал в образовании: Новое поколение учебных проектов городских улиц и сетевых сообществ». Институт Развития Образовательных Технологий, Москва, 2005.

33.  Е.Д. Патаракин, Б.Б. Ярмахов. 2005. Кнопочник, Тряпочник и Гуру Менеджмента. Вопросы информатизации образования. Научно-практический электронный альманах (http://www.npstoik.ru/vio/)   15.10.2005. Выпуск 1.

34.  Патаракин Е.Д. 2005 Сетевые проекты нового поколения. Материалы конференции "RELARN-2005", Нижний Новгород - Казань.

35.  Патаракин Е.Д. 2005, Учитель в роли стайного советника // Использование информационно-коммуникационных технологий в образовании: Материалы второй Научно-практической конференции/ Йошкар-Ола - Мар. Гос. Университет, 2005, стр. 78-84

36.  Патаракин Е.Д. Новое поколение учебных проектов с использованием сетевых сервисов и мобильных устройств. Материалы конференции  EVA-2005, 28 ноября - 2 декабря 2005 г.

37.  Patarakin E.D., Yarmakhov B.B., 2005, Building Network Learning Communities: The Russian Context, Audem.

38. Patarakin E., 2005, Virtual flock adviser, BtSM, Hage.

39.  Gurman  V.I., Ukhin M.Yu. The extension principlе  in control problems: Constructive methods and applied problems.- Moscow: Fizmatlit, 2005.-148 p.

40.  Gurman  V.I. The extension principle in the problems of sustainable development. - Moscow: Fizmatlit, 2005.-128 p.

41.  Гурман В.В.,  Ухин М.Ю.. Приближенный синтез оптимального управления. Труды 13 Байкальской международной школы-семинара «Методы оптимизациии и их приложения».

42.  Гурман В.И.,  Ухин M.Ю. Синтез оптимального управления в системах с неoграниченным множеством скоростей // Дифференциальные уравнения, № 11, 2005.

43.  Гурман В.И., Ухин М.Ю. Конструктивные методы оптимального управления основанные на принципе расширения.  Труды 8 международной научно-практической конференции «Фундаментальные и прикладные проблемы приборостроения, информатики и экономики».

44. Гурман В.И., Ухин М.Ю. Моделирование инновационных стратегий устойчивого регионального развития. Материалы международной научной конференции «Моделирование устойчивого регионального развития», 2005.

45.  Гурман В.И., Урбанович Д.Е., Ухин М.Ю. Применение математических моделей для исследования  устойчивого регионального развития // Известия КБНЦ РАН, 2005.

46.  Гурман В.И., Ухин М.Ю., Ни Минь Кань  Практические схемы оптимизации управления на основе принципа расширения  // АиТ, 2006, № 3 (в печати).

47.  Ильин В.А., Моисеев Е.И. Оптимальное граничное управление упругой силой на одном конце струны при свободном втором ее конце // Дифференц. уравнения. – 2005. – Т. 41, № 1. – С. 105–115.

48.  Ильин В.А., Моисеев Е.И. Оптимальное граничное управление смещением на двух концах и отвечающее ему распределение полной энергии струны // ДАН. – 2005. – Т. 400, № 1. – С. 16–20.

49.  Ильин В.А., Моисеев Е.И. Оптимальное граничное управление смещением на одном конце при свободном втором конце и отвечающее ему распределение полной энергии струны // ДАН. – 2005. – Т. 400, № 5. – С. 587–591.

50.  Ильин В.А. Оптимальное граничное управление упругой силой на одном конце при закрепленном втором конце  и отвечающее ему распределение полной энергии струны // ДАН. – 2005. – Т. 400, № 6. – С. 731–735.

51.  Ильин В.А., Моисеев Е.И. Оптимальное граничное управление упругой силой на одном конце струны при свободном втором конце // ДАН. – 2005. – Т. 402, № 1. – С. 20–24.

52.  Ильин В.А., Моисеев Е.И. Оптимизация управления упругой силой на двух концах струны // ДАН. – 2005. – Т. 402, № 2. – С. 163–169.

53.  Ильин В.А., Моисеев Е.И. Оптимизация комбинированного граничного управления колебаниями струны – упругой силой на одном конце и смещением на другом конце // ДАН. – 2005. – Т. 402, № 5. – С. 590–596.

54.  Ильин В.А., Моисеев Е.И. Оптимизация граничных управлений колебаниями струны // Успехи матем. Наук. – 2005. – Т. 60, № 6.

55.  Егоров А.И., Знаменская Л.Н. Управление колебаниями связанных объектов с распределенными с сосредоточенными параметрами // ЖВМ и МФ. – 2005. – Т. 45, № 10. – С. 1766–1784.

56.  Егоров А.И., Знаменская Л.Н. Управление колебаниями связанных объектов с распределенными с сосредоточенными параметрами II // ЖВМ и МФ. (в печати)

57.  Аграчев А.А.,  Сачков Ю.Л. Геометрическая теория управления. – М.: Физматлит, 2005.

58.  Сачков Ю.Л.  Дискретные симметрии в обобщенной задаче Дидоны // Мат. Сборник (в печати).

59.  Сачков Ю.Л. Множество Максвелла в обобщенной задаче Дидоны // Мат. Сборник (в печати).

60.  Сачков Ю.Л. Полное описание стратов Максвелла в обобщенной задаче Дидоны  // Мат. Сборник (в печати).

61.  Sachkov Yu. L. Discrete symmetries and Maxwell set in generalized Dido's problem // Preprint SISSA 20/2005/M, March 2005, SISSA, Trieste, Italy.

62.  Абрамов С.М.,  Коряка Ф.А., Московский А.А. Региональные grid-сети. // Мир ПК, No 8,   2005 г., с. 80-82.

63.  С.М. Абрамов, А.А. Московский, АЮ. Первин, Ф.А. Коряка. Создание испытательного полигона для GRID-приложений в городе Переславле-Залесском. Proc. Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции,  Изд-во МГУ, М., с. 145-146.

64.  С.М. Абрамов, А.А. Московский, В.А. Роганов, Ю.В. Шевчук, Е.В. Шевчук, Н.Н. Парамонов, О.П. Чиж.  Open TS: архитектура и реализация среды для динамического распараллеливания вычислений // Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции, Изд-во МГУ, М., с. 79-81.

65.  Sergey Abramov, Alexei Adamovich, Alexander Inyukhin, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk, Yuri Shevchuk, and Alexander Vodomerov. OpenTS: An Outline of Dynamic Parallelization Approach // Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia. Berlin etc. Springer, 2005. - Lecture Notes in Computer Science: Volume 3606, pp. 303-312

66.  М.Р. Коваленко Интерактивная отладка MPI-программ с использованием параллельного отладчика TDB // Научный сервис в сети Интернет: Труды Всероссийской научной конференции, Изд-во МГУ, М., с.115 – 119.

67.  Г.И.Назаренко, Г.С.Осипов. Основы теории медицинских технологических процессов. М.:Физматлит, 2005

68.  Трофимов И.В. Значимый контекст рассуждений в задаче планирования // Труды Первой международной конференции "Системный анализ и информационные технологии" САИТ-2005, М.:КомКнига, 2005, т.1, стр. 227-229.

69.  Трофимов И.В. Планирование в средах с большим количеством объектов // Труды международных научно-технических конференций "Интеллектуальные системы" (AIS'05) и "Интеллектуальные САПР" (CAD-2005)  - М.:Физматлит, 2005, т.1, стр. 276-282.

70.  Г.С.Осипов Обнаружение и исследование потоков работ и процессов над множествами дискретных событий. // Труды конференции «Системный анализ и информационные технологии». Отдельный оттиск. Стр.3-7. Москва, URS, 2005

71.  Осипов Г.С., Завьялова О.С., Климовский А.А., Кузнецов И.А., Смирнов И.В., Тихомиров И.А. Проблемы обеспечения точности и полноты поиска: Пути решения в интеллектуальной метапоисковой системе "Сириус".// Труды международной конференции Диалог'2005, с. 390-395, Москва, Наука, 2005.

72.  Осипов Г.С., Завьялова О.С., Смирнов И.В., Тихомиров И.А. Интеллектуальный семантический поиск с привлечением средств метапоиска.// Труды 5-й международной конференции "Интеллектуальный анализ информации" (ИАИ'2005),  2005, Киев.

73.  Ломазова И.А. Универсальные сети Петри и системы переписывания процессов, дополненные процедурами. Доклады Академии наук, 2005, том 401, № 1, с. 30-33.

74.  Bashkin V.A., Lomazova I.A. Similarity of generalized resources in Petri nets. Lecture Notes in Computer Science, Vol. 3606, 2005, p.27-41.

75.  Башкин В.А., Ломазова И.А. Подобие обобщенных ресурсов в сетях Петри. // Труды второй всероссийской конференции «Методы и средства обработки информации», М.: Изд-во ВМК МГУ, 2005, с. 330-336.

76.  Кормалев Д.А. Алгебраическая модель для машинного обучения в задачах обработки текста // Труды Международных научно-технических конференций "Интеллектуальные системы" (AIS'05) и "Интеллектуальные САПР" (CAD-2005)  - Т. 2. - М.: Физматлит, 2005. - С. 194-199. 

77.  Кормалев Д.А. Автоматическое построение правил извлечения информации из текста // Первая международная конференция "Системный анализ и информационные технологии" САИТ-2005. Труды конференции. - Т. 1. - М.: КомКнига, 2005. - С. 205-209.

78.  В.Б.Гузев, Ю.П. Сердюк MC# Grid System: подход к Grid-вычислениям на основе языка параллельного, распределенного программирования // Труды Всероссийской научной конференции "Научный сервис в сети Интернет: технологии распределенных вычислений",  стр. 41-43.

79.  В.Б.Гузев, А.И.Молодченков, Ю.П.Сердюк Решение задач обработки изображений в реальном времени на языке параллельного программирования MC#" // Труды II-го Белорусского космического конгресса, 2005 г., Минск, стр.173-177.

80.  А.Молодченков, Ю. Сердюк Опыт применения языка MC# в задачах рендеринга графических изображений // Труды XIV Международной конференции по вычислительной механике и современным прикладным программным системам (ВМСППС'2005),  2005 г.

81.  М.Н. Бурдаев Микрогравитация на космических аппаратах // Авиакосмическое приборостроение, №4, 2005, с.16-20.

[ в начало ]

 

2004

1.     Agrachev А.А.,  Sachkov Yu.L., Control Theory from the Geometric Viewpoint, Springer-Verlag, 2004.

2.     Amelkin S. A., Andresen B., Burzler J. M., Hoffmann K. H., Tsirlin A. M. Maximum power processes for multi-source endoreversible heat engines  2004  J. Phys. D: Appl. Phys. 37 1400-1404

3.     Amelkin S.A. Extreme performance of macroconrolled structured economic system. // General solution in control problem. Moscow: Fizmatlit, 2004, p.320-326.

4.     Amelkin S.A. Limiting possibilities of resource exchange process in complex open microeconomic system. // Interdisciplinary Description of complex system 2(1), 43-52, 2004.

5.     Deissenberg Ch., Gurman V.I., Ryumina E.V. Representation of innovations in the model of regional development  Proceedings of IFAC Wokshop"Generalized solutions in control  problems"  (GSCP-2004), - Moscow: Fizmatlit, 2004,

6.     Gasparyan A.S., Discriminant-Resultant Families and Root Multiplicity Analysis, Abstracts AAA'68, 68th Workshop on General Algebra, Dresden, Germany, June 10-13 2004. http://www.math.tu-dresden.de/~aaa/aaa68.html

7.     Gasparyan A.S., Multidimensional Determinantal Identities and Inequalities. Тезисы докладов Международной  алгебраической конференции, посвящённой 250-летию Московского университета и 75-летию кафедры высшей алгебры,  Москва, МГУ.

8.     Gasparyan A.S., Multidimensional Matrix Algebras and Their Applications, Abstracts AAA'67, 67th  Workshop on General Algebra, Potsdam, Germany, March 26-28, 2004. http://users.math.uni-potsdam.de/~denecke/Aaa67.htm

9.     Gasparyan A.S., Poly-grassmann Algebras and Polydeterminants, Тезисы докладов Международной  алгебраической конференции, посвящённой 250-летию Московского университета и 75-летию кафедры высшей алгебры, Москва, МГУ,  2004 г.

10.  Gasparyan A.S., The Matrix Network Approach to Modelling General Complex Systems. Abstracts ICCS2004 International Conference on Complex Systems, USA, 2004 http://necsi.net/events/iccs/openconf/author/paper.php?a=270

11.  Gurman V.I., "Multiple maxima method \\in optimal control problems", Proceedings of IFAC Wokshop "Generalized solutions in control problems"  (GSCP-2004), - Moscow: Fizmatlit, 2004.

12.  Gurman V.I., Ukhin M.Yu., Belyshev D.V. "Multimethod procedures in control improvement and optimal synthesis",  Proceedings of IFAC Wokshop"Generalized solutions in control problems"  (GSCP-2004), - Moscow: Fizmatlit, 2004.

13.  Ilin V.A., Moiseev E.I. Optimal boundary string oscillations controls functions minimizing the boundary energy integral / Procedings IFAC Workshop and Satelite Ivents, GSCP--2004. --- Moscow: Fizmatlit, 2004. --- P. 256--264.

14.  Lomazova I. Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. Fundamenta Informaticae, Vol. 60, No 1-4, 2004, pages 225-235.

15.  Lomazova I. Universal Petri Nets and Process Rewrite Systems extended with procedures. Proc.CS&P'2004.Vol.1. Informatik-Bericht 170. Humboldt-Universitat zu Berlin. Berlin, 2004, pages 81-87.

16.  Mechveliani S.  "From a computer algebra library to a system with an equational prover". In Proceedings of International Conference AISC-2004, Linz, Austria, 2004. LNAI, Volum 3249, pages 281-284, Springer Verlag.

17. Nemytykh A.P. and A.V.Korlyukov, Supercompilation of Double Interpretation. (How one Hour of the Machine's Time Can Be Rurned to One Second) (in English), Вестник национального технического университета "Харьковского политехнического института", 2004, №1, стр. 123-150.

18.  Nemytykh A.P. and Gao Xi, Optimizing Refal-5 compiler: binary modules, documentation. http://www.botik.ru/pub/local/scp/refal5/

19.  Nemytykh A.P. The Supercompiler SCP4: General Structure (in English), В сборнике "Программные системы: теория и применение", 2004, Физматлит, Москва, том 1, стр: 448-485.

20. Osipov G. Goal-Orientation for Systems with Proper Behavior// Proceedings of the 6th Joint Conference on Knowledge-Based Software Engineering, Vol. 108, IOS Press, 2004, p.189-196, p. 49-55.

21.  Sachkov Yu.L.,  Symmetries of Flat Rank Two Distributions and Sub-Riemannian Structures // Transactions of the American Mathematical Society. - 2004.  - T. 356, No.  2. - С.  457--494.

22.  Sachkov Yu.L., Sachkova E.F., Motion planning for linear in control systems, Generalized solutions in control problems, Proceedings of the IFAC Workshop GSCP-04, Pereslavl-Zalessky, Russia, September 21-29, 2004, pp. 227-235.

23.  Tsirlin A.M., Kazakov V.A. Average relaxations of extremal problems and generalized maximum principle // Advances in Mathematics vol.6, Nova Science publishers, 2004.

24.  Tsirlin A.M., Kazakov V.A. Extremal principles and limiting possibilities of open thermodynamic and economic systems. // Variational and extremum principles in macroscopic systems,    S. Sieniutycz  & H. Farkas (eds.), Kluwer Academic Publishers.  2004.

25.  Tsirlin A.M., Kazakov V.A. Irreversible work of separation and heat-driven separation. // J.Phys. Chem. B  2004. 108. 6035-6042.

26.  Tsirlin A.M., Kazakov V.A. Optimal processes in irreversible thermodynamics and microeconomics. // Interdisciplinary description of complex systems. 2(1). pp. 29-42. 2004.

27.  Tsirlin A.M., Kazakov V.A. Optimal processes in irreversible thermodynamics and microeconomics. // General solution in control problem. Moscow: Fizmatlit, 2004, p.372-381.

28.  Zakharov A.V., Khachumov V.M. “Bit-parallel Representation of Activation Functions for Fast Neural Networks” –Proceedings of the 7-th International Conference on Pattern Recognition and Image Analysis (PRIA-7-2004). -St.Petersburg: St PEU, V.2, 2004, pp. 568-571.

29.  Znamenskaya L.N. Control of oscillation in hyperbolic system // Generalized solutions in control problems / Procedings IFAC Workshop and Satelite Ivents, GSCP--2004.  --- Moscow: Fizmatlit, 2004. --- P. 294--310.

30.  Абламейко С.В., С.М. Абрамов, В. В. Анищенко, Н. Н. Парамонов. Суперкомпьютеры семейства "СКИФ". Proc. Международная конференция "Программные системы: теория и приложения",  Физматлит, М., Том 1, с. 157-184.

31.  Абламейко С.В., С.М. Абрамов, В.В. Анищенко, Н.Н. Парамонов, О.П. Чиж. Принципы построения суперкомпьютеров  семейства СКИФ, Proc. Суперкомпьютерные системы и их применение SSA'2004. Труды Международной научной конференции, , ОИПИ НАН Беларуси,  Минск, с. 109-115.

32.  Абламейко С.В., С.М. Абрамов, В.В. Анищенко, Н.Н. Парамонов, О.П. Чиж. Модели суперкомпьютеров СКИФ Ряда 2, Proc. Суперкомпьютерные системы и их применение SSA'2004. Труды Международной научной конференции, ОИПИ НАН Беларуси,  Минск, с. 73-76.

33.  Абламейко С.В., С.М. Абрамов, В.В. Анищенко, Н.Н. Парамонов, О.П. Чиж. Совместная белорусско-российская программа "СКИФ", Proc. Суперкомпьютерные системы и их применение SSA'2004. Труды Международной научной конференции,  ОИПИ НАН Беларуси,  Минск, с. 23-27.

34.  Абламейко С.В.,  С.М.Абрамов, В.В. Анищенко, Н.Н. Парамонов, О.П. Чиж. Кластерные конфигурации СКИФ Ряда 1, Proc. Суперкомпьютерные системы и их применение SSA'2004. Труды Международной научной конференции,   ОИПИ НАН Беларуси,  Минск, с. 54-61.

35.  Абламейко С.В., Абрамов С.М., Анищенко В.В., Парамонов Н.Н. Принципы построения суперкомпьютеров семейства "СКИФ" и их реализация // Ежеквартальный научный журнал "Информатика". ОИПИ НАН Беларуси, Минск, No 1, январь-март 2004. pp. 89-106

36.  Абрамов С.М., А.И. Адамович, А.В. Инюхин, А.А. Московский, В.А. Роганов, Ю.В. Шевчук, Е.В. Шевчук. Т-система с открытой архитектурой, Proc. Суперкомпьютерные системы и их применение SSA'2004. Труды Международной научной конференции,  ОИПИ НАН Беларуси,  Минск, с 18-22.

37.  Абрамов С.М., А.Ю. Орлов, Л.В. Парменова, С.М. Пономарева, А.Ф. Слепухин. Новый подход к реализации системы программирования Рефал Плюс, Proc. Международная конференция "Программные системы: теория и приложения",  2004, Физматлит, М.. Том 1, с. 373-402.

38.  Абрамов С.М., А.Ю. Орлов. Компиляция в императивные языки синтаксического отождествления языка Рефал, Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М., Том 1, с. 403-448

39.  Абрамов С.М., А.Ю. Орлов. Компиляция в императивные языки синтаксического отождествления языка Рефал.  Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М.., т.1, с.403-448

40.  Абрамов С.М., В.А. Роганов. Динамическая специализация как средство оптимизации распределенных вычислений и как метод создания адаптивных сервисов для GRID-систем, Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М.. Том 1, с. 197-210

41.  Абрамов С.М., В.В. Анищенко, Н.Н. Парамонов. Суперкомпьютерные кластерные конфигурации "СКИФ", Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, Изд-во МГУ, М., pp. 216-218.

42.  Абрамов С.М., В.П. Котельников, А.Ю. Пономарев, Ю.В. Шевчук, Б.В. Якубов. Новые аппаратные разработки для региональных компьютерных сетей лаборатории "Ботик", Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, Изд-во МГУ, М., pp. 244-246.

43.  Абрамов С.М., Л.В.Парменова, А.Ю. Орлов, С.М. Пономарева, А.Ф. Слепухин. Система программирования Рефал Плюс: новый подход к реализации, Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, Изд-во МГУ, М., pp. 101-103.

44.  Абрамов С.М., Н.Н. Парамонов. Дальнейшее развитие суперкомпьютерного направления "СКИФ". Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М., Том 1, с. 185-196.

45.  Абрамов С.М.. ИЦМС ИПС РАН: ретроспективный обзор исследований за 1994-2004 годы. Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М., Том 1, с. 15-58.

46.  Аграчев А.А.,  Сачков Ю.Л., Геометрическая теория управления. М.: Физматлит, 2004.

47.  Адамович А.И., М.Р. Коваленко. TDB-открытая распределенная программная система интерактивной отладки MPI-программ: архитектурные решения и общие принципы реализации, Proc. Суперкомпьютерные системы и их применение SSA'2004. Труды Международной научной конференции, ОИПИ НАН Беларуси, Минск, с. 147-151.

48.  Алимов Д.В., Михеев А.Е., Назаренко Г.И., Хаткевич М.И. Визуализация и анализ потока пациентов в комплексном лечебно-профилактическом учреждении. Proc. Международная конференция "Программные системы: теория и приложения",  Физматлит, М.., т.2 с.103.

49.  Бабенко М., Е. Куршев, О. Одинцов, Е. Сулейманова, А. Чеповский Система классификации текстов информационных сообщений на русском языке «Актис». Proc. Международная конференция "Программные системы: теория и приложения", 2004, М., Физматлит, 2004, т.2, с. 7-20.

50.  Белышев Д.В. Алгоритм улучшения дискретного управления и его программная реализация. Proc. Международная конференция "Программные системы: теория и приложения", 2004, М., Физматлит, 2004, с. 349-368.

51.  Белышев Д.В. Алгоритмы дискретного управления с временным регулятором и их программная реализация. Диссертация на соискание ученой степени к.т.н.(рукоп.)

52.  Белышев Д.В., Соловьева О.В. Анализ инновационных эффектов развития  региона на социо-эколого-экономической модели. Proc. Международная конференция "Программные системы: теория и приложения",  2004, М., Физматлит, 2004, с. 437-444.

53.  Белышева И.А.. Разработка и внедрение информационно-обучающей среды для развития познавательной самостоятельности студентов при обучении английскому языку. Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М., Том 2, с. 299-312.

54.  Бурчу С.В.. Методы хостинга веб-сайтов, применимо к системе телекоммуникаций "Ботик", Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М.. Том 1, с. 257-264.

55.  Гаспарян А.С., Многомерно-матричные тождества и неравенства. Высшие аналоги классических неравенств. Тезисы докладов 2-й Международной конференции "Математические идеи П.Л. Чебышева и их приложение к современным проблемам естествознания", Обнинск, 2004.

56.  Гаспарян А.С., Перечисление гамма-латинских конфигураций: решение расширенной задачи о числе латинских прямоугольников. Материалы конференции DAOR'04, Дискретный анализ и исследование операций, Новосибирск, 2004.

57.  Гулиев Я.И.  Медицинская информатика в ИПС РАН. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.1,  с.59.

58.  Гулиев Я.И., Бабаян М.А., Фохт О.А. Внедрение и сопровождение корпоративной информационной системы. Обеспечение обратной связи. Proc. Международная конференция "Программные системы: теория и приложения", М., Физматлит, 2004 т.2,  с.271.

59.  Гулиев Я.И., Белышев Д.В., Назаренко Г.И., Полубенцева Е.И., Хаткевич М.И. Опыт разработки и внедрения информационной системы поликлиники в контексте построения единого информационного пространства комплексного медицинского центра. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2,  с.83.

60.  Гулиев Я.И., Малых В.Л. Архитектура HL-X. Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, май 2004, М., Физматлит, 2004. т.2 с.147

61.  Гулиев Я.И., Хаткевич М.И. Процесс и документ в медицинских информационных системах. Proc. Международная конференция "Программные системы: теория и приложения", М., Физматлит, 2004, т.2 с.169.

62.  Гурман В.И. Модели и методы теории управления. Proc. Международная конференция "Программные системы: теория и приложения", М., Физматлит, 2004, с. 101-116.

63.  Гурман В.И.,  Ухин М.Ю.. Метод улучшения дискретного управления, основанный на аппроксимации множества достижимости.  Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, с. 369-376.

64.  Гурман В.И. Метод кратных максимумов и условия оптимальности особых экстремалей. Дифференциальные уравнения, No 7, 2004.

65.  Гурман В.И., Ухин, М.Ю. Магистральные решения в задачах оптимизации стратегий развития регионов. Автоматика и телемеханика, No 4, 2004.

66.  Дворников С.E., Казаков И.Ф., Есин Г.И., Хачумов В.М. Библиотека нейронных сетей для распознавания графических образов. –Тезисы VI международного конгресса по математическому моделированию. –Н.Новгород, 2004.

67.  Ермаков Д.Е. Требования к качеству обслуживания при передаче медицинской информации. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2 с.259.

68.  Ермилова Е.В., А.В. Карлаш, А.С. Нестеров, П.Г. Жбанов, Ю. В. Шевчук. Nadmin -- система администрирования для региональных сетей, Proc. Международная конференция "Программные системы: теория и приложения",  2004, Физматлит, М.. Том 1, с. 231-256

69.  Живчиков В.С., Ломазова И.А. Сравнение выразительности вложенных сетей Петри и рекурсивных сетей Хаддада-Пуатрено. Тезисы доклада 6-й межд. конф. "Дискретные модели в теории управляющих систем" МГУ им. М.В.Ломоносова, Москва, 2004.

70.  Загоровский И.М., Г. А. Матвеев. Опыт создания системы управления контентом Web-сайта. Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М., Том 2, с. 313-320.

71.  Захаров А.В., В.М. Хачумов.  Алгоритмы CORDIC. Современное состояние и перспективы. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.1, с. 353-372.

72.  Знаменская Л.Н. Задача граничного наблюдения за колебаниями струны. Труды Междунар. конф. "Программные системы: теория и приложения". --- Т. 2. --- М.: Физматлит, 2004. --- С.331--347.

73.  Знаменская Л.Н. Управление упругими колебаниями. --- М.: Физматлит, 2004. --- 176 с.

74.  Ильин В.А., Моисеев Е.И. Оптимальное граничное управление смещением на одном конце при закрепленном втором конце и отвечающее ему распределение полной энергии струны. Докл. РАН. --- 2004. --- Т. 399,  № 6.

75.  Ильин В.А., Моисеев Е.И. Оптимальные граничные управления колебаниями струны на на одном конце при свободном втором конце..Нелинейная динамика и управление. Вып 4., 2004.

76.  Карлаш А.В., С.М. Абрамов, П.Г. Жбанов, А.С. Нестеров, Е.В. Ермилова, Ю.В. Шевчук. Надмин - административно-расчетная система для региональных сетей, Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, 2004, Изд-во МГУ, М., pp. 195-200.

77.  Кормалев Д. А. Автоматическое построение правил извлечения информации: подходы и проблемы .Труды Международных научно-технических конференций "Интеллектуальные системы" (IEEE AIS'04) и "Интеллектуальные САПР" (CAD-2004).      - М.: Физматлит, 2004, т.1, с. 178-183.

78.  Кормалев Д. А. Индуктивный алгоритм машинного обучения для построения правил извлечения информации из текста . Девятая Национальная конференция по искусственному интеллекту с международным участием КИИ-2004. Труды конференции.   - М.: Физматлит, 2004, т.1, с.154-161.

79.  Кормалев Д. А. Представление лингвистической и предметно-ориентированной информации о тексте при помощи аннотаций . Четвертый российско-украинский научный семинар "Интеллектуальный анализ информации ИАИ-2004". - Киев: Просвiта, 2004,с.

80.  Кормалев Д.А. Приложения методов машинного обучения в задачах анализа текста . Труды международной конференции «Программные системы: теория и приложения», М.: Физматлит, 2004, т.2, с. 35-48

81.  Кормалев Д.А., Е. П.Куршев, Е. А. Сулейманова, И. В. Трофимов. Система извлечения информации из текстов INEX . Девятая Национальная конференция по искусственному интеллекту с международным участием КИИ-2004. Труды конференции.  - М.: Физматлит, 2004, т.3, с. 908-915.

82.  Кормалев Д.А., Е.П. Куршев, Е.А. Сулейманова, И.В. Трофимов Архитектура инструментальных средств систем извлечения информации из текстов . Труды международной конференции «Программные системы: теория и приложения», Переславль-Залесский, М.: Физматлит, 2004, т.2, с. 49-70

83.  Кормалев Д.А., Е. П. Куршев, Е. А. Сулейманова, И. В. Трофимов. INEX: инструментальные средства извлечения информации из текста . Труды Международных научно-технических конференций "Интеллектуальные системы" (IEEE AIS'04) и "Интеллектуальные САПР" (CAD-2004). - М.: Физматлит, 2004. т.1, с. 184-188.

84.  Коряка Ф.А., Г.И. Есин, А.А. Московский, С.М. Абрамов, В.А. Роганов. Создание испытательного полигона для GRID-приложений  в городе Переславле-Залесском, Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, 2004, Изд-во МГУ, М., pp. 93-94.

85.  Кузнецов А.А., М.В. Гумин. Разработка геоинформационной системы для системы телекоммуникаций "Ботик", Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, 2004, Изд-во МГУ, М., pp. 91-93.

86.  Кузнецов А.А.. Разработка геоинформационной системы для СТ "Ботик" с использованием TCL/TK для реализации клиентской части, Proc. Международная конференция "Программные системы: теория и приложения",  2004, Физматлит, М.. Том 1, с. 277-296

87.  Лапшин М.А. Расширение роли PACS в архитектуре распределённой медицинской информационной системы. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2 с.245.

88.  Лешкин А.В., Тихомиров И.А., Шаров В.Г. Инструментальная программная среда поддержки дистанционных образовательных технологий. Материалы всероссийской научно-технической конференции "Моделирование и обработка информации в технических системах", РГАТА, Рыбинск, 2004, с. 396-400.

89.  Ломазова И.А. Универсальные сети Петри и системы переписывания процессов, дополненные процедурами. ДАН, 2004.

90.  Ломазова И.А., Некрасов А.В. О моделировании агентов с динамической структурой вложенными сетями Петри. Тезисы доклада 6-й межд. конф. "Дискретные модели в теории управляющих систем" МГУ им. М.В.Ломоносова, Москва, Россия, 2004.

91.  Ломазова И.А. Вложенные сети Петри и моделирование распределенных систем. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.1, с. 337-352.

92.  Лучшева В.В. Характеристика и экологическое значение инновационных процессов в регионе// Экономика природопользования, No 5, 2004.

93.  Малых В.Л., Юрченко С.Г. Документальный уровень представления знаний в интегрированной медицинской информационной системе. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2 с.217.

94.  Матвеев Г.Н., Каргева И.А., Комаров С.И. Динамика развития МИС КОТЕМ-2001. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2 с.117.

95.  Мешвелиани С.Д.. Об исследовании по автоматизации вычислений и доказательств. Proc. Международная конференция "Программные системы: теория и приложения",  2004, Физматлит, М., Том 1, с. 487-522.

96.  Миронов А.М., Д. Ю. Жуков.  Методы анализа программных систем. Труды международной конференции «Программные системы: теория и приложения», М.: Физматлит, 2004, т.1, с. 297-336.

97.  Немытых А.П.. Суперкомпилятор SCP4: общая структура.  Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М., Том 1, с. 449-486.

98.  Никифорова Л.Н., Ухин М.Ю. Приближенный синтез дискретного оптимального управления. Proc. Международная конференция "Программные системы: теория и приложения",  М., Физматлит, 2004, с. 377-386.

99.  Осипов Г.С. Работы исследовательского центра искусственного интеллекта. Труды международной конференции «Программные системы: теория и приложения», М.: Физматлит, 2004, т.1, с. 117-126.

100.       Осипов Г.С., Жилякова Л.Ю. Динамические семантические сети. В кн.: Научная сессия МИФИ-2004. Сборник научных трудов. Т.3. Интеллектуальные системы и технологии. М.: МИФИ, 2004, с.16-21.

101.       Осипов Г.С., И.А. Тихомиров, И.В. Смирнов Интеллектуальный поиск в глобальных и локальных вычислительных сетях и базах данных. Труды международной конференции «Программные системы: теория и приложения», М.: Физматлит, 2004, т.2, с. 21-34.

102.       Осипов Г.С., Тихомиров И.А., Смирнов И.В., Кузнецов И.А., Завьялова О.С., Климовский А.А.  Сириус - система интеллектуального поиска в локальных и глобальных сетях и базах данных. Труды 9-й национальной конференции по искусственному интеллекту с международным участием КИИ-2004, М: Физматлит, 2004, т.3 с. 902-907.

103.       Осипов Г.С., Хачумов В.М. Современные информационные технологии в задачах маневрирования на орбите и стыковки космических аппаратов. –Материалы Всероссийской научно-технической конференции “Моделирование и обработка информации в технических системах” –Рыбинск, РГАТА, 2004, с.8-13.

104.       Парменова В.В.. Адаптация мониторной системы MON для системы коммуникаций "Ботик", Proc. Международная конференция "Программные системы: теория и приложения", 2004, Физматлит, М.. Том 1, с. 265-276.

105.       Парменова В.В.. Расширение функциональности MON-системы мониторинга компьютерной сети, Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, Изд-во МГУ, М., pp. 67-69.

106.       Патаракин Е. Д.  Формы сетевого сотрудничестваEducational Technology & Society 7(2) 2004, pp. 236-246.

107.       Патаракин Е.Д. Местные сетевые сообщества обмена знаниями. Информатика сообществ и формирование сетей: Перспективы. Подходы. Инструменты. Часть 2. Современное состояние и параллели развития в СНГ., М.: Едиториал УРСС, 2004. - 264 с.

108.       Патаракин Е.Д., Шустов С.Б. Экологическое образование через создание сетевых сообществ. Журнал Евроазиатских Исследований. №2, 2004. cтр. 57 – 62

109.       Попов В.С., Горохов А.В., Комаров С.И. Создание единого информационного пространства многопрофильного лечебно-профилактического учреждения: проблемы и решения. Proc. Международная конференция "Программные системы: теория и приложения", М., Физматлит, 2004, т.2 с.133.

110.       Сачков Ю.Л., Сачкова Е.Ф., Геометрический смысл инвариантов и глобальная структура факторпространства в обобщенной задаче Дидоны, Программные системы: теория и приложения, Сборник научных трудов, М.: Физико-математическая литература, Москва, Т.2, 387-407.

111.       Сукина Л.Б., Шевчук Т.В. Формирование историко-культурной экологической среды региона на основе местных традиционных промыслов и ее место в устойчивом развитии Proc. Международная конференция "Программные системы: теория и приложения", М., Физматлит, 2004.

112.       Тарханов Т.С. Автоматический синтез плана целенаправленного поведения на основе разрешения конфликтов. Труды международной конференции «Программные системы: теория и приложения», М.: Физматлит, 2004, т.2, с. 71-80.

113.       Тарханов Т.С. Синтез планов на основе разрешения конфликтов. Труды IX национальной конференции по искусственному интеллекту (КИИ-2004), Тверь, 2004, с.290-298.

114.       Тихомиров И.А. Представление текста в задачах семантического поиска. Сборник трудов 4-го российско-украинского научного семинара "Интеллектуальный анализ информации", Киев 2004,. с. 200-209.

115.       Тихомиров И.А. Распознавание интерфейсов интернет-ресурсов на основе использования неоднородных семантических сетей. Труды 9-й национальной конференции по искусственному интеллекту с международным участием КИИ-2004, М: Физматлит, 2004, т.1 с.179-183.

116.       Хаткевич М.И., Хаткевич Ю.И., Чудновский М.А. Экономический аспект подсистемы назначений в корпоративной медицинской информационной системе. Труды Международной конференции "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2 с.231

117.       Хаткевич Ю.И., Хаткевич М.И. Подсистема назначений комплексного медицинского центра. Опыт разработки и эксплуатации. Proc. Международная конференция "Программные системы: теория и приложения", М., Физматлит, 2004, т.2 с.201.

118.       Хачумов В. Компьютерная графика в учебном процессе Университета г. Переславля. – Труды 14-ой Международной конференции GraphiCon'2004 (5-10 сентября 2004 г).- М.: МГУ, 2004, с.311-315.

119.       Хачумов В.М. Графические образы и нейронные сети. – Тезисы докладов 4-я международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта СADAM/PDM–2004.-М.: ИПУ РАН, 2004, с.35.

120.       Хачумов В.М., Пережигин А.А.. Распознавание и определение параметров летательного объекта на видеопотоке. —Тезисы 2-ой Международной конференции “Авиация и космонавтика-2004”  –М.: МАИ, 2004, с.40-41.

121.       Цирлин А.М., Н. А. Алимова. Извлечение капитала в микроэкономике (термодинамический подход)., Труды международной конференции «Программные системы: теория и приложения», М., Физматлит, 2004.

122.       Цирлин А.М., Титова И.В. Необратимые оценки затраты энергии для процессов разделения. «Теоретические основы химической технологии». №5,2004

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

124.       Чудновский М.А., Горохов А.В., Пономарчук Т.В. Информатизация экономической деятельности лечебного учреждения в условиях множественности форм финансирования. Труды Международной конференции "Программные системы: теория и приложения",  М., Физматлит, 2004, т.2 с.187

125.       Шевчук Ю.В., С.В. Бурчу.Сервер аренды WWW-пространства, Proc. Научный сервис в сети Интернет: Труды Всероссийской научной конференции, Изд-во МГУ, М., pp. 220-221.

[ в начало ]

 

2003

1.               Абрамов С.М., Адамович А.И., Коваленко М.Р., Роганов В.А. Биатлон для "СКИФов". // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 8 стр., 2003

2.               Abramov Sergei, Robert Gluck, Yury Klimov. An Improved Universal Resolving Algorithm for Inverse Computation of Non-Flat Languages. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 17 стр., 2003

3.               Гаспарян А.С., Многомерные определители и новые теоремы о конечных приращениях, Материалы международной конференции ОПУ-2003 - "Общие проблемы управления и их приложения", посвящённой 100-летию со дня рождения А.Н.Колмогорова, Тамбов, 11-16 мая 2003г. Вестник Тамбовского ун-та, сер. "Естествознание и технические науки", т.8, вып.3, 2003

4.               Armenak S. Gasparyan, Multidimensional matrix networks: a new approach to modelling social networks, Abstracts: International Social Network Conference SUNBELT XXIII, Cancun, Quantana Rao, Mexico, February 12-16, 2003

5.               A.Gasparyan, Inequalities Involving Cross-Section Volumes, Abstracts: International Conference "Curvature in Geometry" in honour of Prof. Lieven Vanhecke, Lecce, Italy, June 11-14,2003

6.               A.S.Gasparyan, Stochastic Networks and Multidimensional Matrices, Abstracts: International Conference "Kolmogorov and Contemporary Mathematics", in commemoration of the centenial of Andrei Nikolaevich Kolmogorov, RAS, MSU, Moscov, June 16-21, 2003

7.               Gasparyan A.S., The matrix networks: a new tool for modelling networked systems, Abstracts: MATHTOOLS 2003 -- Fourth International Conference "Tools for Mathematical Modelling", Saint-Petersburg, Russia, June 23-28, 2003

8.               Armenak Gasparyan, Poly-Grassmann Algebras and Polydeterminants, Abstracts: 66th International Workshop on General Algebra, Univ. of Klagenfurt, Austria, June 19-21, 2003

9.               Зайдельман Я. Задача о треугольнике. // В кн.: Информатика. Энциклопедия для детей. // М.: Аванта Плюс, 2003

10.            Зайдельман Я. Как писать надежные программы. // В кн.: Информатика. Энциклопедия для детей. // М.: Аванта Плюс, 2003

11.            Зайдельман Я. Как писать красивые программы. // В кн.: Информатика. Энциклопедия для детей. // М.: Аванта Плюс, 2003

12.            Белышев Д.В., Гурман В.И. Программный комплекс многометодных интеллектуальных процедур оптимального управления. // Автоматика и телемеханика, №6, 2003, С. 60-67

13.            Белышев Д. В., Саблин М. Ю. Алгоритм второго порядка поиска оптимального управления дискретной системой. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, с. 125-129

14.            Гурман В.И. Магистральные решения в процедурах поиска оптимальных управлений. // Автоматика и телемеханика, No 3, 2003

15.            Гурман В.И. Моделирование устойчивого развития с учетом инновационных процессов. // Экономика и математические методы, т.39, 1, 2003, ИДСТУ

16.            Гурман В.И., Белышев Д.В. Многометодный подход к оптимизации управления - с. 130-135. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 246 с., 2003

17.            Гурман В.И., Рюмина Е.В. Оценка влияния инноваций на развитие экономики и состояние окружающей среды. // Вестник РГНФ, N 4, 2003, 0.5 п.л.

18.            Гурман В.И., Ухин М.Ю. Приближенный синтез оптимального управления в задачах с магистральными решениями. // Труды второй международной конференции по проблемам управления (МКПУ II) 16-20 июня 2003 г., Институт проблем управления РАН, г.Москва, Россия

19.            Гурман В.И., Ухин М.Ю. Магистральные решения в задачах оптимизации стратегий развития регионов. // Автоматика и телемеханика, No 4, 2003

20.            V.I.Gurman, M.Yu.Uhin Models of control systems for practical optimization and estimation problems. // Proceedings of Fourth International Conference "Tools for Mathematical Modelling" in honor of 300-anniversary of Saint-Petersburg Saint-Petersburg State Technical University (MATHTOOLS'2003), Saint-Petersburg, Russia 23-28 June, 2003

21.            V.I.Gurman, M.Yu.Uhin Models of control systems for practical optimization and estimation problems. // Book of abstracts (p.68) Fourth International Conference "Tools for Mathematical Modelling" in honor of 300-anniversary of Saint-Petersburg Saint-Petersburg State Technical University (MATHTOOLS'2003), Saint-Petersburg, Russia 23-28 June, 2003

22.            Гурман В.И.,Ухин М.Ю. Optimal control under uncertaities for the systems with unbounded velocity sets. // Тезисы докладов 8-й Международной конференции "Системный анализ и управление", Евпатория, 29 июня-6 июля 2003 года

23.            Гурман В.И.,Ухин М.Ю. Приближенный локально оптимальный синтез управления относительно программных движений. // Тезисы докладов 8-й Международной конференции "Системный анализ и управление", Евпатория, 29 июня-6 июля 2003 года

24.            Гурман В.И., Ухин М.Ю. Моделирование и оптимизация стратегий устойчивого развития с учетом инноваций. // Proceedings of the Sixth International Conference of the Russian Society for Ecological Economics. Economic Development and the Environment: Information, Modeling and Management (RSEE-2003) August 18-23, 2003 Lake Baikal, Siberia, Russia

25.            Знаменская Л.Н. Управляемость колебаниями струны на двух концах при ограничениях на нормы управлений. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, с. 136-143

26.            Знаменская Л.Н. Управление колебаниями струны с одним закрепленным концом при ограничениях на управления // Дифференц. уравнения. - 2003. - No 8

27.            Лучшева В.В. Построение модели оценивания эффективности научно-технических нововведений в регионе. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, с. 144-147

28.            Сачков Ю.Л. Экспонентциальное отображение в обобщенной задаче Дидоны. // Математический сборник, 194 (2003), 9, 63-90

29.            Сукина Л. Б., Шевчук Т. В. Экология культуры как фактор устойчивого развития социума. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, с. 176-179

30.            A.M.Tsirlin, V.A.Kazakov. Irreversibility Factor and Limiting Performance of Financial Systems (thermodynamic approach). University of Technology Sydney, Quantitative Finance Research Centre. June 2003. Research Paper 99

31.            A.M.Tsirlin, V.A.Kazakov. Average Relaxations of Extremal Problems. University of Technology Sydney, Quantitative Finance Research Centre. June 2003. Research Paper 100

32.            A.M.Tsirlin, V.A.Kazakov, N.A.Kolinko. A Minimal Dissipation Type-Based Classification in Irreversible Thermodynamics and Microeconomics. University of Technology Sydney, Quantitative Finance Research Centre. June 2003. Research Paper 104

33.            A.M.Tsirlin, V.A.Kazakov. Minimal dissipation processes and estimates of limiting possibilities of irreversible thermodynamic systems. International Conference "Physics and Control" (PhysCon 2003) August 20-22, 2003, Saint Petersburg, Russia

34.            A.M.Tsirlin, D.A.Andreev, V.A.Mogutov, V.A.Kazakov. Optimal thermostatting. Int. J. Thermodynamics, 2003, vol. 6 (No. 2), pp. 79-84

35.            Колинько Н.А., Цирлин А.М. Оптимальное управление в задачах о предельных возможностях необратимых термодинамических и экономических систем. // Известия РАН. Теория и системы управления. 2003, №1, с. 61-77

36.            Титова И.В., Цирлин А.М. Оптимальная последовательность разделения многокомпонентных смесей. // XXVII академические чтения по космонавтике. 29 января - 4 февраля 2003 г. Москва

37.            Борисов Г.Б., Цирлин А.М. Выбор схем регулирования и параметров регуляторов для термодинамически оптимальных теплообменных аппаратов. // Теплоэнергетика, №1, 2003, с.68-74

38.            Знаменский С. В., Знаменская Е. А. Выпуклость полуконтинуумов в заданных направлениях. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, с. 27-40

39.            Гулиев Я.И., Комаров С.И. Интегрированная информационная система ЛПУ Интерин: основные принципы и характеристики. // Тезисы 1-ого Российского научного форума "МедКомТех-2003", Москва, ЦДХ, 25-28 февраля 2003 года

40.            Гулиев Я.И., Комаров С.И. Интегрированная информационная система ЛПУ: комплексная информатизация лечебно-диагностического учреждения. // Тезисы доклада на научно-практической конференции "Современные инфокоммуникационные технологии в системе охраны здоровья", Московская обл., пансионат "Липки", 13 - 14 ноября 2003 г, с. 32-34

41.            Ермаков Д.Е. Средства представления структурированных данных в медицинской информатике. // "Информационные технологии в здравоохранении", № 3-4, 2003, с. 30-32

42.            Виноградов А.Н., Жилякова Л.Ю., Осипов Г.С. Динамические интеллектуальные системы. Ч.II. Моделирование целенаправленного поведения. // Известия РАН. Теория и системы управления, М: Наука, 2003, №1, с.87-94

43.            Vladimir A. Bashkin, Irina A. Lomazova. Petri nets and resource bisimulation. Fundamenta Informaticae 55 (2003) 101-114 IOS PRESS

44.            Башкин В.А., Ломазова И.А.. Бисимуляция ресурсов в сетях Петри. // Известия РАН. Теория и системы управления, 2003, №4, с.115-123

45.            Ломазова И.А. Моделирование ресурсной зависимости в распределенных системах. // Труды первой Всероссийской научной конференции "Методы и средства обработки информации". М., 2003, с. 418

46.            Irina A. Lomazova. Interacting Automata for Modelling Distributed Systems Proceedings of the CS&P'2003 Workshop, vol. 2, Warsaw University, 2003, p. 326

47.            Gennady S.Osipov. Dynamics in Semiotics. // Proceedings of the IEEE International Conference on Integration of Knowledge Intensive Multi-agent Systems (KIMAS 03). Cambridge, MA, 2003, pp. 653 - 658

48.            Тарханов Т.С. Архитектура и ядро комплекса инструментальных программных средств для создания динамических интеллектуальных систем. // Программные продукты и системы, 2003, №2, c.9-13

49.            Burdaev M., Osipov G., Khachumov V. Graphical Methods of Control for Safe Spacecraft Docking. -Workshop Proceedings of the 6-th German-Russian Workshop "Pattern Recognition and Image Undestanding" (August, 25-23, 2003, Katun village, Altai Region, Russian Federation, OGRW-6-2003). Novosibirsk, 2003, pp.141-144

50.            Осипов Г.С. Динамические модели и инструментальные средства, использующие экспертные и эмпирические знания. // Труды Третьего расширенного семинара "Использование методов искусственного интеллекта и высокопроизводительных вычислений в аэрокосмических исследованиях", (26-27 ноября, Переславль-Залесский) М., 2003, с.13

51.            Виноградов А.Н., Хачумов В.М. Приложения технологий искусственного интеллекта для решения некоторых задач стыковки космических аппаратов. // Труды Третьего расширенного семинара "Использование методов искусственного интеллекта и высокопроизводительных вычислений в аэрокосмических исследованиях" (26-27 ноября 2003, Переславль-Залесский) М., 2003, с.21

52.            Ломазова И.А. Сообщества взаимодействующих автоматов. Доклады Академии Наук, 2003, том 393, N 3. (4 с.)

53.            Абламейко С.В., Абрамов С.М. Основные результаты суперкомпьютерной программы "СКИФ" Союзного Государства. // Труды семинара "АКИИ'03: Третий расширенный семинар Использование методов искусственного интеллекта и высокопроизводительных вычислениях и в аэрокосмических исследованиях", стр. 135-140, М.: Физматлит, 2003. ISBN 5-940-52-065-9

54.            Абрамов С.М., Адамович А.И., Коваленко М.Р., Слепухин А.Ф., Парамонов Н.Н. Кластерные системы семейства суперкомпьютеров "СКИФ". // Научный сервис в сети Интернет: Труды Всероссийской научной конференции (22-27 сентября 2003 г., г. Новороссийск). -М.: Изд-во МГУ, стр.147-151, 2003

55.            Абрамов С.М., Адамович А.И., Коваленко М.Р., Роганов В.А. Биатлон для СКИФов: быстро и точно. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003. стр. 91-96, ISBN 5-901795-02-4

56.            Абрамов С.М., Ермилова Е.В., Карлаш А.В. ГИС для региональных сетей (СТ "Ботик"). // Научный сервис в сети Интернет: Труды Всероссийской научной конференции (22-27 сентября 2003 г., г. Новороссийск). М.: Изд-во МГУ, стр.147-151, 2003

57.            Белышева И.А. Использование возможностей компьютерных технологий для активизации познавательной самостоятельности студентов при изучении иностранного языка. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003

58.            Белышева И.А. Развитие познавательной самостоятельности студентов средствами информационных технологий при обучении иностранному языку. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, стр. 155-157

59.            Жбанов П.Г., Нестеров А.С. Предоставление услуги IP-телефонии в малых региональных сетях. // Труды Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 22-27 сентября 2003

60.            Парменова В.В. Система мониторинга технического состояния городской компьютерной сети. // Труды Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 22-27 сентября 2003

61.            Патаракин Е.Д. Информационные ресурсы коллективного авторства. // Труды Всероссийской научной конференции "Научный сервис в сети Интернет", г. Новороссийск, 22-27 сентября 2003

62.            Патаракин Е. Д. Технические особенности сетевых сообществ и их педагогические следствия. Новые инфокоммуникационные технологии в социально-гуманитарных науках и образовании: современное состояние, проблемы и перспективы развития, 2003

63.            Травина Л.Л., Якубов Б.В., Ложкина Е.Р. Опыт проектирования психологической исследовательской среды средствами Интернета. // Труды 3-й Всероссийской конференции по экологической психологии, Москва 15-17 сентября 2003

64.            Abramov S., Glueck R., Klimov Yu. An Improved Universal Resolving Algorithm for Inverse Computation of Non-Flat Languages. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003, стр. 11-23, ISBN 5-901795-02-4

65.            Andrei P. Nemytykh. The supercompiler SCP4: general structure. // Труды международной конференции: "Perspectives of System Informatics", Июль 2003, Новосибирск

66.            Andrei P. Nemytykh. Playing on REFAL. // Труды международной конференции: "International Workshop on Program Understanding", Июль 2003, Новосибирск-Алтай

67.            Alexandr V. Korlyukov and Andrei P. Nemytykh. Supercompilation of Double Interpretation. // Труды международной конференции "2nd International Conference on Information Systems Technology and its Applications", июнь 2003, Харьков

68.            Chudinov A.M, Roganov V. Parallel. Computing Runtime for .NET Framework, 2003, In Proc: 1st International Workshop on C# and .NET Technologies for Algorithms, Computer Graphics, Visualization, Distributed and WEB Computing, Plzen, Chech Republic, 2003, pp. 3-7

69.            Патаракин Е.Д. Образовательные сетевые сообщества. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003

70.            Травина Л.Л., Якубов Б.В., Ложкина Е.Р., Гузилова Г.В. Об одном опыте проектирования виртуальной психологической лаборатории. // Сб. "Математика, информатика: теория и практика". Под ред. А.К.Айламазяна. Университет города Переславля, 2003

71.            Белышев Д.В. Алгоритм поиска оптимального управления дискретной системой. // Автоматика и телемеханика, 2003

72.            Гурман В.И. Модели и условия оптимальности для гибридных управляемых систем. // Известия РАН. Теория и системы управления, 2003

73.            Deissenberg Ch., Gurman V. Regional socio-ecology-economic models. // Энциклопедия жизнеобеспечивающих систем (EOLSS), 10 pp., 2003

74.            Лучшева В.В. Характеристика и экологическое значение инновационных процессов в регионе. // Экономика природопользования, 2003

75.            V.A.Yumaguzhin. On the obstruction to linearizability of 2-order ordinary differential equations, to appear in Acta Applicandae Mathematicae, 2003

76.            Кормалев Д.А., Куршев Е.П., Осипов Г.С., Трофимов И.В. Технология автоматического извлечения информации из текстов: Опыт разработки и перспективы развития. // Известия АН. ТиСУ, 2003

77.            Белышева И.А. Внедрение и развитие информационно-обучающей среды для обучения иностранному языку студентов технических специальностей. // Сборник трудов конференции "Новые информационные технологии в науке, образовании, экономике" (НИТНОЭ-2003), г. Владикавказ, 2003

 

[ в начало ]

 

2002

1.          Чудова Н.В. Особенности образа "Я" жителя Интернета. - Психол.журн., 2002, т. 23, №1, с.114-118

2.          Чудова Н.В. Семиотические и психологические особенности Интернета. - сб. Проблемы медиапсихологии. 2002

3.          Белышев Д.В., Гурман В.И. Интеллектуальные процедуры оптимального управления // Автоматика и телемеханика. - 2002. - № 5. - С. 147-155

4.          Белышев Д.В. Реализация многометодных процедур оптимального управления // Компьютерное и математические моделирование в естественных и технических науках: Материалы IV Всероссийской научной internet-конференции (апрель-май 2002 года). - 2002. - № 16. - С. 3-7

5.          Белышев Д.В., Гурман В.И. Многометодные процедуры оптимального управления // Понтрягинские чтения - XIII. Сборник материалов. Воронеж: Изд-во ВГУ, 2002. - С. 20-21

6.          Белышев Д.В., Гурман В.И. Мультиметодные процедуры оптимального управления // Обобщенные решения в задачах управления. Труды международного симпозиума. Переславль-Залесский, Россия, 27-31 августа 2002г. Тезисы докладов. Переславль: Изд-во УГП, 2002. - С. 131-132

7.          Белышев Д.В. Итерационный алгоритм второго порядка оптимизации дискретных управляемых систем // Обобщенные решения в задачах управления. Труды международного симпозиума. Переславль-Залесский, Россия, 27-31 августа 2002 г. Тезисы докладов. Переславль: Изд-во УГП, 2002. - С. 225-227

8.          Гурман В.И. Магистральные решения в процедурах поиска оптимальных управлений // Обобщенные решения в задачах управления. Труды международного симпозиума. Переславль-Залесский, Россия, 27-31 августа 2002г. Тезисы докладов. Переславль: Изд-во УГП, 2002. - С. 27-28

9.          Гурман В.И., Знаменская Л.Н. Управление колебаниями при ограниченном ресурсе управления // Известия Академии Наук. Теория и системы управления. - 2002. - № 1. - С. 41-49

10.       Гурман В.И., Рюмина Е.В. Использование региональной модели для оценки экономического ущерба от экологических нарушений // Башкирский экологический вестник. - 2002. - № 1. - С. 25-29

11.       Егоров А.И. Управление колебаниями упругого стержня // Обобщенные решения в задачах управления. Труды международного симпозиума. Переславль-Залесский, Россия, 27-31 августа 2002 г. Тезисы докладов. Переславль: Изд-во УГП, 2002. - С.41-43

12.       Знаменская Л.Н. Метод Фурье в задачах управляемости колебаниями струны // Обобщенные решения в задачах управления. Труды международного симпозиума. Переславль-Залесский, Россия, 27-31 августа 2002 г. Тезисы докладов. Переславль: Изд-во УГП, 2002. - С. 46-48

13.       Знаменская Л.Н. Управления колебаниями струны в классе обобщенных решений из $L_2$ // Дифференц. уравнения. - 2002. - Т. 38, № 5

14.       Сачков Ю.Л. Множество Максвелла и каустика в обобщенной задаче Дидоны // Обобщенные решения в задачах управления. Труды международного симпозиума. Переславль-Залесский, Россия, 27-31 августа 2002 г. Тезисы докладов. Переславль: Изд-во УГП, 2002. - С. 215-217

15.       Agrachev A.A., Sachkov Yu.L., Control Theory from the Geometric Viewpoint, Preprint SISSA 77/2002/M, November 2002, SISSA, Trieste, Italy, pp. 1-376

16.       Sachkov Yu.L., Exponential mapping in the generalized Dido problem, "Modern theory of dynamical systems and applications to celestial mechanics", International conference, Moscow, 2002, p.29

17.       Гулиев Я.И., Ермаков Д.Е., Лапшин М.А. <Повышение интерактивности в работе врача с визуальной информацией>, статья в Сборнике трудов конференции <АРМ врача 2002>(ноябрь 2002)

18.       Айламазян А.К., Гулиев Я.И., Матвеев Г.Н. <Основные принципы построения медицинской информационной системы КОТЕМ-2001>// Тезисы Международного форума "Интеллектуальное обеспечение охраны здоровья населения -2002", Турция, (октябрь 2002)

19.       Гулиев Я.И., Матвеев Г.Н., Каргаева И.А. <Основные характеристики медицинской информационной системы КОТЕМ-2001>// Тезисы Международного форума "Интеллектуальное обеспечение охраны здоровья населения -2002", Турция, (октябрь 2002)

20.       Ермаков Д.Е., Лапшин М.А. <Анализ технологии передачи информации в медицинских информационных системах>, тезисы Международной конференции <Современные информационные технологии в диагностических исследованиях>, г.Днепропетровск, 15 марта 2002 г. стр.145-147

21.       Матвеев Г.Н., Пономарчук Т.В., Хаткевич М.И., Чудновский М.А. <Перспективная экономическая подсистема корпоративной медицинской информационной системы>// Тезисы Международного форума "Интеллектуальное обеспечение охраны здоровья населения -2002", Турция, (октябрь 2002)

22.       Хаткевич М.И., Чудновский М.А., Пономарчук Т.В., Аброськина Р. И. <Первичный финансово-экономический мониторинг лечебного процесса>// Тезисы Международного форума "Интеллектуальное обеспечение охраны здоровья населения -2002", Турция, (октябрь 2002)

23.       Хаткевич М.И. <Объектно-реляционный дуализм в больших информационных системах>// ПРОГРАММНЫЕ ПРОДУКТЫ И СИСТЕМЫ, N3/2002, стр. 22-25

24.       Гузилова Г.В. Информационный сайт как средство поддержки учебного курса. Конференция "Информационные технологии в образовании. 15 лет курса информатики" 18-19 апреля 2000 г., Ярославль

25.       Гузилова Г.В. Опыт создания учебного сайта в локальной сети школы для сопровождения учебного курса. Международная конференция "Информационный и телекоммуникационные технологии в образовании" Барнаул, 2-9 апреля 2001 года. Доклад опубликован в электронном журнале "Педагогический университетский вестник Алтая" регистрационный № 0229905552

26.       Виноградов А.Н., Жилякова Л.Ю., Осипов Г.С. Динамические интеллектуальные системы. Ч.1. Представление знаний и основные алгоритмы.// Известия РАН. Теория и системы управления, М: Наука, 2002, №6

27.       Lomazova I.A. Modeling dynamic objects in distributed systems with nested Petri nets. Fundamenta Informaticae, Vol. 51, No 1-2, 2002, pages 121-133

28.       Виноградов А.Н., Жилякова Л.Ю., Осипов Г.С. Динамические интеллектуальные системы. Ч.II. Моделирование целенаправленного поведения. .// Известия РАН. Теория и системы управления, М: Наука, 2003, №1

29.       Осипов Г.С. Интеллектуальные динамические системы и целенаправленное поведение// Научно - теоретический журнал "Искусственный интеллект", IПШI "Наука i ocвiтa", 2002, №2, 221-235

30.       Бурдаев М.Н., Бойко В.И. "Правила составления смысловых блоков высших иерархий". Материалы XXIX общественно-научных Чтений, посвященных памяти Ю.А.Гагарина, 2002

31.       Бурдаев М.Н. Из истории подготовки запуска первого искусственного спутника Земли Научно-технический журнал Российской академии космонавтики им. К.Э.Циолковского "Фундаментальные и прикладные проблемы космонавтики", №1, 2002

32.       Бурдаев М.Н., Дубинин В.И., Славнов А.С., Шугаев М.Л. Основы аэрокосмического мониторинга. РГ НИИЦПК им. Ю.А.Гагарина, 2002 г., 96 с

33.       Бурдаев М.Н., Попович П.Р. Они были первыми (к 40-летию полетов в космос Ю.А.Гагарина и Г.С.Титова). Научно-технический журнал Рос-сийской академии космонавтики им. К.Э.Циолковского "Фундамен-тальные и прикладные проблемы космонавтики", №1, 2002

34.       Бурдаев М.Н. Михаил Бурдаев о подготовке группы 7К-С. Журнал "Новости космонавтики" том 12 № 11 (238), 1-30 сентября 2002, с. 26-27

35.       Хачумов В.М. Восстановление объектов по растровым изображениям // Материалы Международной конференции и выставки CAD/CAM/POM-2002 Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта // Институт проблем управления им. В.А. Трапезникова РАН, Москва, 2002, т.1, 54-59

36.       Осипов Г.С., Хачумов В.М., Виноградов А.Н. Технология построения интеллектуальных динамических систем для аэрокосмических комплексов различного назначения // Тезисы докладов 7-ой Международной Конференции "Системный анализ и управление аэрокосмическими комплексами." (1.07.2002-7.07.2002) КРЫМ, Евпатория, (1-7 июля 2002 г. )

37.       Хачумов В.М. Разрядно-параллельные структуры для обработки и анализа изображений // 6-я Международная конференция "Распознавание образов и анализ изображений: новые информационные технологии" РОАИ-6-2002 (21-26 октября 2002), т.2, 597-601

38.       Куршев Е.П., Осипов Г.С., Рябков О.В., Самбу Е.И., Соловьева Н.В., Трофимов И.В. Интеллектуальная метапоисковая система// Труды международного семинара Диалог' 2002 "Компьютерная лингвистика и интеллектуальные технологии" т.2, 320-330

39.       Bashkin V.A., Lomazova I.A. Resource bisimulation in nested Petri nets. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P.Starke (eds.), Concurrency Specification and Programming (CS&P'2002), Proceedings, Vol.1, pages 39-52, Informatik-Bericht Nr.161, Humboldt University of Berlin, 2002

40.       Ломазова И.А. Объектно-ориентированные сети Петри: формальная семантика и анализ. Системная информатика, № 8, Новосибирск, 2002. (60 с.)

41.       Кормалев Д.А., Куршев Е.П., Сулейманова Е.А., Трофимов И.В. Извлечение данных из текста. Анализ ситуаций ньюсмейкинга. Труды Восьмой национальной конференции по искусственному интеллекту с международным участием КИИ-2002. Москва, Физматлит, 2002, с. 199-206

42.       Farwer B., Lomazova I. A systematic approach towards object-based Petri net formalisms. Lecture Notes in Computer Science, Vol. 2244, 2002, pages 255-267

43.       Цирлин А.М., Амелькина М.А., Амелькин С.А. Модель производственной фирмы в открытой микроэкономической системе. Математическое моделирование. Т.14, №4, стр.21-34, 2002

44.       Амелькин С.А. Динамическая модель поведения экономического агента в открытой микроэкономической системе. Обобщенные решения в задачах управления, Переславль-Залесский, 2002, с.155-159

45.       Амелькин С.А., Мартинаш К., Цирлин А.М. Задачи оптимального управления необратимыми процессами в термодинамике и микроэкономике.(обзор).Автоматика и телемеханика, №4, 2002. С. 3-25

46.       Колинько Н.А. Цирлин А.М. Оптимальные процессы в необратимой термодинамике и микроэкономике. Теория и системы управления, №6, 2002

47.       Tsirlin A.M., Kazakov V., Zubov D.V. Finite-Time Thermodynamics: Limiting Possibilities of Irreversible Separation Processes. J.Phys.Chem. 106 (9), 2002

48.       Tsirlin A.M., Kazakov V.A. Realizability Areas for Thermodynamic Systems with Given Productivity. Non-Equilib. Thermodyn. 2002. vol. 27. N 1

49.       Амелькин С.А., Зубов Д.В., Цирлин А.М., Телюшин А.А. К расчету числа теоретических тарелок и высоты колонны ректификации. Химическая промышленность. № 12, 2002

50.       Знаменский С.В., Знаменская Е.А. Выпуклость множества на плоскости в заданных направлениях. Сб. ВИНИТИ. 2002. 60 C

51.       Знаменский С.В., Знаменская Е.А. Выпуклость полуконтинуумов в заданных направлениях. Тезисы докладов международной конференции "Многомерный комплексный анализ". Красноярск. 2002

52.       Знаменский С.В., Знаменская Е.А. Выпуклость полуконтинуумов в заданных направлениях. Тезисы докладов межународной школы-семинара по геометрии и анализу, посвященной памяти Н.В. Ефимова. Ростов-на-Дону. 2002

53.       Юмагужин В.А. Классификация линейных обыкновенных дифференциальных уравнений. Дифференциальные уравнения, I, Том 38, No.6, 2002

54.       Юмагужин В.А. Классификация линейных обыкновенных дифференциальных уравнений. Дифференциальные уравнения, II, Том 38, No.7, 2002

55.       Yumaguzhin V.A. Contact classification of linear ordinary differential equations. I., Acta Applicandae Mathematicae, Vol. 72, No. 1/2, pp. 155-181, 2002

56.       Абрамов С.М., Анищенко В.В., Парамонов Н.Н., Чиж О.П. Разработка и опыт эксплуатации суперкомпьютеров семейства "СКИФ"//Материалы I международной конференции "Информационные системы и технологии"(IST'2002), Минск, 5-8 ноября 2002 г., часть 2, страницы 115-117 (In Russian)

57.       Sergei Abramov and Robert Gluck The Universal Resolving Algorithm and its Correctness: Inverse Computation in a Functioanl Language//Elsevier, Science of Computer Programming 43 (2002), pp. 193 - 229

58.       Абрамов С.М., Котельников В.П., Пономарев А.Ю., Шевчук Ю.В. О построении высокоскоростной оптической магистрали городской компьютерной сети с учетом особенностей электропитания в районных центрах России//Научный сервис в сети Интернет: Труды Всероссийской научной конференции (23-28 сентября 2002 г., г. Новороссийск). - М.: Изд-во МГУ, Москва, стр. 244-247, 2002 (In Russian)

59.       A.S. Gasparyan, "Compound Clifford Algebras and Clifford Networks", Abstracts 6th Conference on Clifford Algebras, Cookeville, TN, May 20-25, 2002

60.       Armen Gasparyan, "Multidimensional Matrix Theory: a New Approach to Combinatorial Problems", Abstracts Com2MaC Conf. on "Combinatorial Matrix Theory", POSTECH, Pohang, Korea, January 14-17 2002

61.       Armenak Gasparyan, "General Compositional Homomorphism Problem for Multidimensional Matrix Functions", Abstracts 10th ILAS Conference - "Challenges in Matrix Theory", Auburn, AL USA, June 10-13, 2002

62.       Armenak Gasparyan, "Hyperdeterminants and Fundamental Theorems of Calculus", Abstracts of the VALLEY SYMPOSIUM - Summer Symposium in Real Analysis XXVI, Lexington, VA USA, June 25-29, 2002

63.       Armenak Gasparyan, "Matrices and Physics", Abstracts GROUP-24, the "XXIV International Colloquium on Group Theoretical Methods in Physics", Paris, France, July 15-20, 2002

64.       Armenak Gasparyan, "Multidimensional Matrices and Quantum Theory of Multiparticle Systems", Abstracts TH-2002, International Conference on Theoretical Physics, Paris, UNESCO, July 15-20 2002

65.       Armenak S. Gasparyan, "Generalized A.D.Alexandrov Inequalities", Abstracts Conf. "Second Russian-German Geometry Meeting" dedicated to 90-anniversary of A.D.Alexandrov, St. Petersburg, Russia, June 16-23, 2002

66.       Armenak S. Gasparyan, "Multidimensional Matrices and Substructural Combinatorics", Abstracts 8th AHA-2002 Conf. "Algebraic Hyperstructures and Applications", Samothraki, Greece, Sept. 1-9 2002

67.       Armenak S. Gasparyan, "Results in the Theory of Multidimensional Matrices and Determinants", Abstract ICMTA, "Fifth International Conference on Matrix Theory and its Applications", Shanghai, China, August 14-18 2002

68.       Gasparyan, Armenak, "Multidimensional Gramians and Volumes in P-Hilbert Spaces", Short Communication ICM-2002, International Congress of Mathematicians, Beijing,China, August 20-28 2002

69.       Гаспарян А.С. "Гиперопределители и обобщённые неравенства Чебышева". Тезисы Международной конференции "Математические идеи П.Л.Чебышева и их приложение к современным проблемам естествознания", Обнинск, 14-18 мая 2002

70.       Гаспарян А.С. "Обобщённые алгебры Грассмана и многомерные определители", тезисы докладов, "Международная алгебраическая конференция, посвящённая памяти З.И.Боревича", Санкт-Петербург, Россия, 17-23 сентября 2002

71.       Мешвелиани С.Д. "Оценка сложности способа ЛЛЛ - Григорьева факторизации в GF(q)[x,y]". Фундаментальная и Прикладная Математика Том 8, выпуск 1, 2002 г. стр.129-139.

72.       Мешвелиани С.Д. Функциональное программирование и категорный подход в вычислительной алгебре. Диссертация на степень к.ф.м.н. Защищена в 2002 году

73.       Nemytykh A.P. A Note on Elimination of Simplest Recursions , In: Proceedings of ACM SIGPLAN Asia-PEPM'02, ACM Press, pp:138-146, September 2002, Aizu, Japan

74.       Patarakin E.D. Network Communities and Education" //Journal of Eurasian Research 2002. Vol. 1 N. 1 pp. 41-45

75.       Patarakin E.Д. Creative learning in the context of electronic communication networks. Двуязычный сборник статей по теории коммуникации и прикладной коммуникации. РКА, 2002

76.       Патаракин Е. Д. Вклад сетевых сообществ в образование. Электронные библиотеки - 2002 - Том 5 - Выпуск 3

77.       Патаракин Е. Д. Электронные агенты обучающих сетевых сообществ, EVA-2002, Киев

78.       Патаракин Е.Д. Коллективное создание гипертекстов сетевым сообществом. Вопросы Интернет-образования № 6, Август 2002

79.       Патаракин Е.Д. Коллективные гипертексты. Материалы конференции РЕЛАРН-2002. с. 43 - 44

80.       Патаракин Е.Д. Сетевые сообщества и педагогика. Международная конференция "Интернет в обучении и Интернет-обучение: от изоляции к международному сотрудничеству". Программа Бюро Образовательных и Культурных программ Государственного Департамента США, 23 - 25 апреля 2002 г. Москва стр. 53 - 55

81.       Патаракин Е.Д. Творческие сетевые проекты, Педагогическая Информатика, 2002, - 1, стр.13 - 17

82.       Патаракин Е.Д. Технические особенности сетевых сообществ и их педагогические следствия, Auditorium 2002

83.       Зайдельман Я. Задачи на результат. // Информатика #34, 2002

84.       S.D.Mechveliani DoCon, the Algebraic Domain Constructor. Manual and program Переславль-Залесский, 2002 Рукопись руководства и исходная программа

85.       S.Mechveliani. "Haskell and computer algebra". Pereslavl-Zalessky, 2000 Рукопись в виде файла

86.       A.V. Korlyukov and A.P. Nemytykh. Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second), 2002

[ в начало ]

 

2001

1.  Абрамов С.М., Васенин В.А., Мамчиц Е.Е., Роганов В.А., Слепухин А.Ф. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы. Сб. научных трудов "Научной сессии МИФИ - 2001", 22-26 января 2001 г., Т.2, с.234

2. Абрамов С.М., Кондратьева А.В., Роганов В.А., Чеповский А.М. Проектирование высокопроизводительного процессора обработки графов. Информационные технологии, Машиностроение, Москва, №3, 2001

3. Айламазян А.К., Гулиев Я.И. Данные, документы и архитектура медицинских информационных систем. Тезисы докладов Международного форума "Информатизация процессов охраны здоровья населения -2001" , - Москва, 2001, С. 141-142

4. Гулиев Я.И., Чибухчян А.С. Универсальное решение интеграции медицинских приборов в информационную систему медицинского учреждения. Тезисы докладов Международного форума "Информатизация процессов охраны здоровья населения -2001", - Москва, 2001

5. Амелькин С.А., Бурцлер Й.М., Хоффманн К.Х., ЦирлинА.М. Оценка предельных возможностей процессов разделения. ТОХТ, 35, 2001, №3, с.232-238

6. Цирлин А.М. Оптимальные процессы и управление в необратимой микроэкономике. А.и.Т. №5, 2001, с. 159-170

7. A.M.Tsirlin, S.A.Amelkin. Dissipation and conditions of equilibrium for an open microeconomic system Open Systems and Information Dynamics, #7,2001, p. 157-168

8. S.A.Amelkin, A.M.Tsirlin. Optimal choice of prices and flows in a complex open industrial system Open Systems and Information Dynamics, #7,2001, p. 169-181

9. Виноградов А.Н. Интеллектуальная система с динамически изменяющейся целью. Труды конгресса ICAI' 2001 "Искусственный интеллект в 21 веке"- М.: Изд-во Физико-математической литературы, 2001, с.339-348

10. Тарханов Т.С. Гибридное представление знаний для динамических интеллектуальных систем. Труды международного конгресса ICAI'2001 "Искусственный интеллект в 21 веке". М:. Изд-во Физико-математической литературы, 2001. - с.41-50

11. Грибов М.Г., Хачумов В.М. Определение геометрических параметров объектов по растровым изображениям.-Автометрия, № 1, 2001, с.40-49

12. Khachumov V.M. Frequency-Parametric Representation of Curves in Systems of Computer Graphics and Image Processing.- Pattern Recognition and Image Analysis, Vol.11, No 2, 2001, pp.440-441

13. Козлов Е.Б., Метелкин А.В., Нарушев Е.С., Соколов Д.И., Хорошевский В.Ф. "Метапоиск в Интернет на основе онтологий предметных областей" Труды Всероссийской научной конференции "Научный сервис в сети Интернет - 2001" стр. 57-60

14. Гурман В.И. Вырожденность, расширения и обобщенные решения задач оптимального управления. Труды XII Байкальской международной конференции "Методы оптимизации и их приложения", Иркутск, Байкал, июнь 2001. T. Пленарные доклады. С. 104-112

15. Гурман В.И. Особые и обобщенные оптимальные управления. Труды НАН Белоруссии. Т. 7, Минск. 2001

16. Deissenberg Ch., Gurman V., Ryumina E. Singular control and sustainable development. Preprints of International workshop "Singular Solutions and Perturbations" October 18-20, 2001 "Politehnica" University Bucharest - Romania

17. Гурман В.И., Рюмина Е.В. Моделирование инновационного фактора регионального развития // Труды XII Байкальской международной конференции "Методы оптимизации и их приложения", Иркутск, Байкал, июнь 2001. Т. 3. "Математическая экономика" С. 156-160

18. Гурман В.И. Эволюция моделей: от экономического роста до инновационного устойчивого развития. Тезисы докладов Всероссийской научной школы "Математические методы в экологии", Петрозаводск 10 - 16 июня 2001

19. Belyshev D, Gurman V. Software architecture for the investigation of controllable models with complex data sets. - The architecture of scientific software / Eds R.F.Boisvert, P.T.P.Tang, IFIP, Kluwer Ac. Publ. 2001

20. Гурман В.И. Mатематический эксперимент в исследованиях и образовании. Математика и механика в современном мире. Материалы Российской научно-практической конференции, посвященной 180-летию со дня рождения П.Л.Чебышева, 5-6 июня 2001 года, Калуга

21. Гурман В.И. Многометодные процедуры оптимального управления. Труды Понтрягинских чтений 2001. Воронеж, май 2001

22. Знаменская Л.Н. Управление колебаниями струны на двух концах в классе обобщенных решений из L_2 // Современные методы в теории краевых задач "Понтрягинские чтения". Тезисы докл. - Воронеж: ВГУ, 2001. - С. 76-77

23. Знаменская Л.Н. Априорные оценки обобщенных решений волнового уравнения // Дифференц. уравнения. Т. 37, No 8. 2001

24. Знаменская Л.Н. Граничное управление на двух концах волновым уравнением в классе обобщенных решений из L_2 // Докл. РАН. Т. 380, No 6. 2001.

25. Знаменский С.В., Знаменская Е.А. Сюръективность оператора свертки с точечным носителем в пространстве функций, голоморфных на произвольном множестве в С. Доклады Академии наук. 2001. Т.376. №5. С 588-590

26. Знаменский С.В. Семь задач C-выпуклости. Комплексный анализ в современной математике. К 80-летию со дня рождения Б.В.Шабата. М. Фасис. 2001. С. 123-131

27. Егоров А.И. Некоторые теоретические и прикладные задачи управления параболическими системами // Методы оптимизации и их приложения. Труды XII Байкальской междун. конф. Иркутск, 24 июня - 1 июля 2001 г. Т.~1. Иркутск: Изд-во ИГУ, 2001. - С. 113-120

28. Юмагужин В.А. Локальная классификация линейных дифференциальных уравнений. Доклады Академии наук, 2001, т.377, №5, с.1-3

29. V.A.Yumaguzhin. Contact classification of linear ordinary differential equations. Acta Applicandae Mathematicae, a special issue. Ed. by Joseph Krasil'shchik

30. Ломазова И.А. Рекурсивные вложенные сети Петри: анализ семантических свойств и выразительность. Программирование, № 4, 2001, с. 21-35

31. Lomazova I.A. Nested Petri nets: multi level and recursive systems. Fundamenta Informaticae, Vol. 47, No 3-4, 2001, pages 283-293

32. Ломазова И.А. Анализ семантических свойств некоторых классов программ и сетей Петри. Автореферат диссертации на соискание ученой степени доктора физико-математических наук, Москва, 2001

33. A.A. Agrachev, Yu.L. Sachkov. Optimal control problem for a nonlinear driftless 5-dimensional system with 2 inputs, Proceedings of 5th IFAC Symposium NOLCOS 2001, St. Petersburg, July 2001, 60-63

34. Yu.L. Sachkov, Exponential mapping and Maxwell set of the nilpotent (2,3,5) sub-Riemannian problem. Preprint SISSA 48/2001/M, June 2001. SISSA, Trieste, Italy

35. Абрамов С.М., Шевчук Ю.В., Пономарев А.Ю. Методические материалы "Экономически эффективные технологии построения городских телекоммуникационных систем для науки и образования"

36. Патаракин Е.Д. "Педагогические последствия сетевой интеграции". В сб. Социальные и психологические последствия применения информационных технологий. М: Московский общественный научный фонд, 2001, стр 195-202

37. Patarakin E. Educational impact of network communities. EVA 2001 Moscow, Proceeding, 3 v 8 December 2001, Moscow 2001, pp. 57 v 60

38. Патаракин Е.Д. Вклад сетевых сообществ в образование, "Компьютерные учебные программы", 2001

39. Патаракин Е.Д. Творчество и творческое обучение в сети электронных коммуникаций, "Компьютерные учебные программы", 2001

40. Травина Л.Л. "Образ-Я директоров крупных интернет-компаний". Тезисы докладов 4-й конференции "Построение стратегического общества через науку и образование", 25-27 июня 2001, Москва

41. Травина Л.Л., Якубов Б.В., Патаракин Е.Д. "РепВеб - инструментальная среда для проведения психологических интернет-исследований" Труды конференции Ассоциации научных и учебных организаций - пользователей сетей передачи данных "Реларн-2001"

42. S.D.Mechveliani. Computer algebra with Haskell: applying functional-categorial-`lazy' programming In Proceedings of International Workshop CAAP-2001, Dubna, Russia

43. Анзин М.М., Каишев А.И. Вычисление окрестности Г.Ф. Вороного для второй совершенной формы. в сб. Материалы VII международного семинара "Дискретная матетематика и ее приложения" Изд-во центра прикладных исследований при механико-математическом факультете МГУ, Москва, 2001

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

45. Устюкова О.В. Сказка как средство экологического образования и воспитания. Учебное пособие. М., МПУ, 2001

46. Устюков П.А. Образовательно-воспитательное пространство учреждения дополнительного образования кратковременного пребывания детей (на опыте Международного Детского Компьютерного Центра ИПС РАН). Сборник научных трудов Московского педагогического университета. М., 2001

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

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

49. Гузилова Г.В. Опыт создания учебного сайта в локальной сети школы для сопровождения учебного курса. Международная конференция "Информационный и телекоммуникационные технологии в образовании" Барнаул, 2-9 апреля 2001 года. Доклад опубликован в электронном журнале "Педагогический университетский вестник Алтая" регистрационный № 0229905552

50. Егоров А.И., Знаменская Л.Н. Управление упругими колебаниями при ограниченном управлении // Алгоритмический анализ неустойчивых задач. Тезисы докл. Всерос. научн. конф. Екатеринбург, 26 февраля - 2 марта 2001 г. Екатеринбург: Изд-во Уральского ун-та, 2001. - С. 143-144

51. Знаменская Л.Н. Управление колебаниями с граничными условиями третьего рода // Методы оптимизации и их приложения. Труды XII Байкальской междун. конф. Иркутск, 24 июня - 1 июля 2001 г. Т. 2. Иркутск: Изд-во ИГУ, 2001. - С. 101-104

52. Znamenskaya L.N. Mathematical problems of oscillations control // Singular solutions and perturbation. Bucharest: University Politehnica. - 2001. - P. 28-32

53. Абрамов С.М., Васенин В.А., Мамчиц Е.Е., Роганов В.А., Слепухин А.Ф. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы. Сб. научных трудов "Научной сессии МИФИ - 2001", 22-26 января 2001 г., Т.2, с.234

54. Абрамов С.М., Кондратьева А.В., Роганов В.А., Чеповский А.М. Проектирование высокопроизводительного процессора обработки графов. Информационные технологии, Машиностроение, Москва, №3, 2001

55. Методические материалы "Экономически эффективные технологии построения городских телекоммуникационных систем для науки и образования"

56. S.D.Mechveliani. Computer algebra with Haskell: applying functional-categorial-`lazy' programming In Proceedings of International Workshop CAAP-2001, Dubna, Russia

57. Анзин М.М., Каишев А.И. Вычисление окрестности Г.Ф. Вороного для второй совершенной формы. в сб. Материалы VII международного семинара "Дискретная матетематика и ее приложения" Изд-во центра прикладных исследований при механико-математическом факультете МГУ, Москва 2001

58. Патаракин Е.Д. "Педагогические последствия сетевой интеграции". В сб. Социальные и психологические последствия применения информационных технологий. М: Московский общественный научный фонд, 2001, стр 195-202

59. Patarakin E. Educational impact of network communities. EVA 2001 Moscow, Proceeding, 3 v 8 December 2001, Moscow 2001, pp. 57 v 60

60. Патаракин Е.Д. , Вклад сетевых сообществ в образование, "Компьютерные учебные программы", 2001

61. Патаракин Е.Д. , Творчество и творческое обучение в сети электронных коммуникаций, "Компьютерные учебные программы", 2001

62. Травина Л.Л. "Образ-Я директоров крупных интернет-компаний". Тезисы докладов 4-й конференции "Построение стратегического общества через науку и образование", 25-27 июня 2001, Москва

63. Травина Л.Л., Якубов Б.В., Патаракин Е.Д. "РепВеб - инструментальная среда для проведения психологических интернет-исследований" Труды конференции Ассоциации научных и учебных организаций - пользователей сетей передачи данных "Реларн-2001"

64. Farwer B., Lomazova I. A systematic approach towards object-based Petri net formalisms. Perspectives of System Informatics (Proceedings of Andrei Ershov Fourth International Conference). - Novosibirsk: A.P.Ershov Institute of Informatics Systems, 2001, p.141-146

65. Lomazova I.A. Nested Petri nets - a formal technique for 'net in net'Petri net extension. Proceedings of the CS&P'2001 Workshop, Warsaw 3-5 October 2001, Warsaw, 2001, pages 140-149.

66. Бурдаев М.Н., Осипов Г.С., Хачумов В.М. Принципы построения интеллектуальной измерительно-управляющей системы. Тезисы докладов Международной космической конференции 2001. Космос без оружия арена мирного сотрудничества в ХХI веке. М.: Изд-во МАИ, 2001, с.48

67. Хачумов В.М. Выделение криволинейных профилей на растровых изображениях. Материалы Международной конференции и выставки CAD/CAM/POM-2001 (Москва, 16-20 апреля 2001 г).- М.: ИПУ РАН, с 9-10

68. Khachumov V.M. Bit-parallel algorithms and devices. Conference Proceedings of the 11-th International Conference on Computer Graphics & Vision GRAPHICON 2001 (september 10-15, 2001, Nizny Novgorod), 2001, pp224-226

69. Ахмедов С.А., Тарханов Т.С. "Использование гибридного подхода к представлению знаний на основе фреймов и семантических сетей для задач классификации". Труды XXVIII конференции IT+SE'2001 "Информационные технологии в науке, образовании, телекоммуникации, бизнесе". Украина, Крым, Ялта-Гурзуф, 20-29мая 2001года. стр.89-91

70. Kozhushkin A.N., PSI Team. in P. Stone, T. Balch, G. Kraetzschmark (Eds.), RoboCup 2000: Robot Soccer World Cup IV, LNCS, Vol. 2019, pp. 457 - 460, Springer Verlag 2001

71. Андреев Д.А., Могутов В.А., Цирлин А.М. Выбор расположения слоев ограждающей конструкции с учетом предотвращения внутренней конденсации Строительные Материалы, № 12, с.42-45, 2001

72. Amelkin S.A., Hoffmann K.H., Sicre B., Tsirlin A.M. Extreme performance of heat exchangers of various hydrodynamic models of flows. Periodica Polytechnica ser. Chem. Eng. Vol. 44, N 1, p. 3-16, 2001

73. Цирлин А.М., Казаков В.А. Область реализуемости термодинамических систем заданной производительности. Известия РАН, Энергетика, № 5, стр.44-51, 2001

74. Tsirlin A.M., Kazakov V., Kolinko N.A. Irreversibility and Limiting Possibilities of Macrocontrolled Systems: 1. Thermodynamics. Open Sys.& Inform. Dyn. 8, №4, 315-328, 2001

75. Tsirlin A.M., Kazakov V., Kolinko N.A. Irreversibility and Limiting Possibilities of Macrocontrolled Systems: 2.Microeconomics, Open Sys.& Inform. Dyn. 8, № 4, 329-347, 2001

76. Юмагужин В.А. Локальная классификация линейных дифференциальных уравнений. Доклады Академии наук, т. 377, №5, с.605-607, 2001

77. Знаменский С.В., Знаменская Е.А. Сюрьективность оператора свертки с точечным носителем в пространстве функций, голоморфных на произвольном множестве в C. Тезисы докладов международной конференции "Многомерный комплексный анализ". Красноярск. 2001

78. Sergei Abramov and Robert Gluck From Standard to Non-Standard Semantics by Semantics Modifiers//International Journal of Foundations of Computer Science, Vol. 12. No. 2 (2001) pp. 171-211 World Scientific Publishing Company

79. Sergei Abramov and Robert Gluck Inverse Computation and the Universal Resolving Algorithm//Wuhan University Journal of Natural Sciences, Vol. 6, No. 1-2, pp.31-45, 2001

80. Абрамов С.М., Васенин В.А., Мамчиц Е.Е., Роганов В.А., Слепухин А.Ф. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы//Сб. научных трудов "Научной сессии МИФИ - 2001", 22-26 января 2001 г., Т.2, с.234., 2001(In Russian)

81. Andrey A.Kornev, Vladimir A.Roganov, Andrey F.Slepuhin. On an unstable manifold and approximation attractor of a symidynamic system on a parallel computer under a T-system. Department of mathematics university of Nijmegen The Netherlands. Report No. 0104 (March 2001)

82. Nemytykh A.P. Supercompiler Scp4: Use of Quasi-Distributive Laws in Program Transformation, In: Proceedings of International Software Engineering Symposium, Wuhan University Journal of Natural Sciences, Vol. 6, No. 1-2, pp:375-382, March 2001, Wuhan, China

83. Патаракин Е. Д. Сетевые сообщества и образование. Компьютерные учебные программы. № 4 (27) 2001, М.: ИНИНФО, с. 26 - 45

84. Патаракин Е.Д. Педагогика региональных сетевых сообществ, Материалы конференции "RELARN-2001", 1 - 6 августа 2001 года, Петрозаводск, 2001

85. Патаракин Е.Д., Травина Л.Л. "Научный интернет-сервис для региональных сообществ" Научный сервис в сети Интернет: Труды Всероссийской научной конференции (24-29 сентября 2001г., г. Новороссийск). - М.: Изд-во МГУ, 2001 стр. 93-34

86. Патаракин Е.Д., Травина Л.Л. Художественные и образовательные проекты в регионах и для регионов Электронные библиотеки - 2001 - Том 4 - Выпуск 5

87. V. Roganov and A. Slepuhin, Lomonosov Moscow State University, Moscow, Russi. Distributed Extension of the Parallel Graph Reduction. GRACE: Compact and Efficient Dynamic Parallelization Technology for the Heterogeneous Computing Systems. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications June 25-28, 2001, Las Vegas, Nevada, USA

88. Васенин В., Роганов В. GRACE: распределенные приложения в Интернет.  Открытые системы, №5-6/2001, 25.05.2001

[ в начало ]

 

2000

1.               Софиев Е.И. Экспериментальное исследование турбулентности порогового слоя атмосферы. Физика атмосферы. №1, 2000

2.               Гузилова Г.В. Информационный сайт как средство поддержки учебного курса. Конференция "Информационные технологии в образовании. 15 лет курса информатики" 18-19 апреля 2000 г., Ярославль

3.               Загоровский И.М., Королев А.И., Сазонов Л.И. Использование технологии data mining для создания системы прогнозирования лавинной опасности. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

4.               Дорофеева Ф.Г. Расширение дескриптивной логики отношениями из неоднородных семантических сетей. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

5.               Загоровский И.М. Выбор алгоритма обучения в системах приобретения знаний из данных. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

6.               Куршев Е.П. Метод извлечения полуструктурированных данных из Интернет. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

7.               Виноградова А.Н., Осипов Г.С. Динамическое целеполагание в системах, основанных на знаниях (на примере задачи управления сложными движениями). Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

8.               Тарханов Т.С. Представление знаний в динамических базах знаний для предметных областей со сложной структурой. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

9.               Мусина И.А., Чудова Н.В. Перспективы психологических разработок в области Интернет-технологий. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

10.            Зазовская А.А., Ломазова И.А. О сравнительной выразительности вложенных рекурсивных сетей Петри и алгебр процессов. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

11.            Пономарева С.М. Информационный поиск: на пути к решению проблемы семантической релевантности. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.1

12.            Грибов М.Г., Калугин Ф.В., Хачумов В.М. Автоматизированная система диагностики топливной аппаратуры дизельных двигателей. Труды 7 научной конференции по искусственному интеллекту "КИИ-2000". М., Физмат, 2000, т.2

13.            Белышев Д.В., Вагнер С.А., Гурман В.И. Исследование оптимальной стратегии развития региона // Экология. Экономика. Информатика. ХХVII школа-семинар "Математическое моделирование в проблемах рационального природопользования" (11-16 сентября 2000 г.) Ростов-на-Дону. - Ростов-на-Дону: СКНЦ ВШ, 2000. - с. 32-35

14.            Гурман В.И., Знаменская Л.Н. Управление колебаниями при ограниченном ресурсе управления // Проблемы управления и информатики. Доклады Международной конференции (19-22 сентабря 2000) Бишкек. - Бишкек: Институт автоматики, 2000. - с. 66-67

15.            Гурман В.И., Знаменская Л.Н. Управление колебаниями при неограниченном времени // Оптимизация, управление, интеллект (Труды Межд. конф. CDS'2000). - 2000 - № 5

16.            Гурман В.И., Рюмина Е.В. Моделирование и оптимизация стратегии устойчивого развития региона // Оптимизация, управление, интеллект (Труды Межд. конф. CDS'2000). - 2000 - № 5

17.            Егоров А.И. Управляемость линейных гиперболических и параболических систем // Проблемы управления и информатики. Доклады Международной конференции (19-22 сентября 2000) Бишкек. - Бишкек: Институт автоматики, 2000. - с. 64-65

18.            Егоров А.И., Знаменская Л.Н. Управление упругими колебаниями (обзор) // Оптимизация, управление, интеллект (Труды Межд. конф. CDS'2000). - 2000 - № 5

19.            Ильин В.А. Граничное управление процессом колебаний на двух концах в терминах обобщенного решения волнового уравнения с конечной энергией // Дифференц. уравнения. - 2000. - Т. 36, № 11

20.            Ильин В.А. Граничное управление процессом колебаний на одном конце при закрепленном втором конце в терминах обобщенного решения волнового уравнения с конечной энергией // Дифференц. уравнения. - 2000. - Т. 36, № 12

21.            Лебедева Т.Г., Осипов Г.С. Архитектура и управляемость дискретных динамических систем, основанных на знаниях. //Известия АН. Теория и системы управления. М: Наука, 2000, №5, 703-709

22.            Тарханов Т.С. Интеллектуальная система приобретения знаний // Материалы региональной научно-практической конференции "Компьютерные технологии в науке, экономике и образовании" (CT+SEE'2000) // Махачкала, 2000, с.135-139

23.            Osipov Gennady. Origines of Applied Semiotics// Proc. of the Workshop "Applied Semiotics: Control Problems (ASC 2000)". ECAI2000. 14-th European Conference of Artificial Intelligence, Berlin.2000, 1-4

24.            Osipov Gennady. Attainable Sets and Knowledge Base Architecture in Discrete Dynamic Knowledge-based Systems // Proc. of the Workshop "Applied Semiotics: Control Problems (ASC 2000)". ECAI2000. 14-th European Conference of Artificial Intelligence, Berlin.2000, 39-43

25.            Хачумов В.М. Частотно-параметрическое представление кривых в системах машинной графики и обработки изображений//5-ая Международная конференция "Распознавание образов и анализ изображений: новые информационные технологии" РОАИ-2000, Самара 2000, т,4, 762-764

26.            Грибов М.Г. Логический подход к анализу нечетких образов.// 5-ая Международная конференция "Распознавание образов и анализ изображений: новые информационные технологии" (РОАИ-5-2000), 2000, т. I, 43-46

27.            Бойко В.И., Бурдаев М.Н., Осипов Г. С., Хачумов В.Н. Исследование инженерно-психологических принципов выбора структур систем отображения информации .// XXXV Научные Чтения посвящённых разработке творческого наследия К.Э.Циолковского, Тезисы докладов. -М.: ИИЕТ РАН, 2000

28.            Бурдаев М.Н., Бойко В.И., Хачумов В.М. Дисплеи для управления космическими объектами. -Труды 9-го Международного симпозиума "Перспективные дисплейные технологии"(Москва, 10-12 октября, 2000 г.). М., 2000

29.            Бурдаев М.Н., Хачумов В.М. Пути совершенствования дисплейных форм и методов визуального отображения информации в системах контроля космических полетов.// 9-ый Международный симпозиум "Перспективные дисплейные технологии" , конференция "Фундаментальные проблемы отображения информации". Москва, окт. 2000

30.            Айламазян А.К., Бурдаев М.Н., Осипов Г.С., Хачумов В.М.О системе управления относительным движением космических аппаратов с повышенной безопасностью сближения. //Материалы Третьих научных чтений памяти М.К.Тихонравова по военной тематике, 4-5 октября 2000 г., 4 ЦНИИ МО РФ, 2000

31.            Сердюк Ю.П. Частичные вычисления в теоретико-множественном языке запросов для WWW.// Foundations of Information and Knowledge Systems, 1-st Internat. Symposium, Fo IKS 2000, Germany, Proceedings, LNCS. 2000, №1762, 260-274

32.            Загоровский И.М., Королев А.И., Сазонова Л.И. Использование технологии Data Mining для создания системы прогнозирования лавинной опасности. //Труды седьмой национальной конференции по искусственному интеллекту с международным участием (КИИ'2000), Москва, Физматлит, 2000, I, 91-96

33.            Нарушев Е.С., Хорошевский В.Ф. AgSDK: Инструментарий разработки мультиагентных систем. //Труды седьмой национальной конференции по искусственному интеллекту с международным участием (КИИ'2000), Москва, Физматлит, 2000, II, 830-840

34.            Козлов Е.Б., Метелкин А.В., Хорошевский В.Ф. METASEARCHER 1.0: Мультиагентная система поиска информации в Интернет. //Труды седьмой национальной конференции по искусственному интеллекту с международным участием (КИИ'2000), Москва, Физматлит, 2000, II, 840-850

35.            Lomazova I.A. Nested Petri nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae, Vol.43, No 1-4, 2000, pages 195-214.

36.            Lomazova I.A. Nested Petri nets: multi level and recursive systems. In H.-D.Burkhard, L.Czaja, A.Skowron and P.Starke , editors, Concurrency Specification and Programming (CS&P'2000), Proceedings, Vol.1, pages 117-128, Informatik-Bericht Nr.140, Humboldt University of Berlin, 2000

37.            Lomazova I., Schnoebelen Ph. Some decidability results for nested Petri nets. Proc. Andrei Ershov 3rd Int. Conf. Perspectives of System Informatics (PSI'99), Novosibirsk, Russia, Jul. 1999, volume 1755 of Lecture Notes in Computer Science, pages 207-219. Springer, 2000.

38.            Kozhushkin A.N., PSI Team, in M. Veloso, E. Pagello, H. Kitano, (Eds.), RoboCup99: Robot Soccer World Cup III, LNCS, Vol. 1856, pp. 623 - 627, Springer Verlag 2000

39.            Bashkin V.A., Lomazova I.A. Reduction of colored Petri nets based on resource bisimulation. Joint NCC & IIS Bulletin, Computer Science, Vol. 13, 2000, p.12-17. Novosibirsk, NCC Publisher

40.            Ломазова И.А. Вложенные сети Петри как вполне структурированные системы переходов. Четвертый сибирский конгресс по прикладной и индустриальной математике, посвященный памяти М.А.Лаврентьева (1990-1980): Тезисы докладов, ч.II. - Новосибирск: Изд-во Ин-та математики, 2000, с. 119-120

41.            Ломазова И.А. Некоторые алгоритмы анализа для многоуровневых вложенных сетей Петри. Известия Российской Академии Наук. Теория и системы управления. Том 39, № 6, 2000, с. 965-974.

42.            Цирлин А.М. Оптимизация деятельности посредника в условиях задержки поставок и платежей. Автоматика и телемеханика, № 3. 2000

43.            Миронова В.А., Соболев В.А., Цирлин А.М., Усредненные задачи нелинейного программирования при оптимальном управлении ценами и товарными потоками на производстве. Автоматика и Телемеханика №7, стр. 131-139. 2000

44.            Tsirlin A.M., Kazakov V. A., Maximal work problem in finite-time thermodynamics. Phys. rev. E , V, 62. N1 p. 307-316 (2000)

45.            Цирлин А.М. Условия оптимальности усредненных задач с нестационарными параметрами. ДАН, 2000, т.374,№2, с.174-177

46.            Знаменская Е.А. Выпуклость в заданном направлении базисно односвязных множеств комплексной плоскости. Комплексный анализ и дифференциальные операторы. Красноярск. 2000. C.31-37

47.            Знаменская Е.А. Взаимосвязь некоторых условий выпуклости в направлении для базисно односвязных множеств комплексной плоскости. Тезисы докладов межународной школы-семинара по геометрии и анализу, посвященной памяти Н.В. Ефимова. Ростов-на-Дону. 2000

48.            Знаменский С.В., Знаменская Е.А. Линейные дифференциальные уравнения бесконечного порядка с постоянными коэффициентами в пространстве функций, аналитических на произвольном множестве в C. Тезисы докладов межународной школы-семинара по геометрии и анализу, посвященной памяти Н.В. Ефимова. Ростов-на-Дону. 2000

49.            Знаменский С.В., Знаменская Е.А. Существование аналитических первообразных на произвольном множестве комплексной плоскости. // Успехи математических наук. Т.55. N1. 2000

50.            Айламазян А.К., Гулиев Я.И. <Разработка информационных систем лечебно-профилактических учреждений: проблемы и решения>Форум 2000. Доклад

51.            Айламазян А.К.,Гулиев Я.И., Матвеев Г.Н., Турна А.А., Белова И.А. <ИС КОТЕМ-2001: требования, проблемы, решения>Научные аспекты практического здравоохранения//Сборник научных трудов, посвященный 15-летию Клинической больницы N83, 2000,стр.9

52.            Козодой О.А. <Скандальные проекты МДКШ (Международной детской компьютерной школы)>. Опыт проведения летних экологических школ и лагерей. Сборник статей. Экологический центр <Дронт>, Научно-педагогическая лаборатория <Клен>. Издание Ю.А.Николаева Нижний Новгород. 2000 г. стр.26

53.            Матвеев Г.Н., Козодой О.А. "Внедрение информационной системы. Человеческий фактор"//Материалы IV Научно-практической конференции-Институт повышения квалификации Федерального управления медико-биологических и экстремальных проблем при Минздраве РФ. - Москва, 2000,стр.19

54.            Комаров С.И., Матвеев Г.Н., <Некоторые проблемы создания Информационной системы лечебно-профилактического учреждения>, Научные аспекты практического здравоохранения // Сборник научных трудов, посвященный 15-летию Клинической больницы N83, 2000

55.            Малых В.Л., Фохт И.А., Матвеев Г.Н., Пономарчук Т.В., Ястребова Н.Н. "Концепция единого пространства услуг, понятий и событий в информационной системе КОТЕМ-2001//Современные информационные технологии в диагностической лечебной и образовательной деятельности//Материалы IV Научно-практической конференции-Институт повышения квалификации Федерального управления медико-биологических и экстремальных проблем при Минздраве РФ. - Москва, 2000,стр. 47

56.            Хаткевич М.И., Матвеев Г.Н. <Принцип объектно-реляционного дуализма для построения медицинских информационных систем//Современные информационные технологии в диагностической лечебной и образовательной деятельности>//Материалы IV Научно-практической конференции-Институт повышения квалификации Федерального управления медико-биологических и экстремальных проблем при Минздраве РФ. - Москва, 2000,стр.72

57.            Sergei Abramov and Robert Gluck Combining semantics with non-standard interpreter hierarchies//Foundations of Software Technology and Theoretical Computer Science. Proceedings (S. Kapoor and S. Prasad, eds.), Lecture Notes in Computer Science, Vol. 1974, pp. 201-213, Springer-Verlag, 2000

58.            Sergei Abramov and Robert Gluck The universal resolving algorithm: inverse computation in a functional language//Mathematics of Program Construction. Proceedings (R.Backhouse and J.N. Oliveira, eds.), pp.187-212. Volume 1837 of Lecture Notes in Computer Science. Springer-Verlag. 2000., 2000 No1837

59.            Абрамов С.М., Васенин В.А., Мамчиц Е.Е., Роганов В.А., Слепухин А.Ф. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы//Высокопроизводительные вычисления и их приложения: Труды Всероссийской научной конференции (30 октября-2 ноября 2000 г., г. Черноголовка).--М.: Изд-во МГУ, 2000, стр: 261-264, 2000 (In Russian)

60.            Кушниренко А.Г., Лебедев Г.В., Зайдельман Я.Н. Информационные модели. - Информатика, N5, 2000

61.            Кушниренко А.Г., Лебедев Г.В., Зайдельман Я.Н. Как устроены компьютерные программы. Информатика, N8, 2000

62.            Кушниренко А.Г., Лебедев Г.В., Зайдельман Я.Н. Табличные величины. - Информатика, N2, 2000

63.            Кушниренко А.Г., Лебедев Г.В., Зайдельман Я.Н. Устройство ЭВМ. Информатика, N6, 2000

64.            Зайдельман Я.Н. Олимпиада на "Буках". Задачи и решения. Информатика, N33-34, 2000

65.            Зайдельман Я.Н. Перетасуем колоду карт. Информатика, N6, 2000

66.            Зайдельман Я.Н. Стиль программирования. Информатика, N4, 2000

67.            Зайдельман Я.Н. Тестирование программ. Информатика, N3, 2000

68.            Зайдельман Я.Н. Целые числа. Информатика, N17-18, 2000

69.            Зайдельман Я.Н. Что такое правильная программа. Информатика, N2, 2000

[ в начало ]

 

1999

1.              Абрамов С.М., Адамович А.И. Т-система - среда программирования с поддержкой автоматического динамического распараллеливания программ. Пример реализации алгоритма построения изображений методом трассировки лучей. Журнал "Программирование", №2, 1999

2.              Амелькин С.А, Андрессен Б., Саламон П., Цирлин А.М. Предельные возможности тепломеханических систем с несколькими источниками. Изв. РАН, Энергетика, 1999, №1, с.165-172

3.              Цирлин А.М. Второй закон термодинамики и предельные возможности тепловых машин. Журнал технической физики, 1999, №1, с.140-142

4.              Цирлин А.М. Оптимизация деятельности посредника в условиях задержки поставок и платежей. Автоматика и телемеханика, 1999, №2

5.              Gusyatnikova V.N., Yumaguzhin V.A. Contact transformations and local reducibility of ODEs to the form y'''=0. Acta Applicandae Mathematicae, 1999, Vol.56, No2 & 3pp.155-179

6.              Айламазян А.К., Гулиев Я.И., Комаров С.И., Малых В.И., Морозов В.Ю. Информационные системы в медицине: проблемы и решения. В кн.: Программные системы, М., Наука, Физмалит, 1999

7.              Белышев А.Г., Гулиев Я.И., Морозов В.Ю. Построение медицинских систем с использованием распределенных объектных технологий. В кн.: Программные системы, М., Наука, Физмалит, 1999

8.              Малых В.Л., Пименов С.П., Хаткевич М.И. Объектно-реляционный подход к созданию больших информационных систем. В кн.: Программные системы, М., Наука, Физмалит, 1999

9.              Сазонов В.Ю., Сердюк Ю.П. Экспериментальная реализация теоретико-множественного языка запросов ... к базам данных типа Web. В кн.: Программные системы, М., Наука, Физмалит, 1999

10.          Шевчук Ю.В. Методы построения эффективных региональных компьютерных сетей. В кн.: Программные системы, М., Наука, Физмалит, 1999

11.          Знаменский С.В., Козловская Е.А. Критерий эпиморфности оператора свертки с точечным носителем в пространстве функций, голоморфных на связном множестве в C. Докл. РАН. Математика. Т.368, №6, 1999

12.          Гулиев Я.И. Исследование принципов и разработка основных технологических решений построения интегрированных информационных систем. Диссертация на соискание ученой степени к.т.н., ИПС РАН, 1999

[ в начало ]

 

1998

1.              Осипов Г.С. Динамика в системах, основанная на знаниях. Изв. РАН, 1998, №5

2.              Дужин С.В., Каишев А.И., Чмутов С.В. Алгебра 3-графов. Труды Математического Института РАН, 1998, т.221, с.168-196

3.              Tsirlin A.M., Kazakov V.A. Finite-time thermodynamics: active potentiostatting, Jorn.of Physics D, 31. pp.2264-2268, 1998

4.              Tsirlin A.M., Mironova W.A,, Amelkin S.A., Kazakov V.A. Finite-time thermodynamics: Conditions of minimal dissipation for thermodynamic processes with given rate, Phys.Rev. E, 58, 1998

5.              Беляева Н.А, Цирлин А.М. Оптимальное управление покупкой и продажей ценных бумаг. Автоматика и телемеханика, 1998, №9, с.135-143

6.              Амелькин С.А, Андрессен Б., Саламон П., Цирлин А.М. Предельные возможности тепломеханических систем с одним источником. Изв. РАН, Энергетика, 1998, №2, с.118-126

7.              Гулиев Я.И., Майкевич Н.В. Классическое и реактивное планирование в мультиагентных системах контроля и мониторинга. "Вопросы информатизации", 1998, №1, С-Пб.

8.              Sachkov Yu.L. On Invariant Orthant Controllability of Bilinear Systems. Journal of Dynamical and Control Systems, 1998, No1

9.              Sachkov Yu.L. Symmetries of Flat Rank 2 Sub-Riemannian Structures. Report, 1998, Universite de Bourgogne, Dijon, France

10.          Gurman V.I. Representation of relax control systems. Тезисы доклада на Международном симпозиуме "Дифференциальные включения и управление". Переславль-Залесский, 1998

11.          Патаракин Е.Д., Травина Л.Л. Виртуальные средства выращивания новых культурно-образовательных организмов. Виртуальные реальности, приложение к журналу "Человек", М., 1998, с.191-193

[ в начало ]

  

1997

1.              Айламазян А.К., Дмитриев М.Г., Ломазова И.А. Телекоммуникации - необходимое условие существования университета в малом городе. Тезисы докл. Всероссийской научно-методической конференции "Телематика-97". С-Пб., 1997, с.111-112 109. Sachkov Yu.L. On Hositive Orthant Controllability of Bilinear Systems in Small Codimensions. SIAM Journ. Control and Optimization, 1997, No1

2.              Sachkov Yu.L. Controllability of Right-Invariant Systems on Solvable Lie Groups. Journal on Dynamical and Control Systems, 1997, No4

3.              Гурман В.И. Сингулярные решения и возмущения управляемых систем. Труды Международного симпозиума IFAC, Переславль-Залесский, 1997, Лондон, Эльсевир, 1997

4.              Gurman V.I., Kulbaka N.E. The Consept of Regional Sosio-ecologo-economic Model of Sustainable Divelopment and Its Application for the Pereslavl Region. Environmental Indices: System Analisis Approch. Proc. of International Conference, 1997, St.-Petersburg

5.              Гулиев Я.И., Комаров С.И., Малых В.Л., Осипов Г.С., Пименов С.П., Хаткевич М.И. Интегрированная распределенная система лечебного учреждения (ИНТЕРИН), Программные продукты и системы, 1997, №3

6.              Айламазян А.К., Осипов Г.С. Проблемы создания интегрированных средств поддержки лечебно-диагностического процесса. Труды IV Международного форума "Стратегия здоровья: информационные технологии и интеллектуальное обеспечение медицины - 97", 1997, Москва

7.              Соболев В.А., Цирлин А.М., Миронова В.А. Оптимальное управление потоками сырья и готовой продукции за счет выбоа цен. Автоматика и телемеханика, 1997, №4

8.              Патаракин Е.Д., Шевчук Ю.В. Отражение учебного процесса в зеркале новых технологий. Педагогическая информатика, 1997

9.              Патаракин Е.Д., Руденко В.П., Гузилова Г.В., Зайцева Е.Н. Освоение сетевой информационной культуры в гуманитарном образовании. Методические материалы. ИНИНФО, 1997

10.          Абрамов С.М., Айламазян А.К. Проверенные решения для региональной сети компьютерных телекоммуникаций. В кн.: Роль информатики в региональном развитии. М., Наука, Физматлит, 1997, с.36-47

11.          Знаменский С.В., Знаменская Л.Н. Комплексная проективная выпуклость. Сиб. матем. журн. Т.38, No4, с.790-806, 1997

12.          Знаменский С.В. Стандартизация русского TeX: утопия или неизбежность. Вычислительные технологии. Т.2, No3, с. 51-59, 1997

13.          Знаменский С.В., Знаменская Л.Н. TeX как эффективное средство представления и обработки информации. В сб.: Проблемы устойчивого развития региона. М., Наука, 1997, с. 66-80

14.          Абрамов С.М., Романенко С.А. Представление объектных выражений массивами при реализации языка Рефал. М., ИПМ им. М.В.Келдыша, 1988, препринт №186

15.         Абрамов С.М. Сеть для всех и по разумным ценам. Компьютерра, 25 августа, 1997, с.28-30

[ в начало ]

 

1996

1.              Sazonov V.Yu., Lisitsa A.P. Delta-language for sets and LOGSPACE-computable graph transformers. "Theoretical Computer Science", 1996, 40 pp

2.              Литвинцева Л.В., Захаров В.Н., Ульянов С.В., Виртуальная среда для проектирования системы управления роботом сервисного обслуживания. Изв. РАН, Теория и системы управления, 1996, №3, с.103-110

3.              Романовский Ю.Р. Предельные циклы и комплексная геометрия. Алгебра и анализ, 1996, том 8, вып.3, с.178-188

4.              Nemytykh A.P., Pinchuk V.A. Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. Lecture Notes in Computer Science, Springer-Verlag, 1996, v.1181, pp.249-260

5.              Yumaguzhin V.A. Point transformations and classification of 3-order linear ODEs. Russian Journal of Mathematical Physics, 1996, Vol.4, No3, pp. 403-410

6.              Yumaguzhin V.A. Classification of 3-rd order linear ODEs up to equivalence. Journal of Differential Geometry and its Applications, 1996, Vol.6, No4, pp. 343-350.

7.              Sachkov Yu.L. Controllability of Hipersurface and solvable invariant systems. Journal on Dynamical and Control Systems, 1996, No1

8.              Abramov S.M., Glueck R. Semantic Modifiers: an Approach to Non-Standard Semantic of Programming Languages. Proc. of The 3-d International Symposium on Functional Programming, Word Scientific Publishing Co. Pte. Ltd., 1998, pp.247-270. Springer-Verlag, 1996, v.1110, pp.322-337

9.              Nemytykh A.P., Pinchuk V.A. A Self-Applicable Supercompiler. Lecture Notes in Computer Science, Springer-Verlag, 1996, v.1110, pp.322-337

10.          Gurman V.I. Presenyations and optimization of Impulse modes. Тезисы доклада на Международной Понтрягинской конференции. М., 1996

11.          Znamenskii S.V., Znamenskaya L.N. Russian encoding plurality problem and a new Cyrrilic font set. TUGboat. Vol.17, No2, June, 1996

12.          Знаменский С.В., Знаменская Л.Н. Спиральная связность сечений и проекций C-выпуклых множеств. Матем. заметки. Т.59, вып.3, 1996

[ в начало ]

 

1995

1.              Цирлин А.М. Оптимальное управление обменом ресурсами в экономических системах. Автоматика и телемеханика, 1995, №3, с.116-126

2.              Tsirlin A.M. Methods of duality in problems about expendiency of usage and optimization of cyclic regimes of technological processes. 4th IFAC Symposium on dynamics and control of chemical reactors, distillation columns and batch processes. Copenhagen, 1995

3.              Литвинцева Л.В. Виртуальная реальность - качественно новый шаг в технологии человеко-машинного взаимодействия: концепция и использование. Изв. РАН, Теория и системы управления, 1995, №5

4.              Sazonov V.Yu. On feasible numbers in: Leivand D. ed., Logic and Computer Complexity, LNCS, 1995, Vol. 960, Springer, рр.30-31

5.              Sazonov V.Yu., Lisitsa A.P. Delta-language for sets and sub-PTIME graph transformers. "Database Theory - ICDT'95", Logic and Computer Complexity, Springer LNCS, 1995, Vol. 893, рр.125-138

6.              Осипов Г.С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретения знаний. I. Концептуальные элементы модели мира. Изв. РАН, Теория и системы управления, 1995, №3

7.              Осипов Г.С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретения знаний. II. Модель знаний и приобретение знаний. Изв. РАН, Теория и системы управления, 1995, №5

8.              Osipov G.S. Method for Extracting Semantic Types of Natural Language Statements. Proc. 10-th IEEE ISIC, 1995, Monterey, California

9.              Гурман В.И., Кульбака Н.Э., Рюмина Е.В. Модификация системы национальных счетов с целью анализа устойчивости развития. Методологические проблемы развития экологической экономики в России. Материалы к рабочему совещанию. Объединенный совет РАН по проблемам экологии. Инф. бюллетень, вып.4, М., 1995

10.          Adamovich A.I. cT: an Imperative Language with Parallelizing Features. Sapporting the Computation Model "Autotransformation of Evaluation Network". Parallel computing technologies: third international conference: Proceedings. Berlin etc., Springer, 1995

11.          Байдун В.В., Литвинцева Л.В., Налитов С.Д. Графические средства для построения систем когнитивной графики и виртуальных миров. Программные продукты и системы. №1, 1995, с.7-13

[ в начало ]

 

1994

1.              Литвинцева Л.В., Байдун В.В., Налитов С.Д. Методы искусственного интеллекта в задаче визуализации трехмерных пространственных сцен. Изв. РАН, Техн. кибернетика, 1994, №5, с.103-113

2.              Mironowa V.A., Tsirlin A.M., Kazakow V.A., Berry S. Finite-time thermodynamics: exergy and optimization of finite-constrained processesю. J.Appl.Phys. 76(2), 1994

3.              Tsirlin A.M., Kazakow V.A., Berry S.Finite-time thermodynamics:Limiting performance of rectification and minimal entropy production in mass transfer. J.of Phys.Chem., 98, pp.3330-3336, 1994

4.              Гурман В.И., Розенраух В.М. Точное описание и оценки множества достижимости управляемой системы в банаховом пространстве. Автоматика и телемеханика, 1994, №1

5.              Беляева Н.П., Дмитриев М.Г. Компьютерная алгебра в системах управления: некоторые проблемы и постановки. Труды ИПС РАН, 1994, с.265-280

6.              Дмитриев М.Г., Ни Минь Кань. Метод улучшения и задачи оптимального управления с малым параметром. Труды ИПС РАН, 1994, с.301-308

7.              Амелькин С.А, Цирлин А.М. Оптимальное управление переработкой портящегося сырья. Автоматика и телемеханика, 1994, №1, с.38-48

8.              Каишев А.И., Романовский Ю.Р., Титов В.С. Численное и аналитическое исследование турбулентных течений несжимаемой вязкой жидкости. В кн.: Теоретические и прикладные основы программных систем. ИПС РАН, Переславль-Залесский, 1994, с.387-411

9.              Chmutov S.V., Duzhin S.V., Lando S.K. Vassiliev knot invariants I-III. Adv. in Soviet Math. v.21 Singularities and Curves, V.I.Arnold ed., 1994, pp.117-126

10.          Абрамов С.М., Адамович А.И., Нестеров И.А., Пименов С.П., Шевчук Ю.В. Автотрансформация вычислительной сети - основа для автоматического и динамического распараллеливания. Теоретические и прикладные основы программных систем. Сб. научн. трудов. Переславль-Залесский, ИПС РАН, 1994, с.103-124

11.          Abramov S.M., Adamovich A.I., Nesterov I.A., Pimenov S.P., Shevchuck Yu. V. Autotransformation of evaluation network as a basis for automatic dinamic parallelizing. Proceedings of the Sixth Conference of NATUG, IOS Press, 1993, pp.333-344

12.          Abramov S.M. Metacomputation and program testing. Теоретические и прикладные основы программных систем. Сб. научн. трудов. Переславль-Залесский, ИПС РАН, 1994, с.75-102

13.          Айламазян А.К., Ломазова И.А., Самохвалов С.Я. Какой университет нужен городу? Теоретические и прикладные основы программных систем: Сб. трудов. Переславль-Залесский, ИПС РАН, 1994, с.451-456

14.          Айламазян А.К., Гурман В.И., Чемезова Т.В. О методической и информационной базе управления в регионе. Теоретические и прикладные основы программных систем. Сб. трудов. Переславль-Залесский, ИПС РАН, 1994, с. 243-250

15.          Байдун В.В., Бунин А.И., Налитов С.Д. С-ЛИСП: инструментарий для представления и обработки знаний в среде ТУРБО Си. Теоретические и прикладные основы программных систем. Сб. трудов. Переславль-Залесский, ИПС РАН, 1994, с.339-62

16.          Байдун В.В., Литвинцева Л.В., Налитов С.Д. Методы искусственного интеллекта в задаче визууализациии трехмерных пространственныых сцен. Известия РАН. Техническая кибернетика. №5, 1994, с.103-113

[ в начало ]

 

1993

1.              Гилула М.М., Столбоушкин А.П. Система программирования СТАРСЕТ. Руководство пользователя. М., Наука, 1993

2.              S.D.Meshveliani. The Algebraic Constructor CAC: Computing in Construction-defined Domains. Lecture Notes in Computer Science, 722, 1993

 [ в начало ]

 

1992

1.                 Байдун В.В., Бунин А.И., Бунина О.Ю. Анализ текстовых описаний динамических пространственных сцен в системе ТЕКРИС. Программные продукты и системы, №3, 1992, с. 42-48

[ в начало ]

 

1991

2.                 Айламазян А.К., Гурман В.И. Научный парк в Переславле-Залесском. Препринт. Переславль-Залесский, ИПС РАН, 1991

3.                 Осипов Г.С., Комаров С.И., Куршев Е.П. Построение модели предметных областей. Прямое приобретение знаний в системе SIMER. - Техн. кибернетика, №3, 1991, с.192-197

4.                 В.Н.Гусятникова, В.А.Юмагужин. Точечные преобразования и линеаризуемость обыкновенных дифференциальных уравнений 2-го порядка. Математические заметки, 1991, Т.49, Вып.1, стр. 146-148

5.                 Sazonov V.Yu. Hereditarily-finite sets, data bases and polynomial-time computability. "Theoretical Computer Science", 1993, 119, pp.187-214

6.                 Абрамов С.М. Метавычисления и их логическое программирование. М., Программирование, №3, 1991, с.31-44

7.                 Айламазян А.К., Гурман В.И. Научный парк в Переславле-Залесском. Препринт. ИПС РАН, Переславль-Залесский, 1991

[ в начало ]

 

1990

1.              Осипов Г.С. Построение моделей предметных областей. Неоднородные семантические сети. - Изв. АН СССР, Техн. кибернетика, 1990, №5 58. Виноградов А.М., Юмагужин В.А. Дифференциальные инварианты тканей на 2-мерных многообразиях. Математические заметки, 1990, Т. 48, Вып.1, с.46-68

2.              Vorobyov S.G. The quantifier free theory of partial order cannot be axiomatized via a canonical rewrite rule system. Proc. Intern. Conf. Varna, Bulgaria, 1990

3.              Chmutov S.V., Gaydar E.A., Ignatovich I.M., Kozadoy V.F., Nemytykh A.P., Pinchuk V.A. Implementation of the symbol analitic transformation language FLAC. Proc. DISCO'90. LNCS, №429, 1990, pp.276-277

[ в начало ]

 

1989

1.              Бочаров А.В., Кистлеров В.Л. О возможности применения языка FLAC для описания некоторых алгоритмов геометрической теории дифференциальных уравнений. - Изв. АН СССР, Техн. кибернетика, 1989, №3, с.42-48

2.              Бочаров А.В., Кистлеров В.Л. FLAC как язык реализации алгоритмов геометрической теории дифференциальных уравнений. - Вопросы кибернетики, вып.149, М., 1989, с.8-14

3.              Титов В.С. Некоторые точные решения двумерных МГД-уравнений, выведенных в приближении сильного поля и холодной плазмы. В кн. Физика солнечных вспышек, М., Наука, 1989, с.21

4.              Gusyatnikova V.N., Yumaguzhin V.A. Symmetries and conservation laws of Navier-Stokes equations. Acta Applicandae Mathematicae, 1989, Vol.15, pp. 65-81

5.              Gusyatnikova V.N., Samokhin A.V., Titov V.S., Vinogradov A.M., Yumaguzhin V.A. Symmetries and conservation laws of Kadomtsev-Pogutse equations. Acta Applicandae Mathematicae, 1989, Vol.15, pp.23-64

6.              Абрамов С.М., Пименов С.П., Абакумов А.А., Хаткевич М.И. Компьютерный вирус. Микропроцессорные средства и системы. №2, 1989, с.22-24

7.              Абакумов А.А., Абрамов С.М., Адамович А.И., Нестеров И.А., Пименов С.П., Рядченко А.В., Хаткевич М. И., Шевчук Ю.В. Концепция разработки МДА. Всесоюзная конференция молодых ученых и специалистов по проблемам кибернетики и вычислительной техники. Тезисы докладов. М., Переславль-Залесский, 1989, с.14

8.              Абрамов С.М., Адамович А.И., Пименов С.П., Хаткевич М.И., Шевчук Ю.В. Viruses Back in the USSR. Наука в СССР. Personal computing, May, 1989

9.              Vorobyov S.G. Conditional rewrite rule systems with built in arithmetic and induction. Proc.3rd Intern. Conf. on Rewriting Techniqnes and Applications, Chapel Hill. Noth Carolina, USA, 1989, Lect. Notes in Computer C Science, vol 355, pp.492-512

10.         Vorobyov S.G. Two results on inexpressiveness term rewriting systems. Proc. Colloquium, West Berlin, 1989

[ в начало ]

 

1988

1.              Осипов Г.С. Метод формирования и структурирования модели знаний для одного типа предметных областей. - Изв. АН СССР, Техн. кибернетика, 1988, №2, с.3-12

2.              Адамович А.И., Леонас В.В. Виртуальные диски в МНОС. М., Программирование, №3, 1988, с.92-94

3.              Ахременков А.А. Моделирующий комплекс для имитации водных экосистем. М., ВЦ АН СССР, 1988, 48с

4.              Рахманова З.Б., Байдун В.В. ЛЕДИ-Z: проблемы, поиски, решения. Тезисы докл. Всес. конференции по искусственному интеллекту. Переславль-Залесский, ИПС АН СССР, 1988, с.609-615

5.              Байдун В.В., Бунин А.И. Средства представления и обработки знаний в системе FRL/PS. Тезисы докл. Всес. конференции по искусственному интеллекту. Переславль-Залесский, ИПС АН СССР, 1988, с.66-71

6.              Бурцев А.А., Бурцева О.Н. Модель динамической базы знаний для сферы управления и делопроизводства. Всес. конференция по искусственному интеллекту. Тез. докладов. Переславль-Залесский, 1988, с.87-91

7.              Бурцев А.А., Бурцева О.Н. Самоорганизующаяся человеко-машинная система делопроизводства. VIII Всес. семинар "Параллельное программирование и высокопроизводительные структуры". Тез. докл. Киев,1988, с.192

8.              Бурцев А.А., Бурцева О.Н. Формальная модель динамической базы данных. VIII Всес. семинар "Параллельное программирование и высокопроизводительные структуры". Тез. докл. Киев,1988, с.193

9.              Воробьев С.Г. Проблема распознавания для канонических локальных автоматов. 9 Всесоюзная конференция по мат. логике. Тезисы докл. Л., Наука, 1988, с.31

10.          Воробьев С.Г. О пополнении систем условных правил подстановки со встроенными разрешающими алгоритмами. Теория и методы параллельной обработки информации. Сб. научн. трудов. Новосибирск, ВЦ СО АН СССР, 1988, с.131-146

11.          Воробьев С.Г. Использование условных систем постановок термов в автоматическом доказательстве теорем. Техн. кибернетика. №5, 1988, с.25-39

[ в начало ]

 

1987

1.              Айламазян А.К., Гилула М.М., Осипов Г.С. и др. Проблемно-ориентированные вычислительные системы. Вопрсы кибернетики, 1987

2.              Инфанов А.П. Формирование концептуальной модели проблемной области. - Вопр. кибернетики, вып.125, 1987, с.103-111

3.              G.S.Osipov, Y.P.Kurshev et al. Expert Systems Tools for Badly Structured Fields. - Artificial Intelligence and Information-Control Systems of Robots-87, North-Holland, 1987, pp.393-397

4.              Сазонов В.Ю. Ограниченная теория множеств, полиномиальная вычислимость и дельта-программирование. Прикладные аспекты математической логики. Новосибирск, Вычислительные системы, вып.122, 1987, с.110-132

5.              Ломазова. И.А. К вопросу о существовании полной аксиоматической семантике программ, не допускающей побочных эффектов. Выч. математика и матем. физика, 1987, №10, с.1585-1589

6.              Абакумов А.А., Никишин А.А., Филонов И.Л. Программная система для разработки программ для вычислительных систем с матричным процессором на инструментальной ЭВМ. Численные методы и математическое моделирование. М., ОВМ АН СССР, 1987, с.9-24

7.              Абакумов А.А. О технологии программирования для вычислительных систем с присоединенным матричным процессором. Численные методы и математическое моделирование. Сборник научных трудов. М., ОВМ АН СССР, 1987, с.4-8

8.              Абакумов А.А., Еремин А.Ю., Кузнецов Ю.А. Эффективный быстрый прямой метод решения уравнения Пуассона в параллепипеде и его реализация на матричном процессоре. Препринт №147. М., ОВМ АН СССР, 1987

9.              Абрамов С.М. Тестирование программ с использованием окрестного анализа. М., Вопросы кибернетики. Проблемно-ориентированные вычислительные системы, №125, 1987, с.54-66

10.          Адамович А.И., Леонас В.В. Виртуальные диски для машинно-независимой операционной системы. Машинно-независимые операционные системы. М., МЦНТИ, 1987

11.          Айламазян А.К., Гайдар Л.А., Леонас В.В., Омельяненко А.Х. В СПТУ по конкурсу. Информатика и образование, №2, 1987, с.97-102

12.          Айламазян А.К., Поспелов Д.А. Начал работу семинар "Проблемы искусственного интеллекта. Известия АН СССР. Техническая кибернетика. №2, 1987, с.217

13.          Бочаров А.В. Об одном классе алгоритмизуемых вычислений в дифференциальной алгебре с неопределенностями. Проблемно-ориентированные вычислительные системы. Вопросы кибернетики, вып.125, М., 1987, с.111-118

14.          Бронштейн М.Л. О структурах представления данных в одной специализированной системе компьютерной алгебры. Вопросы кибернетики, №125, 1987, с.119-126

15.          Руденко В.П., Волков А.К. Школа юных программистов. Инфыорматика и образование. №2, 1987, с.126-128

16.          Воробьев С.Г., Непомнящий В.А., Сулимов А.А. Проблемно-ориентированная система верификации программ. Проблемы совершенствования синтеза, тестирования и отладки программ. Тезисы докл. Всесоюзной научной конференции. Рига, ЛГУ им. П.Стучки, 1987, с.46-48

17.          Воробьев С.Г. Условные системы подстановок термов и их применение в проблемно-ориентированной верификации программ. Автореферат диссерт. к.ф.-м.н. Новосибирск, ВЦ СО АН СССР, 1987

[ в начало ]

 

1986

1.              Ailamazian A.K., Gilula M.M., Stolboushkin A.P., Shvarts G.F. Redusing the Relation Model with Infinite Domains to the Case of Finite Ones. Soviet Math. Doklady, 282(2), 1986. English translations: Proc. of USSR Academy of Sciences (Doklady), 286(2), pp.308-311, 1986

2.              Айламазян А.К., Гилула М.М. Концепция информационной машины. Изв. АН СССР, Техн. кибернетика, Т 2, 1986

3.              Инфанов А.П., Осипов Г.С. Язык байсл для представления знаний. Изв. АН СССР, Техн. кибернетика, №5, 1986, с.29

4.              Адамович А.И., Леонас В.В. Виртуальные диски в ОС UNIX. М., "Программирование", №6, 1986

5.              Айламазян А.К., Гилула М.М., Столбоушкин А.П., Шварц Г.Ф. Редукция реляционной модели с бесконечными областями к случаю конечных областей. Доклады АН СССР, т.286, №2, 1986, с.308-311

6.              Айламазян А.К., Стась Е.В. Самоорганизация в документальном информационном потоке. Вопросы информационной теории и практики. №56, 1986

7.              Байдун В.В., Семенова Е.Т., Пелковский В.Ю. Представление пространственно-временных знаний средствами системы ФРЛ/ЕС. Сб. научн. трудов. М., Моск. энерг. ин-т, №86, 1986, с.11-16

8.              Рахманова З.Б., Байдун В.В. Экспертная лечебно-диагностическая система. Изв. АН СССР. Техн. кибернетика. №2, 1986, с.119

9.              Виноградов А.М. и др. Введение в геометрию нелинейных дифференциальных уравнений. М., Наука, 1986

10.          Воробьев С.Г. О встраивании разрешимых фрагментов арифметики в системы переписывания термов. Методы трансляции и конструирования программ. Новосибирск, ВЦ СО АН СССР, 1986, с.90-96

11.          Воробьев С.Г. О применении условных систем подстановок термов в верификации программ. Программирование, №4, 1986, с.3-14

[ в начало ]

 

 1985

1.              Айламазян А.К., Гилула М.М. К построению базового языка информационной машины. Доклады АН СССР, т.280, №2, 1985

2.              Айламазян А.К., Гилула М.М., К построению базового языка информационной машины. Доклады АН СССР, т.280, №2, 1985

3.              Воробьев С.Г. Переписывающие методы доказательства теорем в импликативных над базисными теориях. Всес. конф. по прикладной логике. Тезисы докл. Новосибирск, Ин-т математики СО АН СССР, 1985, с.39-42

[ в начало ]

 

1984

1. Гаспарян А.С., Неравенства для гиперболических полиномов. Доклады АН СССР, т.276, №6, 1984

[ в начало ]

 

 

©2013, ИПС им. А.К. Айламазяна РАН, Переславль-Залесский, Россия

Webmaster: webmaster-psi@botik.ru