Статья посвящена применению в вычислительных алгоритмах SWIСTН-технологии, основанной на автоматном программировании. Рассматривается применение данной технологии для реализации универсальных алгоритмов обхода деревьев. На диске, прилагаемом к журналу, размещены приложения к данной статье.
Рассказ о визите в Санкт-Петербург Н. Вирта, автора языка Паскаль. Приведен краткий экскурс в историю с описанием основных достижений Н. Вирта в информатике.
В статье приведены остроумные вопросы (и ответы на них) по истории информатики.
В статье предлагается расширение технологии построения визуализаторов с целью включения в нее возможности анимации требуемых шагов визуализации. При этом изображается переход от предыдущих значений визуализируемых переменных к последующим. Статья написана в соавторстве с М.А. Казаковым.
Цель статьи – на примере игры «Морской бой» показать, как использовать систему взаимодействующих конечных автоматов и описывать структуру классов в объектно-ориентированных программах. На диске, прилагаемом к журналу, помещены программные материалы к данной статье.
Статья рассказывает о визите в Санкт-Петербург профессора Бертрана Мейера, его биографии, заслугах, об избрании Бертрана Мейера почетным доктором СПбГУ ИТМО.
Авторы статьи в динамической форме рассказывают о финале командного чемпионата мира по программирования, поминутно воспроизводя успехи команд, боровшихся за победу. Подробно описаны результаты российских команд. (С. 25-33)
В последнее время в программировании все чаще используются конечные автоматы. Поэтому задача исследования их свойств остается актуальной. Эти исследования осуществляются с применением различных математических методов. При этом представляется интересным использование для этой цели динамического программирования. Цель настоящей статьи продемонстрировать эффективность применения динамического программирования для решения одной задачи на конечных автоматах, которая называется «Непоглощающий конечный автомат». На диске размещено приложение к статье. (С. 26-35)
Визуализатор - это программа, в процессе работы которой на экране компьютера динамически демонстрируется применение алгоритма к выбранному набору данных. О процессе автоматизированного построения визуализаторов и рассказывает статья. (С. 16-26)
В статье проведён обзор прошедших соревнований по спортивному программированию, где Россия и Китай в настоящее время являются серьёзными конкурентами.
Ключевые слова: спортивное программирование, битва интеллектов, ACM ICPC, TopCoder, алгоритмы, олимпиады.
Доклад на Ученом совете Санкт-Петербургского государственного университета информационных технологий, механики и оптики (СПбГУ ИТМО) 24.03.2009 года. В статье рассматриваются проблемы обучения проектированию программного обеспечения молодых специалистов в области информационных технологий, а также сохранения способной молодежи в университетах в качестве преподавателей.
Report at Scientific Council of Saint-Petersburg State University of Information Technologies, Mechanics and Optics (ITMO). March, 24 2009. The article discusses the problems of teaching the computer science students the technologies of software design and conservation of young professionals in universities as teachers.
Ключевые слова: автоматное программирование, молодые специалисты, проектирование программного обеспечение.
В настоящее время на разных уровнях и в различных аудиториях, в том числе на уровне Президента РФ, высказывается озабоченность резким дефицитом ИТ-специалистов, сильно сдерживающим как развитие ИТ-отрасли, так и переход страны в целом от сырьевого пути развития к инновационному, которое основано на знаниях. Своим опытом в решении этой проблемы делится автор.
The article describes the current deficit of the IT specialists. According to the author this situation becomes a constraining factor for the development of the russian IT industry. The author imparts his expirience about solution for the problem
Ключевые слова: ИТ-специалисты, ИТ-отрасль.
Keywords: IT industry, IT specialists Три из четырех золотых медалей и одну серебряную в финале студенческого командного чемпионата мира по программированию ACM ICPC завоевали российские команды. Мы поздравляем победителей, в особенности команду СПбГУ ИТМО, занявшую (как и в 2008 г.) первое место и желаем россиянам дальнейших успехов.
Ключевые слова: Золотых медалей, чемпионат мира по программированию ACM ICPC, команда СПбГУ ИТМО.
В работе рассматриваются две задачи анализа данных геномного и метагеномного секвенирования — задача de novo сборки генома (сборка неизвестного генома) и задача сравнительного анализа метагеномов, которая возникает при анализе геномов микроорганизмов из почв, океанов, кишечника человека и т. д. Несмотря на то, что эти задачи в основном возникают у исследователей, работающих в области биологии, их использование в образовательных целях — необходимый шаг при обучении молодых медиков, биологов и биоинформатиков, а также для повышения квалификации специалистов из этих областей. В настоящей статье приводится обзор методов сборки генома и сравнительного анализа метагеномов, исследуется вопрос применимости существующих средств для обучающихся и предлагаются новые подходы к решению данных задач. Такие подходы использовались авторами при обучении студентов в Санкт-Петербургском политехническом университете Петра Великого. В работе также приводятся результаты экспериментов по сравнению предложенных подходов с известными. С. 5-15.
In this paper we address two problems of analyzing genome and metagenome sequencing data — de novo genome assembly problem (assembly of an unknown genome) and problem of comparative metagenome analysis which arises in the analysis of microorganisms in soil, sea, human gut, etc. Despite these problems are of interest to scientists working in the biology area, using them for education is essential for teaching medical students, biologists, bioinformaticians and also in the process of further training of specialists in this areas. In this paper we present a survey of methods for de novo genome assembly and comparative metagenome analysis, examine the possibility of using such approaches in educational processes and propose novel approaches for solving these problems. Proposed solutions have already been used for educating students in the Peter the Great St.Petersburg Polytechnic University. In this paper we also present the results of experiments of comparing proposed methods against known ones.
Ключевые слова: биоинформатика, ДНК, геном, метагеном, секвенирование ДНК, сборка генома de novo, сравнительный анализ метагеномов, персональный компьютер.
Keywords: bioinformatics, DNA, genome, metagenome, DNA sequencing, de novo genome assembly, comparative metagenome analysis, personal computer.
Для того чтобы ИТ-индустрия могла найти и удержать кадры, их значительно раньше должны найти, мотивировать и обучить университеты. На первый взгляд кажется, что ИТ-компании и соответствующие кафедры университетов – партнеры, в том числе и в материальном плане, но на практике обычно это оказывается не так. Преподавательская зарплата в вузах так низка, что скоро в них не останется преподавателей. В статье излагается опыт решения на кафедре «Компьютерные технологии» СПбНИУ ИТМО проблемы сохранения в российских университетах на постоянной основе талантливых молодых людей.
In order for the IT industry to find and retain personnel, these people should be found, taught and motivated by the universities in advance. At first glance it seems that the IT companies and the relevant departments of the universities are partners, including the terms of money, but in practice it usually turns out to be wrong. Salaries of university teachers are so low that there will be no more university teachers soon. The paper presents the case study of the Computer Technologies department of NRU ITMO in dealing with the problem of retention of talented young people in the Russian universities on an ongoing basis.
Ключевые слова: ИТ-кадры, молодые таланты, «Сохраним в университетах лучших!».
Keywords: human resources for IT, young talanted specialists, «Save the best humans in universities!».
В работе приведено подробное описание задачи поиска усердных бобров, ее вариаций, методов решения и известные результаты.
The paper gives a detailed description of the busy beaver problem, its variations, methods for solving and well-known results on the busy beaver problem.
Ключевые слова: усердный бобер, машина Тьюринга, автомат.
В статье описывается использование автоматного подхода на примере создания простой компьютерной игры. Логика управления игры "Космонавт" реализована в виде конечного автомата. На диске, прилагаемом к журналу, размещена компьютерная игра "Космонавт" к данной статье.
Авторы предлагают обучать школьников проектированию на основе автоматного подхода. По мнению авторов, автоматы являются естественной формой описания поведения сущностей, так как состояния и переходы из одного состояния в другое присущи и естественны для человека.
Этот подход в течение уже нескольких лет используется на кафедре компьютерных технологий СПбГУ ИТМО.
Соавт.: О.А.Пестов. В статье изложен процесс создания программы для вычисления хода в игре \\\"Сапер\\\". Программа или со стопроцентной вероятностью вычисляет ход, или сообщает, что имеющейся информации недостаточно.