195251, Санкт-Петербург,
Политехническая ул., 29, НИК, к. В.3.17
+7 (812) 552-6216 (с 10 до 17.30 )
infocom@spbstu.ru

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем

Никулина Е.А.

Расчет функции рассеяния точки с учетом двулучепреломления и частичной когерентности освещения с использованием графических процессоров

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Рассмотрено применение метода представления комплексной амплитуды через суперпозицию плоских волн для учета влияния двулучепреломления в фотолитографических системах. Изображение в проходящем свете при частично когерентном освещении проводится по методу интегрирования по источнику. Показана вычислительная сложность предложенной методики, а также отмечены преимущества использования графических процессоров для решения такого рода задач. Описаны особенности использования графических процессоров для решения неграфических задач. Приведены оценки временных затрат при расчете по описанной методике с применением как графических, так и традиционных процессоров. Показаны результаты моделирования функции рассеяния точки в различных условиях.

Просмотров: 734 Комментариев: 0

Павлов В.А.

Эффективная программная реализация обратного метода Маслова для интуиционистской логики

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Изложены результаты исследования, посвящённого применению обратного метода Маслова для автоматизации логического вывода в интуиционистских логических исчислениях. Подробно рассмотрены адаптированные стратегии поиска вывода для интуиционистских исчислений обратного метода, а также новые стратегии, позволяющие ограничить возникающие переборы и уменьшить размер пространства поиска вывода. Также описаны детали реализации разработанной автором компьютерной программы WhaleProver, использующей обратный метод для логического вывода в интуиционистской логике первого порядка. Приведены результаты экспериментального сравнения предложенных стратегий друг с другом и новые результаты сравнения программы WhaleProver с существующими аналогами. Программа не уступает в эффективности лучшим из существующих аналогов (ileanCoP, Imogen) и даже позволяет решить новые задачи из библиотеки ILTP. Таким образом, на практике подтверждается, что программная реализация обратного метода может быть не менее эффективной, чем реализации других методов автоматического логического вывода (в частности, табличных методов).

Просмотров: 458 Комментариев: 0

Подкопаев А.В., Коровянский А.Ю., Озерных И.С.

Языконезависимое форматирование текстов программ на основе сопоставления с образцом и синтаксических шаблонов

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Рассмотрена проблема форматирования программных текстов. Предложен новый подход, позволяющий форматировать целевой код по образцу. Разработанное решение вычисляет оптимальное представление текста за полиномиальное время. В рамках апробации разработаны форматеры для языков Java и Haskell.

Просмотров: 750 Комментариев: 0

Подкопаев А.В., Лахав О., Вафеядис В.

О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

«Обещающая» модель памяти является перспективным решением проблемы задания семантики многопоточности в контексте императивных языков программирования, таких как С/C++ и Java. Естественным требованием, которое ставится перед моделью памяти языка программирования, является наличие эффективной и корректной схемы компиляции для распространенных процессорных архитектур. Ранее для обещающей модели была показана корректность компиляции в архитектуры x86, Power и для операционной модели памяти ARMv8 POP. В статье приведено доказательство корректности компиляции в аксиоматическую модель ARMv8.3. В доказательстве использован новый метод обхода исполнений аксиоматических моделей памяти. Этот метод является более общим, чем использованные ранее подходы, и может использоваться в последующих доказательствах корректности компиляции из обещающей модели памяти.

Ссылка при цитировании: Подкопаев А.В., Лахав О., Вафеядис В. О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3 // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2017. Т. 10. № 4. С. 51–69. DOI: 10.18721/JCSTCS.10405

Просмотров: 245 Комментариев: 0

Курочкин Л.М., Чернышев А.С., Курочкин М.А., Домрачев Д.А., Прохоров М.В.

Применение суперкомпьютерных технологий для исследования динамики полидисперсных сред

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Численное моделирование динамики жидкости и газа, и многофазных сред в частности, является перспективным направлением исследований и инженерных разработок. В области многофазных сред экспериментальные методики иногда не позволяют получать детальные данные о структуре течения из-за большого количества вовлеченных физических явлений. Учет всех необходимых процессов и явлений при численном моделировании для построения полной картины течения, а также расчет практически важных задач требует использования большого количества вычислительных ресурсов, что делает невозможным проведение компьютерного моделирования на отдельных рабочих станциях. Применение методики распараллеливания существующих алгоритмов решения уравнений многофазных сред при помощи библиотеки OpenMP, а также использование суперкомпьютерных технологий позволяет сократить время моделирования и произвести расчет сложных течений. В статье описаны модель полидисперсной среды, алгоритм решения основополагающих уравнений модели, основные элементы численного метода и методика проведения компьютерных экспериментов. Представлены зависимости времени расчетов модели, проводимых в СКЦ «Политехнический», от количества потоков и параметров модели.

Просмотров: 541 Комментариев: 0

Титов А.И., Хомоненко А.Д.

Выбор программного обеспечения с помощью алгоритма Такаги-Сугено на примере систем управления проектами

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Проведен анализ современных подходов к выбору программного обеспечения. Обоснована целесообразность применения алгоритма нечеткого вывода Такаги-Сугено для выбора программного обеспечения. Рассмотрен вариант модификации алгоритма, используемый для выбора программного обеспечения систем управления проектами (СУП). Предложена база правил для применяемого алгоритма нечеткого вывода. Приведен численный пример сравнения систем управления проектами Spider Project и Oracle Primavera.

Просмотров: 861 Комментариев: 0

Тимофеев Д.А., Самочадин А.В.

Описание процессов разработки программ с помощью скрытых марковских моделей

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Рассмотрены процессы работы программиста над индивидуальными задачами в рамках программного проекта и предложен способ моделирования таких процессов на основе скрытых марковских моделей. Модель процесса может использоваться для решения трех задач: анализа и сравнения процессов, повышения эффективности работы и снижения утомляемости работника, обучения студентов технологическим процессам опытных разработчиков. Две последние задачи предложено решать с помощью введения обратной связи в виде подсказок, формируемых на основе анализа текущего вида деятельности программиста и предыдущих состояний процесса разработки. Идентификация вида деятельности программиста осуществляется путем восстановления наиболее правдоподобной последовательности состояний модели на основе анализа наблюдаемых действий программиста в среде разработки и других приложениях.

Ссылка при цитировании: Тимофеев Д.А., Самочадин А.В. Описание процессов разработки программ с помощью скрытых марковских моделей // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2017. Т. 10. № 4. С. 70–77. DOI: 10.18721/JCSTCS.10406

Просмотров: 157 Комментариев: 0

Березун Д.А.

Полная головная линейная редукция

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Головная линейная редукция (head linear reduction) представляет собой стратегию редукции лямбда-термов, производящую минимальное количество подстановок для достижения псевдоголовной нормальной формы (quasi-head normal form). Статья посвящена обобщению понятия головной линейной редукции до полной головной линейной редукции (complete head linear reduction), позволяющей полностью нормализовать лямбда-терм и определить новый подход к вычислениям – трассирующую нормализацию (traversal-based normalization). Оба подхода формализованы в виде систем переходов (transition system). В статье также показана корректность обеих стратегий редукций: головной линейной редукции относительно головной редукции – головная линейная редукция завершается в псевдоголовной нормальной форме терма тогда и только тогда, когда завершается головная, и полной головной линейной редукции относительно эффективной редуцирующей стратегии – головная линейная редукция завершается в нормальной форме терма тогда и только тогда, когда последняя существует.

Ссылка при цитировании: Березун Д.А. Полная головная линейная редукция // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2017. Т. 10. № 3. С. 59–82. DOI: 10.18721/JCSTCS.10306

Просмотров: 299 Комментариев: 0

Левченко А.В., Фёдоров С.А.

Инструмент динамического двоичного анализа пространственно-временной локализации приложения

Опубликовано в разделе «Программное обеспечение вычислительных, телекоммуникационных и управляющих систем»

Наличие проблемы стены памяти (Memory Wall Problem) приводит к простоям процессора в ожидании данных из памяти в результате неудовлетворительной пространственно-временной локализации приложения. Средства динамического двоичного анализа важны для оценки пространственно-временного поведения приложения с целью смягчения последствий этой проблемы. Для исследования эффективности приложения необходимо получить исчерпывающий профиль доступа приложения к памяти, позволяющий дать численную и визуальную оценку локализации доступа. Процесс профилирования имеет существенные издержки, возникающие при низкоуровневом инструментировании и сохранении данных профиля, способные исказить оценку реальной локализации. Описан программный инструмент для динамического двоичного анализа пространственно-временной локализации приложения, ориентированный на практическое применение методологии Apex для глубокого анализа приложений. Инструмент профилирования tslmap разработан на основе платформы Valgrind, доступной на большинстве современных высокопроизводительных платформ. Показано, что разработанный инструмент позволяет корректно оценить локализацию приложения, с минимальными издержками профилирования получить и визуализировать профили на архитектурах с распределенной памятью.

Просмотров: 738 Комментариев: 0