> Главная> Научная работа> Публикации
RUSENG

Публикации

Year:  
All :: 1976, ... , 2006, 2007, 2008, ... , 2016
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Карпов, ... , Кознов, Колесов, Колосков, ... , Кошлич 
References

2016

Books:

Колесов, Юрий; Сениченков, Юрий
Объектно-ориентированное моделирование в среде Rand Model Designer 7: учебно-практическое пособие
Publisher: Изд. Проспект,
2016

2015

Articles:

Подольский, В.Э., Самочадин, А.В.; Колосков, С.С.
Аппаратное ускорение выполнения SQL-запросов в MDM-системах на основе МКОД-решения
Наука и Образование. МГТУ им. Н.Э. Баумана, :128 – 136
December 2015
Бабешко, В.Н., Колосков, С.С., Самочадин, А.В.; Гребеник, А.Г.
Мотивационные аспекты использования мобильных технологий в образовательном процессе вузов
Научные ведомости БелГУ, Серия «Экономика. Информатика», 19(36/1):144-151
2015
Бабешко, В.Н., Колосков, С.С., Самочадин, А.В.; Кошлич, Ю.А.
Методика апробации внедрения мобильных сервисов на платформе управления мобильными устройствами в вузах
Научные ведомости БелГУ, Серия «Экономика. Информатика», 19(36/1):152-159
2015
Колосков, С.С., Бабешко, В.Н.; Самочадин, А.В.
Ключевые показатели эффективности при управлении образовательными организациями c использованием технологии MDM и BYOD
Научно-технические ведомости СПбГПУ Информатика. Телекоммуникации. Управление 6(230, 6(230):81-94
2015

Contributions to proceedings:

Самочадин, А.В., Бабешко, В.Н.; Колосков, С.С.
Технологические вопросы использования мобильных технологий в образовании
Труды международной научно-практической конференции ЭКОПРОМ-2015 , page 804-810.
2015

2014

Articles:

Карпов, Ю. Г.
Синдром “146%”: некомпетентность или злой умысел?
Открытые системы, (5)
2014

2013

Books:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Компонентные технологии математического моделирования
Publisher: СПбГПУ,
2013
ISBN: 978-5-7422-3997-9

2012

Articles:

Карпов, Ю.
Новая жизнь верификации
Открытые системы. СУБД, (3)
2012
Карпов, Ю.Г.
Устойчивое развитие общества и обеспечение качества программных систем управления.
Научно-технические ведомости СПбГПУ, №3.1(154):71-73
2012
Кознов, Д.В., Азарсков, А.В., Самочадин, А.В., Шевцова, Ю.А.; Романовский, К.Ю.
Модельно-ориентированный метод спецификации государственных услуг
Вестник Санкт-Петербургского университета. Серия 10: Прикладная математика. Информатика. Процессы управления., №4:102-116
2012
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Пакеты моделирования в образовании: современная ситуация и нерешенные проблемы
Компьютерные инструменты в образовании, 5:44-45
2012

Contributions to proceedings:

Карпов, Ю.
Повышение качества программных систем.
Труды Санкт-Петербургского научного форума “Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий”.
September 2012

PhD theses:

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

2011

Articles:

Колесов, Ю.Б.; Сениченков, Ю.Б.
От научно-исследовательской до промышленной версии: на примере среды визуального моделирования RandModelDesigner.
Научно-технические ведомости СПбГПУ, 6(138)
2011
Беляев, А.Н., Ивановский, Р.И., Карпов, Ю.Г.; Сотников, К.А.
Smart grid. Разработка приложений
Научно-технические ведомости СПбГПУ, №6.1(138):115-121
2011
Сотников, К.А., Ивановский, Р.И., Беляев, А.Н.; Карпов, Ю.Г.
Роль имитационного моделирования в задачах внедрения технологий SmartGrid
Имитационное моделирование. Теория и практика. - СПб., ОАО "ЦТСС", :65-74
2011
Колесов, Ю.Б.; Сениченков, Ю.Б.
От научно-исследовательской до промышленной версии: на примере среды визуального моделирования Rand Model Designer.
Научно-технические ведомости СПбГПУ, 6.1(138).
2011

Books:

Карпов, Ю.Г.; Шошмина, И.В.
Верификация распределенных систем
Publisher: СПбГПУ,
2011

Contributions to proceedings:

Киптилый, Д.В., Колесов, Ю.Б., Лебедев, Д.В., Сениченков, Ю.Б.; Тарасов, С.В.
Объектно-ориентированный подход к разработке тренажера грузовых операций на море.
Proceedigs of international conference SCM MEMTS , page 7 стр..
2011

2010

Articles:

Кондратьев, М.А., Ивановский, Р.И.; Цыбалова, Л.М.
Применение агентного подхода к имитационному моделированию процесса распространения заболевания.
Научно-технические ведомости СПбГПУ, 11(2):126-132
February 2010

Books:

Шошмина, И.В.; Карпов, Ю.Г.
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
Карпов, Ю.Г.
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
Карпов, Ю.Г.
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1

Contributions to proceedings:

Карпов, Ю.Г.
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
Самочадин, А.В.; Карпов, Ю.Г.
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
Карпов, Ю.Г.; Самочадин, А.В.
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010

2009

Articles:

Карпов, Ю.Г.
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании, №2:45-56
2009

Books:

Беневельский, C.B.; Колесов, Ю.Б.
Моделирование. Объектно-ориентированное моделирование в задачах внешней баллистики. Учебное пособие
Publisher: Изд-во Политехн. ун-та, СПб.
2009

2008

Contributions to proceedings:

Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Моделирование и исследование сложных динамических систем в MvStudium.
VI научно-техническая конференция “Научное программное обеспечение в образовании и научных исследованиях" , page стр. 67-70.
2008

2007

Articles:

Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Их есть у меня! Моделирование и исследование сложных динамических систем в MvStudium.
Компьютерные инструменты в образовании, №3:стр.33-40
2007
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Формы представления динамических систем в MvStudium.
Компьютерные инструменты в образовании, №4:стр.44-50
2007
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Физическое моделирование в MvStudium
Компьютерные инструменты в образовании, №5:стр.14-20
2007
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Учебный процесс и MvStudium
Компьютерные инструменты в образовании, №6:стр.32-39
2007
Карпов, Ю.Г.; Трифонов, П.В.
Сложность алгоритмов и программ
Компьютерные инструменты в образовании, №6:4-10
2007
Жирнова, Н.М.; Карпов, Ю.Г.
Моделирование исторических процессов в школьной информатике
Компьютерные инструменты в образовании, №5:41-48
2007

Books:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Моделирование систем. Практикум по компьютерному моделированию. Учебное пособие.
Publisher: БХВ-Петербург,
2007
Карпов, Ю.Г.
Теория и технология программирования. Основы построения трансляторов
Publisher: БХВ,
2007

Contributions to proceedings:

Алтунин, К.Ю., Колесов, Ю.Б.; Сениченков, Ю.Б.
Использование символьных вычислений в пакетах визуального моделирования
Труды международной научно-технической конференции "Компьютерное моделирование 2007" , page 134-135.
Publisher: СПбГПУ, Санкт-Петербург
2007
Ильин, С.В., Колесов, Ю.Б.; Сениченков, Ю.Б.
О возможностях "физического моделирования" в среде MvStudium
Труды международной научно-технической конференции "Компьютерное моделирование 2007" , page 144-145.
Publisher: СПбГПУ, Санкт-Петербург
2007

2006

Books:

Карпов, Ю.Г.
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5
Publisher: БХВ,
2006
Колесов, Ю.Б.; Сениченков, Ю.Б.
Моделирование систем. Динамические и гибридные системы : учеб. пособие для вузов по направл. 220100 - \"Системный анализ и управление\"
Publisher: БХВ-Петербург, СПб.
2006
Колесов, Ю.Б.; Сениченков, Ю.Б.
Моделирование систем : Объектно-ориентированный подход : учеб. пособие для вузов по направл. 220100 - \"Системный анализ и управление\"
Publisher: БХВ-Петербург, СПб
2006

Contributions to proceedings:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Model Vision 4.0 - новые возможности
Труды IV региональной научно-технической конференции "Практика применения научного программного обеспечения в образовании и научных исследованиях" , page 15-25.
Publisher: СПбГПУ, Санкт-Петербург
2006
Колесов, Ю.Б.; Сениченков, Ю.Б.
Компьютерное моделирование
Труды международной научно-технической конференции "Компьютерное моделирование 2006" , page 32-36.
Publisher: СПбГПУ, Санкт-Петербург
2006

2005

Books:

Карпов, Ю.Г.
Теория автоматов
Publisher: Питер,
2005

Contributions to proceedings:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Model Vision 4.0 - инструмент для исследования сложных динамических систем
Труды VI международной научно-технической конференции "Компьютерное моделирование 2005" , page 21-27.
Publisher: СПбГПУ, Санкт-Петербург
2005

2002

Articles:

Ивановский, Р.И., Козлов, В.Н.; Федоров, М.П.
Концепция информационной поддержки и обеспечение образовательных порталов
Науч.-техн. Ведомости СПбГТУ, №1
2002

Books:

Бенькович, Е.С., Колесов, Ю.Б.; Сениченков, Ю.Б.
Практическое моделирование динамических систем : Учеб.пособие
Publisher: БХВ-Петербург, Санкт-Петербург
2002

2001

Books:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Визуальное моделирование сложных динамических систем
Publisher: Мир и Семья, Санкт-Петербург
2001

2000

Books:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Визуальное моделирование
Publisher: Профессионал Санкт-Петербург,
2000

1998

Articles:

Войнов, В.В.; Карпов, Ю.Г.
Управление качеством сервиса в распределенных системах
журнал РАН "Информационные технологии и вычислительные системы", №1:78-85
1998

Books:

Карпов, Ю.Г.
Теория алгоритмов и автоматов
Publisher: Нестор, С.Петербург,
1998

1996

Articles:

Карпов, Ю.Г., Борщев, А.В.; Рудаков, В.В.
О корректности параллельных алгоритмов
журнал РАН "Программирование", №4:5-17
1996
Карпов, Ю.Г.
Анализ корректности параллельной программы разделения множеств
журнал РАН "Программирование", №6:27-33
1996

1976

Books:

Ривкин, С.С., Ивановский, Р.И.; Костров, А.В.
Статистическая оптимизация навигационных систем.
Publisher: Судостроение, Ленинград
1976
Export as:
BibTeX, XML