SCI Библиотека

В настоящее время проводятся активные исследования возможностей использования неклассических логик в моделировании рассуждений когнитивного агента. В статье рассматривается проблема разработки и реализации прототипа решателя расширенных шаговых теорий в случае, когда решения по управлению сложным техническим объектом принимаются в условиях жестких временных ограничений. Рассматривается логическая система, основанная на использовании шаговых теорий с двумя видами отрицания, - система расширенных шаговых теорий. Использование двух видов отрицания позволяет выводить как истинные факты, так и факты-убеждения, что важно при моделировании рассуждений человека. Основное внимание уделяется вопросу организации процедуры вывода на основе использования неклассических логик в моделировании рассуждений когнитивного агента. Приводятся основные этапы разработки прототипа расширенных шаговых теорий с использованием литералов логики высказываний. Для каждого компонента решателя описаны его функции, задачи, входные и выходные данные. Обоснован выбор системы вывода clingo, поддерживающей формирование расширенных логических программ Answer Set Programming (ASP) как инструмента реализации решателя. Приведены алгоритмы трансляции расширенных шаговых теорий в логическую программу, соответствующую синтаксису ASP. При организации логического вывода использован алгоритм циклической обработки множеств убеждений расширенных шаговых теорий в среде clingo. Основные этапы работы этого алгоритма рассмотрены на примере, где разбираются этапы работы решателя и приводятся результаты, представленные в синтаксисе clingo. Пример работы решателя демонстрирует основные особенности расширенных шаговых теорий в задачах жесткого реального времени, такие как отказ от логического всеведения, самопознание и темпоральная чувствительность. В дальнейшем планируется рассмотреть применимость созданного решателя к более сложной формальной системе - логике предикатов первого порядка.

Цель. Целью статьи исследование сущности повышения финансовой грамотности населения в контексте эффективности принятия решений. Методика. В процессе исследования использованы методы системного анализа и синтеза.

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

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

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

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

Научная новизна. Получили дальнейшее развитие теоретические основы повышения финансовой грамотности населения в контексте эффективности принятия решений.

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

Цель. Проанализировать эволюцию логистических услуг и систематизировать логистические услуги нового поколения. Методика. Применены методы информационно-аналитического поиска и системного анализа.

Результаты. Инновации в современном мире приобретают всё большее и большее значение, проникая во все сферы жизнедеятельности людей и общества в целом. Логистика и управление цепями поставок в этом смысле не исключение. Активное использование огромных объемов информации, работа с разрозненными программными продуктами обуславливает необходимость внедрения новых способов работы в сфере логистики. С приходом четвертой промышленной революции и цифровой эры, интерес компаний и промышленных предприятий сместился к так называемой Логистике 4.0, т.е. интеллектуальному управлению цепями поставок.

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

Для управления проектами менеджерам требуется знать реально затрачиваемое рабочее время. Однако, по данным опросов исследовательской компании IDC, процедура заполнения табеля рабочего времени сотрудниками многих компаний является довольно неудобной и долгой. Авторы данной статьи предлагают способ решения проблемы учета рабочего времени сотрудников предприятия в условиях удаленной работы, основанный на разработке отдельной информационной системы с возможностью ее интеграции в существующую систему управления проектами. Для серверной части был использован фреймворк NestJS, для клиентского веб-приложения - фреймворк Angular JS. В процессе моделирования информационной системы получены диаграммы процесса учета рабочего времени до и после автоматизации с использованием современных нотаций для их построения. В качестве системы управления реляционными БД использован MS SQL Server. В работе проведен сравнительный анализ существующих для учета времени сотрудников предприятия решений, таких как TMetric, StaffCop, WorkPoint, Kickidler, ManicTime, CrocoTime, выявлены их основные преимущества и недостатки. Рассмотрены методика, средства проектирования и разработка информационной системы, успешно внедренной во внутреннюю структуру малого предприятия, 70 % сотрудников которого перешли на удаленный режим работы. Расчет эффективности работы средств автоматизации показал сокращение трудоемкости заполнения табелей учета времени на 80 %, а временных затрат на 60 %. Детальные отчеты о затраченном времени позволяют более эффективно распределять ресурсы по задачам, что обусловливает повышение общей управляемости проектами.

В настоящей работе исследуется эффективность планирования очереди с помощью предобученных моделей. Суперкомпьютерный кластер применяет планировщик для распределения поступающего потока заданий между доступными вычислительными ресурсами. Для размещения задания в очереди планировщик использует данные, указанные пользователем, в том числе заказанное время работы программы. Однако пользователи часто неверно оценивают время работы и указывают верхнюю оценку. Если задание завершается раньше, чем указано, то планировщику необходимо перепланировать очередь. Большое количество подобных событий может снижать эффективность распределения ресурсов. В последнее время появилось множество работ, посвященных применению машинного обучения для предсказания времени работы задания. Это позволяет в процессе планирования использовать время работы, вычисленное с помощью предобученной модели. Однако все полученные модели содержат ошибку. Проблема заключается в необходимости оценки эффективности планирования при заданном значении ошибки модели. В данном исследовании для оценки эффективности планирования очереди с помощью предобученных моделей сравниваются два сценария: планировщик использует указанное пользователем время (сценарий 1) и реальное время работы задания (сценарий 2). С помощью симулятора планировщика SLURM была произведена симуляция на статистических данных суперкомпьютера МВС-10П ОП2, установленного в Межведомственном суперкомпьютерном центре РАН. Результаты показали, что среднее время ожидания в сценарии 2 уменьшилось на 25 %, а приведенное время ожидания - на 50 %. Утилизация ресурсов изменилась незначительно. Данные эксперимента доказывают целесообразность применения алгоритмов машинного обучения для предсказания времени работы заданий, поступающих на суперкомпьютерный кластер. Таким образом, в статье приводится оценка предельной оптимизации, так как эксперимент предполагает стопроцентную точность предсказания, что на сегодняшний день не демонстрирует ни одна из представленных работ по предсказанию времени работы заданий.

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

Основу сборника составляют задачи, к курсу алгебры, который в 1995—2000 годах читался в школе-интернате им. А. Н. Колмогорова

Статья посвящена творческому наследию академика РАН Ю. В. Яременко, который внес существенный вклад в развитие теоретической экономической традиции, относимой к гетеродоксальным теориям. Его теория основана на развитии подхода к экономике как неоднородной по качеству и пирамидальной по форме структуре, в которой на нижних уровнях используются массовые и дешевые ресурсы, дающие низкую отдачу, а на верхних - более производительные, но и более дорогие качественные ресурсы. Тогда экономический рост неоднороден и описывается через взаимодействие двух качественно отличающихся процессов, что позволило объяснить эффекты научно-технологического развития через «структурные сдвиги». Соотношения процессов замещения и компенсации порождают в ходе исторического развития разные формы трудосберегающего и капиталосберегающего научно-технологического прогресса. Системность его теории проявляется в увязке описания взаимодействий на макроуровне с взаимодействиями на микроуровне, то есть с особенностями поведения предприятий, которые реагируют на дефицит ресурсов усложнением своего производства. Его теория органично объясняет, почему советская экономика не смогла совершить переход к интенсивному росту: помимо внешних ограничений, она породила и внутренние ограничения, в частности, в виде гипертрофированного развития военно-промышленного комплекса, а также потери КПСС роли, способной обеспечить общегосударственный интерес для всех хозяйствующих субъектов. В настоящее время возможно расширение теоретических конструкций Ю. В. Яременко на всю глобальную экономику как на гетерогенную иерархическую общественную объективацию, в формировании которой особую роль играет технологическое лидерство, - в виде постоянно перестраивающихся трех взаимоувязанных и сложным образом взаимодействующих «пирамидальных» структур: материальной, технологической и финансовой.

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

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

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

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

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

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