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

Публикации

Year:  
All :: 1970, ... , 2004, 2005, 2006, ... , 2022
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
  
 
References

2022

Contributions to proceedings:

Trifonov, Peter
Design of Multilevel Polar Codes with Shaping
Proceedings of IEEE International Symposium on Information Theory
2022
/~petert/papers/mlpolarisit.pdf
Karakchieva, Liudmila; Trifonov, Peter
Dual-Domain Recursive SISO Decoding of Linear Block Codes
Proceedings of IEEE International Symposium on Information Theory
2022
/~petert/papers/dualsiso.pdf

2021

Articles:

Trofimiuk, Grigorii; Trifonov, Peter
Window Processing of Binary Polarization Kernels
IEEE Transactions on Communications, 69(7)
July 2021
DOI: 10.1109/TCOMM.2021.3072730
/~petert/papers/windowprocessing.pdf

Keywords: polar
Trifonov, P.
Relaxed Decoding of Polar Codes with Large Kernels
IEEE Communications Letters, 25(5):1520-1523
May 2021
DOI: 10.1109/LCOMM.2021.3056727
/~petert/papers/relax.pdf

Keywords: polar
Трифонов, П.В., Кудряшов, Б.Д.; Милославская, В.Д.
Обзор современных методов помехоустойчивого кодирования
Электросвязь, (6)
2021
/~petert/papers/electrosvyazsurvey.pdf
Günlü, Onur, Trifonov, Peter, Kim, Muah, Schaefer, Rafael F.; Sidorenko, Vladimir
Privacy, Secrecy, and Storage with Nested Randomized Polar Subcode Constructions
IEEE Transactions on Communications,
2021
DOI: 10.1109/TCOMM.2021.3122201
accepted
/~petert/papers/secretpaper.pdf

Contributions to proceedings:

Trifonov, Peter
Recursive Trellis Processing of Large Polarization Kernels
Proceedings of IEEE International Symposium on Information Theory
2021
/~petert/papers/rkp.pdf

Keywords: polar
Karakchieva, L.; Trifonov, P.
A recursive SISO decoding algorithm
Proceedings of IEEE Information Theory Workshop
2021
/~petert/papers/rsiso.pdf

2020

Articles:

Trofimiuk, Grigorii, Iakuba, Nikolai, Rets, Stanislav, Ivanov, Kirill; Trifonov, Peter
Fast Block Sequential Decoding of Polar Codes
IEEE Transactions on Vehicular Technology, 69(10):10988 - 10999
October 2020
DOI: 10.1109/TVT.2020.3006369
/~petert/papers/fastblockseq.pdf

Keywords: polar
Karakchieva, L,; Trifonov, P.
An Approximate Method for Construction of Polar codes with Kernels over F2t
IEEE Communications Letters, 24(9)
September 2020
DOI: 10.1109/LCOMM.2020.2995257
/~petert/papers/RSConstruction.pdf

Keywords: polar
Moskovskaya, Elizaveta; Trifonov, Peter
Design of BCH Polarization Kernels with Reduced Processing Complexity
IEEE Communications Letters, 24(7)
July 2020
DOI: 10.1109/LCOMM.2020.2984382
/~petert/papers/bchkernperm.pdf

Keywords: polar
Trifonov, Peter
Randomized Polar Subcodes with Optimized Error Coefficient
IEEE Transactions on Communications, 68(11):6714 - 6722
2020
DOI: 10.1109/TCOMM.2020.3018781
/~petert/papers/SubcodeOptimizer3.pdf

Keywords: polar
Morozov, Ruslan
Convolutional Polar Kernels
IEEE Transactions on Communications, 68(12):7352 - 7361
2020
DOI: 10.1109/TCOMM.2020.3026103

Keywords: polar

Contributions to proceedings:

Trifonov, Peter
Recursive Trellis Decoding Techniques of Polar Codes
Proceedings of IEEE International Symposium on Information Theory
2020
DOI: 10.1109/ISIT44484.2020.9174282
/~petert/papers/rkd.pdf

Keywords: polar
Günlü, Onur, Trifonov, Peter, Schaefer, Rafael F.; Sidorenko, Vladimir
Randomized Nested Polar Subcode Constructions for Privacy, Secrecy, and Storage
Proceedings of International Symposium on Information Theory and Its Applications
2020
/~petert/papers/polarpuf.pdf

2019

Articles:

Morozov, Ruslan; Trifonov, Peter
On Distance Properties of Convolutional Polar Codes
IEEE Transactions on Communications, 67(7):4585 - 4592
July 2019
ISSN: 1558-0857
DOI: 10.1109/TCOMM.2019.2909213
http://dcn.icc.spbstu.ru/...lutionalPolarSubcodes.pdf

Keywords: convolutional polar, b-MERA
Morozov, Ruslan; Trifonov, Peter
Successive and Two-Stage Systematic Encoding of Polar Subcodes
IEEE Wireless Communications Letters, 8(3):877 - 880
June 2019
ISSN: 2162-2345
DOI: 10.1109/LWC.2019.2898195
http://dcn.icc.spbstu.ru/...codingOfPolarSubcodes.pdf

Keywords: polar
Морозов, Руслан; Трифонов, Пётр
Компактная спецификация полярных кодов
Информационно-Управляющие Системы, 98(1):40-47
2019
ISSN: 2541-8610
DOI: 10.31799/1684-8853-2019-1-40-47
http://dcn.icc.spbstu.ru/...ificationOfPolarCodes.pdf

Keywords: polar

Contributions to proceedings:

Karakchieva, L.; Trifonov, P.
Joint list multistage decoding with sphere detection for polar coded SCMA systems
Proceedings of 12th International ITG Conference on Systems, Communications and Coding
2019
DOI: 10.30420/454862018
/~petert/papers/polarsd.pdf
Ivanov, K.; Trifonov, P.
Polar Subcodes for Encoding and Blind Decoding of Variable-Sized Data Blocks
12th International ITG Conference on Systems, Communications and Coding
2019
/~petert/papers/blind.pdf

Keywords: polar
Trifonov, Peter
On Construction of Polar Subcodes with Large Kernels
Proceedings of IEEE International Symposium on Information Theory
2019
DOI: 10.1109/ISIT.2019.8849672
/~petert/papers/largekerneldesign.pdf

Keywords: polar
Trofimiuk, Grigorii; Trifonov, Peter
Reduced complexity window processing of binary polarization kernels
Proceedings of IEEE International Symposium on Information Theory
2019
DOI: 10.1109/ISIT.2019.8849445
/~petert/papers/Kernel32.pdf

Keywords: polar
Morozov, Ruslan; Trifonov, Peter
A Lower Bound on Minimum Distance of Convolutional Polar Codes
Proceedings of IEEE International Symposium on Information Theory
2019
DOI: 10.1109/ISIT.2019.8849714
/~petert/papers/ISIT2019-CvPS.pdf

Keywords: polar
Trifonov, Peter
Trellis-based Decoding Techniques for Polar Codes with Large Kernels
Proceedings of IEEE Information Theory Workshop
2019
DOI: 10.1109/ITW44776.2019.8989386
/~petert/papers/TrellisKernel.pdf

Keywords: polar
Trofimiuk, Grigorii; Trifonov, Peter
Construction of binary polarization kernels for low complexity window processing
Proceedings of IEEE Information Theory Workshop
2019
DOI: 10.1109/ITW44776.2019.8989344
/~petert/papers/SimpleKernelSearch.pdf

Keywords: polar
Morozov, Ruslan
A Simplified Lower Bound on Minimum Distance of Convolutional Polar Codes
Proceedings of XVI International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY) , page 7-11.
2019
DOI: 10.1109/REDUNDANCY48165.2019.9003322
http://dcn.icc.spbstu.ru/...CvPCSimplifiedMinDist.pdf
Iakuba, Nikolai; Trifonov, Peter
Design and Decoding of Polar Codes with a Mixture of Reed-Solomon and Arikan Kernels
Proceedings of XVI International Symposium Problems of Redundancy in Information and Control Systems
2019
/~petert/papers/rskernmixture.pdf

2018

Articles:

Ivanovskiy, R. I.; Novozhilov, M. A.
Multiple Inter-Channel EEG Relationships and Their Application
Biomedical Engineering, 52(2):142–146
July 2018
DOI: 10.1007/s10527-018-9800-5
Ивановский, Р. И.; Новожилов, М. А.
Множественные межканальные связи ЭЭГ и их применение
Медицинская техника, 52(2):52-55
April 2018
http://www.mtjournal.ru/a...yazi-eeg-i-ikh-primenenie

Contributions to proceedings:

Timofeev, Dmitrii; Samochadin, Alexander
An Unified Representation of Source Code Authoring Workflows
Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2018) - Volume 3: KMIS , page 228-232.
September 2018
ISBN: 978-989-758-330-8
Trifonov, P.
Randomized Chained Polar Subcodes
Proceedings of Wireless Communications and Networking Conference Workshops , page 25-30.
2018
DOI: 10.1109/WCNCW.2018.8369001
~petert/papers/rchain.pdf

Keywords: polar
Trifonov, Peter
Chained Successive Cancellation Decoding of the Extended Golay Code
Proceedings of Iran Workshop on Communication and Information Theory
2018
DOI: 10.1109/IWCIT.2018.8405038
/~petert/papers/chainedgolay.pdf

Keywords: polar
Trifonov, Peter
A score function for sequential decoding of polar codes
Proceedings of IEEE International Symposium on Information Theory
2018
DOI: 10.1109/ISIT.2018.8437559
/~petert/papers/scorefunctionISIT.pdf

Keywords: polar
Trifonov, Peter
Algebraic matching techniques for fast decoding of polar codes with Reed-Solomon kernel
Proceedings of IEEE International Symposium on Information Theory
2018
DOI: 10.1109/ISIT.2018.8437829
/~petert/papers/rsbm.pdf

Keywords: polar
Morozov, Ruslan; Trifonov, Peter
Efficient SC Decoding of Convolutional Polar Codes
Proceedings of International Symposium on Information Theory and Applications
2018
/~petert/papers/ListDecod...nvolutionalPolarCodes.pdf

Keywords: convolutional polar, b-MERA
Trifonov, P.
Design of Randomized Polar Subcodes with Non-Arikan Kernels
Proceedings of 16-th International Workshop on Algebraic and Combinatorial Coding Theory
2018
/~petert/papers/rks.pdf
Trofimiuk, G.; Trifonov, P.
Efficient decoding of polar codes with some 16 x 16 kernels
Proceedings of IEEE Information Theory Workshop
2018
DOI: 10.1109/ITW.2018.8613307
/~petert/papers/Efficient16x16.pdf

Keywords: polar

Theses:

Трифонов, П.В.
Методы построения и декодирования многочленных кодов
Диссертация на соискание ученой степени доктора технических наук
Санкт-Петербургский политехнический университет,
2018
/~petert/papers/trifonovDr.pdf
/~petert/papers/autoref.pdf

2017

Articles:

Сениченков, Ю.Б., Бакулева, Е., Быков, И.; Зубань, Л.
Компьютерное моделирование для школьников.
Компьютерные инструменты в школе, (4):32-40
April 2017
http://ipo.spb.ru/journal/index.php?article/1913/
Рыжов, В.А., Сениченков, Ю.Б., Шорников, Ю.В.; Достовалов, Д.Н.
Компьютерное моделирование сложных динамических систем. Оценка потребности в специалистах.
Компьютерные инструменты в образовании, 4:C. 51-60.
April 2017
http://ipo.spb.ru/journal...x.php?magazines/2017/3/e/
Самочадин, А.В.; Тимофеев, Д.А.
Автоматизация обучения эффективным процессам программирования с помощью обратной связи
Компьютерные инструменты в образовании, (5):35-44
2017
Тимофеев, Д.А.; Самочадин, А.В.
Описание процессов разработки программ с помощью скрытых марковских моделей
Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управ, 10(4):70-77
2017
DOI: 10.18721/JCSTCS.10406

Books:

Сениченков, Ю.Б., Ампилова, Н.Б.; Тимофеев, Е.Л.
Компьютерные инструменты исследования динамических систем: сб. заданий по курсу «Математическое моделирование сложных динамических систем»
Publisher: Изд-во Политехн. ун-та,
December 2017

Conferences:

Сениченков, Ю.Б.
Компьютерное моделирование 2017
КОМОД 2017
July 2017

Contributions to collections:

Kolesov, Yuri; Senichenkov, Yuri
MODELING HYBRID SYSTEMS IN RAND MODEL DESIGNER
Hybrid Systems: Performance,Application,and Technology
2017
http://dcn.icc.spbstu.ru/..._2017_Senichenkov%20.docx

Contributions to proceedings:

Новожилов, М. А.; Ивановский, Р. И.
О возможностях методов анализа множественных связей каналов ЭЭГ
Вестник клинической нейрофизиологии
November 2017
Рыжов, В.А., Сениченков, Ю.Б., Шорников, Ю.В.; Достовалов, Д.Н.
Компьютерное моделирование сложных динамических систем. Оценка потребности в специалистах.
Сборник пленарных докладво
October 2017
http://simulation.su/static/ru-immod-2017.html
Zupančič, B., Senichenkov, Y.; Mušič, G.
Analytical review and the analysis of educational programs with CMSE content
MMSM 2017 , page 12 рр.
October 2017
Trifonov, P.
Chained polar subcodes
Proceedings of 11th International ITG Conference on Systems, Communications and Coding
2017
~petert/papers/chained.pdf

Keywords: polar
Trifonov, P.
Star polar subcodes
Proceedings of IEEE Wireless Communications and Networking Conference Workshops
2017
DOI: 10.1109/WCNCW.2017.7919043
~petert/papers/star.pdf

Keywords: polar
Trifonov, P.; Trofimiuk, G.
A Randomized Construction of Polar Subcodes
Proceedings of IEEE International Symposium on Information Theory , page 1863-1867.
2017
/~petert/papers/precoded.pdf

Keywords: polar

2016

Articles:

Ивановский, Р. И.; Новожилов, М. А.
Анализ межканальных связей электроэнцефалограмм на основе корреляционных отношений
Математическая биология и биоинформатика, 11(2):214-224
November 2016
DOI: 10.17537/2016.11.214
http://www.matbio.org/article_pdf.php?id=280
Trifonov, Peter, Miloslavskaya, Vera, Chen, Chen; Wang, Yuangang
Fast Encoding of Polar Codes with Reed-Solomon Kernel
IEEE Transactions on Communications, 64(7):2746-2753
July 2016
DOI: 10.1109/TCOMM.2016.2576448
/~petert/papers/PolarEncoder.pdf

Keywords: polar
Trifonov, P.; Miloslavskaya, V.
Polar subcodes
IEEE Journal on Selected Areas in Communications, 34(2):254-266
February 2016
DOI: 10.1109/JSAC.2015.2504269
/~petert/papers/DynFrozen2.pdf

Keywords: polar
Ивановский, Р. И.; Новожилов, М. А.
Статистическая обработка данных геофизического мониторинга
Геоинформатика, 1:54-58
2016
Shoshmina, I.V.
Developing formal temporal requirements to distributed program systems
Системная информатика (System informatics), (8):21-32
2016
http://www.system-informa...les/article/shoshmina.pdf

Keywords: software requirement specification, requirement patterns, model checking, linear temporal logic

Books:

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

Contributions to proceedings:

Sokolov, Konstantin
A Vector Model for Type-Theoretical Semantics
Proceedings of the First Workshop on Representation Learning for NLP (ACL-2016 Workshop)
August 2016
http://www.aclweb.org/anthology/W/W16/W16-1627.pdf
Ivanov, K.; Trifonov, P.
Hybrid Decoding of Interlinked Generalized Concatenated Codes
Proceedings of 9th International Symposium on Turbo Codes and Iterative Information Processing
2016
DOI: 10.1109/ISTC.2016.7593073
/~petert/papers/HybridDecoder.pdf

Keywords: polar
Morozov, Ruslan; Trifonov, Peter
Directed Search Decoding of Polar Codes with Reed-Solomon kernel
Proceedings of XV International Symposium "Problems of Redundancy in Information and Control Systems"
2016
DOI: 10.1109/RED.2016.7779336
/~rmorozov/DirectedSearchRSKernel.pdf

Keywords: polar
Trifonov, P.; Wang, Y.
Generalized Concatenated Codes for Block and Device Failure Protection
Proceedings of 16th IEEE International Conference on Computer and Information Technology
2016
Kolesov, Yuri, Inikhov, Dmitry, Senichenkov, Yuri; Isakov, Andrey
News from Rand Model Designer for Industry and Education
Proceedings of 8th IFAC Conference on Manufacturing Modelling
Publisher: IFAC-PapersOnLine Open Access,
2016
http://dcn.icc.spbstu.ru/...MIM_2016_Senichenkov_.pdf
Senichenkov, Yuri; Isakov, Andrey
Rand Model Designer’s Numerical library
Proceedings of The 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
http://dcn.icc.spbstu.ru/...chenkov_%20Num%20libr.doc
Kolesov, Yuri; Senichenkov, Yuri
Object-Oriented Modeling with Rand Model Designer
Proceedings of the 9th Eurosim Congress on Modelling and Simulation
Publisher: IFAC-PapersOnLine Open Access,
2016
http://dcn.icc.spbstu.ru/...enichenkov_OMM_%20RMD.doc

Technical reports:

Шошмина, И.В.
К дистанционному курсу ``Математическая логика-2015'
СПбПУ,
March 2016
/~irena/papers/ML.pdf

Keywords: дистанционное образование

2015

Articles:

Соколов, К.В., Тимофеев, Д.А.; Самочадин, А.В.
Извлечение описаний бизнес-процессов из текстов на естественном языке
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 5(229):69--78
December 2015
DOI: 10.5862/JCSTCS.229.7
http://ntv.spbstu.ru/tele...m/article/T5.229.2015_07/
Тимофеев, Д.А.; Самочадин, А.В.
Анализ востребованности мобильных сервисов для образовательных учреждений
Компьютерные инструменты в образовании, 5:24--32
December 2015
Маслов, М.Ю., Носницын, С.М., Самочадин, А.В.; Логинов, К.Е.
Архитектура средств управления мобильными устройствами для образовательных учреждений
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 5(229):97--107
December 2015
Подольский, В.Э., Самочадин, А.В.; Колосков, С.С.
Аппаратное ускорение выполнения SQL-запросов в MDM-системах на основе МКОД-решения
Наука и Образование. МГТУ им. Н.Э. Баумана, :128 – 136
December 2015
Miloslavskaya, Vera
Shortened Polar Codes
IEEE Transactions on Information Theory, 61(9):4852-4865
September 2015
ISSN: 0018-9448
DOI: 10.1109/TIT.2015.2453312
http://dcn.icc.spbstu.ru/...anShorteningFinalIEEE.pdf

Keywords: polar
Trifonov, P.
Low-complexity Implementation of RAID Based on Reed-Solomon Codes
ACM Transactions on Storage, 11(1)
February 2015
DOI: 10.1145/2700308
http://dcn.icc.spbstu.ru/...etert/papers/rsraid6.html
Бабешко, В.Н., Колосков, С.С., Самочадин, А.В.; Гребеник, А.Г.
Мотивационные аспекты использования мобильных технологий в образовательном процессе вузов
Научные ведомости БелГУ, Серия «Экономика. Информатика», 19(36/1):144-151
2015
Бабешко, В.Н., Колосков, С.С., Самочадин, А.В.; Кошлич, Ю.А.
Методика апробации внедрения мобильных сервисов на платформе управления мобильными устройствами в вузах
Научные ведомости БелГУ, Серия «Экономика. Информатика», 19(36/1):152-159
2015
Колосков, С.С., Бабешко, В.Н.; Самочадин, А.В.
Ключевые показатели эффективности при управлении образовательными организациями c использованием технологии MDM и BYOD
Научно-технические ведомости СПбГПУ Информатика. Телекоммуникации. Управление 6(230, 6(230):81-94
2015
Тимофеев, Д.А.; Самочадин, А.В.
Средства автоматизации текущего контроля успеваемости на основе системы управления мобильными устройствами
Научно-технические ведомости СПбГПУ Информатика. Телекоммуникации. Управление, 6(230):95-102
2015

Contributions to proceedings:

Sokolov, Konstantin, Timofeev, Dimitri; Samochadin, Alexander
Process Extraction from Texts using Semantic Unification
Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS , page 254-259.
November 2015
DOI: 10.5220/0005638302540259
http://dcn.icc.spbstu.ru/...rs/process-extraction.pdf
Samochadin, Alexander, Timofeev, Dimitri; Maslov, Maxim
Architecture of a Platform for Building Context-Aware Educational Mobile Services
Proceedings of the 11th International Conference on Engineering Education (EDUCATION'15), Salerno, Italy , page 36--40.
June 2015
http://dcn.icc.spbstu.ru/...platform-architecture.pdf
Маслов, М.Ю., Тимофеев, Д.А.; Самочадин, А.В.
Автоматизированное тестирование систем управления мобильными устройствами
Труды международной научно-технической конференции «КОМОД 2015» , page 140-144.
June 2015
Новожилов, Марк
Анализ причинно-следственных связей на основе корреляционных отношений
Материалы XVII конференции молодых ученых "Навигация и управление движением" , page 228-232.
February 2015
Хрусталева, Мария
Анализ динамических и статических характеристик систем с отказами и восстановлениями на основе уравнений Колмогорова
Материалы XVII конференции молодых ученых "Навигация и управление движением" , page 221-227.
February 2015
Вавилова, Анастасия
Экспериментальное определение свойств динамических объектов
Материалы XVII конференции молодых ученых "Навигация и управление движением" , page 490-496.
February 2015
Trifonov, P.
Design of Polar Codes for Rayleigh Fading Channel
Proceedings of The International Symposium on Wireless Communication Systems
2015
DOI: 10.1109/ISWCS.2015.7454357
/~petert/papers/chiapprox.pdf

Keywords: polar
Trofimiuk, G.; Trifonov, P.
Block Sequential Decoding of Polar Codes
Proceedings of International Symposium on Wireless Communication Systems
2015
DOI: 10.1109/ISWCS.2015.7454356
/~petert/papers/blocksequential.pdf

Keywords: polar
Iakuba, N.; Trifonov, P.
Multilevel Buckets for Sequential Decoding of Polar Codes
Proceedings of IEEE International Symposium on Personal, Indoor and Mobile Radio Communications
2015
DOI: 10.1109/PIMRC.2015.7343295
/~petert/papers/seq_impl.pdf

Keywords: polar
Самочадин, А.В., Бабешко, В.Н.; Колосков, С.С.
Технологические вопросы использования мобильных технологий в образовании
Труды международной научно-практической конференции ЭКОПРОМ-2015 , page 804-810.
2015
Samochadin, Alexander, Raychuk, Dmitry, Nosnitsyn, Semen; Khmelkov, Igor
A comprehensive set of mobile services supporting education process
4th World Cоnference on Educational Technology Researches Procedia - Social and Behavioral Sciences , page 613 – 618.
2015
http://dcn.icc.spbstu.ru/...ers/comprehensive-set.pdf
Isakov, Andrey, Kolesov, Yuri; Senichenkov, Yuri
A new tool for visual modeling: Rand Model Designer 7
Proceedings of 8th Vienna International Conference on Mathematical Modelling, MATHMOD
Publisher: IFAC-papers on-line,
2015
DOI: 10.1016/j.ifacol.2015.05.102
http://dcn.icc.spbstu.ru/...osim_2014_Senichenkov.doc

PhD theses:

Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
Диссертация
СПбПУ,
March 2015
http://dcn.icc.spbstu.ru/~irena/papers/thesis.pdf

Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика
Милославская, Вера
Методы построения и декодирования полярных кодов
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.01
Санкт-Петербургский государственный политехнический университет,
March 2015
http://dcn.icc.spbstu.ru/...esisVeraMiloslavskaya.pdf

Miscellany:

Шошмина, Ирина В.
Метод разработки формальных контекстных требований для верификации программных систем логического управления
May 2015
http://dcn.icc.spbstu.ru/~irena/papers/autoref.pdf

Keywords: Реагирующие системы, метод проверки модели, инженерия программных требований, темпоральная логика

2014

Articles:

Райчук, Д.Ю., Самочадин, А.В., Носницын, С.М.; Хмельков, И.А.
Комплекс мобильных средств поддержки учебного процесса
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 6(210):7--15
December 2014
Райчук, Д.Ю., Самочадин, А.В., Тимофеев, Д.А., Лукин, А.А.; Хмельков, И.А.
Средства автоматизированной регистрации участников мероприятий
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 6(210):24--32
December 2014
Самочадин, А.В., Сужаев, О.И., Тимофеев, Д.А.; Рогов, П.А.
Инструментальные средства нагрузочного тестирования для систем централизованного управления мобильными устройствами
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 6(210):33--42
December 2014
Самочадин, А.В., Самочадина, Т.Н., Тимофеев, Д.А.; Попов, С.О.
Базовая функциональность систем централизованного управления мобильными устройствами
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 4(200):17--28
October 2014
Miloslavskaya, Vera; Trifonov, Peter
Sequential Decoding of Polar Codes
IEEE Communications Letters, 18(7):1127 - 1130
July 2014
DOI: 10.1109/LCOMM.2014.2323237
http://dcn.icc.spbstu.ru/...MaxDecoderArticleIEEE.pdf

Keywords: polar
Semenov, P.; Trifonov, P.
Correction to "Spectral Method for Quasi-Cyclic Code Analysis"
IEEE Communications Letters, 18(5):897
May 2014
DOI: 10.1109/LCOMM.2014.040214.140528
/~petert/papers/QCCorrection.pdf
Trifonov, P.
Successive Cancellation Decoding of Reed–Solomon Codes
Problems of Information Transmission, 50(4)
2014
DOI: 10.1134/S0032946014040012
~petert/papers/rsmultistackeng.pdf

Keywords: polar
Шошмина, И. В.
Методика составления контекстных требований к программным системам логического управления
Информационно-управляющие системы, (3):69-77
2014
http://www.i-us.ru/Files/Pdfs/2014_3.pdf
/~irena/papers/Shoshmina2014.pdf
Карпов, Ю. Г.
Синдром “146%”: некомпетентность или злой умысел?
Открытые системы, (5)
2014
Martin-Villalba, C., Urquia, A., Kolesov, Yu.; Senichenkov, Yu.
Two approaches to facilitate virtual lab implementation
Computing in Science and Engineering, 16(1):78-86
2014
http://dcn.icc.spbstu.ru/...Lab%20Implementation.docx
Samochadin, Alexander, Raychuk, Dmitry, Voinov, Nikita, Ivanchenko, Dmitry; Khmelkov, Igor
MDM based Mobile Services in Universities
International Journal of Information Technology & Computer Science, 13(2):35-41
2014
http://dcn.icc.spbstu.ru/...rs/mdm-based-services.pdf

Contributions to proceedings:

Samochadin, Alexander, Timofeev, Dimitri, Raychuk, Dmitry; Khmelkov, Igor
Attendance Monitoring as a Context-Aware Service
Proceedings of the 10th International Conference on Educational Technologies (EDUTE '14) , page 44--48.
December 2014
http://dcn.icc.spbstu.ru/...attendance-monitoring.pdf
Trifonov, P.
Binary Successive Cancellation Decoding of Polar Codes with Reed-Solomon Kernel
Proceedings of IEEE International Symposium on Information Theory , page 2972 - 2976.
2014
DOI: 10.1109/ISIT.2014.6875379
http://dcn.icc.spbstu.ru/...petert/papers/PolarRS.pdf

Keywords: polar
Miloslavskaya, V.; Trifonov, P.
Sequential Decoding of Reed-Solomon Codes
Proceedings of International Symposium on Information Theory and its Applications , page 466-470.
2014
/~petert/papers/RSSequential.pdf

Keywords: polar
Trifonov, P.; Miloslavskaya, V.
Twisted polar codes
Proceedings of International Symposium on Information Theory and Its Applications , page 456-460.
2014
~petert/papers/twisted.pdf

Keywords: polar
Trifonov, P.
Successive Cancellation Permutation Decoding of Reed-Solomon Codes
Proceedings of IEEE Information Theory Workshop , page 386 - 390.
2014
DOI: 10.1109/ITW.2014.6970859
/~petert/papers/rspermseqdec.pdf

Keywords: polar
Miloslavskaya, V.; Trifonov, P.
Sequential Decoding of Polar Codes with Arbitrary Binary Kernel
Proceedings of IEEE Information Theory Workshop , page 376 - 380.
2014
DOI: 10.1109/ITW.2014.6970857
/~petert/papers/bchkernelseqdec.pdf

Keywords: polar
Glebovsky, Alexander; Ivanov, Vladimir
Automated Measurement and Control Systems for Spacecrafts and Missile Launches in the USSR: The Pioneering Role of the Elite Engineering Corps of the Leningrad Polytechnic Institute.
Proceedings of the 3rd International Conference on Computer Technology in Russia and in the Former Soviet Union, SoRuCom
2014
DOI: 10.1109/SoRuCom.2014.18

2013

Articles:

Самочадин, А.В., Носницын, С.М., Рогов, П.А.; Хмельков, И.А.
Реализация мобильных сервисов, основанных на местоположении пользователя, с помощью MDM системы
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 6(186):27--34
December 2013
Райчук, Д.Ю., Самочадин, А.В., Тимофеев, Д.А., Рогов, П.А.; Иванченко, Д.А.
Контекстно-зависимые мобильные сервисы для образовательных учреждений
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 6(186):109--116
December 2013
Иванченко, Д.А., Хмельков, И.А., Райчук, Д.Ю., Митрофанов, А.М., Самочадин, А.В.; Рогов, П.А.
Применение подходов BYOD для построения стратегии информатизации высшего учебного заведения
Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление., 3(174):85--92
May 2013

Books:

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

Conferences:

Senichenkov, Yuri, Kolesov, Yuri, Urquia, Alfonso; Martin-Villalba, Carla
Simulation of variable structure models using rand model designer
2013

Contributions to proceedings:

Glazunov, Vadim, Kurochkin, Leonid, Kurochkin, Mikhail, Popov, Serge; Timofeev, Dimitri
Road traffic efficiency and safety improvements trends
ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics Volume 2 , page 439--446.
July 2013
Горбунов, А.Ю.; Ивановский, Р.И.
Ковариационный анализ расчетных и нерасчетных режимов функционирования ИИС
Компьютерное моделирование 2013. Труды международной научно-технической конференции , page 222-227.
Publisher: Издательство Политехнического университета,
July 2013
Ивановский, Р.И.; Чугреев, Д.А.
Системное регулирование в электроэнергетических системах (ЭЭС) на основе корректоров.
Компьютерное моделирование 2013. Труды международной научно-технической конференции , page 250-254.
Publisher: Издательство Политехнического университета,
July 2013
Trifonov, Peter; Miloslavskaya, Vera
Polar Codes with Dynamic Frozen Symbols and Their Decoding by Directed Search
Proceedings of IEEE Information Theory Workshop , page 1-5.
2013
DOI: 10.1109/ITW.2013.6691213
/~petert/papers/bchsubcodes.pdf

Keywords: polar
Isakov, A.
Using OpenMVLShell in Research and Education
IFAC-PapersOnLine: Manufacturing Modelling, Management, and Control Volume Vol. 7 , page 2191-2196.
2013
DOI: 10.3182/20130619-3-RU-3018.00159
Kolesov, Y., Senichenkov, Y.; Urquia, A.
Simulation of Variable Structure Models using Rand Model Designer
Eurosim 2013 proceedings , page 6 pp..
2013
Senichenkov, Y., Kolesov, Y.; Inichov, D.
Rand Model Designer in Manufacturing Applications
Proceedings of 7th IFAC Conference on Manufacturing Modelling, Management, and Control Volume 7 , page 1572-1577.
2013
DOI: 10.3182/20130619-3-RU-3018.00300
Kolesov, Yu., Senichenkov, Yu.; Urquia., А.
Simulation of Variable Structure Models using Rand Model Designer.
Proceedings of 8th EUROSIM Congress on Modelling and Simulation, EUROSIM
2013

2012

Articles:

Trifonov, Peter
Efficient Design and Decoding of Polar Codes
IEEE Transactions on Communications, 60(11):3221 - 3227
November 2012
DOI: 10.1109/TCOMM.2012.081512.110872
http://dcn.ftk.spbstu.ru/...t/papers/polardesign2.pdf

Keywords: polar
Semenov, P.; Trifonov, P.
Spectral Method for Quasi-Cyclic Code Analysis
IEEE Communications Letters, 16(11):1840--1843
November 2012
DOI: 10.1109/LCOMM.2012.091712.120834
http://dcn.ftk.spbstu.ru/...ert/papers/spectralQC.pdf
Trifonov, Peter; Lee, Moon Ho
Efficient Interpolation in Wu List Decoding Algorithm
IEEE Transactions on Information Theory, 58(9):5963-5971
September 2012
DOI: 10.1109/TIT.2012.2203094
http://dcn.ftk.spbstu.ru/...tert/papers/wuBin_TIT.pdf
Семёнов, П.
Практические аспекты алгоритма Тала-Варди декодирования полярных кодов
Научно-технические ведомости СПбГПУ, 4(152):40-44
August 2012
Трифонов, П.В.
О связи полярных и обобщенных каскадных кодов
Естественные и технические науки, 4(60):296-300
2012
Карпов, Ю.
Новая жизнь верификации
Открытые системы. СУБД, (3)
2012
Семёнов, П.К.
Декодирование обобщенных каскадных кодов с внутренними полярными кодами
Информационно-управляющие системы, 5(60):44-50
2012
Карпов, Ю.Г.
Устойчивое развитие общества и обеспечение качества программных систем управления.
Научно-технические ведомости СПбГПУ, №3.1(154):71-73
2012
Кознов, Д.В., Азарсков, А.В., Самочадин, А.В., Шевцова, Ю.А.; Романовский, К.Ю.
Модельно-ориентированный метод спецификации государственных услуг
Вестник Санкт-Петербургского университета. Серия 10: Прикладная математика. Информатика. Процессы управления., №4:102-116
2012
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Пакеты моделирования в образовании: современная ситуация и нерешенные проблемы
Компьютерные инструменты в образовании, 5:44-45
2012
Исаков, А.А.
Экспериментальная оболочка OpenMVLShell
Компьютерные инструменты в образовании, 5:33-42
2012

Books:

Ивановский, Р.И.
Статистическое моделирование. Учеб.пособие.
Publisher: СПбГПУ, СПб
2012

Contributions to proceedings:

Карпов, Ю.
Повышение качества программных систем.
Труды Санкт-Петербургского научного форума “Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий”.
September 2012
Miloslavskaya, Vera; Trifonov, Peter
Performance of binary polar codes with high- dimensional kernel
Proceedings of International Workshop on Algebraic and Combinatorial Coding Theory
2012
http://dcn.ftk.spbstu.ru/...PolarCodesPerformance.pdf
Trifonov, P.
Soft-Decision Decoding of Polar Codes with Reed-Solomon Kernels
Proceedings of 13th International Workshop on Algebraic and Combinatorial Coding Theory
2012
Trifonov, Peter
On the Additive Complexity of the Cyclotomic FFT Algorithm
Proceedings of IEEE Information Theory Workshop
2012
http://dcn.ftk.spbstu.ru/~petert/papers/itwfft.pdf
Miloslavskaya, Vera; Trifonov, Peter
Design of binary polar codes with arbitrary kernel
Proceedings of IEEE Information Theory Workshop , page 119--123.
2012
http://dcn.ftk.spbstu.ru/...ers/polardesignkernel.pdf
Glebovsky, A., Karpov, Y., Senichenkov, Y., Trifonov, P.; Ivanov, V.
On approaches to renovation of instructional methods and tools for STEM education in international setting
Труды Международной конференции: "Международное сотрудничество в инженерном образовании"
2012
Senichenkov, Yu.
Physical modeling of Hybrid systems in Rand Model Designer (Plenary Lecture)
In I.Troch, F. Breitenecker, editor, Preprints MathMOD 2012 , page 12.
2012
Senichenkov, Yu.
Modeling of complex dynamical systems in Rand Model Designer (Plenary Lecture)
14-th International conference on Automatic control, Modeling and Simulation
2012
Inichov, D. B., Kolesov, Yu. B.; Senichenkov, YU. B.
Physical modeling in Rand Model Designer
Proceedings MATHMOD 12 , page 7.
2012
accepted

PhD theses:

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

2011

Articles:

Ивановский, Р.И.
Прикладные аспекты теории чувствительности
Научно-технические ведомости, 6(138)
November 2011
Трифонов, П. В.
Применение списочного декодирования в задаче классификации текстовых документов
Научно-технические ведомости СПбГПУ, 12(1):20-23
2011
Ивановский, Р.И.
Проблемы чувствительности в задачах моделирования, обработки информации и управления
Гироскопия и навигация, №1(72), 2011. с. 90-104,
2011
Милославская, В. Д.; Трифонов, П. В.
Гибридный алгоритм мягкого декодирования кодов Рида-Соломона
Научно-технические ведомости СПбГПУ, 12(2):169-173
2011
Ивановский, Р.И.
Некоторые аспекты разработки и использования стационарных фильтров в навигационных системах
Гироскопия и навигация, 3(74):102-114
2011
Shoshmina, Irina V.
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences, 45(7)
2011
ISSN: 0146-4116
Isakov, А.А.; Senichenkov, YU. B.
Program Complex OpenMVL for Modeling Complex Dynamic Systems,
«Дифференциальные уравнения и процессы управления»,, 1:4
2011
Колесов, Ю.Б.; Сениченков, Ю.Б.
От научно-исследовательской до промышленной версии: на примере среды визуального моделирования RandModelDesigner.
Научно-технические ведомости СПбГПУ, 6(138)
2011
Беляев, А.Н., Ивановский, Р.И., Карпов, Ю.Г.; Сотников, К.А.
Smart grid. Разработка приложений
Научно-технические ведомости СПбГПУ, №6.1(138):115-121
2011
Сотников, К.А., Ивановский, Р.И., Беляев, А.Н.; Карпов, Ю.Г.
Роль имитационного моделирования в задачах внедрения технологий SmartGrid
Имитационное моделирование. Теория и практика. - СПб., ОАО "ЦТСС", :65-74
2011
Азарсков, А.В.; Самочадин, А.В.
Формирование понятийной структуры для онтологии государственных услуг
Научно-технические ведомости СПбГПУ, №121:270-274
2011
Kolesov, Yu.; Senichenkov, Yu.
«Physical modelind» in Model Vision Studium
«Дифференциальные уравнения и процессы управления», 2
2011
Сениченков, Ю.Б.; Цзычэнь, Чжан
Конвертирование моделей
Научно-технические ведомости СПбГПУ, 6.1 (138)
2011
Сениченков, Ю.Б., Трифонов, П.В., Новик, Л.В., Тюшева, А.Н., Грецова, М.; Гаврилова, Н.
Практика компьютерного моделирования для школьников как форма работы с будущими абитуриентами
Компьютерные инструменты в образовании, 4:57-63
2011
Колесов, Ю.Б.; Сениченков, Ю.Б.
От научно-исследовательской до промышленной версии: на примере среды визуального моделирования Rand Model Designer.
Научно-технические ведомости СПбГПУ, 6.1(138).
2011

Books:

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

Proceedings:

Shoshmina, Irina V.; Belyaev, Alexey B.
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor, Volume 6873 of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011
http://link.springer.com/...007%2F978-3-642-23178-0_9
/~irena/papers/Shoshmina2011.pdf

Contributions to proceedings:

Милославская, В.Д.; Трифонов, П.В.
Комбинаторно-алгебраические методы мягкого декодирования кодов Рида-Соломона
Труды 54-ой научной конференции МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе". Радиотехника и кибернетика. Volume 2 , page 50-51.
November 2011
Trifonov, Peter; Lee, Moon Ho
A Concatenated Coding Scheme Based on Folded Reed-Solomon Codes
Proceedings of IEEE International Symposium on Information Theory , page 938-941.
2011
Miloslavskaya, Vera; Trifonov, Peter
Hybrid Interpolation Algorithm for Algebraic Soft Decision Decoding of Reed-Solomon Codes
Proceedings of IEEE International Symosium on Wireless Communications Systems , page 131--135.
2011
http://dcn.ftk.spbstu.ru/~petert/papers/Hybrid.pdf
Trifonov, Peter; Semenov, Piotr
Generalized Concatenated Codes Based on Polar Codes
Proceedings of IEEE International Symposium on Wireless Communication Systems
2011
http://dcn.ftk.spbstu.ru/...tert/papers/polar_gcc.pdf
Sergey V. Biryukov , Yury B. Kolesov , Yury B. Senichenkov. Physics virtual experiments in Model Vision Studium.
Teaching and learning physics today. , page p.301.
2011
Киптилый, Д.В., Колесов, Ю.Б., Лебедев, Д.В., Сениченков, Ю.Б.; Тарасов, С.В.
Объектно-ориентированный подход к разработке тренажера грузовых операций на море.
Proceedigs of international conference SCM MEMTS , page 7 стр..
2011
Koznov, D., Chevzova, J., Samochadin, A.; Azarskov, A.
Towards e-government services in Russia
KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing
2011

Miscellany:

Ивановский, Р.И.
Интернет-проект, посвященный использованию возможностей Mathcad Application Server (MAS) в системе образования и научных исследованиях. Раздел "Теория регулирования"
2011
http://mas.exponenta.ru/tar/
Ивановский, Р.И.
Интернет-проект, посвященный использованию возможностей Mathcad Application Server (MAS) в системе образования и научных исследованиях. Раздел "Обработка информации"
2011

2010

Articles:

Trifonov, P.V.
Efficient Interpolation in the Guruswami-Sudan Algorithm
IEEE Transactions on Information Theory, 56(9):4341-4349
September 2010
http://dcn.ftk.spbstu.ru/...apers/genEuclid_final.pdf
Ивановский, Р.И.
Обработка экспериментальных данных энергетических объектов как начальный этап их моделирования
Научно-технические ведомости СПбГПУ, 11(2):106-112
February 2010
Кондратьев, М.А., Ивановский, Р.И.; Цыбалова, Л.М.
Применение агентного подхода к имитационному моделированию процесса распространения заболевания.
Научно-технические ведомости СПбГПУ, 11(2):126-132
February 2010
Беляев, А.Б.
Верификация алгоритма транзакционной памяти
НТВ СПбГПУ, (101):107-111
2010
Сениченков, Ю.Б.
Инновационные возможности проекта RAND MODEL DESIGNER.
Компьютерные инструменты в образовании,, 5:стр.-29-34
2010
Сениченков, Ю.Б.
Абитуриент, что ты знаешь о факультете технической кибернетики?
Компьютерные инструменты в школе, 5:стр.-25-29
2010
Kolesov, Yu.B.; Senichenkov, YU. B.
Modeling hybrid systems in MvStudium.
SNE, 20,(№ 1):р 31-34
2010
Шошмина, И.В.
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анал. информ. систем, 17(4):125-136
2010
mais.uniyar.ac.ru/sites/d...private/17_4__125-136.pdf
/~irena/papers/Shoshmina2010.pdf
Balint-Kurti, G.G., Bogdanov, A.V., Gevorkyan, A., Gorbachev, Y.E., Hakobyan, T., Nyman, G.; Shoshmina, I.
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science, 7:154-162
2010
http://link.springer.com/...007%2F978-3-642-11389-5_9
Трифонов, П.В.
Повышение точности байесовского классификатора текстовых документов
Научно-технические ведомости СПбГПУ, 11(1):6-12
2010

Books:

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

Contributions to collections:

Исаков, А.А.; Сениченков, Ю.Б.
Среда визуального моделирования OpenMVL.
In Спб, изд. Политехнического университета., editor, Вычислительные, измерительные и управляющие системы.
page стр. 84-89.
2010

Contributions to proceedings:

Trifonov, Peter
On Multivariate Interpolation Decoding of Folded Reed-Solomon codes
Proceedings of International Workshop on Algebraic and Combinatorial Coding Theory , page 274-279.
September 2010
http://dcn.ftk.spbstu.ru/...ert/papers/MID_Folded.pdf
Biryukov, S.V., Kolesov, Yu.B.; Senichenkov, Yu.B.
Physics virtual experiments in Model Vision Studium.
GIREP-MPTL 2010: Teaching and learning physics today. Reims international conference. , page 301.
Reims, France
2010
Карпов, Ю.Г.
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады , page 88-92.
СПб.
2010
Самочадин, А.В.; Карпов, Ю.Г.
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции , page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
Шошмина, И.В.; Карпов, Ю.Г.
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
Карпов, Ю.Г.; Самочадин, А.В.
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
Miloslavskaya, Vera; Trifonov, Peter
Fast interpolation in algebraic soft decision decoding of Reed-Solomon codes
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering , page 65-69.
2010
http://dcn.ftk.spbstu.ru/...petert/papers/Layered.pdf
Trifonov, Peter
Another Derivation of Wu List Decoding Algorithm and Interpolation in Rational Curve Fitting
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering , page 59-64.
2010
http://dcn.ftk.spbstu.ru/~petert/papers/wuBin.pdf

2009

Articles:

Алтунин, К.Ю.; Сениченков, Ю.Б.
О возможности символьных вычислений в пакетах визуального моделирования сложных динамических систем.
Научные ведомости СПбГТУ, № 3, 2009:5 стр.
June 2009
Ивановский, Р.И., Нестеров, А.В.; Сотников, К.А.
Разработка противоаварийного управления в электрических сетях на основе имитационных моделей
Научно-технические ведомости СПбГПУ,
2009
Карпов, Ю.Г.
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании, №2:45-56
2009

Books:

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

Conferences:

Шошмина, И.В.
Технология проектирования и верификации распределенных встроенных бортовых систем
In Сухомлин В.А., editor, IV Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование" , page 464-471.
Publisher: М.:ИНТУИТ.РУ,
December 2009
http://2009.it-edu.ru/doc...mina_1256974245349668.doc
/~irena/papers/Shoshmina2009.pdf
Inichov, D. B., Kolesov, Yu. B.; Senichenkov, YU. B.
Modeling hybrid systems in MvStudium.
, page 7 рр..
2009

Contributions to proceedings:

Trifonov, P.V.
Implementing the Interpolation Step in the Guruswami-Sudan Algorithm
Proceedings of XII International symposium on Problems of redundancy in information and control systems , page 109-113.
May 2009
http://dcn.ftk.spbstu.ru/...papers/implementingLD.pdf
Altunin, K.Yu., Kolesov, Yu. B.; Senichenkov, YU. B.
A TOOL FOR MODELING AND SIMULATION OF COMPLEX DYNAMICAL SYSTEMS.
THE DISTRIBUTED INTELLIGENT SYSTEMS AND TECHNOLOGIES.
2009
Zhang, ZI.C.; Senichenkov, YU. B.
MVSTUDIUM APPLIED LIBRARIES.
THE DISTRIBUTED INTELLIGENT SYSTEMS AND TECHNOLOGIES. , page 6 РР..
2009
Altunin, K.Yu., Kolesov, Yu.B., Senichenkov, Yu.B.; Inichov, D. B.
MODELING COMPLEX DYNAMICAL SYSTEMS IN MVSTUDIUM.
The proceedins of EUNUMATH 09 , page 1p.
2009
Trifonov, P.V.; Zirwas, W.
Channel re-estimation in OFDM systems with constellation rotation
Proceedings of IEEE International Radio and Wireless Symposium
2009

Miscellany:

Ивановский, Р.И.
Интернет-проект, посвященный использованию возможностей Mathcad Application Server (MAS) в системе образования и научных исследованиях. Раздел "Математическая статистика"
2009
http://mas.exponenta.ru/mathematics/mathstat/

2008

Articles:

Самочадин, А.В.; Старостенко, А.О.
Разработка методики прецедентов для обследования организации и составления технического задания
НТВ, 2(55):111-118
2008
Старостенко, А.О.; Самочадин, А.В.
Программные средства дистанционного управления очередями потребителей
НТВ СПбГПУ, 5(65):111-114
2008

Books:

Ивановский, Р.И.
Теория вероятностей и математической статистики. Основы, прикладные аспекты с примерами и задачами в среде Mathcad: Учеб. пособие.
Publisher: БХВ, СПб
2008

Contributions to collections:

Trifonov, P.V.
Construction of Structured Irregular LDPC Codes
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering
July 2008
http://dcn.ftk.spbstu.ru/...etert/papers/LDPCOpt4.pdf

Contributions to proceedings:

Trifonov, P.V.
On the relationship of some Reed-Solomon decoding algorithms
Proceedings of International Workshop "Coding Theory Days in Saint-Petersburg"
October 2008
Inichov, D. B., Senichenkov, YU. B., Breitenecker, F., Kolesov, Yu. B.; Zauner, G.
Physical modeling with MvStudium, a DAE simulator with features for hybrid systems.
The EOOLT 07 proceedings , page 20 pp.
2008
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Моделирование и исследование сложных динамических систем в MvStudium.
VI научно-техническая конференция “Научное программное обеспечение в образовании и научных исследованиях" , page стр. 67-70.
2008
Ивановский, Р.И.
Прикладные аспекты ковариационного анализа
Труды ХX международной научно-методической конференции «МАТЕМАТИКА В ВУЗЕ», 01-05.10.2008
СПб
2008
Ивановский, Р.И.
О локализации корней полиномов в СКМ
Труды ХX междунар. научно-методической конференции «МАТЕМАТИКА В ВУЗЕ», 01-05.10.2008
СПб
2008
Визуальное сопровождение решений в среде СКМ
Труды VII научно-технической конференции «Научное программное обеспечение в образовании и научных исследованиях». СПб.: Изд. Политехн. ун-та
СПб
2008
Ивановский, Р.И.
Визуальное сопровождение решений в среде СКМ
Труды VII научно-технической конференции «Научное программное обеспечение в образовании и научных исследованиях», 30-31.01.2008г.
Publisher: СПбГПУ, СПб
2008
Ивановский, Р.И.; Нестеров, А.В.
Определение отдельных частей систем управления на основе метода синтеза систем с заданными свойствами
Труды научно-технической конференции «Компьютерное моделирование-08», 24-25.06.2008
Publisher: СПбГПУ, СПб
2008

Miscellany:

Ивановский, Р.И.
Интернет-проект, посвященный использованию возможностей Mathcad Application Server (MAS) в системе образования и научных исследованиях. Раздел "Линейная алгебра"
2008
http://mas.exponenta.ru/mathematics/linalgebra/
Ивановский, Р.И.
Интернет-проект, посвященный использованию возможностей Mathcad Application Server (MAS) в системе образования и научных исследованиях. Раздел "Теория вероятностей".
2008
http://mas.exponenta.ru/mathematics/probtheory/

2007

Articles:

Сениченков, Ю.Б.
Ненаучные проблемы компьютерного моделирования.
Компьютерные инструменты в образовании, №1:стр.39-48
2007
Сениченков, Ю.Б.
Хватит учить, давайте учится.
Компьютерные инструменты в образовании, №2:стр.19-25
2007
Инихов, Д.Б., Колесов, Ю.Б.; Сениченков, Ю.Б.
Их есть у меня! Моделирование и исследование сложных динамических систем в 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
Karpov, Y.G., Ivanovsky, R.I.; Sotnikov, K.A.
Application of Simulation Approaches to Creation of Decision Support Systems for IT Service Management
LNCS, v.4671:553-558
2007
Ивановский, Р.И.
Интерактивные ресурсы высокой сложности и проблема их создания. Интернет-порталы: содержание и технологии.
Сб. научн. ст., Вып. 4 / Редкол.: А.Н. Тихонов (пред.) и др., ФГУ ГНИИ ИТТ "Информика", М.: Просвещение,
2007
Ивановский, Р.И.
Об одном способе локализации корней полиномов.
Интернет-журнал СПбГПУ "Математика в вузе", №14
2007
http://www.spbstu.ru/publ...s/m_v/N_014/frame_14.html
Trifonov, P.V.
Interpolation in List Decoding of Reed-Solomon Codes
Problems of Information Transmission, 43(3):190-198
2007
http://dcn.ftk.spbstu.ru/...interpolation_ppi_eng.pdf
Трифонов, П.В.
Интерполяция в списочном декодировании кодов Рида-Соломона
Проблемы передачи информации, 43(3):28-38
2007
http://dcn.ftk.spbstu.ru/...s/gsinterpolation_ppi.pdf
Шошмина, И.В.; Богданов, А.В.
Использование Grid-технологий для проведения вычислений
Вестник СПбГУ, 4:75-82
2007

Books:

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

Contributions to proceedings:

Trifonov, P.V.
Matrix-Vector Multiplication via Erasure Decoding
Proceedings of XI International Symposium on Problems of Redundancy in Information and Control Systems
July 2007
http://dcn.ftk.spbstu.ru/~petert/papers/mo.pdf
Trifonov, P.V.; Costa, E.
Adaptive Data Transmission in Downlink MIMO-OFDM Systems with Pre-equalization
Proceedings of IEEE International Communications Conference
June 2007
http://dcn.ftk.spbstu.ru/...t/papers/adaptivethp2.pdf
Алтунин, К.Ю., Колесов, Ю.Б.; Сениченков, Ю.Б.
Использование символьных вычислений в пакетах визуального моделирования
Труды международной научно-технической конференции "Компьютерное моделирование 2007" , page 134-135.
Publisher: СПбГПУ, Санкт-Петербург
2007
Ильин, С.В., Колесов, Ю.Б.; Сениченков, Ю.Б.
О возможностях "физического моделирования" в среде MvStudium
Труды международной научно-технической конференции "Компьютерное моделирование 2007" , page 144-145.
Publisher: СПбГПУ, Санкт-Петербург
2007
Разгуляев, А.В.; Сениченков, Ю.Б.
Техническая поддержка активных методов изучения.
Труды международной научно-технической конференции "Компьютерное моделирование 2007" , page 159-163.
Publisher: СПбГПУ, Санкт-Петербург
2007
Senichenkov, Yu., Breitenecker, F.; Zauner, G.
Physical Modeling with Model Vision, a DAE Simulator with Features for Hybrid Automata.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools.
Publisher: Linkoping University Electronic Press, Linkopings universitet
2007

2006

Books:

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

Proceedings:

Krzhizhanovskaya, V.V., Korkhov, V.V., Tirado-Ramos, A., Groen, D.J., Shoshmina, I.V., Valuev, I.A., Morozov, I.A., Malyshkin, N.V., Gorbachev, Y.E.; Sloot, P.M.A.
Computational Engineering on the Grid: Crafting a Distributed Virtual Reactor
Second IEEE International Conference on e-Science and Grid Computing (e-Science'06)
Amsterdam
December 2006
DOI: 10.1109/E-SCIENCE.2006.42

Contributions to proceedings:

Trifonov, P.V.
On the Interpolation Step in the Guruswami-Sudan List Decoding Algorithm for Reed-Solomon Codes
Proceedings of International Workshop on Algebraic and Combinatorial Coding Theory
September 2006
http://dcn.ftk.spbstu.ru/...apers/GSInterpolation.pdf
Trifonov, P.V., Costa, E.; Schulz, E.
Joint adaptation of code length and modulation formats in OFDM systems
Proceedings of IEEE International Conference on Personal, Indoor, Mobile and Radio Communications
September 2006
http://dcn.ftk.spbstu.ru/...apers/chunkbitloading.pdf
Колесов, Ю.Б.; Сениченков, Ю.Б.
Model Vision 4.0 - новые возможности
Труды IV региональной научно-технической конференции "Практика применения научного программного обеспечения в образовании и научных исследованиях" , page 15-25.
Publisher: СПбГПУ, Санкт-Петербург
2006
Колесов, Ю.Б.; Сениченков, Ю.Б.
Компьютерное моделирование
Труды международной научно-технической конференции "Компьютерное моделирование 2006" , page 32-36.
Publisher: СПбГПУ, Санкт-Петербург
2006
Schmid, M., Schaefer, J., Kroeger, R., Sotnikov, K.; Karpov, Y.
Combining Application Instrumentation and Simulation to Forecast Costs and Revenue in Application Service Provisioning Scenarios
Proceedings of the 13th Annual Workshop of HP OpenView University Association, University of Nice at Cote d'Azur,May 21-24
2006

2005

Articles:

Сениченков, Ю.Б
Моделирование сложных динамических систем
Научно-Технические ведомости СПбГПУ, №1:стр.116-123
2005

Books:

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

Contributions to proceedings:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Model Vision 4.0 - инструмент для исследования сложных динамических систем
Труды VI международной научно-технической конференции "Компьютерное моделирование 2005" , page 21-27.
Publisher: СПбГПУ, Санкт-Петербург
2005
Сениченков, Ю.Б.
Учебно-методический комплекс "Компьютерное моделирование сложных динамических систем"
Труды VI международной научно-технической конференции "Компьютерное моделирование 2005" , page 672-685.
Publisher: СПбГПУ, Санкт-Петербург
2005
Karpov, Yu., Ivanovski, I., Popov, D.; Voropaj, N.
Hierarchical Modeling of Electric power System Expansion by AnyLogic Simulation Software
IEEE Conf. on Electric Power Systems, St. Petersburg
2005
Ивановский, Р.И.; Нестеров, А.В.
Синтез многомерных систем управления. Проблема устойчивости.
Труды Международной конференции по мягким вычислениям и измерениям (SCM'2005)
СПб
2005
Trifonov, P.V., Costa, E.; Schulz, E
Adaptive Multilevel Coding in OFDM Systems
Proceedings of IEEE Vehicular Technology Conference 2005-Spring
2005
http://dcn.ftk.spbstu.ru/...ert/papers/MLB_final2.pdf

PhD theses:

Сениченков, Ю.Б.
Основы теории и средства моделирования гибридных систем
Диссертация на соискание доктора технических наук по специальности 05.13.11 - математическое и программное обеспечение вычислительных машин,
Санкт-Петербургский государственный политехнический университет,
2005
Трифонов, П.В.
Адаптивное кодирование в многочастотных системах
Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.01
Санкт-Петербургский государственный политехнический университет,
2005
http://dcn.ftk.spbstu.ru/~petert/papers/PhD.pdf
http://dcn.ftk.spbstu.ru/...rt/papers/autoreferat.pdf

2004

Articles:

Costa, E., Fedorenko, S.V.; Trifonov, P.V.
On computing the syndrome polynomial in Reed-Solomon decoder
European Transactions on Telecommunications, 15(4):337-342
June 2004
http://dcn.ftk.spbstu.ru/.../papers/syndromes_ett.pdf
Trifonov, P.V., Costa, E., Filippi, A.; Schulz, E.
Adaptive coding in MC-CDMA/FDMA systems with adaptive sub-band allocation
European Transactions on Telecommunications, 15(3):207-214
May 2004
http://dcn.ftk.spbstu.ru/~petert/papers/art4.pdf
Ивановский, Р.И.
Вокруг форумов сайтов Exponenta.ru и MatLab.ru.
ExponentaPro. Математика в приложениях, №2:93-96
2004

Books:

Ивановский, Р.И.
Практикум по ТОЭ. Учеб.пособие.
In Шакиров М.А., editor,
Publisher: СПбГПУ, СПб
2004
Сениченков, Юрий Борисович
Численное моделирование гибридных систем
Publisher: Изд-во СПбГПУ, Санкт-Петербург
2004

Contributions to proceedings:

Ивановский, Р.И.
Новые информационные технологии как основа формирования специалиста нетехнического профиля
Труды IV международной научно-практической конференции «Международное сотрудничество в образовании»
Publisher: СПбГПУ, СПб
2004
Ивановский, Р.И.; Нестеров, А.В.
Имитационное моделирование программ высшего профессионального образования
Труды IV международной научно-практической конференции «Международное сотрудничество в образовании»
Publisher: СПбГПУ, СПб
2004
Захаров, И.Н.; Ивановский, Р.И.
Новые технологии образования – необходимый элемент современного процесса обучения.
Х Академические чтения «Образование и наука: проблемы и перспективы развития», ЮРГТУ(ИПИ)
2004
Ивановский, Р.И.
Роль программных систем математического моделирования в современной системе образования
Информационные технологии и математическое моделирование: Материалы III Всероссийской научно-практической конференции (11 – 12 декабря 2004 г.) Volume 1 , page 20-22.
Publisher: Томский университет, Томск
2004
Ma, J., Trifonov, P.V.; Vardy, A.
Divide-and-Conquer Interpolation for List Decoding of Reed-Solomon Codes
Proceedings of IEEE International Symposium on Information Theory , page 386.
2004
http://dcn.ftk.spbstu.ru/~petert/papers/dnq.pdf
Trifonov, P.V., Costa, E.; Schulz, E.
Adaptive user allocation, bit and power loading in multi-carrier systems
Proceedings of the 9th International OFDM-Workshop
2004
http://dcn.ftk.spbstu.ru/~petert/papers/OFDMW.pdf
Costa, E., Fedorenko, S.V.; Trifonov, P.V.
Efficient algorithm for computing syndrome polynomial in Reed-Solomon decoder
Proceedings of 5th International ITG Conference on Source and Channel Coding (SCC) , page 179-183.
2004
http://dcn.ftk.spbstu.ru/.../papers/syndromes_itg.pdf

2003

Articles:

Fedorenko, S.V., Trifonov, P.V.; Costa, E.
Improved hybrid algorithm for finding roots of error-locator polynomials
European Transactions on Telecommunications, 14(5):411-416
May 2003
http://dcn.ftk.spbstu.ru/...ert/papers/CostaRoot3.pdf
Trifonov, P.V.; Fedorenko, S.V.
A method for fast computation of the Fourier transform over a finite field
Problems of Information Transmission, 39(3):231-238
2003
http://dcn.ftk.spbstu.ru/~petert/papers/fftEng.pdf
Трифонов, П.В.; Федоренко, С.В.
Метод быстрого вычисления преобразования Фурье над конечным полем
Проблемы передачи информации, 39(3):3-10
2003
http://dcn.ftk.spbstu.ru/~petert/papers/fftRu.pdf

Books:

Ивановский, Р.И.
Компьютерные технологии в науке и образовании. Практика применения систем MathCAD Pro: Учеб. пособие.
Publisher: Высшая школа, Москва
2003

Contributions to proceedings:

Costa, E., Schulz, E., Haas, H., Krouk, E., Taubin, F.; Trifonov, P.
MC-CDMA uplink channel coding scheme with built-in channel estimation
Proceedings of IEEE International Conference on Communications Volume 3 , page 2086 - 2090.
2003
Trifonov, P.V., Costa, E.; Filippi, A.
Adaptive coding in MC-CDMA/FDMA systems with adaptive sub-band allocation
Proceedings of 4th Multi-Carrier Spread-Spectrum Workshop
2003
http://dcn.ftk.spbstu.ru/~petert/papers/art4.pdf

2002

Articles:

Fedorenko, S.V.; Trifonov, P.V.
Finding roots of polynomials over finite fields
IEEE Transactions on Communications, 50(11):1709-1711
November 2002
http://dcn.ftk.spbstu.ru/...tert/papers/rootsIEEE.pdf
Ивановский, Р.И., Козлов, В.Н.; Федоров, М.П.
Концепция информационной поддержки и обеспечение образовательных порталов
Науч.-техн. Ведомости СПбГТУ, №1
2002
Ивановский, Р.И.
Cистемы компьютерной математики как необходимый элемент формирования умений
Науч.-техн. Ведомости СПбГТУ, №3
2002
Ивановский, Р.И.
Заметка о функциях пользователя
Exponenta Pro. Математика в приложениях, №1
2002
Ивановский, Р.И.
Аппроксимации данных наблюдений в среде MathCAD Pro
Exponenta Pro. Математика в приложениях, №1
2002
Ивановский, Р.И.
Математическое программное обеспечение в образовательном процессе.
Компьютерные инструменты в образовании, №6
2002

Books:

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

Contributions to proceedings:

Ивановский, Р.И.
Проблемы обеспечения качества образования в переходный период .
Тез. Докл. (СПб, 5–15 сент. 2002 г.)
Publisher: СПбГПУ, СПб
2002
Ивановский, Р.И.; Чугунцев, А.В.
Ковариационный анализ стохастических систем
Труды 3-ей международной конференции "Компьютерное моделирование 2002"
Publisher: СПбГПУ, СПб
2002
Ивановский, Р.И.
Создание математических моделей в среде MathCAD Pro
Труды 3-ей международной конференции "Компьютерное моделирование 2002"
Publisher: СПбГПУ, СПб
2002
Fedorenko, S.V.; Trifonov, P.V.
On computing the Fast Fourier Transform over finite fields
Proceedings of International Workshop on Algebraic and Combinatorial Coding Theory , page 108-111.
2002
http://dcn.ftk.spbstu.ru/...etert/papers/pushkin2.pdf

2001

Books:

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

2000

Books:

Колесов, Ю.Б.; Сениченков, Ю.Б.
Визуальное моделирование
Publisher: Профессионал Санкт-Петербург,
2000
Ивановский, Р.И.
Компьютерные технологии в науке. Практика применения систем MathCAD 7.0 Pro, MathCAD 8.0 Pro и MathCAD 2000 Pro: Учеб. пособие.
Publisher: СПбГТУ, СПб
2000

Contributions to proceedings:

Ивановский, Р.И.
Проблема имитации случайных возмущений в системном анализе.
IV Международная научно-практическая конференция “Системный анализ в проектировании и управлении ( СПб, 14-16 июня 2000г.) , page 176.
Publisher: СПбГТУ, СПб
2000
Ивановский, Р.И.
Определение параметров регуляризации в задачах построения моделей систем прямыми измерениями входных и выходных сигналов
Труды III Международной конференции по мягким вычислениям и измерениям (SCM2000)
СПб
2000
Ивановский, Р.И.
Анализ детерминированных и стохастических систем в среде MathCAD
II Международная научно-практическая конференция “Информационные технологии в моделировании и управлении”. (СПб, 20-22 июня 2000г.) , page 151-153.
Publisher: СПбГТУ, СПб
2000
Ивановский, Р.И.
Проблема обеспечения сходимости вычислительного процесса в одной задаче определения параметров моделей стохастических систем.
Int. Conf. “Intelligent Systems and Information Technologies in Control” (IS&ITC – 2000), St.Peterburg / Pscov , page 235-238.
Publisher: SPbSTU, SPb
2000

1999

Articles:

Karpov, Yu., Bolshakov, K.; Sintotskij, A.
DEALed - A Tool Suite for Distributed Real-Time Systems Development
LNCS, v. 2126:497-502
1999
Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G., Rudakov, V.V.; Filippov, A.E.
Creating and Running Mobile Agents with XJ DOME
LNCS, v. 2126:410-416
1999

Books:

Веселова, И.Ю.; Сениченков, Ю.Б.
Моделирование: Вычислительный практикум
Publisher: Изд-во СПбГТУ, СПб.
1999

Contributions to proceedings:

Borshchev, A.V., Bolshakov, K.R., Karpov, Yu.G.; Filippov, A.E.
Dome - an Environment for the Development and Usage of Mobile Agents
Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS'99, June 1-4, St. Petersburg, Russia
1999

1998

Articles:

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

Books:

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

1997

Articles:

Borshchev, A., Karpov, Yu.; Rudakov, V.
Analysis of a Distributed Election Algorithm Using COVERS 3.0 - a Case Study
LNCS, v. 1277:175-188
1997

Contributions to proceedings:

Borshchev, A., Karpov, Yu.; Rudakov, V.
System Modeling, Simulation and Analysis using COVERS Active Objects
Engineering of Computer-Based Systems, Monterey, CA , page 220-227.
1997
Hagin, A., Voinov, V.; Karpov, Yu.
Quality of service management of the World Wide Web
Proceedings of the 4th Workshop of the HP OpenView University Association (OVUA'97), Madrid
1997
Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS 3.0 - An Object Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems
Proceedings of the 1st International Workshop on Distributed Interactive Simulation, Eilat, Israel, IEEE Computer Society Press , page 39-44.
1997

1996

Articles:

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

Contributions to proceedings:

Karpov, Yu.
Real-Time Concurrent System Modeling Environment
Proceedings of A. Ershov 2nd Int. Memorial Conference on Perspectives of System Informatics, Novosibirsk
1996

1995

Articles:

Borshchev, A., Karpov, Yu.; Rudakov, V.
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS, v. 964:219-232
1995

1992

Books:

Моисеева, В.Е., Слок, Е.А.; Сениченков, Ю.Б.
Система программирования на Фортране для ЕС ЭВМ: методические указания
Publisher: Изд-во ЛГТУ, Санкт-Петербург
1992

1991

Books:

Воскобойников, С.П., Немакина, Л.В.; Сениченков, Ю.Б.
Программное обеспечение вычислительного эксперимента: методические указания
Publisher: Изд-во ЛПИ, Ленинград.
1991

1990

Books:

Сениченков, Ю.Б.
Численные библиотеки и пакеты: методические указания
Publisher: Изд-во ЛПИ, Ленинград.
1990

1986

Books:

Ивановский, Р.И.; Игнатов, А.А.
Теория чувствительности в задачах управления и оценки.
Publisher: ЦНИИ "РУМБ", Ленинград
1986

1982

Books:

Ивановский, Р.И.; Эпштейн, М.К.
Оценка параметров движения маневрирующих объектов.
Publisher: ЦНИИ "РУМБ", Ленинград
1982
Ракитский, Ю.В., Устинов, С.М., Сениченков, Ю.Б.; Воскобойников, С.П.
Алгоритмы и программы интегрирования дифференциальных уравнений: учебное пособие ЛПИ
Publisher: Изд-во ЛПИ, Ленинград.
1982

1976

Books:

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

1970

Articles:

Ивановский, Р.И.
Об одном преобразовании в задачах определения параметров непрерывных динамических систем
Изв. АН СССР, Техническая кибернетика, №1:180-189
1970

Books:

Ивановский, Р.И.; Таранов, А.Г.
Синтез многомерных систем автоматического управления с применением ЭЦВМ.
Publisher: Наука, Москва
1970
Export as:
BibTeX, XML