Электронная библиотека Республики Карелия Каталог Поиск Авторы Обратная связь

[ Каталог -> Математика-> Алгебра] Добавить в коллекцию

Морозько Андрей Дмитриевич  Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре В работе описан метод генерации параметров математических задач на примере создания системы линейных уравнений. Описанный метод позволяет создавать задачи с псевдослучайными параметрами, удовлетворяющими заданным ограничением. Для получения значений используется SMT-решательMicrosoftZ3. Просмотреть полный текст документа Сборник Научно-исследовательская работа обучающихся и молодых ученых : материалы 71-й Всероссийской (с международным участием) научной конференции обучающихся и молодых ученых Все статьи сборника Взаимоотношения однолетних кормовых культур на ранних стадиях развития растений Многолетний мониторинг распространения паразитарных болезней радужной форели в рыбоводных хозяйствах Республики Карелия Рыбоводно-биологические показатели икры и молоди радужной форели разного происхождения в ЗАО «Вирта» (ИВХ)» Разработка элективного курса «Интродуценты в урбанофлоре г. Петрозаводска» Управление технологией HefCel (высококонсистентное ферментативное получение волокон бактериальной целлюлозы) Оценка функционального состояния прироста разных видов мхов в районе п. Кутижма Активность супероксиддисмутазы в талломах лишайника Lobariapulmonaria (L.) Hoffm в северных и среднетаёжных лесных сообществах Экологическая оценка состояния почв парка Прибрежный города Петрозаводска Факторы изменчивости температуры тела обыкновенной гадюки Особенности отбора и подготовки собак для канис-терапии Анализ физиологического состояния и профессиональных болезней собак, состоящих на службе в Кинологическом отделе Карельской Таможни Первый этап мониторинга широколиственных видов в лесах Петрозаводского городского округа Характеристика основных типов местообитания напочвенного покрова в скальных лесных сообществах кряжа «Ветреный Пояс» Finnland als NATO-Mitglied: Aussichten für Russland Legal regulation of the Northern Sea Route Some aspects of legal regulation of the network «Internet» Theatre Pedagogy’s Tools in University Education Finland's Security and Defense policy in Сhanging Europe (1992—2018) Ethnographic discourse of the 20-30s: images of the Saami Commemorative preferences of PetrSU Students of Humanities Three Stages of Russian-Finnish Relations Development after the Crimean Crisis: Content Analysis of Finnish Media Review of Russian-Swedish Diplomacy in Pre-Revolutionary Editions of Documents and Materials Transformation of the Tools for Cross-Border Cooperation: The Case of the Republic of Karelia Brotherhood as a Tool for the Development of Creative Social Space: The Case of Petrozavodsk Соотношение семантических и прагматических характеристик гендерно-окрашенной лексики современного английского языка Контаминация как маркер языковой игры в языке немецкой молодёжи Вклад Ф. Гельдерлина в развитие немецкого поэтического языка Лексические игры как средство формирования лексических навыков на младшей ступени обучения английскому языку Exercise system for children with supporting-motor system problems Поэтика Т. Стоппарда в контексте теории интертекстуальности: Шекспир и Стоппард Особенности нарратива в романе «Найти Элизабет» Эммы Хили Политическая история ФРГ Легендарный разведчик Рихард Зорге Реализация концепции инклюзивного образования во Франции на примере коллежа Мендес Франс в Ла-Рошели Французское происхождение терминологии классического балета Использование средств ИКТ в процессе формирования социокультурной компетенции на средней ступени обучения Использование мобильных приложений в процессе совершенствования иноязычных лексических навыков на старшей ступени обучения Бои на территории Гирвасского сельского поселения в октябре 1941 года Блокада Ленинграда в трудах немецких историков (историографический обзор) Модернизация железнодорожной инфраструктуры в Карелии в 1930-е гг. в контексте мобилизационной подготовки Карелия 1970-х гг. глазами иностранных туристов Закладной крест из раскопок Петровской слободы в 2018 году Краеведческий потенциал священнослужителей севернорусских губерний (по материалам середины XIX – начала XX в.) Арабское восстание 1916—1918 гг. в мемуарах Лоуренса Аравийского (к вопросу об образовании независимых государств на Ближнем Востоке) Политика военной безопасности Финляндии в 1992—2018 гг. Братья Херпман в исторической памяти Финляндии Национальная идея в хоровой музыке Георгия Дмитриева Жизнь в музыке: творческая биография Виктора Каликина Исторический обзор развития и формирования в зарубежной и отечественной науке понятия «финансовая грамотность» Повседневная жизнь студентов во второй половине 1950-х – первой половине 1960-х гг. в карикатурах газеты «Петрозаводский университет» Карельская периодическая печать как источник по истории Дня учителя Неизвестная рукопись участника русско-шведской войны 1788–1790 гг. Русско-шведская дипломатия в дореволюционных изданиях документов и материалов Речь А. В. Луначарского о М. Горьком: риторические приемы воздействия на массы в условиях исторического контекста Концепция идентичности в исторических исследованиях Депутаты Олонецкой губернии в I Государственной Думе (1906 г.) Законодательные органы Северо-Западного федерального округа: институциональный сравнительный анализ Средства массовой информации Финляндии о принятии Крыма в состав Российской Федерации «24 вида Крыма» К. Боссоли как исторический источник Особенности формирования имиджа территории (на примере Республики Карелия) «Нормальный политический порядок» Жан-Жака Руссо Понятие «массы» в философии Элиаса Канетти Сравнительный анализ ожиданий выпускников вуза с реалиями рынка труда (на примере студентов выпускных курсов ПетрГУ) Пирсинг и тату как бодимодифицирующие практики. Их социально-статусные особенности Неформальные социально-экономические практики предпринимателей: опыт пилотажного исследования Профилактика социальной депривации детей-сирот и детей, оставшихся без попечения родителей (на примере Республики Карелия) Инновационный потенциал молодежи как ресурс профилактики девиантного поведения Личность, разум и воля в философии Августина Философия И. Канта, геометрия и пространство Феномен транссексуализма в современном обществе Феномен «стигмы» в контексте биоэтики Влияние Олимпиады – 2014 на экологическую ситуацию в Большом Сочи Общежитие Keetwonen из контейнеров в Амстердаме Проектирование многоэтажного жилого здания в городе Милан Возможность определения угла залегания интрузивных тел на основе геоэлектрических моделей Развитие буферной зоны «Кижского погоста» Проектирование мультикомфортного района в городе Милан с помощью программного пакета 3Ds Max Цветочное оформление города Петрозаводска Анализ качества песков-отсевов дробления гранита Анализ источников загрязнения атмосферы на карьере «Алхо-2» Распространение заболеваемости ОРВИ и гриппом среди взрослых и детей г.Петрозаводск, её зависимость от погодных условий Анализ компонентного состава тела студентов ПетрГУ методом биоимпеданса Образ учащихся с ОВЗ у участников образовательного процесса Вариантное проектирование дощатой фермы для фельдшерско-акушерского пункта в Республике Карелия Устройство гружёных перекрытий в историческом здании Сравнение условий безопасности движения на безнакатном покрытии и с УСП Расчет конструкции дорожной одежды по ПНСТ 265-2018 и ОДН 218.046-01 Исследование влияния касательной составляющей вертикальной нагрузки на поверхность плиты OSB при ее использовании в конструкции крыши Использование современных систем автоматизированного проектирования для построения модели манипулятора Программный комплекс «Универсальный механизм» для моделирования механических систем Перспективы развития производства древесно-цементных материалов и плит Применение покровосдирателя ПДН-2 для обработки лесных почв в Карелии Разработка управляющей программы на лазерный роботизированный комплекс сварки Повышение эффективности работы лесозаготовительных машин с помощью имитационного моделирования Проблемы перехода на природосберегающие хладагенты в климатических системах транспортных и технологических машин Диагностика технического состояния впускного коллектора и выпускной системы осциллографом Постоловского Семантический сервис поиска информации о человеке по фотографии лица Разработка информационной системы «Регистр больных с патологией СГХС» Управление проектной деятельностью учащихся с помощью облачного сервиса GOOGLE Разработка электронного ресурса по теме «Алгоритмизация и программирование» для школьного курса информатики в системе дистанционного обучения Moodle Устойчивость моделей решения задачи WSD Стратегия Келли управления капиталом при покупке опционов Моделирование динамики мнений по закону Хегсельманна-Крауза с помехами Марковские случайные поля для задач обработки изображений Использование нейросетей для анализа фотографии лимфоузлов Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре Содержание работы по ознакомлению старших дошкольников со свойствами и качествами предметов и материалов Обогащение словаря детей старшего дошкольного возраста в процессе ознакомления с животными Арктики Особенности воображения младших школьников Конфронтационная активность старших школьников Проектирование настольной игры «Знаток МХК» и возможности ее использования в школе Вклад Д. Б. Эльконина в детскую психологию Восприятие отца детьми с интеллектуальными нарушениями Компьютерная игра как средство обучения русскому языку в начальной школе Значение личностно-ориентированного подхода в обучении навыкам самостоятельной жизнедеятельности молодых людей с интеллектуальными нарушениями Групповая форма обучения математике как средство развития коммуникативных универсальных учебных действий младших школьников Личностно-регулятивные свойства как предикторы профессиональной эффективности пожарных личного состава МЧС России Связь перфекционизма старшеклассников и родительского стиля Эстетическая гимнастика как средство формирования культуры поведения у девочек Школа и родители: результаты оценки взаимодействия Изучение карельского языка в школах Карелии (исторический аспект) Гендерные особенности в сфере эмоционального интеллекта современных подростков Образовательный модуль «Этнокультурный подход в работе учителя технологии» Театральная педагогика как средство становления педагогического мастерства будущих педагогов (на материале дисциплины «Культура речи и педагогическая риторика») Групповая работа как средство активного обучения студентов по дисциплине «Глобальная экология» Проблемные и эвристические задачи по дисциплине «Глобальная экология» Роль творческого источника в проектировании коллекции Влияние формы проведения теоретического тестирования на результат Йога как духовная и физическая практика Исследование здоровьесберегающих технологий в сфере современного образования на примере студентов ПетрГУ Реализация инновационного воспитательного процесса при занятиях младших школьников и подростков бальными танцами Сравнительный анализ количественных характеристик некоторых компонентов химического состава воздуха на железнодорожной станции и на территории автовокзала города Петрозаводска Анализ отношения обучающихся Петрозаводского государственного университета в вопросах сохранения и защиты природной среды Республики Карелия Паломнический тур «Путешествие на Святую землю» Потенциал Суоярвского района для развития ностальгического туризма Характеристика мотивов обучения студентов Института физической культуры, спорта и туризма Петрозаводского государственного университета – профиль физическая культура Оценка эффективности применения креатина в любительском бодибилдинге Сравнительная характеристика уровня развития физических качеств детей младшего школьного возраста, занимающихся лёгкой атлетикой в Муниципальном учреждении Петрозаводского городского округа «Спортивная школа олимпийского резерва №3» Особенности развития быстрого прорыва в баскетболе при организации раннего нападения командами, использующими зонную систему защиты 2х3, 2х1х2 в старшем школьном возрасте Сравнительный анализ общей физической подготовленности подростков 12-14 лет, занимающихся боксом и борьбой Влияние координационных способностей на спортивный результат слаломистов 10-12 лет Экскурсия с закрытыми глазами: почувствуй мир на кончиках пальцев Применение современных технологий в индустрии гостеприимства Разработка и оценка функционального продукта растительного происхождения, предназначенного для граждан, занимающихся физическим трудом или спортивной деятельностью в условиях севера Роль IL25 в сокращении гладкой мускулатуры трахеи и бронхов крысы Спортивный травматизм в структуре детской травмы Спортивное сердце Употребление кафаревусных форм в рассказах Д. Викеласа Особенности репрезентации образа города в романе П. Остера «4 3 2 1» Феминитивы в современном русском языке Словообразование существительных в кулинарной книге XIX века «Приготовление кондитерских изделий без помощи кондитера и повара» Проблема лирической темы в стихотворении А. А. Блока «Мне снилась смерть любимого созданья...» М. Н. Катков как журналист (1863 - 1864) Внеклассное мероприятие по литературе в старших классах Хозяин леса в мифологических представлениях финно-угорских народов Анализ номинаций водных духов в карельском языке Suomen passiivimuotojen kääntäminen Timo Vihavaisen Itäraja häviää - Venäjän ja Suomen kaksi vuosisataa -teoksen venäjännöksessä Стилизация диалектного слова в «Кижских рассказах» В. И. Пулькина Нативная реклама в интернет-издании «Meduza» Трансформация легенды о Големе в романе М. Шелли «Франкенштейн, или Современный Прометей» Рецепция творчества Ф. М. Достоевского в романе Я. Сёдерберга «Доктор Глас» Современные информационные технологии в обеспечении процедуры банкротства гражданина Проблемы правового регулирования общественных отношений, связанных с предоставлением набора социальных услуг отдельным категориям граждан в натуральной форме Влияние инфляции на деятельность и развитие банковского сектора в Российской Федерации Опыт субъектов РФ по переработке мусора и утилизации отходов Система нормативных правовых актов Российской Федерации в области информационной безопасности Влияние выхода Британии из ЕС на российскую экономику Рынок шоколада: исследование типа рыночной структуры Оценка эффективности участия компании в выставке Предиктивная аналитика в решении бизнес-кейсов (на примере компании ООО «РостБизнесКонсалтинг») К вопросу о формировании правосознания молодежи Карелии Формы надзора за студентами по университетским уставам XIX века и их актуальность сегодня Некоторые проблемы производства дознания в сокращённой форме по уголовным делам, подследственным органам Федеральной службы судебных приставов Российской Федерации Интеграция опыта государства Израиль для РФ по профилактике и борьбе с бомбовым терроризмом Правовые предложения по управлению арктическими районами Республики Карелия Значение пластичности брюшины для хирургии Эмболизация маточных артерий в гинекологии Лабораторная диагностика заболеваний печени Участие глутамата в развитии ишемии мозга Инфекционный эндокардит у ВИЧ-инфицированных и наркоманов: течение, прогноз – есть ли особенности на современном этапе? Хронический болевой синдром и минерально-костные нарушения у пациентов на хроническом программном гемодиализе Гигиеническая оценка режима питания учащихся Варианты и аномалии коронарных артерий Врождённые диафрагмальные грыжи у детей Беременность и роды в блокадном Ленинграде Бюстгальтер: модный look или физиологическая необходимость? Изучение антибиотикорезистентности нозокомиальных штаммов Proteus mirabilis Выделение и идентификация возбудителей инфекций мочевыводящих путей Патоморфоз ипохондрических расстройств Проявления дисциркуляторной энцефалопатии у больных с разными стадиями стенозов церебральных артерий Организация ВМП (высоко-технологичной медицинской помощи) детям на примере ЮРА на территории Республики Карелия Сравнительная характеристика организации медицинской помощи в Республике Карелия и Архангельской области на основе электронных источников Тромбоэмболия легочной артерии Нефробластома у детей Современные аспекты в диагностике тонзиллофарингита Аспекты медицинского права. Взгляд со стороны юриста Обострение хронической печеночной недостаточности при острой декомпенсации цирроза печени Клинико-экономическая эффективность массовых скринингов и групп риска на туберкулез в Республике Карелия Знания и отношение молодежи к безопасному сексу и ВИЧ-инфекции Утилизация лекарственных препаратов населением г. Петрозаводска Взаимосвязь гиперинформационного потребления и характеристик высшей нервной деятельности человека: Внимание как доминанта Ухтомского Вариабельность ритма сердца во время «сухой иммерсии» Вакуумная аспирационная биопсия образований молочных желез Cиндром обструктивного апноэ сна Разработка дистанционного образовательного ресурса «Языки программирования высокого уровня» Классификация документов при помощи искусственных нейронных сетей Медицинское тепловидение Cинтез нанонитей из биосовместимых материалов для иммобилизации бактериальных клеток Исследование свойств фотохромных композитов на основе частиц гидратированного оксида вольфрама (VI) и целлюлозного связующего Создание «VR-Tour» Эрозия деталей паровых турбин Development of an automated system based on kinect technology for diagnostics a human motor system X-ray study of the natural shungite properties Исследование пористой структуры нитридов, полученных путём аммонолиза магниетермических порошков ниобия Отзывы читателей (0) Только зарегистрированные пользователи могут оставлять отзывы. Вход / Регистрация Описание документа Морозько А. Д. Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре / А. Д. Морозько. — Текст : электронный // Научно-исследовательская работа обучающихся и молодых ученых : материалы 71-й Всерос. (с междунар. участием) науч. конф. обучающихся и молодых ученых : науч. электрон. изд. / М-во науки и высш. образования Рос. Федерации, Федер. гос. бюджет. образоват. учреждение высш. образования Петрозав. гос. ун-т. — Петрозаводск : Изд-во ПетрГУ, 2019. — С. 288—290. Издатель: Издательство ПетрГУ Copyright: Петрозаводский государственный университет Место издания: Петрозаводск Год издания:2019 Описание Dublin Core Вместе с этой книгой читают: Список населенных мест Олонецкой губернии по сведениям за 1905 год Очерки по истории архивного дела в СССР О пятинах и погостах Новгородских в XVI веке, с приложением карты Олонецкий сборник. Выпуск 3. Олонецкая губерния: Список населенных мест

[Каталоги] [Моя коллекция] [Расширенный поиск] [Добавить ресурс] [Обратная связь] [О проекте] [Пользовательское соглашение] Программно-техническое сопровождение: Петрозаводский государственный университет, 1998-2021 Ресурсы предоставляют: Петрозаводский государственный университет (1998-2021); Национальная библиотека Республики Карелия (1998-2021); Карельская государственная педагогическая академия (2007-2013); Проект "Фольклорно-литературное наследие Русского Севера" (2010-2011) Продолжая использовать данный сайт, Вы даете согласие на обработку файлов Cookies и других пользовательских данных, в соответствии с Политикой конфиденциальности