Мушич-Громыко, Вячеслав Георгиевич (аспирант кафедры философии Новосибирского государственного университета экономики и управления). Принцип дополнительности Н. Бора и начертательная геометрия [Текст] / В. Г. Мушич-Громыко> // Вестник Челябинского государственного университета. - 2008. - N 28. - С. 129-134. . - Библиогр. в примеч.
Рубрики: Философия Философия науки Физика Квантовая механика Кл.слова (ненормированные): квантовая механика -- начертательная геометрия -- принцип дополнительности -- формализмы -- сходность дисциплин -- принцип дополнительности Бора -- Бора принцип дополнительности Аннотация: В статье автор сопоставляет некоторые формализмы квантовой механики с формализмами начертательной геометрии, что позволяет сделать вывод о существовании содержательной сходности указанных дисциплин по определённым параметрам. Нет сведений об экземплярах (Источник в БД не найден) |
Сомсиков, В. М. О критериях перехода к термодинамическому описанию динамики систем [Текст] / В. М. Сомсиков, А. Б. Андреев> // Известия вузов. Физика. - 2015. - Т. 58, № 11. - С. 30-39 : рис., табл. - Библиогр.: c. 39 (24 назв. ) . - ISSN 0021-3411
Рубрики: Физика Теоретическая физика Кл.слова (ненормированные): Д-энтропия -- Лагранжа формализмы -- изменение энергии -- неголономные связи -- необратимость -- статическая физика -- термодинамика -- уравнение движения систем -- формализмы Лагранжа Аннотация: Путем численного моделирования изучаются основные характеристики движения равновесной системы потенциально взаимодействующих материальных точек в неоднородном поле сил и критерии, определяющие переход от дискретного описания к термодинамическому описанию систем. Рассматривается изменение внутренней энергии системы при прохождении потенциального барьера в зависимости от ширины барьера, числа элементов системы, начальных условий. Показывается, как меняется амплитуда флуктуаций энергетических параметров системы в зависимости от числа материальных точек. Выполняются оценки Д-энтропии. Установлено два критических числа. Первое число определяет необходимое количество МТ для перехода системы к необратимой динамике, а второе число - переход к термодинамическому описанию. Анализируется соответствие результатов теоретическим основам динамики систем. Доп.точки доступа: Андреев, А. Б. Нет сведений об экземплярах (Источник в БД не найден) |
Егорова, Инга Сергеевна (аспирант). Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов [Текст] / И. С. Егорова, В. М. Ицыксон> // Информационно-управляющие системы. - 2018. - № 2. - С. 67-75 : 3 табл. - Библиогр.: с. 73-74. - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1684-8853
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): динамические методы -- динамический анализ -- программные библиотеки -- программные проекты -- формализмы -- формальная спецификация Аннотация: Произведены обзор, сравнение и классификация различных формализмов, используемых для описания программных компонентов. Доп.точки доступа: Ицыксон, Владимир Михайлович (кандидат технических наук) Нет сведений об экземплярах (Источник в БД не найден) |
Шалак, Владимир Иванович (доктор философских наук). О процессуальной логике [Текст] / В. И. Шалак> // Вопросы философии. - 2019. - № 2. - С. 35-40. - Библиогр.: с. 39-40 . - ISSN 0042-8744
Рубрики: Философия Метафизика. Онтология Кл.слова (ненормированные): разум -- онтология -- процессы (философия) -- взаимодействующие процессы -- алгебра процессов -- теория отношений -- логика -- процессуальная логика -- формализмы -- рассуждения -- арабо-мусульманская культура -- философское наследие Аннотация: В центре внимания – обсуждение идей, высказанных А. В. Смирновым в статье "Процессуальная логика и ее обоснование". Предложенный формализм не позволяет адекватно отразить особенности рассуждений о взаимодействующих процессах. В первую очередь это вызвано сложностью предмета исследования – взаимосвязанными динамическими процессами. Если представить рассуждения о процессах в терминах теории отношений, то упускается их отличительная особенность – динамический характер. Из теории вычислимости известно, что статичное теоретико-множественное представление функций не совпадает с представлением функций как вычислительных процедур. Точно так же и с процессами, которые мы наблюдаем в окружающем мире. Параллельно протекающие и взаимодействующие процессы несводимы к последовательным. К такому выводу подталкивает ряд нерешенных задач теории вычислимости. Необходимо дополнительное изучение процессов и создание специальных формализмов для их представления, после чего может быть поставлена задача поиска соответствующих им правил рассуждений. В информатике активное изучение взаимодействующих процессов началось после появления многопроцессорных систем для параллельных вычислений. Их моделирование и изучение проводилось средствами многосубъектной эпистемической логики и специальной алгебры процессов. Но эта задача все еще не получила окончательного решения. Как указывает автор обсуждаемой статьи, сохранившее самобытность философское наследие арабо-мусульманской культуры является носителем процессуального, а не субстанциального взгляда на окружающий мир. С этой точки зрения в нем может содержаться много ценных идей, которые способны помочь в решении поставленной задачи. Доп.точки доступа: Смирнов, А. В. (доктор философских наук; член-корреспондент РАН; директор ; 1958-) Нет сведений об экземплярах (Источник в БД не найден) |