Библиотека материалов по теме выпускной работы
Описание: В статье рассматривается проблема автоматического обобщения алгоритмов в процедурных языках программирования.
Описание: В работе исследована возможность оценки сходства 3D-моделей в САПР с помощью нейронных сетей. Выявлены преимущества использования подхода машинного обучения при классификации 3D-моделей в САПР. Проведено сравнение трех различных алгоритмов контролируемого обучения. Предложен алгоритм создания надстройки в САПР для различия 3D-геометрии.
Источник:
Описание: Проблематика адаптивности системы поддержки принятия решений в области нейросетевых технологий. В данной статье рассмотрены базовые понятия, связанные с искусственными нейронными сетями. На основе данных, полученных в ходе анализа предметной области, был сформирован перечень ключевых критериев, которые необходимо учитывать при разработке адаптивной системы помощи принятия решений в области нейросетевых технологий. Определён набор принципов и технологических решений, способствующих адаптивности системы помощи.
Описание: В статье проанализированы лучшие практики конструкторов нейронных сетей. Выделена проблематика редакторов нейронных сетей. Рассмотрены основные проблемы и форматы сохранения моделей нейронных сетей. Выделены основные требования для нового универсального конструктора нейронных сетей с возможностью экспорта и импорта моделей различных форматов.
Описание: В данной статье рассмотрен порядок практического применения метода конечных элементов, описаны преимущества метода и его особенности, рассмотрен метод структурного анализа методом конечных элементов. Были затронуты метод прямого равновесия, методы работы или энергии, принцип виртуальной работы, методы взвешенных остатков, компьютерные методы решения задач. Сделаны выводы.
Описание: В статье рассмотрена возможность использования систем автоматизированного проектирования как перспективы развития швейных предприятий. Рассмотрены основные возможности САПР для создания одежды. Классифицированы основные типы систем автоматизированного проектирования для проектирования одежды в зависимости от области применения. Выявлены преимущества использования систем проектирования на швейных предприятиях.
Описание: Цель написания данной статьи заключается в описании подходов к реализации генераторов сред программирования, анализе существующих готовых решений и выявлении основных проблем при создании подобных систем.
Описание: Цель написания данной статьи заключается в освещении проблематики компилирующих программ для специализированных языков программирования.
Источник:
Описание: Цель написания данной статьи заключается в описании мотивов создания и модернизации шаблонизаторов в веб-программировании, разборе общих принципов генерации кода на основе шаблонов при помощи механизма шаблонов, анализе готовых решений автоматизации процесса генерации кода и вариантов их использования для разных языков веб-программирования.
Описание: Целью предлагаемой статьи является:
- анализ назначения и структуры современных генераторов программного кода;
- анализ рынка программных продуктов с возможностью генерации программного кода;
- анализ проблем, возникающий при использовании шаблонов или генераторов.
Описание: Цель исследования - анализ механизмов построения шаблонов и выявления перспектив развития интеллектуальных систем для создания шаблонов.
Описание: В данной статье выполнен анализ этапов развития систем контроля версий ПО. Выделен наиболее перспективный класс систем контроля версий с расширенным функционалом. Подвергнута детальному анализу система контроля версий такого типа – система git. На основе специфики системы была поставлена задача создания интеллектуальной надстройки над git, задачей которой является интеллектуальный анализ и синтез программ.
Описание: В статье рассмотрены основные этапы, методы образовательного процесса и подходы к нему. Изучены существующие системы, использующие классические и современные методики обучения, рассмотрены их преимущества и недостатки, проведено сравнение, а также проанализированы основные особенности проектирования образовательной социальной сети, способной используя лучшие практики предоставить удобную платформу для обучения.
Описание: Рассмотрен комплекс методов работы с формальными грамматиками, определенных в рамках концептуальной модели предметной области инструментальной оболочки для автоматизации построения интеллектуальных САПР ограниченного класса. Работа носит итоговый характер.
Описание: Рассмотрена классификация подходов для создания рекомендательных систем. Определено назначение и преимущества каждого из подходов. Определены основные проблемы при реализации данных подходов.
Описание: Я разрабатываю новую семантику для вероятностей контрфактических утверждений, которая обобщает стандартную перловскую семантику: она применяется к вероятностным каузальным моделям, которые нельзя расширить до реалистичных структурных каузальных моделей и которые поэтому находятся за пределами охвата семантики Перла. Это обобщение необходимо, потому что, как я показываю, такие вероятностные каузальные модели возникают даже в простых ситуациях. Моя семантика предлагает естественный компромисс в долгосрочных дебатах между Перлом и Давидом по поводу контрфактических утверждений: я согласен с Давидом в том, что универсальный каузальный детерминизм и нереалистичные переменные должны быть отвергнуты, но я согласен с Перлом в том, что общая семантика контрфактических утверждений, тем не менее, возможна. Я ограничиваю внимание каузальными моделями, которые удовлетворяют марковскому условию, содержат только реалистичные переменные и являются каузально полными. Хотя я формулирую своё предложение, используя структурные каузальные модели, как и Перл, я воздерживаюсь от использования так называемых переменных отклика. Более того, я доказываю, что моя семантика эквивалентна двум другим недавним предложениям, которые не используют структурные каузальные модели, и что она согласуется с различными комментариями по поводу стохастических контрфактических утверждений, которые появлялись в литературе в более широком смысле. На протяжении всей статьи я также размышляю об универсальности марковского условия и исследую новое обобщение каузальных абстракций.
Автор перевода: Понамарёв Никита Тимофеевич
Описание: Большие языковые модели (LLM), такие как GPT-4, проявили себя как многообещающие инструменты для предоставления обратной связи по программированию. Однако эффективное развертывание LLM в массовых классах и массовых открытых онлайн-курсах (МООК) вызывает финансовые опасения, что требует разработки методов для минимизации количества вызовов к API и системам, обслуживающим такие мощные модели. В этой статье мы возвращаемся к проблеме «распространения обратной связи» в современных условиях, когда обратная связь генерируется LLM. В частности, мы исследуем распространение обратной связи как способ снижения стоимости использования LLM для предоставления обратной связи по программированию в масштабе. Наше исследование изучает эффективность этого подхода в контексте студентов, которым требуются подсказки о следующем шаге для задач по программированию на Python, представляя первоначальные результаты, подтверждающие жизнеспособность подхода. Мы обсуждаем последствия наших выводов и предлагаем направления для будущих исследований по оптимизации механизмов обратной связи для крупномасштабных образовательных сред.
Автор перевода: Понамарёв Никита Тимофеевич
Описание: Автодополнение кода --- одна из самых используемых функций интегрированной среды разработки (IDE), влияющая на повседневную жизнь разработчика программного обеспечения. Современные подходы к автодополнению кода перешли от композиции нескольких компонентов, основанных на статическом анализе, к конвейерам, включающим нейронные сети. Это изменение позволяет предлагать более длинные предложения кода (например, целую строку или даже фрагмент кода), сохраняя при этом относительно короткое время генерации. В JetBrains мы прилагаем много усилий для совершенствования рабочего процесса автодополнения, чтобы он был полезным и не отвлекающим для программиста. Нам удалось выпустить функцию Full Line Code Completion в IDE PyCharm Pro и доказать ее полезность в A/B-тестировании на сотнях реальных пользователей Python. В статье описывается наш подход к составлению контекста для модели Transformer, которая является ядром реализации функции. Кроме того, мы делимся нашими следующими шагами по улучшению функции и подчеркиваем важность нескольких исследовательских аспектов в этой области.
Автор перевода: Понамарёв Никита Тимофеевич