Символьное решение задач нелинейного программирования

Автор: admin от 18-10-2017, 09:55, посмотрело: 32

Введение



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



Подробное описание использования символьных вычислений приведено в публикации [1] под названием «Введение в научный Python» в разделе «Символьные вычисления».



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



Постановка задачи



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



Для того, чтобы определиться с терминологией приведу следующее определение [2]. Задачей нелинейного программирования (задачей НП) называется задача нахождения максимума (минимума) нелинейной функции многих переменных, когда на переменные имеются (не имеются) ограничения типа равенств или неравенств.



Символьное вычисление безусловного экстремума дифференцируемой функции трёх переменных



Несмотря на сложность решаемых задач при символьном решении всё становится простым и наглядным. Рассмотрим листинг первого примера.

Категория: Компании » Microsoft

 

Рост компании: с пяти человек до трёх сотен

Автор: admin от 18-10-2017, 09:55, посмотрело: 28

16-я осенняя конференция ISDEF прошла в конце сентября, традиционно более 150 ИТ-бизнесменов собрались в подмосковном Виноградово. Один из старожилов ISDEF, основатель и председатель совета директоров группы компаний SearchInform, Лев Матвеев собирался сделать доклад о росте команды через год, в 2018-м. Но круглый стол под конец конференции его раззадорили — и Лев рассказал в сжатой статье, как собрать надежную команду, которая поможет создать крутой продукт, вырастить компанию с многомиллионным оборотом и успешно выйти на международные рынки. Практические рекомендации от ИТ-предпринимателя с более чем 20-летним опытом.



Рост компании: с пяти человек до трёх сотен

Категория: Компании » Microsoft

 

Рекомендательная система на коленке как средство против экзистенциального кризиса

Автор: admin от 18-10-2017, 09:55, посмотрело: 21

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



Рекомендательная система на коленке как средство против экзистенциального кризиса


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



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

Категория: Компании » Microsoft

 

Послевкусие от Kotlin, часть 3. Корутины — делим процессорное время

Автор: admin от 18-10-2017, 09:55, посмотрело: 21

Послевкусие от Kotlin, часть 3. Корутины — делим процессорное время



Java позволяет писать последовательный, параллельный и асинхронный код. Асинхронный — это когда регистрируется callback, который запустится после какого-либо события (например, файл прочитан). Это позволяет избежать блокировки потока, но ломает последовательность выполнения, так что на java пишут такой код скорее когда нет других вариантов. Kotlin даёт решение — корутины, с ними асинхронный код выглядит почти так же, как последовательный.



По корутинам мало статей. Конкретных примеров, показывающих их преимущества — ещё меньше.



Что нашёл:




  • Избавление от callback hell. Актуально для UI

  • Понравились концепции channels и actors. Они не новы, можно и без них, но для event систем должны очень хорошо подойти

  • Совет от Романа Елизарова: «Корутины нужны для асинхронных задач, которые ожидают чего-либо большую часть времени»



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



Итак, посмотрим как ведут себя корутины под нагрузкой.

Категория: Компании » Microsoft

 

Почему DataScientist-ы не используют ошибки первого и второго рода

Автор: admin от 17-10-2017, 11:20, посмотрело: 18

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



И если ошибка второго рода выражается просто:



Почему DataScientist-ы не используют ошибки первого и второго рода



где ? — это полнота;



то вот ошибка первого рода весьма нетривиально выражается через полноту и точность (см.ниже).



Но это лирика. Самый важный вопрос:



Почему в DataScience используют полноту и точность и почти никогда не говорят об ошибках первого и второго рода?

Кто не знает или забыл — прошу под кат.

Почему DataScientist-ы не используют ошибки первого и второго рода
Дальше читать

Категория: Компании » Microsoft

 

Поиск решения для быстрого создания интерфейсов СУБД

Автор: admin от 17-10-2017, 11:20, посмотрело: 23

Практически каждый человек сталкивается с ведением какого-либо учета, сбором и анализом данных: от использования таблиц в экселе до работы с данными в клиент-банковском приложении. Повсеместно для такого учета используются различные системы управления базами данных (СУБД).



В статье я хотел бы рассказать о своем пути поиска такой системы.

Категория: Компании » Microsoft

 

Панель управления услугами. Часть 1: Введение

Автор: admin от 17-10-2017, 11:20, посмотрело: 32

Вступление



Меня зовут Максим и я разработчик фронтенда панели управления услугами компании «Миран». В данном цикле статей я расскажу вам, как эволюционирует система и что нового стоит ждать в ближайшем будущем. Добро пожаловать под кат.

Категория: Компании » Microsoft

 

Айтрекинг: доступные решения и их особенности

Автор: admin от 17-10-2017, 11:20, посмотрело: 20

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



Айтрекинг: доступные решения и их особенности

Категория: Компании » Microsoft

 

Хитрый вопрос по JavaScript, который задают на собеседованиях в Google и Amazon

Автор: admin от 16-10-2017, 15:25, посмотрело: 37

Хитрый вопрос по JavaScript, который задают на собеседованиях в Google и Amazon
Привет Хабр! Есть один вопрос, с виду — не такой уж и сложный, который нередко задают разработчикам на собеседованиях.



Сегодня мы его разберём и поговорим о подходах к поиску ответа. Задавая вопрос, о котором идёт речь, интервьюер предлагает рассказать о том, что выведет примерно такой код:



code_0

А вы знаете, что появится в консоли?

Категория: Компании » Microsoft

 

Весь веб на 60+ FPS: как новый рендерер в Firefox избавился от рывков и подтормаживаний

Автор: admin от 16-10-2017, 15:25, посмотрело: 30

До релиза Firefox Quantum остаётся всё меньше времени. Он принесёт множество улучшений в производительности, в том числе сверхбыстрый движок CSS, который мы позаимствовали у Servo.



Но есть ещё одна большая часть технологии Servo, которая пока не вошла в состав Firefox Quantum, но скоро войдёт. Это WebRender, часть проекта Quantum Render.



Весь веб на 60+ FPS: как новый рендерер в Firefox избавился от рывков и подтормаживаний



WebRender известен своей исключительной скоростью. Но главная задача — не ускорить рендеринг, а сделать его более плавным.



При разработке WebRender мы поставили задачу, чтобы все приложения работали на 60 кадрах в секунду (FPS) или лучше, независимо от размера дисплея или от размера анимации. И это сработало. Страницы, которые пыхтят на 15 FPS в Chrome или нынешнем Firefox, летают на 60 FPS при запуске WebRender
.



Как WebRender делает это? Он фундаментальным образом меняет принцип работы движка рендеринга, делая его более похожим на движок 3D-игры.

Категория: Компании » Microsoft

 
Назад Вперед