Публикации 2012 года

1. Вахрина А.Ю., Гулиев Я.И., Гулиева И.Ф., Малых В.Л., Рюмина Е.В., Тавлыбаев Э.Ф., Фохт О.А. Подход к оценке экономической эффективности медицинских информационных систем // Врач и информационные технологии, 2012 год, № 6.

2. А.Н. Непейвода. Верификация модели технической системы средствами линейной темпоральной логики // Автоматика и телемеханика, 2012 г. №9, стр. 124-140, М.: «Наука», ISSN 0005-2310

3. А.М. Цирлин, А.А. Ахременков, Об оптимальной организации систем нагрева и охлаждения. ТОХТ, №1, 2012, том 46, 109-114

4. В.И.Гурман, И.В. Расина. Дискретно-непрерывные представления импульсных решений управляемых систем // Автоматика и телемеханика, №8, 2012, 16-29

5. В.И.Гурман, А.С.Булдаев, А.Д.Мижидон, Д.А.Моксохоева, И.В.Расина. Проблемы и перспективы социо-эколого-экономических моделей, Вестник Бурятского государственного университета. Спецвыпуск D, 2012, C. 73 – 79

6. В.И. Гурман. Системный анализ стратегий устойчивого развития // Вестник Бурятского государственного университета. Серия Экономика и Менеджмент, №1, 2012, 47-53

7. А.М. Цирлин. Алгоритм выбора последовательности разделения идеальных смесей в многостадийных системах. ТОХТ, № 2, 2012

8. В.В.Лычагин, В.А.Юмагужин, О задаче Коши для уравнения Эйнштейна, Доклады Академии Наук, Математика, 2012, №6.

9. В. В. Лычагин, В. А. Юмагужин, Метрики на решениях уравнения коротких волн, СибГАУ, ноябрь, 2012

10. Agrachev A.A., Barilari D. Sub-Riemannian structures on 3D Lie groups, Journal of Dynamical and Control Systems, Vol 18 (2012), No. 1, 21--41.

11. Ардентов А.А., Бесчастный И.Ю., Маштаков А.П., Сачков Ю.Л., Интерфейс для исследования субримановых геодезических на трехмерных группах Ли, Программные продукты и системы, 2012, No. 4, C. 200-203.

12. Ильин В.А., Кулешов А.А., Критерий принадлежности классу L_p при p >= 1 обобщенного решения смешанной задачи для волнового уравнения, Доклады РАН, 446(6):612–614, 2012.

13. В.А. Ильин, А.А. Кулешов. Критерий принадлежности классу W_p^1 обобщенного из класса L_p решения волнового уравнения. Доклады РАН, 447(1):15–17, 2012.

14. А.П. Маштаков. Параллельный программный комплекс решения неголономных задач управления. Программные продукты и системы, 2012, № 1, c. 146-151.

15. Yu.L. Sachkov, Closed Euler Elasticae, Труды МИАН, 278 (2012), 218–232.

16. Непейвода Н.Н.«Конструктивная математика: обзор достижений, недостатков и уроков. Часть II» // Логические исследования. Вып. 18 / Отв. ред. А.С. Карпенко; Ин-т филисофии РАН, философский ф-т МГУ им. М.В. Ломоносова, М.-СПб. : ЦГИ, 2012, с. 157-181 ISBN 978-5-98712-073-6

17. Благодырев В.А., Хачумов В.М.  Информационная защита вычислительных систем управления космическими аппаратами. − Авиакосмическое приборостроение, № 8, 2012, с. 11-25

18. Мажуга В.В., Хачумов В.М. Цифровая фильтрация и анализ кардиограмм. − Информационные технологии, № 4, 2012, с. 70-74

19. Емельянова Ю.Г., Талалаев А.А. Сетевые модели функционирования прикладных параллельных систем обработки потоков данных – Авиакосмическое приборостроение, №5, 2012, с. 10-19.

20. Хачумов В.М., Фраленко В.П. Высокопроизводительная обработка изображений на кластерных устройствах. – Нейрокомпьютеры: разработка и применение, № 6, 2012, с.38-45.

21. Фраленко В.П. Обнаружение сетевых атак с помощью генетически создаваемых конечных автоматов. − Вестник Российского университета дружбы народов. Серия Математика. Информатика. Физика. М.:РУДН. №4, 2012, с. 68-74

22. Емельянова Ю.Г., Мбайкоджи Э., Соченков И.В. Современный уровень и тенденции развития средств обеспечения сетевой безопасности систем облачных вычислений. − Вестник Российского университета дружбы народов. Серия Математика. Информатика. Физика. М.:РУДН. №2, 2012, с. 116-126

23. A.P. Lisitsa, A.P. Nemytykh «A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?». // Cornell University Library, http://arxiv.org/abs/1209.5407, 2012, 6 pp

24. Andrei V. Klimov A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems // Automatic Control and Computer Sciences, Vol. 46, No. 7, 2012. P. 106–117. ISSN 0146-4116 (Импакт-фактор РИНЦ—нет,http://elibrary.ru/title_about.asp?id=9462)

25. Oles Fesko, "A parallel approach to improvement and estimation of the approximate optimal control", Journal of Computational Science, Volume 3, Issue 6, November 2012, Pages 486-491, ISSN 1877-7503, DOI: 10.1016/j.jocs.2012.08.014

26. V.Lychagin, V.A.Yumaguzhin. Cohomological uniqueness of the Cauchy problem solutions for the Einstein equation, Journal of Geometry and Physics, Vol. 62, No. 10, October 2012, pp 2099–2120 (импакт-фактор журнала 0,818 http://www.journals.elsevier.com/journal-of-geometry-and-physics/)

27. А. А. Ардентов. Интерфейс для моделирования эластик Эйлера в программной среде Mathematica. Программные системы: теория и приложения, 2012. T. 3, № 1(10), с. 31–50.

28. А.П.Маштаков. Алгоритмическое и программное обеспечение решения конструктивной задачи управления неголономными пятимерными системами. Программные системы: теория и приложения, 2012, № 1(10), 3-29.

29. Ан.А.Ахременков, Е.Н.Степанов, Термодинамический анализ одноконтурной системы отопления с элеватором и без него.”Программные системы: теория и приложения”, №5(9), 2012, 5-20

30. Бурдаев М.Н. Годографы и уравнение перелета в центральном поле тяготения // Программные системы: теория и приложения : электрон. научн. журн. 2012. T. 3, № 3(12), с. 81-85.http://psta.psiras.ru/read/psta2012_3_79-92.pdf. (Импакт-фактор РИНЦ —нет, http://elibrary.ru/title_about.asp?id=32067)

31. Бурдаев М.Н.Универсальное уравнение времени перелета между двумя точками центрального поля тяготения // Программные системы: теория и приложения : электрон. научн. журн. 2012. T. 3, № 3(12), с. 71–78.http://psta.psiras.ru/read/psta2012_3_71-78.pdf . (Импакт-фактор РИНЦ —нет, http://elibrary.ru/title_about.asp?id=32067)

32. Вахрина А.Ю., Гулиев Я.И., Гулиева И.Ф., Рюмина Е.В., Тавлыбаев Э.Ф., Фохт О.А. Оценка экономической эффективности в медицинских нформационных системах // «Программные системы: Теория и приложения» Институт программных систем имени А.К. Айламазяна РАН, 2012. №4, с.3.-16.

33. Гордин И.В. , Кирпичникова Н.В«Актуальные задачи экономико-правового регулирования социальных конфликтов на застраиваемых побережьях РФ» // Вестник Международной академии системных исследований, МАСИ, Москва, 2012

34. Гордин И.В. Новиков С.Л.«Искажение принципов экономической целесообразности при распределении береговых земель», Вестник Международной академии системных исследований, МАСИ, Москва, 2012

35. Гулиев Я.И., Гулиева И.Ф., Рюмина Е.В., Фохт О.А., Тавлыбаев Э.Ф., Вахрина А.Ю.«Оценка экономической эффективности в медицинских информационных системах» // Электронный научный журнал «Программные системы: теория и приложения» – № 4, 2012 (Импакт-фактор РИНЦ — нет,http://elibrary.ru/title_about.asp?id=32067)

36. Демидов А.А. Онтология, эволюционирующая под влиянием фактов // Программные системы: Теория и приложения: электрон. научн. журн. 2012. №4(13)..

37. И.А.Сукин, «Dart, или куда целится Google», Информатика, 2012, №1, с. 38-45

38. И.А.Сукин, «Python проглатывающий слона», Информатика, 2012, №2, с. 22-43

39. И.А.Сукин, «Живописное программирование вместе с Piet», Информатика, 2012, №9, с. 3-18

40. И.А.Сукин, «Заметки о разметке», Информатика, 2012, №7, с. 24-33

41. И.А.Сукин, «Регулярно выражаясь», Информатика, 2012, №4, с. 22-31

42. Климов Ю.А., Орлов А.Ю., Шворин А.Б. Программный инструментарий для трафаретных вычислений на гибридных суперкомпьютерах // Программные системы: теория и приложения: электронный научный журнал. 2012. Т. 3, № 2 (11). С. 23-49. ISSN 2079-3316.http://psta.psiras.ru/read/psta2012_2_23-49.pdf (Импакт-фактор РИНЦ—нет,http://elibrary.ru/title_about.asp?id=32067)

43. Куршев Е. П., Сулейманова Е. А. и Трофимов И. В. Роль знаний в системах извлечения информации из текстов // Программные системы: теория и приложения : электрон. научн. журн. — 2012. — Т. 3, № 3(12). — С. 57—70.

44. Непейвода Н.Н.«Chaitin'stheoremas a sourceofmethodologicalconsequences» // «Логика, язык и формальные модели»: Сб. статей под ред. Е.Н. Лисанюка, И.Б. Микиртумова, Ю.Ю. Черноусова – СПб. Изд-во С.-Петерб. ун-та, 2012, с. 212-222 ISBN 978-5-288-05315-3

45. Новиков С.Л. , Гордин И.В. , Вольнов А.В.Факторный и системный анализ социо-эколого-экономической аргументации природозащитных организаций» // Вестник Международной академии системных исследований, МАСИ, Москва, 2012

46. Новиков С.Л. , Гордин И.В. , Кирпичникова Н.В.«Концепции экономики природопользования в деятельности общественных экологических движений» // Вестник Международной академии системных исследований, МАСИ, Москва, 2012

47. О.В. Фесько, "Параллельное вычисление оценки приближенно оптимальных управлений", Вестник ЮУрГУ. Серия "Вычислительная математика и информатика". 2012. №46(305). С. 56-66, ISSN 2071-0216

48. Попов Г.Ю., Кондратьев А.А., Тищенко И.П., Фраленко В.П.Разработка информационной системы поддержки коллективной разработки проектов // Программные системы: теория и приложения : электрон.научн. журн. 2012. T. 3, № 2(11), с. 3-22. http://psta.psiras.ru/read/psta2012_2_3-22.pdf (Импакт-фактор РИНЦ — нет,http://elibrary.ru/title_about.asp?id=32067)

49. С. В. Знаменский. Глобальная идентификация данных в долговременной перспективе // Программные системы: теория и приложения : электрон. научн. журн. 2012. T. 3, № 2(11), с. 77–88.

50. С. В. Знаменский. Показатели эффективности расписания резервного копирования // Программные системы: теория и приложения : электрон. научн. журн. 2012. T. 3, № 2(11), с. 51–60.

51. С.М. Абрамов, С.А. Амелькин, А.А. Чичковский«Различные подходы к жидкостному охлаждению — PRO&CONTRA». // Журнал «Суперкомпьютеры», № 3, 2012 г. c. 34-35

52. Сулейманова Е. А. О референциальных аспектах задачи извлечения фактов // Программные системы: теория и приложения : электрон. научн. журн. — 2012. — Т. 3, № 3(12). — С. 41—56.

53. Тищенко И.П., Степанов Д.Н., Фраленко В.П.«Разработка системы моделирования автономного полета беспилотного летательного аппарата» // Программные системы: теория и приложения : электрон. научн. журн. 2012. № 3(12), с. 3-21. http://psta.psiras.ru/read/psta2012_3_3-21.pdf

54. Толмачев И.Л., Осипов Г.С., Хачумов В.М. «Принципы построения системы мониторинга, моделирования и прогнозирования чрезвычайных ситуаций».- Фундаментальные проблемы безопасности: Сб. науч. ст. Вып 3 / Вычислительный центр им. А.А.Дородницына РАН - М.: Вузовская книга, 2012 , с. 93-97.

55. Ahmed, A.P. Lisitsa, A.P. Nemytykh. Cryptographic Protocol Verification via Supercompilation // 6th International Workshop on Reachability Problems» (RP’12), 17-19 September 2012, Bordeaux, France. . http://rp12.labri.fr/rp12-presentation_Ahmed_Lisitsa_Nemytykh_Crypto-Protocol_Verification_via_Supercompilation.pdf

56. A.A. Ardentov, Exponential mapping for the sub-Riemannian problem on the Engel group. SADCO Summer School and Workshop ”New Trends in Optimal Control”. Ravello, Italy, 2012

57. A.P. Mashatkov. Motion planning problem for some control systems applied in robotics, SADCO Summer School and Workshop ”New Trends in Optimal Control”, Ravello, Italy, 2012

58. Alexei Adamovich«Optimization of Imperative Functional Parallel Programs with Non-locl Program Transformations» // Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia July 5-9, 2012/ Edited by A.V. Klimov and S.A. Romanenko - Pereslavl-Zalessky: Pablishing House «University of Pereslavl», 2012, с. 11-22 ISBN 978-5-901795-28-6

59. Andrei V. Klimov Solving Coverability Problem for Monotonic Counter Systems by Supercompilation // E.M. Clarke, I. Virbitskaite, A. Voronkov (eds.), Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7162/2012. Springer Berlin / Heidelberg, 2012. P. 193-209. ISSN 03029743. (Импакт-фактор РИНЦ —нет,http://elibrary.ru/title_about.asp?id=2347)

60. Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. Romanenko. Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation // A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2012. P. 112-141. ISBN 978-5-901795-28-6.

61. Andrei V. Klimov. Valentin Turchin's Legacy. What should we do next? // Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012.

62. Andrei V. KlimovWhy Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems // A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2012. P. 91-111. ISBN 978-5-901795-28-6.

63. Ekaterina Tyutlyaeva and Alexander Moskovsky. «Programming Templates for ActiveStorages», Book of abstract of International Young Scientists Conference “High Performance Computing and Simulation”, 2012, Amsterdam, Netherlands p. 81

64. Ekaterina Tyutlyaeva, Alexander Moskovsky, Sergey Konyuhov, Evgeny Kurin.«Using Active Storage Concept for Seismic Data Processing» // The International Conference for High Performance Computing, Networking, Storage and Analysis, 2012, 10-16 November, Salt Lake City, USA

65. Ilya G. Klyuchnikov, Sergei A. Romanenko. Formalizing and Implementing Multi-Result Supercompilation // A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012. Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2012. P. 142-164. ISBN 978-5-901795-28-6.

66. IlyaKlyuchnikov and Sergei A. Romanenko Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions // E.M. Clarke, I. Virbitskaite, A. Voronkov (eds.), Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7162/2012. Springer Berlin / Heidelberg, 2012. P. 210-226. ISSN 03029743. (Импакт-фактор РИНЦ — нет,http://elibrary.ru/title_about.asp?id=2347)

67. Nikolai Nepejvoda«Reversivity, Reversibility and Retractability» // Proceedings of the Third International Valentin Turchin Workshop on Metacomputations. Pereslavl-Zalessky, Russia, July 5-9, 2012 / Edited by A.V. Klimov and S.A. Romanenko. - Pereslavl Zalessky: Publishing House "University of Pereslavl", 2012, ISBN 978-5-9-901795-28-6, pp. 203-216. ISBN 978-5-901795-28-6

68. S. А. Amelkin. Evaluation of Recommender Systems Efficiency. EUR-WS v. 934. XIV All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, Digital Collections" Pereslavl-Zalessky, Russia, October 15-18, 2012. pp, 288-291.

69. Sergei A. RomanenkoMulti-Result Supercompilation as a Tool for Program Analysis // Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012.

70. Sergei M. Abramov. Valentin Turchin's Scientific Method and Goals // Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012.

71. V. I. Gurman Descriptions and numerical realization of pulse processes in degenerate problems // Optimal control theory and scientific computing, Bilateral Scientific Seminar, Shanghai, November 4-11, 2012

72. V. I. Gurman Optimal innovative strategies of sustainable development // Economic and demographic applications of partial differential equations, Research Unit "Operations Research and Control Systems" Institute for Mathematical Methods in Economics Vienna University of Technology, Vienna 2012

73. V. I. Gurman The Extension Principle and Control Optimization in Geterogenous Systems // 6th International Workshop “Generalized Statements and Solutions of Control Problems”, Gelendzhik – Divnomorskoe, Krasnodar region, Russian Federation 2012

74. V.A.Yumaguzhin The Cauchy problem for the Einstein equation. Cohomological uniqueness of formal solutions. Geometry and Algebra of PDEs, University of Tromsø, August 27-31, 2012 http://www.math.uit.no/pdes2012/index.html

75. V.N.Yumaguzhina Mathematical models of vision. Geometry and Algebra of PDEs, University of Tromsø, August 27-31, 2012, http://www.math.uit.no/pdes2012 /index.html

76. Yu. Beschastnyi. On optimal rolling of ball with twisting and without slipping. Международная конференция по дифференциальным уравнениям и динамическим системам, Суздаль, 29 июня - 4 июля 2012 г.

77. Yu.L. Sachkov, Neurogeometry of vision and sub-Riemannian geometry, Differential Equations and Applications, International Conference in Honour of Mark Vishik On the Occasion of his 90th Birthday Moscow, June 4-7, 2012

78. Yu.L. Sachkov, A.A. Ardentov, Left-invariant sub-Riemannian problems on low-dimensional Lie groups. Конференция "Algebra and Geometry", посвященная 65-летию А.Г. Хованского, Москва, июнь 2012 г.

79. Yu.L. Sachkov, A.A. Ardentov, Low-dimensional left-invariant sub-Riemannian problems. "Geometric control and sub-Riemannian geometry", Cortona, Italy, May 21-25 2012

80. А.А.Ардентов, Исследование сопряженных точек в нильпотентной аппроксимации задачи о движении мобильного робота с прицепом. "Управление в технических, эргатических, организационных и сетевых системах" (УТЭОСС-2012). Санкт-Петербург, 9-11.10.2012

81. А.А.Егорычев, С.А.Амелькин. «Математические модели, алгоритмическое и программное обеспечение для поддержки образовательных процессов» // XIX Всероссийская научно-методическая конференция «Телематика'2012», 2012

82. А.М.Цирлин, Методы В.Ф. Кротова в задачах оптимизации макросистем. // 6th International Workshop “Generalized Statements and Solutions of Control Problems”, Gelendzhik – Divnomorskoe, Krasnodar region, Russian Federation 2012

83. А.М.Цирлин. Системы с сегрегацией: модели и управление. // 6th International Workshop “Generalized Statements and Solutions of Control Problems”, Gelendzhik – Divnomorskoe, Krasnodar region, Russian Federation 2012

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

85. А.П. Маштаков, Оптимальное управление мобильным роботом на плоскости, "Управление в технических, эргатических, организационных и сетевых системах" (УТЭОСС-2012), Санкт-Петербург, 9--11.10.2012

86. Абрамов Н.С. Система компьютерного зрения для управляемой поворотной камеры задаче слежения за целью. – V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.85-86, ISBN 978-5-88070-025-7.

87. Абрамов Н.С., Фраленко В.П. Выбор лучшего снимка из серии в системах технического зрения. – V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.83-84, ISBN 978-5-88070-025-7.

88. Абрамов С. М. «Правда, искажающая истину. Как анализировать TOP500?». // Первый Национальный Суперкомпьютерный Форум (НСКФ-2012), г. Переславль-Залесский, ИПС имени А.К. Айламазяна РАН, 29-30 ноября 2012 г.

89. Абрамов С. М., Амелькин С.А. «Энергоэффективные суперкомпьютеры». // Первый Национальный Суперкомпьютерный Форум (НСКФ-2012), г. Переславль-Залесский, ИПС имени А.К. Айламазяна РАН, 29-30 ноября 2012 г.

90. Абрамов С.М., Гулиев Я.И.-о. «Разработки ИПС имени А.К. Айламазяна РАН в области технологий медицинских информационных систем». // Доклад на международной конференции «Российские информационные технологии». --- Австрия, г. Вена, 02.10.2012, «Российский центр науки и культуры в Вене».

91. В.И.Гурман, А.С.Булдаев, И.В.Расина, Д.М.Скитневский. Проблемы и перспективы развития и применения социо-эколого-экономических моделей. - Материалы Всероссийской науч.-практ.конф. "Современный рынок товаров и услуг: проблемы и перспективы развития". 9-16 апреля 2012 г. (Чтения памяти Н.Ф. Салацкого). - Иркутск: изд-во ООО "Мегапринт", 2012. - Стр.273-279.

92. Виноградов А. Н. и Куршев Е. П. Методы инфракрасной диагностики оборудования // V всероссийская научно-техническая конференция "Актуальные проблемы ракетно-космического приборостроения и информационных технологий". — Москва, 2012.

93. Виноградов А. Н. и Куршев Е. П. Средства моделирования наноматериалов и наноустройств для РКТ // V всероссийская научно-техническая конференция "Актуальные проблемы ракетно-космического приборостроения и информационных технологий". — Москва, 2012.

94. Виноградов А. Н., Заднепровский В. Ф. и Куршев Е. П. Применение информационных потоков видеотелеметрии в различных спектрах излучения для решения задач контроля состояния КА и РН // V всероссийская научно-техническая конференция "Актуальные проблемы ракетно-космического приборостроения и информационных технологий". — Москва, 2012.

95. Власова Н. А. Подход к автоматическому извлечению информации о назначениях и отставках лиц (на материале новостных сообщений) // Электронные библиотеки: перспективные методы и технологии, электронные коллекции. XIV Всероссийская научная конференция RCDL-2012. Труды конференции. — Переславль-Залесский : Университет города Переславля, 2012. — С. 374—378.

96. Дбар С.А., Климов Ю.А., Краснов М.М., Лацис А.О., Орлов В.Л., Савельев Г.П., Соколов А.А., Храмцов М.Ю., Штаркман Вик.С. Развитие программного обеспечения коммуникационной системы МВС-Экспресс и некоторые проблемы разработки гибридных приложений для суперкомпьютера К-100 // Научный сервис в сети Интернет: поиск новых решений: Труды Международной суперкомпьютерной конференции (17-22 сентября 2012 г., г. Новороссийск). М.: Изд-во МГУ, 2012. С. 428-430. ISBN 978-5-211-06394-5.

97. Е.О. Тютляева, А.А. Московский, Е.А. Курин, С.С. Конюхов «Применение шаблонов параллельного программирования для обработки данных сейсморазведки» // Труды четвертой международной научной конференции «Суперкомпьютерные системы и их применение» (SSA'2012) (23-25 октября 2012 года, Минск., стр. 156-160: ОИПИ НАН Беларуси, 2012. - 242 с. - ISBN 978-985-6744-76-4.

98. Е.О. Тютляева, А.А. Московский, С.С. Конюхов, Е.А. Курин "Применение концепции активных хранилищ в задачах обработки данных сейсмических наблюдений" //Труды Международной коммпьютерной конференции "Научный сервис в сети Интернет: поиск новых решений" (17-22 сентября 2012 г., г. Новороссийск).- М.: Изд-во МГУ, 2012. – 752 с., ISBN 978-5-211-06394-5, стр. 350-355.

99. Е.Ф.Сачкова, А.Ю.Попов. Редукция и особенности в задаче автономного позиционирования БПЛА. Конференция по динамическим системам и дифференциальным уравнениям. Суздаль, 29 июня - 4 июля 2012 г.

100. Емельянова Ю.Г., Талалаев А.А., Воля А.В., Полтавец Ю.И., Теплоухова Н.Е. , Сидоров А.В. Моделирование сетями Петри параллельных процессов обработки целевой информации. – V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.77, ISBN 978-5-88070-025-7.М.

101. Заднепровский В.Ф., Емельянова Ю.Г., Талалаев А.А., Тищенко И.П., Фраленко В.П., Хачумов В.М., Ватутин В.М., Теплоухова Н.Е. «Состав инструментальных программных средств для моделирования работы и когнитивно-графического представления информации радиотехнических систем на базе суперкомпьютера семейства «СКИФ»». – Ракетно-космическое приборостроение и информационные технологии. Труды IV Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (15-17 июня 2011 г.) / под ред. Ю.М. Урличича,

102. Заднепровский В.Ф., Тищенко И.П., Урличич Ю.М., Круглов А.В., Ватутин В.М., Буев С.Г. Геоинформационная система автоматической обработки объектов инфраструктуры с использованием облачных вычислений. – V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.75, ISBN 978-5-88070-025-7.

103. И.А.Сукин, «Равномерное приближение с изменяемыми границами интервалов» // XVI молодежная научно-практическая конференция «Наукоемкие информационные технологии», Переславль-Залесский, 2012

104. И.Н.Григоревский, "Математическое моделирование и область реализуемости процесса бинарной ректификации", Международная Научно-Практическая конференция ИНФОКОМ-5. г. Кисловодск, 2-6 мая 2012 г, Сборник трудов конференции, 2012 г. стр. 45-48

105. И.Н.Григоревский, "Российская облачная инициатива", Научный сервис в сети Интернет: поиск новых решений. г. Абрау-Дюрсо, 17-22 сентября 2012 г. Электронный сборник трудов конференции.

106. Калугин Ф.В., Хачумов В.М., Снегирев В.М. «Настройка регулятора на основе генетического алгоритма и нечетких критериев оценки качества переходных процессов». – Ракетно-космическое приборостроение и информационные технологии. Труды IV Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (15-17 июня 2011 г.) / под ред. Ю.М. Урличича, А.А. Романова. – М.: Радиотехника, 2012, с.293-297, ISBN 978-5-88070-023-3.

107. Климов Ю.А., Орлов А.Ю., Шворин А.Б. Кентавр: средство автоматического распараллеливания трафаретных программ на гибридные суперкомпьютеры // Научный сервис в сети Интернет: поиск новых решений: Труды Международной суперкомпьютерной конференции (17-22 сентября 2012 г., г. Новороссийск). М.: Изд-во МГУ, 2012. С. 167-170. ISBN 978-5-211-06394-5.

108. Кондратьев А.А., Тищенко И.П. Использование графических вычислителей в процессах обработки и распознавания изображений. – V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.92, ISBN 978-5-88070-025-7.

109. Кондратьев А.А., Тищенко И.П., Фраленко В.П., Круглов А.В. Построение системы защиты облачных вычислений от сетевых атак. –V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.103-104, ISBN 978-5-88070-025-7.

110. Левин В.К., Четверушкин Б.Н., Елизаров Г.С., Горбунов В.С., Лацис А.О., Корнеев В.В., Соколов А.А., Андрюшин Д.В., Климов Ю.А. Коммуникационная сеть МВС-Экспресс // «Параллельные вычисления и задачи управления» (PACO'2012). Шестая международная конференция, Москва, 24-26 окт. 2012 г. Труды: в 3 т. М.: ИПУ РАН, 2012. Том 1. С. 52-69.

111. М.А.Амелькина Множество реализуемых состояний производственной фирмы в необратимой экономической системе // Школа-семинар "Модели и исследования гетерогенных систем", сентябрь 2012, Дивноморское

112. М.А.Амелькина. Конкурентные и коллаборативные стратегии предприятий на локальных рынках // Стратегическое планирование и развитие предприятий апрель 2012, Москва.

113. Михайлов К. В. Использование контекста для повышения качества автоматической кластеризации текстов // Труды международного конгресса по интеллектуальным системам и информационным технологиям IS&IT'12. — 2012.

114. Мокров Е.В., Хачумов В.М., Теплоухова Н.Е. «Применение фонемного подхода к распознаванию речевых команд». – Ракетно-космическое приборостроение и информационные технологии. Труды IV Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (15-17 июня 2011 г.) / под ред. Ю.М. Урличича, А.А. Романова. – М.: Радиотехника, 2012, с.418-424, ISBN 978-5-88070-023-3.

115. Н.Н. Непейвода. От численного моделирования к алгебраическому // Труды шестой международной конференции “Параллельные вычисления и задачи управления” (PACO'2012), том I, стр. 93-103, M.: ИПУ РАН, 24-26 октября 2012. ISBN 978-5-91450-123-2.

116. Непейвода А. Н. «Реверсивные вычисления: обзор мирового опыта» // Труды Шестой Международной конференции «Параллельные вычисления и задачи управления». Москва, 24–26 октября 2012 г. (PACO-2012), Институт проблем управления им. В.А. Трапезникова РАН. Том II, M.: ИПУ РАН, 2012, с. 129-142, . ISBN 978-5-91450-123-2

117. Непейвода Н.Н. «Алгебры как альтернатива численному параллелизму». // Первый Национальный Суперкомпьютерный Форум (НСКФ-2012), г. Переславль-Залесский, ИПС имени А.К. Айламазяна РАН, 29‒30 ноября 2012 г.

118. Непейвода Н.Н. «Некоторые фантастические соображения насчет будущего компьютеров» // Всероссийский конгресс «Интернет и общество», г. Ижевск, 20-22 ноября 2012 г.

119. О.В. Фесько "Параллельное вычисление оценки приближенно оптимальных управлений" Международная научная конференция "Параллельные вычислительные технологии" (ПаВТ'2012), г. Новосибирск.

120. О.В. Фесько "Параллельные алгоритмы поиска и оценки приближенно оптимального управления", Школа-семинар "Модели и методы исследования гетерогенных систем", 2012, Дивноморск.

121. С. В. Знаменский. На пути к новой теории информационных систем. «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» RCDL-2012, Переславль-Залесский, 2012, с. 323-331.

122. С. В. Знаменский. Ретроспективная основа распределённой памяти для изменчивой вычислительной среды. Материалы VI Международной конференции «Параллельные вычисления и задачи управления» (PACO’2012) - 14с.

123. С.А. Амелькин Оптимальное управление инфраструктурой в экономических системах // Школа-семинар "Модели и методы исследования гетерогенных систем", сентябрь 2012, Дивноморское

124. С.М. Абрамов, В.В. Анищенко, В.Ф. Заднепровский, А.М. Криштофик.«Основные результаты и эффективность выполнения программы Союзного государства «СКИФ-ГРИД». // В сб. Доклады Четвертой Международной научной конференции «Cуперкомпьютерные системы и их применение» (SSA`2012), 23–25 октября 2012 г., Минск — Минск, ОИПИ НАН Беларуси, 2012, с. 7–11. ISBN 978-985-6744-76-4.

125. С.М. Абрамов, Е.П. Лилитко. «Состояние и перспективы развития вычислительных систем сверхвысокой производительности». // Труды Шестой Международной конференции «Параллельные вычисления и задачи управления». Москва, 24–26 октября 2012 г. (PACO-2012), Институт проблем управления им. В.А. Трапезникова РАН. Том 1, стр. 10–32. ISBN 978-5-91450-122-5 (т. 1).

126. С.М.Абрамов, С.А.Амелькин, А.А.Чичковский. Непосредственное жидкостное охлаждение серверов — на примере системы СТОРУС «Иммерс». // Международная суперкомпьютерная конференция «Научный сервис в сети Интернет: поиск новых решений». 18–21 сентября 2012, Новороссийск.

127. С.М.Абрамов, С.А.Амелькин, А.А.Чичковский. Непосредственное жидкостное охлаждение серверов — на примере системы СТОРУС «Иммерс». // Вторая Всероссийская научно-техническая конференция «Суперкомпьютерные технологии» СКТ-2012. 24 –29 сентября 2012, Дивноморское

128. Степанов Д.Н., Тищенко И.П., Поляков А.В., Ватутин В.М., Соболев Д.Б. Подсистема определения положения и ориентации беспилотного летательного аппарата V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.21-22, ISBN 978-5-88070-025-7.

129. Тищенко И.П., Кирюшина А.Е., Котомин А.В., Ватутин В.М., Поляков А.В., Мамчик С.В., Сидоров А.В. Моделирование работы радиотехнических систем в режиме радиомониторинга. – V Всероссийская научно-техническая конференция «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (5-7 июня 2012 г., г. Москва). Тезисы докладов. – М.: Радиотехника, 2012, с.76, ISBN 978-5-88070-025-7.

130. Фраленко В.П., Хачумов В.М., Урличич Ю.М., Ежов С.А., Круглов А.В., Ватутин В.М. Нейросетевые алгоритмы сжатия и восстановления потоков данных, а также фильтрации сетевых атак комитетом классификаторов. – Ракетно-космическое приборостроение и информационные технологии. Труды IV Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (15-17 июня 2011 г.) / под ред. Ю.М. Урличича, А.А. Романова. – М.: Радиотехника, 2012, с.197-205, ISBN 978-5-88070-023-3.

131. Хачумов В.М., Благодырев В.А., Урличич Ю.М., Круглов А.В., Остапенко О.В. Программно-инструментальные средства обнаружения и распознавания сетевых атак для обеспечения информационной защиты вычислительных систем. – Тезисы докладов V Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий (5-7 июня 2012). – М.: Радиотехника, 2012, с.94-95, ISBN 978-5-88070-025-7.

132. Ю.Л.Сачков. Левоинвариантные субримановы задачи на 3-мерных и 4-мерных группах Ли. Конференция по динамическим системам и дифференциальным уравнениям. Суздаль, 29 июня - 4 июля 2012 г.

133. Ahmed, A.P. Lisitsa, A.P. Nemytykh«Cryptographic Protocol Verification via Supercompilation» // Семинар по функциональному программированию «Fun in the Afternoon», 14th November, Brighton, England. http://sneezy.cs.nott.ac.uk/fun/2012-11/

134. А. А.Ахременков, Е. Н.Степанов, С. А.Герасимов, А. С. Сергеев. "Применение сенсорных систем в системе ЖКХ.", Всероссийский семинар «Молодежные идеи и проекты, направленные на повышение энергоэффективности и энергосбережения», 11 – 12 апреля 2012, г. Ярославль,

135. Гордин И.В. , Новиков С.Л. , Гордина-Невмержицкая И.И. «Оптимизация общественного контроля самофинансирующихся некоммерческих предприятий» // Стратегическое планирование и развитие предприятий. Секция 3 / Материалы Тринадцатого всероссийского симпозиума, ЦЭМИ РАН, Москва, 2012, 3, с. 39-41

136. Гордин И.В. «Направления снижения социально-экономических рисков рекреационной сферы» // Труды XII Всероссийской конференции «Теория и практика экологического страхования» , Издательство "МБА", Москва, 2012, с. 21-23

137. Гордин И.В., Гордина-Невмержицкая И.И. «Противоречия статуса общественных зон отдыха в условиях рыночной экономики" // Стратегическое планирование и развитие предприятий. Секция 3 / Материалы Тринадцатого всероссийского симпозиума, ЦЭМИ РАН, Москва, 2012, 3, с. 37-39

138. Иванова О.С. Математическая модель передачи информации в автоматизированных обучающих системах. // Наукоёмкие информационные технологии: Tруды XVI Молодежной научно-практической конференции SIT-2012 / УГП имени А. К. Айламазяна. — Переславль-Залесский: Изд-во .Университет города Переславля., 2012. с. 109–117.

139. Михайлов К. В. Кластеризация документов на базе признакового пространства из ключевых слов и их контекстов // Теория и практика системного анализа: Труды II Всероссийской научной конференции молодых ученых с международным участием. — Рыбинск : РГАТУ им. П.А. Соловьева, 2012. — С. 144—148.

140. Н.Н. Непейвода. Абстрактные алгебры различных классов программ // Аппликативные Вычислительные Системы 3-я международная конференция АВС 2012 Москва, Институт «ЮрИнфоР-МГУ», 14-15 декабря 2012 г. Стр. 103-128. ISSN 2304-7283.

141. Н.Н. Непейвода. О теоремах Чейтина и Геделя: абстрактные варианты // «Международные Колмогоровские чтения – X», Ярославль, Россия, 15-18 мая 2012 г.

142. Непейвода Н.Н. «О НПП и не только об образовании» // VII конференция СПО в высшей школе, Переславль, 2012, 29-30 января с. 11-12

143. Рюмина Е.В. «Критерий экономической эффективности на службе охраны природной среды». // Труды XII Всероссийской конференции «Теория и практика экологического страхования» / «НИЦ «Экопроект» (ЗАО). – М.: Издательство «МБА», 2012

144. Рюмина Е.В. «Оценка экологических издержек в статьях расходов бюджетов регионов» // Стратегическое планирование и развитие предприятий. Секция 4 / Материалы Тринадцатого всероссийского симпозиума. – М.: ЦЭМИ РАН, 2012

145. Рюмина Е.В. «Расходы на охрану водных ресурсов и их оптимизация». // Стратегическое планирование и развитие предприятий. Секция 2 / Материалы Тринадцатого всероссийского симпозиума. – М.: ЦЭМИ РАН, 2012

146. С.Д. Мешвелиани «О проекте интерфейса DoCon-Haskell ― Axiom». 15-е Международное рабочее совещание по компьютерной алгебре. 23 мая 2012 года. г. Дубна, Россия.

147. Сафарова Э.А. Модели управления качеством услуг символического обмена. // Наукоёмкие информационные технологии: Tруды XVI Молодежной научно-практической конференции SIT-2012 / УГП имени А. К. Айламазяна. — Переславль-Залесский: Изд-во .Университет города Переславля., 2012. с. 119–125.

148. Соколов А.А., Андрюшин Д.В., Климов Ю.А. Сравнительное тестирование сети МВС-Экспресс и Infiniband с использованием пакета NAS Parallel Benchmark // Суперкомпьютерные технологии (СКТ-2012). Материалы 2-й Всероссийской научно-технической конференции. Росстов-на-Дому: Издательство Южного федерального университета, 2012. С. 88-92.

149. Тимошенко О. Ю., Трифанов С. В., Хаткевич М. И. Информатизация сети лечебно-профилактических подразделений Банка России на основе типовой АС Амбулатория. Опыт эксплуатации и сопровождения. // Наукоёмкие информационные технологии: Tруды XVI Молодежной научно-практической конференции SIT-2012 / УГП имени А. К. Айламазяна. — Переславль-Залесский: Изд-во .Университет города Переславля., 2012. с. 71–84.

©2013, ИПС им. А.К. Айламазяна РАН, Переславль-Залесский, Россия

Webmaster: webmaster-psi@botik.ru