Публикации

2012

Наука и технологии, под общ/ред Ершова П.Н., М.:РАН, 2012

Микроконтроллеры. Разработка встраиваемых приложений.– БХВ-Петербург, 2012.

Баженов А.С., Ицыксон В.М. Применение принципов прогнозирования в задачах проектирования программного обеспечения Доклады Томского государственного университета систем управления и радиоэлектроники, 2012, №1-1, c. 76-86 2 2012 №1-1, c. 76-86

Benderskaya E.N. Nonlinear Trends in Modern Artificial Intelligence: A New Perspective Beyond AI: Interdisciplinary Aspects of Artificial Intelligence // Topics in Intelligent Engineering and Informatics, Vol. 4, 2012, Springer, pp 113-124 1 2012 Vol. 4, pp 113-124

Benderskaya E.N., Zhukova S.V. Multidisciplinary Trends in Modern Artificial Intelligence: Turing’s Way AIECM -- Turing 2012, Book Chapters: Artificial Intelligence, Evolutionary Computation and Metaheuristics, Springer 2012, pp. 320 – 343 1 2012 pp. 320 – 343

Benderskaya E.N., Zhukova S.V. Nonlinear approaches to automatic elicitation of distributed oscillatory clusters in adaptive self-organized system Distributed Computing and Artificial Intelligence (DCAI – 2012), 9th International Conference, Salamanca (Spain) 28-30th March, 2012, Advances in Intelligent and Soft Computing. Springer, 2012, Vol. 151. pp. 733–741 1 2012 Vol. 151. pp. 733–741

Васильев А.Е., Донцова А.В. Embedded Intelligent Control Systems on the Basis of Elementary Fuzzy-Logic Cells "Proceedings of IEEE East-West Design & Test Symposium (EWDTS’2012).– pp. 502-504.

Глухих М.И., Моисеев М.Ю., Егоров И.В., Крикун Т.С. Автоматизация анализа надежности невосстанавливаемых информационно-управляющих систем НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №2 (145), 2012 с.81-90 2 2012 №2 (145), 2012 с.81-90

Максименко С.Л., Мелехин В.Ф., Филиппов А.С. Анализ проблемы построения радиационно-стойких информационно-управляющих систем. Информационно-управляющие системы. 2012, № 2 . С.18-25 2 2012 № 2 . С.18-25

Кузнецов А.Н., Пышкин Е.В. Функциональное представление музыки и подходы к структурному синтезу НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №1 (140), 2012 с.11-20 2 2012 №1 (140), 2012 с.11-20

E. Pyshkin, and V. Klyuev A study of measures for document relatedness evaluation In Proceedings of the 2nd International Workshop on Advances in Semantic Information Retrieval (ASIR’2012), Federated Conference on Computer Science and Information Systems (FedCSIS–2012), Sep. 9-12, Wroclaw, Poland, 2012, pp. 261-268 1 2012 pp. 261-268

A. Kuznetsov, and E. Pyshkin Function-based and circuit-based symbolic music representation, or Back to Beethoven Proceedings of the 14th International Conference on Humans and Computers, The Joint Conference on Human-Centered Computer Environment (HCCE-2012), Aizu-Wakamatsu, Japan, March, 8 – 13, 2012, pp. 171-177. – University of Aizu Press 1 2012 pp. 171-177

Антонов А.А., Ридигер В.К., Федотов А.А Использование высокоуровневых средств проектирования для разработки СнК на базе БМК 5516БЦ1Т1 Радиопромышленность, 2012, вып.3, стр.87-106 2 2012 вып.3, стр.87-106

Ицыксон В.М., Зозуля А.В. Автоматизированная трансформация программ при миграции на новые библиотеки Программная инженерия. № 6, 2012, Изд. Новые технологии. с. 8-16 2 2012 №6, с.8-16

Ицыксон В.М. Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций Информационно-управляющие системы. 2012, № 2 . с.31-38 2 2012 № 2 . С.31-38

2011

Бендерская Е.Н., Жукова С.В. Осцилляторные нейронные сети с хаотической динамикой в задачах кластерного анализа Нейрокомпьютеры: разработка, применение. №. 7, 2011. - с. 74-86. 2 2011 №. 7, 2011. - с. 74-86

Benderskaya E.N., Zhukova S.V. Oscillatory Chaotic Neural Network as a Hybrid System for Pattern Recognition // Proceedings of IEEE Work-shop on Hybrid Intelligent Models and Applications (IEEE HIMA-2011), Paris, 2011, pp. 39-45 1 2011 (IEEE HIMA-2011), Paris, 2011, pp. 39-45

Benderskaya E.N., Zhukova S.V. Self-organized clustering and classification: a unified approach via distributed chaotic computing Advances in Intelligent and Soft Computing, Springer, 2011, Vol. 91, pp. 423-431 1 2011 Vol. 91, pp. 423-431

Benderskaya E.N., Zhukova S.V. Dynamic data mining: synergy of bio-inspired clustering methods Knowledge-Oriented Applica-tions in Data Mining, Book edited by: Kimito Funatsu, ISBN: 978-953-307-154-1, 1 2011 Publisher: InTech – 2011.-pp.398-410

Benderskaya E.N., Zhukova S.V. Chaotic Clustering: Fragmentary Synchronization of Fractal Waves Chaotic Systems, Book edited by: Esteban Tlelo-Cuautle, ISBN: 978-953-307-564-8, 1 2011 Publisher: InTech. – 2011.- pp.187-202

Ицыксон В.М., Зозуля А.В. Формализм для описания частичных спецификаций компонентов программного окружения. НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №4(128), 2011 с. 81...90. 2 2011 №4(128) с. 81..90

Бабко Л.В., Мелехин В.Ф. Истоки создания факультета технической кибернетики НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с. 7...13. 2 2011 №6.1 (138) с 7..13 Васильев А.Е., Мурго А.И. Проектирование подсистем сетевого обмена данными для встраиваемых устройств управления на основе микроконтроллеров. НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с. 25...31. 2 2011 №6.1 (138) с 25..31

Максименко С.Л. Автоматизирпованный реинжиниринг цифровых устройств на основе HDL-спецификаций НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с.44…49. 2 2011 №6.1 (138) с 44…49 Глухих М.И., Максименко С.Л, Мелехин В.Ф., Филиппов А.С. Организация и проектирование высоконадежных вычислительных систем НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с.54…61. 2 2011 №6.1 (138) с 54…61

Березкин А.В., Федотов А.А., Филиппов А.С. Тестирование цифровых систем, заданных высокоуровневыми спецификациями. НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с.62…70. 2 2011 №6.1 (138) с 62…70

Лыпарь Ю.И., Балтруков Н.Н., Скворцов А.Н. Структурный синтез интеллектуальных (IP) блоков на примере передатчика дифференциальных сигналов стандарта LVDS НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с.153…169. 2 2011 №6.1 (138) с153…169

Бендерская Е.Н. Перспективные концепции разработки интеллектуальных систем НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с.173…180. 2 2011 №6.1 (138) с173…180 Кузнецов А.Н., Пышкин Е.В. Алгоритм сравнения нотных фрагментов при поиске музыкальной информации по образцу мелодии НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с. 195..201. 2 2011 №6.1 (138) с 195..201

Беляев М.А, Цесько В.А. Статический анализ с использованием систем типов и эффектов на основе LLVM Моделирование и анализ информационных систем. Том 18, №4, 2011 с. 45-55 2 2011 Том 18, №4, 2011 с. 45-55

Бендерская Е.Н., Никитин К.В. Моделирование нейронной активности мозга и биоинспирированные вычисления НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.2 (138), 2011 с.34-40 2 2011 №6.2 (138), с.34-40

Васильев А.Е., Шилов М.М. Мурго А.И "Научные и методические аспекты преподавания дисциплин цикла «Встраиваемые Микроконтроллеры». " Информационно-управляющие системы, №6, 2011, c. 68-77 2 2011 №6, 2011, c. 68-77

Васильев А.Е., Донцова А.В., Мурго А.И. Алгоритмические реализации средств нечеткой обработки данных для встраиваемых интеллектуальных систем микроконтроллерного управления НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.2 (138), 2011 с.63…70 2 2011 №6.2 (138), 2011 с.63…70

Захаров А.В., Моисеев М.Ю. Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Моделирование и анализ информационных систем. Том 18, №4, 2011 с. 94-105 2 2011 Том 18, №4, 2011 с. 94-105

M. Moiseev, A. Zakharov, I. Klotchkov, and S. Salishev. Static Analysis Method for Deadlock Detection in SystemC Designs Proceedings of International Symposium on System-on-Chip (ISSoC), 2011, pp.42-47 1 2011 2011, pp. 42-47

Мараховский В.Б., Пышкин Е.В. "Автоматизация проектирования асинхронных схем (Design automation for asynchronous circuits)" НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №6.1 (138), 2011 с.237-238. 2 2011 №6.1 (138) с 237-238.

Глухих М.И., Ицыксон В.М., Цесько В.А. Использование зависимостей для повышения точности статического анализа программ Моделирование и анализ информационных систем. Том 18, №4, 2011, Изд-во Яросл. Ун-та. с. 68-79 2 2011 Том 18, №4, 2011 с. 68-79

2010

Pyshkin E., Kuznetsov A. An approach for web search user interface based on the cognitive synonyms concept Proc. of the 3^rd International Conf. on Human Centric Computing, Aug. 11-13, Cebu, Philippines, 2010. ISBN: 978-1-4244-7569-8 1 2010

Pyshkin E., Klyuev V On document evaluation for better context-aware summary generation Proc. of 2nd Int. Symp. on Aware Computing (ISAC2010), Nov. 1-4, National Cheng-Kung University, Tainan, Taiwan, 2010. IEEE Catalog Number: CFP-1079K-CDR. ISBN: 978-1-4244-8312-9. CD Edition. 1 2010

Varshavsky, V.; Marakhovsky, V “CMOS Implementation of an Artificial Neuron Training on Logical Threshold Functions”, WSEAS Transaction on Circuits and Systems, Issue 4, Vol.8, April 2009, pp. 370 – 391. 1 2009 Issue 4, Vol.8, April 2009, pp. 370 – 391.

Ицыксон В.М., Тимофеев Д.А. Технология модификации программного кода, основанная на параметризируемых шаблонах. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3 (101), 2010. с. 99-107. СПб: СПбГПУ 2 2010 №3 (101), с. 99-10

Ицыксон В.М., Глухих М.И. Язык спецификаций поведения программных компонентов. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3 (101), 2 2010 №3 (101), с. 63-71

Моисеев М.Ю. Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3 (101),с. 77-86. 2 2010 №3 (101), с. 77-86

Васильев А.Е. Литвинчук А.В., Петров Д.Д. Проектирование средств и систем обработки информации на основе сетей элементарных вычислителей нечетких логических функций. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №3 (101), 2 2010 №3 (101), с. 7…14

Васильев А.Е., Шилов М.М. О деятельности научной группы «Встраиваемые интеллектуальные системы управления» . НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (108), 2010. с.229…230. СПб: СПбГПУ 2 2010 №5 (108), с.229…230.

Бендерская Е.Н Подход к определению параметров нейронной сети Кохонена в задачах анализа структуры многомерных данных . НТВ СПбГПУ. Информатика. Телекоммуникации. Управление. №1 (72), 2010 с. 18…26. 2 2010 №1 (72), с. 18…26

Мараховский В.Б., Мелехин В.Ф. Проектирование средств синхронизации блоков глобально асинхронных систем с произвольной локальной синхронизацией Информационно-управляющие системы. 2010. № 1 (44). С.29-38 2 2010 № 1 (44). С.29-38

Ахин М.Х., Ицыксон В.М. Обнаружение клонов исходного кода: теория и практика. Системное программирование. Вып.5: Сборник статей / Под ред. А.Н. Терехова, Д.Ю. Булычева. - СПб: Изд-во С. Петерб. ун-та 2010. – сс. 145-164. 2 2010 Вып.5: Сборник статей сс. 145-164

2009

Benderskaya E.N., Zhukova S.V. Fragmentary Synchronization in Chaotic Neural Network and Data Mining HAIS 2009, Lecture Notes in Computer Science Series, LNAI vol. 5572, Springer, pp. 319-326 1 2009 vol. 5572, pp. 319-326

Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С. Исследование средств построения моделей исходного кода программ на языках С и С++ Научно-технические ведомости СПбГПУ №1(72)/2009 Информа-тика. Телекоммуникации. Управ-ление. Изд-во Политехн. ун-та, 2009. – с. 122…130. 2 2009 №1(72)/2009 с. 122…130.

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х. Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ. Информационно-управляющие системы, 2009, N 2 (39), с. 34…41 2 2009 № 2(39) с. 34…41

Моисеев М.Ю. Интервальный алгоритм статического анализа для обнаружения дефектов в исходном коде программ Информационно-управляющие системы, 2009, N 3 (40), с. 33…39 2 2009 № 3 (40), с. 33…39

Васильев А.Е., Криушов А.В., Шилов М.М. Инструментальные средства и методология подготовки специалистов в области встраиваемых интеллектуальных систем управления Информационно-управляющие системы, 2009, N 4 (41), с. 43…52 2 2009 № 4 (41), с. 43…52

Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А. Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ. Системное программирование. Вып.4 . Сборник статей. - СПб: Изд-во С. Петерб. ун-та. - 2009. - сс. 5-30. 2 2009 Вып.4 . Сборник статей. - сс. 5-30.

Pyshkin E., Bazhenov A. Virtualization in the software management. Proc.of the 12^th International Conf. on Humans and Computers (HC2009), Dec. 7-10, Shizuoka University, Hamamatsu, Japan, 2009, 86-88. 2009 pp. 86…88

2008

Benderskaya E.N., Zhukova S.V. Clustering by chaotic neural networks with mean field calculated via Delaunay triangulation Springer, LNAI 5271 – Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science Series, 2008, pp. 400-416 (0.67 п.л) 1 2008 pp. 400-416

Бендерская Е.Н., Жукова С.В. Использование фрагментарной хаотической синхронизации для моделирования межмолекулярных взаимодействий и процессов образования наноструктур Научно-технические ведомости СПб.: Изд-во Политехн. ун-та, 2008.- № 3 с. 126-130 2 2008 № 3 с. 126-130

Стручков И.В. Распределение и планирование вычислений в многоканальной многопроцессорной системе цифровой обработки сигналов Системное программирование. Вып.3: Сб.статей.—СПб.: Изд-во С.-Петерб. ун-та, 2008, с.33…53 2 2008 Вып.3: Сб.статей, с.33…53

Федотов А.А. Анализ методов формальной верификации и тестирования на разливных этапах разработки цифровых систем Научно-Технические ведомости СПбГПУ № 2’ 2008. Информатика. телекоммуникации. Управление.СПб.: Изд-во СПбГПУ, с.21…26. 2 2008 № 2, с. 33…53

Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В. Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 119-127. СПб: СПбГПУ 2 2008 №5 (65), 2008. сс. 119-127.

Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В. Автоматическое обнаружение дефектов программных систем на основе метода проверки модели. Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. №5 (65), 2008. сс. 127-134. СПб: СПбГПУ 2 2008 №5 (65), 2008. сс. 127-134.

Антонов А.П., Филиппов А.С. Средства системной отладки САПР Quartus II. Компоненты и технологии • № 12 '2008. – с. 128-135. 2 2008 № 12, с. 128-135.