Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi
Статьи журнала - Вестник Пермского университета. Математика. Механика. Информатика
Все статьи: 851
Опыт распознавания пыльцевых зерен с применением метода голосования
Статья научная
Рассматриваются вопросы применения метода голосования для распознавания пыльцевых зерен. Авторы дают обзор работ, связанных с распознаванием пыльцевых зерен, приводят результаты экспериментов и оценку классификатора. К сожалению, метод показал не очень высокие результаты.
Бесплатно
Опыт создания макета критической инфраструктуры организации
Статья научная
В статье описывается разработанный авторами лабораторный комплекс киберполигона для обучения навыкам отражения компьютерных атак специалистами информационных технологий. Основа лабораторного комплекса опирается на модель критической инфраструктуры объекта Росгвардии. Использование данного комплекса повлияет на интенсификацию и активизацию обучения в вопросах информационной безопасности за счет моделирования компьютерных атак и отработки реакций на них, а также визуализации данных процессов.
Бесплатно
Опыт создания нейросетевой системы для диагностики сердечно-сосудистых заболеваний
Статья научная
Разработана компьютерная диагностическая система для выявления наиболее распространенных заболеваний сердечно-сосудистой системы. В основе диагностической системы лежат нейронные сети, обученные на примерах работы группы врачей-экспертов. Установлены значимости симптомов для каждого из рассмотренных 9 заболеваний, проведены компьютерные эксперименты по "виртуальному излечению больных". Имеется демонстрационный прототип, который по 51 входному параметру, характеризующему пациента и его симптомы, ставит диагноз 9 заболеваний. Диагностическая система может быть использована для консультации врачей, работающих в сельской местности, для скриннинговых профилактических проверок состояния здоровья широких масс населения, а также для самоконтроля пациентами своего состояния здоровья.
Бесплатно
Статья научная
Рассматриваются пути и варианты сотрудничества между университетами и компаниями-работодателями. Изучается опыт механико-математического факультета Саратовского национального исследовательского государственного университета по профориентацион-ной работе со студентами и привлечению работодателей к учебной и воспитательной работе. Цель данного сотрудничества - формирование мотивации к обучению у студентов путем наглядной демонстрации связи различных элементов учебного процесса с дальнейшим успешным трудоустройством и карьерным ростом.
Бесплатно
Ослабления условия инцидентности для подгрупп, рассмотренные алгебраистами пермского университета
Статья научная
В первой части статьи приводятся условия инцидентности, введенные и рассмотренные в публикациях алгебраистов Пермского университета, и сведения о том, где и какие классы групп ими описаны. Во второй части анонсируются результаты, полученные пермскими алгебраистами при изучении групп с рядом новых обобщений условий инцидентности для нециклических подгрупп: приводятся формулировки доказанных ими 14 новых теорем. Доказательства этих теорем предполагается опубликовать в серии отдельных статей.
Бесплатно
Статья научная
Рассматривается история создания Петербургской Академии наук и ее влияние на становление и развитие высшего математического образования в России.
Бесплатно
Особенности асинхронной ПЛИС speedster22i
Статья научная
Рассматриваются особенности программируемой логической схемы (ПЛИС) Speedster22i типа FPGA (Field-Programmable Gate Array) фирмы Аchronix. Анализируется архитектура ПЛИС и процессы тактирования. Выясняется, что речь идет не об отсутствии синхронизации, а о множественной распределённой синхронизации, и ПЛИС не может быть названа самосинхронной.
Бесплатно
Особенности использования модели вязкоупругого материала в программном комплексе ANSYS
Статья научная
Приведен эксперимент на одноосное циклическое растяжение с нарастающей амплитудой наполненного эластомерного материала. Такие материалы обладают сложными механизмами механического поведения, кроме упругости здесь присутствуют вязкоупругость и эффект размягчения Маллинза. По данным эксперимента в программном комплексе ANSYS построена математическая модель вязкоупругого материала с эффектом размягчения. Показано, что совместное использование гиперупругой модели Огдена, модели размягчения Огдена-Роксбурга и вязкоупругой модели Прони в программном комплексе ANSYS достаточно точно описывает механическое поведение материала для кратности удлинения 2.
Бесплатно
Особенности конвективного теплопереноса в магнитных наножидкостях
Статья научная
Экспериментально исследовано влияние внешнего однородного вертикального магнитного поля на конвективную неустойчивость в плоском горизонтальном слое магнитной наножид-кости, подогреваемом снизу или сверху. Изучены особенности конвективного теплообмена в зависимости от приложенного магнитного поля и перепада температур для жидкостей с различным содержанием магнитной фазы. Показано, что теплоперенос в магнитных наножидкостях увеличивается благодаря термомагнитной конвекции в несколько раз. При подогреве слоя снизу обнаружено не согласующееся с предсказаниями теории стабилизирующее влияние магнитного поля на конвективную неустойчивость.
Бесплатно
Особенности логического вывода в пролог-программах
Статья научная
Логический вывод может быть основан на методе резолюций, который предполагает доказательство от противного путем получения резольвент из исходного множества дизъюнктов. Если выводится пустой дизъюнкт (пустое множество), вывод считается правильным. Язык ПРОЛОГ, как язык логического программирования, базируется на первопорядковой логике предикатов. Однако имеются существенные отличия в процедурах вывода. В статье на конкретном примере рассматриваются особенности логического вывода, основанного на логике предикатов и логического вывода в программе на языке ПРОЛОГ.
Бесплатно
Статья научная
На основе обобщения опыта исследования соответствующих проблем авторами рассматриваются особенности задач сравнения монолитных преград со слоистыми, а также слоистых преград (СП) различной структуры между собой с точки зрения наилучшего обеспечения защиты против высокоскоростного удара. Под СП понимаются как преграды со слоями в контакте, так и с воздушными зазорами между ними. Большое внимание уделяется обсуждению характерных подходов к проблеме. Кратко изложены основные результаты исследований.
Бесплатно
Особенности моделирования и оптимизации комплекта новых логических элементов ПЛИС
Статья научная
Функциональные возможности и области применения программируемых логических интегральных схем (ПЛИС) постоянно расширяются, в том числе в специальной аппаратуре. Имеются два основных вида ПЛИС: FPGA (Field-Programmable Gate Array) и CPLD (Complex Programmable Logic Device), отличающиеся принципами реализации логики и хранения конфигурационной информации. Тем не менее, различия между ними постепенно нивелируются: так, в продуктах фирмы Интел ПЛИС FPGA, имеющие конфигурационную флэш-память отнесены к CPLD, хотя логические элементы типичны для FPGA, в которых используется оперативная память, требующая загрузки при включении питания. На этом фоне отмечаются попытки комплексирования двух подходов к реализации логики и создания гибридных ПЛИС. В статье анализируются особенности моделирования и оптимизации комплекта новых логических элементов ПЛИС для реализации систем функций.
Бесплатно
Особенности моделирования распределенных информационных систем
Статья научная
Статья посвящена имитационному моделированию распределенных информационных систем. В настоящее время существует большое количество специализированных программных систем, которые предназначены для построения имитационной модели распределенных систем и последующего проведения имитационного эксперимента. В статье рассматриваются программные и языковые средства системы автоматизированного проектирования Triad.Net, особенности построения Triad-модели и вопросы автоматизации изменения Triad-модели в ходе имитационного эксперимента. Среди свойств распределенных систем можно выделить свойства масштабируемости и отказоустойчивости, в результате которых количество вычислительных узлов системе изменяется. Особое внимание в статье уделяется автоматизации операций добавления и удаления объектов модели, ассоциируемых с вычислительными узлами.
Бесплатно
Особенности реализации алгоритма многомерного взвешивания наблюдений
Статья научная
Описана реализация алгоритма многомерного взвешивания наблюдений, использующая исходную функцию взвешивания, основанную на неравенстве Чебышёва, и итерационный подход, - результаты взвешивания наблюдений предназначены для получения устойчивых оценок в многомерных методах (корреляции, регрессии и т. п.), приведены примеры вычисления таких оценок. Приведенный алгоритм используется при итерациях перенормировки по одномерным подпространствам, т. е. не зависим от выбора масштаба измерений по отдельным осям исходных многомерных данных.
Бесплатно
Особенности формализации транзисторных схем логических элементов
Статья научная
КМОП-схемы (комплементарная структура металл-оксид-полупроводник; англ. CMOS, complementary metal-oxide-semiconductor) как правило - последовательно-параллельные и описываются дизъюнктивной нормальной формой (ДНФ) реализуемых ими логических функций. С целью упрощения схемы применяют скобочную форму. Эти структуры могут быть описаны соответствующей цепочкой символов (словом). Однако в ряде случаев используют схемы, которые не могут быть описаны цепочками. Кроме того, иногда в схему вводят так называемые мостики-транзисторы. В статье анализируются особенности логического описания таких схем и предпринимается попытка их формализации.
Бесплатно
От логики формальной до логики символической
Статья научная
Представлен краткий исторический обзор становления символической логики от логики Аристотеля до современной математической логики.
Бесплатно
Отказоустойчивая статическая оперативная память на основе ячеек БМК
Статья научная
Предлагается отказоустойчивая ячейка памяти SRAM с учетверением транзисторов -QSRAM. Показывается предпочтительность такого технического решения по ряду показателей - в сравнении с троированием - известным вариантом TMR (Triple Modular Redundancy). Выполняется моделирование в системе схемотехнического моделирования NI Multisim.
Бесплатно
Статья научная
Предложено для повышения отказоустойчивости ячейки памяти SRAM использовать элементы с избыточным базисом - функционально полные толерантные (ФПТ) элементы, обеспечивающие работоспособность в случаях отказов и сбоев соответствующих транзисторов. Описано моделирование стандартной ячейки памяти SRAM, а затем ее модификации с использованием функционально полных толерантных элементов. Подтверждена работоспособность ячейки памяти при однократных константных отказах (сбоях). Произведено сравнение с отказоустойчивой реализацией в виде троированной ячейки памяти с мажоритарным элементом на выходе, показывающее предпочтительность предложенной ячейки по показателям сложности, быстродействия и вероятности безотказной, бессбойной работы.
Бесплатно
Отказоустойчивый логический элемент LUT плис FPGA
Статья научная
Описывается отказоустойчивый логический элемент ПЛИС FPGA (field-programmable gate array), показывается, что при четырёх - пяти переменных резервирование путём учетвере-ния транзисторов дерева LUT (Look Up Table) предпочтительней, чем троирование, не только по вероятности безотказной работы, но и по сложности. Относительно конфигурационной памяти SRAM такое резервирование также целесообразней троирования даже с тремя ма-жоритарами. В случае резервирования LUT вместе с конфигурационной памятью SRAM можно получить значительный выигрыш в вероятности безотказной работы порядка 70% относительно максимально возможного за относительно умеренные затраты порядка 30%.
Бесплатно
Откатные строительные пушки от прошлого до настоящего
Статья научная
Кратко рассказана история создания математической теории и эксплуатация артиллерийских орудий, предназначенных для застреливания строительных элементов в грунт. Приведена историческая справка, охватывающая временной период от 30-х гг. до середины 90-х гг. XX в. Показаны созданные в России установка для застреливания анкеров УВА-2, успешно эксплуатировавшаяся в Тюмени при креплении трубопроводов от всплытия на болотах, и многофункциональная установка для застреливания анкеров и свай УЗАС-2 (фотографии УЗАС-2 при вертикальном застреливании свай и горизонтальном проколе возвышенностей см. на рис. 1 и 2). В статье опписан способ импульсного вдавливания свай в грунт, предложенный в середине 90-х гг., приведены численные характеристики эффективности и производительности УЗАС-2, полученные в результате промышленной эксплуатации установки при обустройстве нефтяных и газовых месторождений Западной Сибири и промышленном строительстве на Урале. Описаны особенности конструкции одноствольных орудий, которые можно применять при проведении строительных работ на воде, а также обосновывается использование способа импульсного вдавливания длинных строительных элементов в донный грунт из пушек, расположенных на водной поверхности. Приведены основные результаты современных исследований, начинающиеся с 2000 г. В частности, приведена принципиальная схема конструкции многоствольных строительных артиллерийских орудий. Численные эксперименты, проведенные на основе математических моделей многоствольных строительных пушек, позволяют предполагать, что многоствольные пушки при решении задач строительства будут также эффективны, как и одноствольные, так, например, численными экспериментами показана возможность застреливания свай в грунты средней плотности из многоствольных пушек на глубину свыше 30 м.
Бесплатно
