Category: технологии

Category was added automatically. Read all entries about "технологии".

Задачи олимпиады «ВЕСНА – 2020» Математическое и информационное моделирование

С http://www.iait.pro/images/2020/olimp/olimp_vesna_-_2020_Zadaniya.pdf :

1. Марк собрал коллекцию гирь, веса которых различны и равны 1, 2, 3, … , 2020. Он хочет разложить их на наибольшее количество таких кучек, чтобы суммарные веса во всех кучках были равны. Сколько получится таких кучек? Укажите ответ с примером разложения и докажите, что больше получиться не сможет.

2. От трамвайного кольца отправляются три маршрута: №4, №5 и №6. Маршрут №4 ходит 4 раза в час, маршрут №5 ходит 5 раз в час, а маршрут №6 ходит 6 раз в час. Все трамваи отправляются точно в 00 секунд в минуты, указанные в постоянно действующем расписании, при этом никакие два трамвая не отправляются одновременно. Пассажир не знает расписания, выходит на трамвайное кольцо в случайный момент времени и уезжает тем трамваем (не важно, какого маршрута), который отправится раньше всех. Найдите среднее время ожидания пассажиром ближайшего трамвая.

3. Существуют ли такие различные натуральные числа А, В, Х и У, что Х записывается в системе счисления с основанием А точно так же, как У записывается в системе счисления с основанием В, а У записывается в системе счисления с основанием А точно так же, как Х записывается в системе счисления с основанием В?

4. Карточка для игры в азартное лото содержит 12 клеток, в которых записаны числа от 1 до 12. Участник может купить любое количество карточек, зачеркнуть на каждой из них 6 чисел и сдать заполненные так карточки организатору лото. Когда все карточки сданы, организатор лото называет свой набор из 6 чисел. Карточка выигрывает, если хотя бы 4 зачеркнутых на ней числа совпали с числами из набора организатора. Какое наименьшее число карточек должен купить участник и как их заполнить, чтобы хотя бы одна из его карточек выиграла?

5. Строки прямоугольной таблицы соответствуют ломаным линиям, а столбцы — следующим их свойствам:
1) ломаная линия замкнута;
2) число звеньев ломаной линии чётно;
3) ломаная линия имеет прямой угол;
4) все углы ломаной линии равны;
5) все звенья ломаной линии равны.
В клетке на пересечении строки и столбца ставится 1, если выбранная ломаная линия обладает этим свойством, и 0 в противном случае. Любая ли комбинация единиц и нулей возможна? Подберите и опишите примеры таких ломаных линий, чтобы получить как можно больше строк с попарно различными комбинациями единиц и нулей.

6. Жёсткий диск состоит из секторов, на каждый из которых можно записать 2048 Мб. На этом диске нужно сохранить архив, в составе которого есть 2020 файлов по 1 Мб, 2019 файлов по 2 Мб, 2018 файлов по 3 Мб, 2017 файлов по 4 Мб, … , 4 файла по 2017 Мб, 3 файла по 2018 Мб, 2 файла по 2019 Мб и 1 файла по 2020 Мб. Какое наименьшее число секторов придётся использовать для записи архива? Как это можно сделать?

7. Используя не более пяти различных букв, составьте как можно более длинную орфографически грамотную и осмысленную фразу.
promo matholimp april 19, 06:59 18
Buy for 10 tokens
Канун дней рождения величайших мерзавцев, сильнее других повлиявших на историю ХХ века (рамки которого задним числом разумнее определять как 1918-2018), побуждает к юбилейному тексту. На исходе первой мировой волна социалистических революций прокатилась по многим воюющим странам. Вопреки мечте о…

Математические основания интеллекта

Собрал в единую программу избранные сюжеты своих лекций 2007-17гг. по "Теории искусственного интеллекта" для трёх потоков ИТМО. Несколько месяцев назад эксперты поставили ИТМО на первое место среди российских вузов по направлению "Искусственный интеллект". В тот момент я уже не работал в ИТМО, но тестировали моих бывших студентов.

1. Из истории доказательных рассуждений.
Как математика стала «сверхъестественной» наукой (Египет, Фалес, Пифагор, Гиппас). Алгебраические и философские аспекты «Логики» Аристотеля. Пятый постулат от Евклида до Римана. Теоретико-множественный подход против традиционного (Паш, Кантор, парадоксы, Гильберт, Гёдель, Коуэн). Минимум сведений из общей педагогики и теории искусственного интеллекта. Эволюция понятия машинного обучения. Основные алгоритмы машинного обучения. Современные трактовки глагола «доказать».

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

3. Понятие информации.
Общеизвестные подходы и их слабые места. Информация как мера снятия неопределённости. Структурные уровни материального мира. Конструкция Белошапки. Байесовские интеллектуальные технологии. Хроногеометрические модели.

4. Системы счисления и их классификация.
Представление числовой информации. Римская запись и её аналоги. Основные системы счисления (в том числе, с основаниями 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 16, 20, 27, 32, 40, 60, 64). Признаки делимости. Двойные и сложные системы счисления (2-8, 2-16, 2-10, 10-1000; дата-время, факториальная, фибоначчиевская). Следы использования разных систем счисления в некоторых естественных языках.
Информационные, интервальные и вероятностные системы счисления. Золотая система счисления. Система счисления Штерна-Броко. Башенные системы счисления и логарифмическая тригонометрия.

5. Прямые алгоритмы.
Операции с многозначными числами в основных и других системах счисления. Алгебраические уравнения и системы. Полилинейные функционалы и их диагонали. Многогранники Ньютона и смешанные объёмы. Теорема Безу и её уточнение. Интегрирование систем однородных дифференциальных уравнений в частных производных в случае малого числа решений характеристической системы.

6. Моделирование языка.
Формализация фраз естественного языка. Модели Р.И.Пименова.
Объекты и имена, признаки и глаголы, указатели и союзы в естественных языках и их аналоги в языках программирования.

7. Матричные методы обучения.
Матрицы в алгебре и многомерные массивы в языках программирования. Матричные многоязычные словари. Матричная методика обучения иностранным языкам (история и основные принципы). Логические матрицы совместимости существительных с прилагательными или глаголами. Проверка двойственности с помощью логических матриц.
Авторская программа школьного курса. Программа для первого и второго года. Образцы матричных упражнений. Математические идеи.
Фиксация овладения иностранными языками в лексических матрицах. Адекватность перевода художественного текста: синонимия, омонимия, игра слов. Использование матричного представления для демонстрации сочетаемости различных терминов. Грамматические матрицы для склонения (спряжения), преобразования одних частей речи в другие и т.п. Пустоты в матрицах как средство мотивации обучения. Построение логических матриц и их использование в различных учебных дисциплинах.

Почему РФ не станет властелином мира

«Если кто-то сможет обеспечить монополию в сфере искусственного интеллекта, то последствия нам всем понятны: тот станет властелином мира», — заявил сегодня Путин в ходе первого в своей жизни совещания о развитии технологий в этой области (см. https://www.business-gazeta.ru/news/426347 и др.). А несколько недель назад на http://www.acexpert.ru/analytics/ratings/predmetniy-reyting-nauchnoy-produktivnosti-vuzov---2.html был опубликован Предметный рейтинг научной продуктивности вузов - 2019. В нём искусственному интеллекту посвящена вот эта Таблица 14а:

Да, я уже больше года не работаю в университете ИТМО, занявшем первую строчку этого рейтинга. Но в 2011-17 годах двум потокам ИТМО я читал лекции по искусственному интеллекту.
А автор самых продвинутых монографий по искусственному интеллекту Сергей Николенко не работает в Академическом университете, основанном покойным Жоресом Алфёровым. Хуже того, была расформирована вся кафедра, из-за чего Академический университет вообще не значится в этом рейтинге.
Кто мечтает стать властелином мира? Ведущие специалисты в сфере искусственного интеллекта абсолютно свободны и готовы помочь Вам в этом.

Биологический интеллект как обратный аналог искусственного

Биологические существа (животные, включая человека, растения, бактерии и пр.) рассматриваются как устройства, предназначенные для хранения, передачи и модификации генетической информации. Такую их способность уместно назвать биологическим интеллектом.
Оценим с этой точки зрения сегодняшнее состояние развития теории и практики искусственного интеллекта.
Технологическими существами (роботами) уместно называть не только механические устройства с программным управлением, но также виртуальные. Первые обитают (и осязаемы) в реальном физическом пространстве, а вторые - в иных мирах, пока ещё плохо изученных. Механические роботы разделяются на стационарные ("растения") и самодвижущиеся ("животные"). В зависимости от среды, для которой они предназначены, и способов передвижения в ней, из последних можно выделить "птиц", "рыб" и пр. Недоступные невооружённому глазу человека нейроны и их сети - "микробы". Автономные роботы способны адекватно воспринимать своё присутствие в окружающей среде и реагировать на внешние угрозы.
Информация от одного робота к другому может передаваться посредством электромеханического контакта ("половым путём", например, через USB), либо эфирным сигналом ("пропаганда", Wi-Fi). Эффективная передача "жизненно важной" информации дальним поколениям потомков реализована для компьютерных вирусов и нейронных сетей.
На очереди создание технологических видов. Это устойчивые стандарты, отвечающие которым роботы автономны, самодостаточны, в меру индивидуализированы, способны к (само)обучению и стремятся к воспроизводству себе подобных.
Креационизм при таком подходе практически не имеет альтернативы, но приобретает форму, весьма далёкую от догматов какой-либо религии. Логично назвать "богом" творца биологического разнообразия. Широкая трактовка принципа Коперника исключает нашу уникальность не только в пространстве, но и во времени. Отсюда следует, что биологическая цивилизация, скорее всего, не была первой и не окажется последней.
Но и доступный нам космос тоже мог быть сотворён подобно тому, как программист создаёт виртуальные миры. В этом случае ясно, что внешний "космический бог" (создавший наше пространство) отличен от "биологического бога" (жившего внутри этого пространства).
(С) Текст Федотова (matholimp) Валерия Павловича 2 декабря 2018 года.
В продолжение https://matholimp.livejournal.com/26192.html , https://matholimp.livejournal.com/1038931.html и др.

Моё расписание в ИТМО в октябре 2016г.

До 5 октября я в Кирове (который Вятка) на конференции ЦДООШ. Делаю два своих доклада и один за Рукшина. Далее по обычному расписанию :

Число    	Время 		Группа		Ауд.		Предмет
 6              13:30-15:00     K3342           409             Теория случайных процессов (Лек) 
 6              15:20-16:50     K3342           412             Теория случайных процессов (Лаб) 
 6              17:00-18:30     K3342           427             Теория случайных процессов (Лаб) 
12              10:00-11:30     K4132           410             Теория искусственного интеллекта (Лек) 
12              11:40-13:10     K4132           419             Теория искусственного интеллекта (Лаб) 
13              13:30-15:00     K3342           412             Математическое моделирование (Лек)    
13              15:20-16:50     K3342           412             Математическое моделирование (Лаб)    
13              17:00-18:30     K3342           427             Математическое моделирование (Лаб)  
20              10:00-11:30     K3440           319             Теория искусственного интеллекта (Лек) 
20              11:40-13:10     K3440           319             Теория искусственного интеллекта (Лаб) 
20              13:30-15:00     K3342           409             Теория случайных процессов (Лек) 
20              15:20-16:50     K3342           412             Теория случайных процессов (Лаб) 
20              17:00-18:30     K3342           427             Теория случайных процессов (Лаб) 
26              10:00-11:30     K4132           410             Теория искусственного интеллекта (Лек) 
26              11:40-13:10     K4132           419             Теория искусственного интеллекта (Лаб) 
27              13:30-15:00     K3342           412             Математическое моделирование (Лек)    
27              15:20-16:50     K3342           412             Математическое моделирование (Лаб)    
27              17:00-18:30     K3342           427             Математическое моделирование (Лаб) 

Все в главном корпусе: Кронверкский пр., д. 49, лит. А.
Оригинал и оперативные изменения - на http://www.ifmo.ru/ru/schedule/3/142843/raspisanie_zanyatiy.htm#ixzz4K7PeChof .

В падении спутников Сергей Иванов вряд ли виноват лично

Но сколько же можно держать гуманитария-КГБшника ответственным за сложнейший технический проект?
Три спутника «ГЛОНАСС-М», запущенных сегодня с Байконура на ракете-носителе «Протон-М», были выведены на нерасчетную орбиту. Из-за серьезной технической ошибки российские спутники упали в океан и были уничтожены.
"Пока специалистам непонятно, как поступить в такой ситуации. Не ясны и причины сбоя", - сказал агентству РИА Новости участник операции по выведению спутников «ГЛОНАСС» на орбиту.

Немного из истории вопроса. Collapse )

Soft Computing and Measurement - 2009

XII Международная конференция по мягким вычислениям и измерениям (SCM’2009) открылась сегодня утром в СПб ГЭТУ (ЛЭТИ). Трудно понять, какая неведомая сила из года в год заставляет собираться уже давно подружившихся между собой питерских, московских и азербайджанских профессоров, специализации которых весьма далеки как между собой, так и от прикладной математики. Тематика докладов охватывает астрономию, космологию, нейропедагогику, психологию, синергетику, социологию, экологию, экономику, транспортировку нефти, искусственный интеллект, ландшафтный дизайн и многое другое.
Профессор Инжэкона В.Л.Горохов сегодня чувствовал себя именинником. Еще лет десять назад он привлек внимание коллег к когнитивной науке. А сегодня ей была посвящена минимум половина докладов, включая трех сопредседателей оргкомитета конференции. Сенсационное заявление сделал А.Н.Аверкин: по его мнению передача знаний непосредственно из мозга в мозг - дело ближайшего десятилетия (проблема "квазителепатии" принципиально уже решена; осталось лишь доработать технологии). Автором другой сенсации стал екатеринбуржец Д.Б.Берг, научившийся различать "внешние" и "внутренние" деньги и соответствующие им экономические циклы.