SCI Библиотека

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

В статье представлен параллельный алгоритм валидации решений задач линейного программирования. Идея метода состоит в том, чтобы генерировать регулярный набор точек на гиперсфере малого радиуса, центрированной в точке тестируемого решения. Целевая функция вычисляется для каждой точки валидационного множества, принадлежащей допустимой области. Если все полученные значения меньше или равны значению целевой функции в точке, проверяемой как решение, то эта точка считается корректным решением. Параллельная реализация алгоритма VaLiPro выполнена на языке C++ с использованием параллельного BSF-каркаса, инкапсулирующего в проблемно-независимой части своего кода все аспекты, связанные с распараллеливанием программы на базе библиотеки MPI. Приводятся результаты масштабных вычислительных экспериментов на кластерной вычислительной системе, подтверждающие эффективность предложенного подхода.

Системы SAPFOR и DVM были спроектированы и предназначены для упрощения разработки параллельных программ научно-технических расчетов. Главной целью системы SAPFOR является автоматизация процесса отображения последовательных программ на параллельные архитектуры в модели DVMH. В некоторых случаях пользователь системы SAPFOR может рассчитывать на полностью автоматическое распараллеливание, если программа была написана или приведена к потенциально параллельному виду. DVMH модель представляет собой расширение стандартных языков C и Fortran спецификациями параллелизма, которые оформлены в виде директив и не видимы стандартным компиляторам. В статье будет рассмотрено автоматизированное дополнительное распараллеливание существующих MPI-программ с помощью системы SAPFOR, где, в свою очередь, будут использованы новые возможности DVMH модели по распараллеливанию циклов в MPI программе внутри узла. Данный подход позволяет существенно снизить трудоемкость распараллеливания MPI программ на графические ускорители и многоядерные процессоры, сохранив при этом удобство сопровождения уже написанной программы. Данная возможность в системе SAPFOR была реализована для языков Fortran и C. Эффективность данного подхода показана на примере некоторых приложений из пакета NAS Parallel Benchmarks.

Настоящее исследование является социально-философским анализом игровых элементов в образовании. Утверждается, что образование содержит в себе игроизацию в виде дополнительных к основным функциям (трансляция знаний) образования элементов (ритуалы, форма, правила и т.п.). Игра присутствует в образовании в качестве педагогической игры - обучающей, развивающей и коммуникативной и имеет множество форм. Основная характеристика педагогической игры - наличие цели, не связанной с игрой. Она иллюстрируется примерами авторской методики философских игр для детей и взрослых.

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

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

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

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

Статья содержит концептуальный анализ теории решения изобретательских задач (ТРИЗ) авторства Г.С. Альтшуллера. ТРИЗ рассматривается как проявление характерного для многих областей науки и культуры времен Холодной войны организационного принципа алгоритмической рациональности. Автор приходит к выводу, что в ТРИЗ этот принцип проявляется в виде организующей метафоры «управляемой эволюции». Вначале проводится анализ ТРИЗ как теории технического прогресса с привлечением классификационного аппарата, предложенного Юном Эльстером, затем - сравнительный анализ ТРИЗ и французской философии техники 1932-1958 гг., «механологии». Сходством обладают общефилософские основания теорий, тогда как различия коррелируют с проявлениями алгоритмической рациональности в ТРИЗ. Тип алгоритмической рациональности соотносится с более общим представлением о социально-экономических отношениях в обществе, что позволяет говорить о различии советского и американского подходов к рассмотрению картины мира, а также сделать предположение о существовании отдельного типа теории технического прогресса.

Статья посвящена сравнительному анализу рецептивно-предикативных моделей личности двух философов - о. Сергия Булгакова и японского философа Китаро Нисиды. Автор приходит к выводу, что, несмотря на разные религиозно-культурные установки, на которых основаны две модели, оба философа разделяют сходное до определенной степени базовое понимание рецептивно-предикативного характера человеческого «я». Однако, как доказывает автор, они в конечном итоге развивают различные концепции личностной коммуникации «я» и «Абсолютного».