530.145 Ж 352 Жарков, В. М. Использование системы "Cadabra" для вычисления эффективного функционала модели Хаббарда / В. М. Жарков // Вестник Пермского университета. Сер.: Информационные системы и технологии. - 2009. - Вып. 9 (35). - С. 18-24. - Библиогр.: с. 24
Рубрики: Физика Квантовая теория поля Кл.слова (ненормированные): аналитические вычисления -- модель Хаббарда -- Хаббарда модель -- система Cadabra |
550.8 Г 342 Геник, И. В. Расчет плотности в трехмерном горизонтальном слое / И. В. Геник // Новые идеи в науках о Земле: докл. 9-й Междунар. конф., Москва, 14-17 апр., 2009. - М., 2009. - Т. 2. - С. 64-67
Рубрики: Геология Геологическая разведка Кл.слова (ненормированные): горизонтальный трехмерный слой -- расчет плотности -- алгоритмы вычисления |
531.5 П 815 Проничев, А. А. (аспирант). Способ направленного перебора для решения обратной строительной основной задачи внутренней баллистики многоствольных откатных артиллерийских систем / А. А. Проничев // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2009. - Вып. 3 (29). - С. 82-88. - Библиогр.: с. 88
Рубрики: Механика Сила тяжести. Гравитация. Маятники. Баллистика Кл.слова (ненормированные): задача -- импульс -- вычисления |
004.94 О-627 Оптимизация времени выполнения параллельных вычислений / Е. Б. Замятина [и др.] // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2009. - Вып. 3 (29). - С. 132-138. - Библиогр.: с. 138
Рубрики: Вычислительная техника Имитационное компьютерное моделирование Кл.слова (ненормированные): параллельные вычисления -- выполнение вычислений -- оптимизация вычислений Доп.точки доступа: Замятина, Е. Б.; Ефимов, А. Ю.; Козлов, А. А.; Усынин, А. С. (аспирант) |
378 П 525 Полосков, И. Е. Компьютерная алгебра в образовании / И. Е. Полосков // Университет в системе непрерывного образования: материалы междунар. науч.-метод. конф. - 2008. - С. 435-436
Рубрики: Образование. Педагогика Высшее профессиональное образование Кл.слова (ненормированные): компьютерная алгебра -- символьные выкладки -- алгебраические вычисления -- система аналитических вычислений |
004.94 З-269 Замятина, Е. Б. Мультиагентная балансировка с использование агентов, обученных на нейронных сетях / Е. Б. Замятина, Н. А. Стаценко, К. Б. Юрков // Математика программных систем: межвуз. сб. науч. тр. / Перм. ун-т. - Пермь, 2008. - С. 130-136. - Библиогр.: с. 136
Рубрики: Вычислительная техника Имитационное компьютерное моделирование Кл.слова (ненормированные): компьютерные сети -- параллельные вычисления -- мультиагентная балансировка -- алгоритмы балансировки -- нейронные сети -- агент обучения Доп.точки доступа: Стаценко, Н. А.; Юрков, К. Б. |
004.67 И 741 Информационные технологии вычисления производных в MAPLE : учебно-метод. пособие / Перм. ун-т ; сост. В. Г. Гилев. - Пермь : [б. и.], 2010. - 44 с. - Б. ц.
Рубрики: Вычислительная техника Вычислительные сети Кл.слова (ненормированные): информационные технологии -- maple 10 Доп.точки доступа: Гилев, В. Г. \сост.\; Перм. ун-т Свободных экз. нет |
Жарков, В. М. Технология Ads/Cft и "Mathematica" / В. М. Жарков // Вестник Пермского университета. Сер.: Информационные системы и технологии. - 2010. - Вып. 2 (39). - С. 25-29. - Библиогр.: с. 28 (5 назв.). - d, 2008, , 0 . - ISSN 2076-8141
Рубрики: Вычислительная техника Имитационное компьютерное моделирование Физика Электрические и магнитные свойства твердых тел Кл.слова (ненормированные): технология Ads/Cft -- аналитические вычисления -- материаловедение Аннотация: Обсуждаются место и перспективы технологии Ads/Cft и системы аналитических вычислений "Mathematica" в современном прогнозировании свойств материалов. |
Марценюк, М. А. Операторно-логический метод представления учебного материала / М. А. Марценюк, С. Б. Карпов // Вестник Пермского университета. Сер.: Информационные системы и технологии. - 2010. - Вып. 2 (39). - С. 35-45. - Библиогр.: с. 44-45 (13 назв.) . - ISSN 2076-8141
Рубрики: Образование. Педагогика Применение вычислительной техники в педагогике Кл.слова (ненормированные): обучение в вузе -- педагогические методики -- модельный подход -- компьютерные вычисления -- операторно-логический метод Аннотация: Решение новых учебных задач, включающих компьютерные вычисления, требует многоплановых действий, таких как многократный возврат к постановке задачи, содержательная интерпретация получаемых результатов, планирование дальнейших операций и т. д. В работе показано, что удобным и наглядным инструментом, облегчающим усвоение нового материала, являются так называемые "операторно-логические схемы (ОЛС)", по шагам задающие траекторию движения студента. По мере обучения происходит внутреннее объединение простых шагов в составные действия. Доп.точки доступа: Карпов, С. Б. |
Полосков, И. Е. О модификации итерационной схемы вычисления матрицы-функции Грина в задачах анализа линейных стохастических интегродифференциальных систем / И. Е. Полосков // Вестник Пермского университета. Сер.: Информационные системы и технологии. - 2010. - Вып. 2 (39). - С. 46-51. - Библиогр.: с. 50 (15 назв.) . - ISSN 2076-8141
Рубрики: Математика Дифференциальные и интегральные исчисления в целом Кл.слова (ненормированные): итерационная схема -- матрица-функция Грина -- задачи анализа -- линейные стохастические интегродифференциальные системы Аннотация: В работе представлена модификация метода последовательного дифференцирования уравнения для матрицы-функции Грина линейной стохастической интегродифференциальной системы. Целью модификации является уменьшение погрешности вычисления моментных функций фазового вектора системы. |
519.1 М 152 Макарычев, П. П. Представление преобразования "генотип-фенотип" для генетических вычислений / П. П. Макарычев, Н. В. Слепцов // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2011. - Вып. 1 (5). - С. 62-70. - Библиогр.: с. 70 (12 назв.). - d, 2008, , 0
Рубрики: Математика Комбинаторный анализ Биология Общая генетика Кл.слова (ненормированные): эволюционно-генетический поиск -- эволюционный алгоритм -- генотип-фенотип -- генетические вычисления -- математические модели -- сетевые структуры -- сетевые модули -- кодирование модулей -- прямые преобразования -- обратные преобразования Аннотация: В статье рассмотрен способ повышения эффективности эволюционно-генетического поиска. Предложены конкретные механизмы кодирования модульных сетевых структур, описаны процедуры прямых и обратных преобразований. Доп.точки доступа: Слепцов, Н. В. |
539.3 М 299 Марценюк, М. А. Матричное представление нечеткой логики / М. А. Марценюк // Нечеткие системы и мягкие вычисления. - 2007. - Т. 2, № 3. - С. 7-36
Рубрики: Физика Вычислительная механика сплошных сред Кл.слова (ненормированные): векторная логика -- квантовая логика -- разветвленная цепь токов -- энтропия |
512 Ш 378 Шевцов, Г. С. Линейная алгебра: теория и прикладные аспекты : учебное пособие для математических направлений и специальностей / Г. С. Шевцов. - 2-е изд., испр. и доп. - М. : Магистр : ИНФРА-М, 2010. - 528 с. - Библиогр.: с. 518-520. - ISBN 978-5-16-004488-0 : Б. ц. Содержание: Первоначальные сведения Системы линейных уравнений. Определители Матрицы и действия над ними Линейные пространства Линейные операторы в линейных пространствах Каноническая жорданова форма матрицы Функции от матриц Евклидовы и унитарные пространства Квадратичные формы Итерационные методы решения систем линейных уравнений О приближенных методах вычисления собственных значений и собственных векторов Элементы п-мерной аналитической геометрии Вычисление характеристического многочлена
Кл.слова (ненормированные): АЛГЕБРА ЛИНЕЙНАЯ -- ЛИНЕЙНЫЕ УРАВНЕНИЯ -- МАТРИЦЫ (МАТЕМАТИКА) -- ЛИНЕЙНЫЕ ПРОСТРАНСТВА -- ЛИНЕЙНЫЕ ОПЕРАТОРЫ (МАТЕМАТИКА) -- ЖОРДАНА МАТРИЦА -- ЕВКЛИДОВЫ ПРОСТРАНСТВА -- КВАДРАТИЧНЫЕ ФОРМЫ Экземпляры всего: 27 АБУ (27) Свободны: АБУ (25) |
510.6 Ч-57 Чечулин, В. Л. Моделирование логических схем посредством теории множеств / В. Л. Чечулин // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 1 (9). - С. 19-21. - Библиогр.: с. 23 (2 назв.)
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теории множеств с самопринадлежностью -- логика высказываний -- лямбда-вычисления -- логические схемы -- теорема исключения третьего -- двузначная логика Аннотация: На основании известных теорем о непротиворечивости лямбда-исчисления, доказанных в семантике самопринадлежности, описан способ моделирования логических схем посредством теории множеств, использующий модель двузначной логики; из этих теорем о непротиворечивости следует непротиворечивость моделей логических схем. |
330.4 М 17 Максимов, В. П. Краевые задачи экономической динамики с приближенным выполнением краевых условий: конструктивное исследовавние / В. П. Максимов , А. Л. Чадов // Вестник Пермского университета. Сер.: Экономика. - 2012. - Вып. 3 (14). - С. 12-17. - Библиогр.: с. 17 (24 назв.)
Рубрики: Экономика Математическая экономика. Эконометрика Математика Дифференциальные и интегральные уравнения Кл.слова (ненормированные): функционально-дифференциальные уравнения -- краевые задачи -- конструктивные методы -- вычисления Аннотация: Авторами рассматриваются линейные краевые задачи для систем функционально-дифференциальных уравнений с числом краевых условий, превышающим размерность системы. В экономической динамике краевые задачи связаны с исследованием достижимости заданных показателей функционирования экономической системы. Исследуется разрешаемость таких задач в случае, когда допускается приближенное выполнение краевых условий. Предлагаемый подход использует теоремы, условия которых могут быть проверены с использованием современных средств исчислений. Доп.точки доступа: Чадов, А.Л. (аспирант) |
519.6 К 949 Кусяков, А. Ш. Алгоритм вычисления критической нагрузки для трехслойной композитной оболочки / А. Ш. Кусяков ; Перм. гос. ун-т. - Пермь : [б. и.], 2002. - 15 с. - Деп. в ВИНИТИ 28.05.02,N 931-В2002. - Б. ц.
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): трехслойная композитная оболочка -- алгоритм вычисления -- критическая нагрузка Доп.точки доступа: Перм. гос. ун-т Свободных экз. нет |
621.37/.39 К 508 Клоц, А. Р. Моделирование процессов управления динамикой кубитов в среде 101 / А. Р. Клоц, А. Ю. Ощепков // Физика для Пермского края: межвуз. науч.-практ. конф. студентов, аспирантов и молодых ученых: тез. докл. - Пермь, 2008. - С. 102-103
Рубрики: Радиоэлектроника Радиоэлектроника в целом Кл.слова (ненормированные): квантовые компьютеры -- квантовые вычисления -- кубиты Доп.точки доступа: Ощепков, А. Ю. |
532 Г 124 Гаврилов, К. А. Об использовании пакета OpenFOAM для моделирования конвективных течений в ячейке Хеле-Шоу / К. А. Гаврилов, В. А. Демин // Высокопроизводительные вычисления на графических процессорах - 2012: тез. докл. науч-практ. конф. с международ.участием. - Пермь, 2012. - С. 14-16
Рубрики: Механика Гидромеханика и аэромеханика Вычислительная техника Имитационное компьютерное моделирование Кл.слова (ненормированные): конвективные течения -- ячейка Хеле-Шоу -- пакет OpenFOAM Доп.точки доступа: Демин, В. А. |
Дураков, А. В. Архитектура системы интеллектуального видеоанализа с использованием графического процессора / А. В. Дураков, С. В. Ивлиев // Высокопроизводительные вычисления на графических процессорах - 2012: тез. докл. науч-практ. конф. с международ.участием. - Пермь, 2012. - С. 33-35. - Библиогр.: с. 35 (2 назв.)
Рубрики: Вычислительная техника Распознавание и преобразование образов Кл.слова (ненормированные): графический процессор -- система интеллектуального видеоанализа -- видеонаблюдение Доп.точки доступа: Ивлиев, С. В. |
519.6 Ш 251 Шарапов, Ю. А. Алгоритм и программная реализация вычисления характеристик кратковременной памяти человека в аспекте моделирования роботов / Ю. А. Шарапов, Е. В. Левченко, В. И. Яковлев // Современные проблемы науки и образования. - 2012. - № 5. - С. 369
Рубрики: Математика Вычислительная математика Математическая кибернетика Кл.слова (ненормированные): теория эмоциональных роботов -- роботы -- эмоциональные роботы -- кратковременная память робота -- кратковременная память человека -- метод Джекобса -- кратковременная память (объем) -- закон Миллера Аннотация: Для развития, решения проблем, верификации теории эмоциональных роботов ведется поиск эквивалентных понятий и методов вычисления их характеристик в психологии. В статье приводится описание метода Джекобса для определения объема кратковременной памяти человека. Применена математическая формализация этого метода, на основе которой вычисляется коэффициент кратковременной памяти человека. Показана возможность использования этого коэффициента для решения проблемы о единице измерения кратковременной памяти, а так же его применение в теории эмоциональных роботов в качестве коэффициента кратковременной памяти робота. Представлена конкретная программная реализация для нахождения коэффициента кратковременной памяти (ее интерфейс, функциональность и архитектура в целом), основанная на методе Джекобса. Описаны перспективы ее дальнейшего развития и преимущества ее использования психологами. Доп.точки доступа: Левченко, Е. В.; Яковлев, В. И. |