SCI Библиотека

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

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

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

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

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

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

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

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

В Библиотеке Льежского университета (Université de Liège. Bibliothèque, Ms. 2613) и в Музее Виктории и Альберта (Victoria and Albert Museum, Ms. 413) хранятся два листа, созданных ок. 1150-1170 гг. и происходящих из маасского региона. Хотя вопрос о назначении листов является дискуссионным, двум этим памятникам романской книжной миниатюры не было посвящено специального исследования. Листы имеют схожую структуру: с двух сторон помещены по две композиции на сюжеты из Книги Бытия, надписи или библейские цитаты отсутствуют. Ветхозаветные эпизоды, входящие в изобразительную программу листов, не формируют последовательного нарративного цикла. Так, за сценами жертвоприношения Каина и Авеля и убийства Каином Авеля в листе из Музея Виктории и Альберта следует эпизод встречи Авраама и Мелхиседека, лист из Льежа начинается сценой принесения в жертву Исаака. В цикл не включен ряд сцен, имеющих достаточно устойчивую иконографическую традицию (например, история Ноя). Подобная повествовательная неоднородность может быть интерпретирована через призму назначения изобразительного ряда. Жертвоприношение Авеля, Дары Мелхиседека и Жертвоприношение Авраамом Исаака упоминаются в Евхаристическом каноне Сакраментария папы Геласия I и уже с эпохи раннего христианства используются в иконографических программах как основные литургические прообразы. Оборот листа из Библиотеки Льежского университета содержит еще один сюжет, отсылающий к типологическому параллелизму Заветов, - Благословение Иаковом Ефрема и Манассии. Обозначенные сюжеты могут быть обнаружены в ряде современных листам памятников декоративно-прикладного искусства и книжной миниатюры рейнско-маасского региона, которые объединены на основании типологической логики в организации сюжетов. Выбор сюжетов, а также стилистический и иконографический анализ круга памятников с типологической иконографией дают возможность предположить, что листы могли быть фрагментами книги моделей и выполнять функцию образцов в процессе распространения композиционных и иконографических приемов, характерных для памятников рейнско-маасского региона.

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