Вестник Пермского университета. Серия: Математика. Механика. Информатика

Для сингулярного функционально-дифференциального уравнения установлен новый эффективный критерий экспоненциальной устойчивости решений.

Ключевые слова

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

Ключевые слова

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

Ключевые слова

Проведено исследование зависимости энтропии и частотных характеристик текста от времени его создания и авторства. Приведен краткий обзор существующих методик атрибуции и предложен новый подход, на основе анализа комплексной величины текста - энтропии, которая является одной из основных характеристик теории информации. Для исследования использовались художественные тексты, написанные в прозе на русском языке. Подробно рассмотрено понятие энтропии как комплексной характеристики текста. Приводятся примеры влияний различных произведений на частотный анализ текста. Показано, что энтропия как интегральная характеристика частотного анализа может быть использована для атрибуции текста, в частности для установления его авторства и времени создания. Для авторов разных веков взяты группы произведений и рассмотрены зависимости между авторством, энтропией, значением частотного анализа, годом и, соответственно, веком написания произведения. Показано, что для текстов отдельного автора энтропия имеет нормальное распределение. С помощью метода наименьших квадратов выведена линейная зависимость года создания произведения от энтропии текста во временном диапазоне XVII-XX в., произведен расчет точности полученной формулы. На основе частотного анализа подробно рассмотрены произведения XVII, XVIII, XIX и XX вв. Полученные в результате исследований значения объясняются различными факторами, влияющими на развитие литературного русского языка, некоторые из этих факторов приведены в работе. На основе исследования энтропии текстов, показано, что во многих случаях авторы имеют непересекающиеся или слабо пересекающиеся друг с другом диапазоны значений энтропии. Данный факт позволяет делать сравнительный анализ и судить о принадлежности конкретного произведения, конкретному автору, так в работе был рассмотрен вопрос с авторством произведения "Тихий Дон". Так как энтропия является объективной характеристикой текста, не зависящей от субъективных оценок и анализ текста на ее основе не является трудоемким, то можно говорить о новом математическом подходе к атрибуции текста в рамках информационных технологий.

Ключевые слова

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

Ключевые слова

Рассматриваются условия существования и устойчивости регулярной прецессии гиростата, движущегося относительно центра масс и обладающего магнитными свойствами, в стационарном поле магнитного диполя.

Ключевые слова

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

Ключевые слова

Рассматривается модель многоагентного взаимодействия между коррупционными структурами и антикоррупционными подразделениями. Решается задача оптимального использования антикоррупционных подразделений для случая компромиссного решения, выбранного в качестве критерия оптимальности.

Ключевые слова

Формализуется и исследуется нелинейная модель управления антикоррупционными мероприятиями в коррупционной среде с помощью аппарата теории управляемых марковских процессов. Для нахождения оптимальной антикоррупционной стратегии применяется итеративный метод Ховарда. Приведен численный пример.

Ключевые слова

Описаны и проанализированы фильтры нижних частот. Здесь рассмотрены 5 видов фильтров, представленные в LabVIEW в виде так называемых "Виртуальных приборов" (VI): фильтр Баттерворта, фильтр Чебышева I и II рода, Эллиптический фильтр (или фильтр Кау-эра) и фильтр Бесселя. Приведен пример применения вышеназванных фильтров.

Ключевые слова

Найдена новая формулировка критерия асимптотической устойчивости и устойчивости по Ляпунову одной модели линейного осциллятора с запаздывающей обратной связью. С её помощью найдены простые эффективные признаки устойчивости.

Ключевые слова

Рассматривается проблема построения обыкновенных дифференциальных уравнений для первых моментов вектора состояния линейной стохастической динамической системы со специальными формами запаздываний - с распределенными и конечными сосредоточенными. На основе последовательно развиваемой в работах автора схемы, сочетающей классический метод шагов и расширение пространства состояния (МШРПС), строится цепочка стохастических дифференциальных уравнений без запаздывания, а затем и уравнения для искомых моментов.

Ключевые слова

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

Ключевые слова

Цель статьи: обосновать целесообразность и изложить формальное описание механизма логического вывода в Прологе. Неформальное описание того, как Пролог-система отвечает на вопросы, позволяет ввести основные понятия механизма вывода, однако даёт понятное объяснение поиска решения только простых задач. Формальное же описание механизма логического вывода позволяет понять все особенности организации и управления поиском решения задач любой сложности. Так как программирование на Прологе требует глубокого понимания процесса доказательства цели, использование формального описания механизма вывода является достаточно важным.

Ключевые слова

Спроектирована и разработана подсистема полнотекстовой индексации и полнотекстового поиска для платформы облачного контент-репозитория. Разобрана структура и интерфейс контент-репозитория C2R (Lily, Solr, HDFS Apache Hadoop), NoSQL базы данных HBase, описаны функции и возможности Apache Solr. Разработан Генератор схемы индексов, и интерфейсы простого и расширенного поиска для платформы C2R Archivarius посредством HTML, CSS и PHP.

Ключевые слова

Описывается отказоустойчивый логический элемент ПЛИС FPGA (field-programmable gate array), показывается, что при четырёх - пяти переменных резервирование путём учетвере-ния транзисторов дерева LUT (Look Up Table) предпочтительней, чем троирование, не толь­ко по вероятности безотказной работы, но и по сложности. Относительно конфигурационной памяти SRAM такое резервирование также целесообразней троирования даже с тремя ма-жоритарами. В случае резервирования LUT вместе с конфигурационной памятью SRAM можно получить значительный выигрыш в вероятности безотказной работы порядка 70% относительно максимально возможного за относительно умеренные затраты порядка 30%.

Ключевые слова

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

Ключевые слова

Рассматривается проблема автоматизированного процесса распознавания изображений пыльцевых зерен, полученных с помощью микроскопа. Задача является актуальной, по­скольку позволяет автоматизировать рутинный процесс отнесения пыльцевых зерен к тому или иному классу и тем самым, например, определить период пыления растений. Своевре­менное определение момента пыления растений, вызывающих аллергические реакции у лю­дей, очень важно для предупреждения острых аллергических заболеваний. Авторы попыта­лись применить для распознавания как классические методы (лингвистический), так и при­шедшим на смену классическим методы распознавания с помощью нейронных сетей. Для распознавания авторы используют нейронную сеть Хэмминга. На этапе предварительной обработки изображения (устранение шума, бинаризация, сегментация) применены функции библиотеки OpenCV и метод особых точек (также реализованный в библиотеке OpenCV). Результаты экспериментов показали относительную эффективность применяемых методов. Выводы об эффективности сделаны на основе подсчета ошибок первого и второго рода.

Ключевые слова

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

Ключевые слова

Определяется понятие интернетизации, которое оказывает большое влияние на сферу обра­зования, и связанные с этим процессом изменения в школьном курсе информатики. Отме­чено, что интернетизация становится причиной детализации предметной области информа­тики путем добавления подраздела "Коммуникационные технологии". Далее рассматрива­ются федеральные государственные образовательные стандарты по информатике и ИКТ основного общего и среднего (полного) общего образования (базовый и профильный уров­ни) как первого, так и второго поколений. Каждое поколение стандартов оценивается с точ­ки зрения процесса интернетизации. Согласно стандарту первого поколения у большинства выпускников школ в процессе изучения информатики и ИКТ формируются лишь умения и навыки в области поиска информации в сети Интернет и работы с электронной почтой. Принятые в 2009-2012-х гг. так называемые стандарты второго поколения ориентированы на результат и развитие универсальных учебных действий. В «Примерную основную обра­зовательную программу образовательного учреждения» для основной школы, разработан­ную на основе стандарта второго поколения, включается значительное число требований к выпускнику, связанных с работой в сети Интернет, которые разбросаны по разделу "Фор­мирование ИКТ-компетентности обучающихся". Тем самым, новые образовательные стан­дарты для школьного образования в области информатики гораздо больше соответствуют нарастающей интернетизации общества.

Ключевые слова

Представлен подход к разработке кодификатора предметных результатов обучения по ин­форматике в школе. Проанализированы нормативные документы в сфере российского обра­зования за последние 10 лет; подходы к термину "компетентность". Предложена структура и наполнение кодификатора предметных результатов обучения по информатике в школе с учетом компетентностного подхода, а также, на основе опыта преподавания, сделаны выво­ды о достаточности изученного материала для успешного продолжения обучения по ин­форматике в вузе.

Ключевые слова

Приводятся некоторые факты истории создания теории реактивного движения, построенной на основе фундаментальных научных трудов выдающегося учёного, классика российской науки Ивана Всеволодовича Мещерского (10.08.1859-07.01.1935).

Ключевые слова

Приводится краткий исторический экскурс формирования основных физических законов механики до середины XVII в.

Ключевые слова

10 ноября 2014 г. после продолжительной болезни ушел из жизни доктор педагогических наук, профессор кафедры прикладной математики и информатики Игорь Геннадьевич Семакин.