Главная – Журналы – Поиск по журналам

Проведены расчеты (по линейной теории устойчивости) воздействия податливого покрытия (пленки) над пористой поверхностью на устойчивость сверхзвукового (М = 2) пограничного слоя на плоской пластине к возмущениям первой моды неустойчивости для условий экспериментов, проводимых в аэродинамической трубе Т-325. Расчеты показали, что пористое покрытие с тонкопленочной мембраной на поверхности может стабилизировать пограничный слой при числе Маха M = 2 на наиболее нарастающей на сплошной пластине частоте. Найдены зависимости скоростей пространственного роста возмущений от ряда факторов. Получены немонотонные (с минимумами) зависимости этих скоростей роста от натяжения пленки, радиуса пор, глубины пористого покрытия и пористости. Скорости пространственного роста возмущений снижаются при уменьшении толщины пленки и отношения давления газа внутри пор к статическому давлению в пограничном слое. Получено, что стабилизация сверхзвукового (М = 2) пограничного слоя относительно случая гладкой непроницаемой пластины может произойти лишь при толщине пленки менее 18 нм.

С помощью мультиблоковой численной модели проведено исследование явления образования вакансии в цепочке пылевых частиц. В результате численных расчетов получены самосогласованные пространственные распределения объемного заряда и электрического потенциала вокруг пылевых частиц для двух случаев: линейной цепочки из пяти частиц и цепочки из четырех частиц с вакансией. Рассчитаны равновесные заряды частиц и величины основных сил, действующих на них (сила ионного увлечения, кулоновская сила расталкивания между частицами, сила действия внешнего электрического поля на заряженные частицы). Показано, что явление образования вакансии без изменения структурных параметров цепочки имеет место в условиях возникновения сильных ионных следов, при этом четвертая и пятая частицы находятся в сильном ионном следе второй частицы.

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

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

Нестационарным методом с использованием плоского источника тепла измерена теплопроводность твердых магний-литиевых сплавов с содержанием X_Li = 35, 40, 50 ат. % в интервале температур 80 - 350 K. Проведено сравнение полученных результатов с литературными данными для сплавов других составов. Для всех исследованных сплавов на температурных зависимостях λ(T) обнаружено аномальное поведение в виде излома в области 310 - 330 K и особенность вблизи 240 K, предположительно связанная с мартенситным превращением. С использованием литературных данных построены концентрационные зависимости теплопроводности системы Mg-Li в интервале X_Li = 0 - 50 ат. %. Показано, что увеличение содержания лития в области 30 - 50 ат. % Li приводит к дальнейшему снижению теплопроводности.

Предмет исследования - нетривиальная модально-логическая проблема эквивалентности de-dicto и de-re типов модальностей. Цель - прояснение, точная формулировка, и добавление уточненного принципа эквивалентности этих типов модальностей в качестве новой схемы собственных аксиом в мультимодальную аксиоматическую систему формальной философии Φ+∃. Научная новизна : для достижения этой цели, уже опубликованная формальная аксиоматическая теория Φ+∃ преобразована в некую качественно отличную от нее логически формализованную мультимодальную аксиоматическую систему, названную Φ^DR, благодаря принятию во внимание и систематическому использованию в ней упомянутых различных типов модальностей, именуемых dicto и de-re. Для осуществления такой трансформации, (1) изменены определения алфавитов языка-объекта и метаязыка теории Φ+∃: в алфавит метаязыка теории Ф^DR добавлены новые символы Ω^D и Ω^R, обозначающие некие (любые) модальности совершенства упомянутых типов D и R, соответственно; (2) ко множеству аксиомных схем теории Φ+∃, в теорию Φ^DR добавлена одна новая схема аксиом, содержащая символы Ω^D и Ω^R; (3) на искусственном языке Φ^DR дана точная формулировка принципа эквивалентности типов модальностей dicto и de-re , а также определено то конкретное эпистемическое условие, при котором этот принцип эквивалентности имеет законную силу. Впервые предложена некая нетривиальная мультимодальная интерпретация традиционного формально-логического квадрата и гексагона логической оппозиции абстрактных понятий. Также впервые упомянутые геометрические фигуры использованы в качестве наглядных моделей системы формально-аксиологических отношений между качественно различными de-re- модальностями-совершенства как ценностными функциями .

В данной работе рассматривается проблема семантики интенсиональных контекстов, в особом ракурсе, связанном с принципами работы генеративного искусственного интеллекта (ИИ). Интенсиональные контексты, такие как верования, желания, знания и убеждения представляют особую сложность для современных языковых моделей, поскольку требуют учета значений выражений в логических возможных мирах или когнитивных состояниях субъектов. Данная работы - это своеобразный эскиз к постановке проблемы, у которой есть инженерное и философское измерение. Здесь анализируются механизмы работы трансформеров которые используют контекстуальные эмбеддинги для моделирования значений слов через self-attention. Выявлено, что современные языковые модели способны эффективно обрабатывать анафорические зависимости и контекстуальные связи, но при этом они сталкиваются с ограничениями при интерпретации интенсиональных конструкций. Особое внимание уделяется экспериментам с векторными представлениями объектов в многомерном пространстве, в ходе которых при различении субъективных верований и объективной реальности возникают затруднения. Характер затруднений указывает на то, что работа с интенсиональными контекстами требует не только простого анализа вероятностных связей между словами, но и более глубокого понимания семантики языковых выражений.

В статье функции понятия спора в формальной теории аргументации проиллюстрированы при помощи двух хорошо известных примеров из теории аргументации: примера о Гарри с Бермудских островов, использованного С. Тулмином, и примера о пингвине Твити, которая не летает, хотя и птица, используемого в немонотонной логике. Путем реконструкции этих примеров обосновывается важность понятия спора в логике аргументации для выработки путей решения задачи поиска и отбора наиболее сильных аргументов, с которыми можно отождествлять исходы аргументации между сторонами. Решение этой задачи является объединением усилий двух ведущих направлений современной формальной теории аргументации - логики аргументации и диалектической теории аргументации.

В данной статье излагается язык, семантика и теория доказательств для гибридной модальной логики первого порядка, решающей проблему кросс-мировой квантификации.

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