Results 121 to 130 of about 8,773 (135)

Специфика расчёта ветровой нагрузки для ÑÐ»Ð¾Ð¶Ð½Ñ‹Ñ Ð°Ñ€Ñ Ð¸Ñ‚ÐµÐºÑ‚ÑƒÑ€Ð½Ñ‹Ñ Ñ„Ð¾Ñ€Ð¼

2019
Архитектурные решения как в зарубежных странах, так и в России приобретают всё более сложные геометрические формы, что приводит к значительным сложностям при определении действующих нагрузок
openaire   +1 more source

Верификация модуля управления производством Ð¿Ð»Ð°ÑÑ‚Ð¸ÐºÐ¾Ð²Ñ‹Ñ ÐºÐ°Ñ€Ñ‚ методом Model Checking

2017
Настоящая дипломная работа содержит результаты формальной верификации модуля управления производством Ð¿Ð»Ð°ÑÑ‚Ð¸ÐºÐ¾Ð²Ñ‹Ñ ÐºÐ°Ñ€Ñ‚ методом Model Checking.
openaire   +1 more source

Специфика читательского восприятия жанра «антиутопия» в России и за рубежом: редакционно-издательские аспекты

2020
This work is devoted to the study of the specifics of readers' perception of the dystopian genre in Russia and abroad. Tasks that were solved during the study: 1. To determine the theoretical basis for the study of the reader's perception of the dystopian genre. 2. To determine the selection criteria for works of the dystopian genre for analysis. 3. To
openaire   +1 more source

Параллельные процессы в Ð´Ð¸ÑÐºÑ€ÐµÑ‚Ð½Ñ‹Ñ ÑÐ¸ÑÑ‚ÐµÐ¼Ð°Ñ . Спецификация. Анализ. Поведение

2011
Кратко излагаются вопросы построения Ñ„Ð¾Ñ€Ð¼Ð°Ð»ÑŒÐ½Ñ‹Ñ Ð´Ð¸Ð½Ð°Ð¼Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ процессов, Ð¿Ñ€Ð¾Ñ‚ÐµÐºÐ°ÑŽÑ‰Ð¸Ñ Ð°ÑÐ¸Ð½Ñ Ñ€Ð¾Ð½Ð½Ð¾ и с взаимным перекрытием во времени , т. е. Ð°ÑÐ¸Ð½Ñ Ñ€Ð¾Ð½Ð½Ñ‹Ñ Ð¿Ð°Ñ€Ð°Ð»Ð»ÐµÐ»ÑŒÐ½Ñ‹Ñ Ð¿Ñ€Ð¾Ñ†ÐµÑÑÐ¾Ð².
openaire   +1 more source

Верификация гидродинамического кода mFlow на Ð´Ð²ÑƒÐ¼ÐµÑ€Ð½Ñ‹Ñ Ð·Ð°Ð´Ð°Ñ‡Ð°Ñ Ð²Ð½ÑƒÑ‚Ñ€ÐµÐ½Ð½Ð¸Ñ Ñ‚ÐµÑ‡ÐµÐ½Ð¸Ð¹

2018
В данной работе объектом исследования являлись потоки вязкой несжимаемой жидкости в плоских двумерных каналах как в случае ламинарного, так и турбулентного режимов течения. Были проведены рас
openaire   +1 more source

Синтаксическая и семантическая верификация сценариев Ð²Ñ‹Ñ‡Ð¸ÑÐ»Ð¸Ñ‚ÐµÐ»ÑŒÐ½Ñ‹Ñ ÑÐºÑÐ¿ÐµÑ€Ð¸Ð¼ÐµÐ½Ñ‚Ð¾Ð²

2019
This thesis project has been aimed at development of syntactic and semantic verification algorithms and their implementation. This verification is required in the context of pipeline computations which are performed to estimate parameters of stochastic processes.
openaire   +1 more source

Разработка и верификация моделей расчета нейтронно-Ñ„Ð¸Ð·Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ñ Ð°Ñ€Ð°ÐºÑ‚ÐµÑ€Ð¸ÑÑ‚Ð¸Ðº Ð¼Ð°Ð»Ð¾Ð³Ð°Ð±Ð°Ñ€Ð¸Ñ‚Ð½Ñ‹Ñ Ñ€ÐµÐ°ÐºÑ‚Ð¾Ñ€Ð¾Ð² с быстрым спектром нейтронов

2020
Приведено описание нейтронно-физической модели, подготовленной с использованием комплекса программ САПФИР_РФ&RC, для расчёта малогабаритных реакторов с быстрым спектром нейтронов.
openaire   +1 more source

Верификация лжи в политическом дискурсе (на материале анализа Ð Ð¾ÑÑÐ¸Ð¹ÑÐºÐ¸Ñ Ð¸ Ð£ÐºÑ€Ð°Ð¸Ð½ÑÐºÐ¸Ñ Ð¡ÐœÐ˜)

2018
Настоящая работа посвящена рассмотрению способов верификации лжи в политическом дискурсе. В работе рассмотрены основные особенности политического дискурса, функции ложного высказывания и Р...
openaire   +1 more source

Ð¢ÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ñ программирования. Верификация Ð¿Ð°Ñ€Ð°Ð»Ð»ÐµÐ»ÑŒÐ½Ñ‹Ñ Ð¸ Ñ€Ð°ÑÐ¿Ñ€ÐµÐ´ÐµÐ»ÐµÐ½Ð½Ñ‹Ñ Ð¿Ñ€Ð¾Ð³Ñ€Ð°Ð¼Ð¼Ð½Ñ‹Ñ ÑÐ¸ÑÑ‚ÐµÐ¼

2010
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного Ð¿Ð¾Ð»Ð¸Ñ‚ÐµÑ Ð½Ð¸Ñ‡ÐµÑÐºÐ¾Ð³Ð¾ университета.
openaire   +1 more source