Официально


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



Федеральная служба по надзору в сфере образования и науки (на основании решения Арбитражного суда) прекратила действие лицензии Института права и экономики.



Российский фонд фундаментальных исследований заключил соглашение о сотрудничестве с северокорейским Комитетом по культурным связям с заграницей (ККСЗ), сообщило посольство РФ в Пхеньяне на своей странице в Facebook.



Госдума приняла в третьем чтении изменения в статью 93 ФЗ «О контрактной системе в сфере закупок товаров, работ, услуг для обеспечения государственных и муниципальных нужд». В случае принятия закона государственным или муниципальным научным организациям будет разрешено осуществлять закупки у единственного поставщика (подрядчика, исполнителя).






Новости № 42(2018)

Регионы


Казанский федеральный университет вошел в число вузов-партнеров “Роснефти”. Соглашение о сотрудничестве подписали ректор КФУ Ильшат Гафуров и главный исполнительный директор нефтегазовой компании ПАО “НК “Роснефть” Игорь Сечин.

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

В Московском авиационном институте открыта магистерская программа “Машинное обучение и управление большими данными”, которую вуз реализует вместе с крупнейшим российским онлайн-сервисом по поиску работы HeadHunter.

СНГ


Интердайджест


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

Новый мир вулканов был обнаружен в ходе детального картирования морского дна, которое под эгидой Австралийского национального университета (Australian National University) на протяжении 25 дней вело исследовательское судно Investigator австралийского Государственного объединения научных и прикладных исследований (CSIRO).


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
















Математика? Искусство? Ремесло? Споры полезны для программистов.
Инфосфера
№ 29-30(2017)

28.07.2017




Ершовская конференция по информатике PSI-2017 собрала под крышей Главного здания Российской академии наук программистов и математиков со всего мира. Представители фундаментальной и прикладной науки, теоретики и практики обсудили настоящее и будущее программирования, особенное внимание уделив вопросам безопасности. 

Конференция носит имя академика Андрея Ершова - пионера теоретического и системного программирования, первого академика-программиста в СССР, и имеет многолетнюю историю и признанный статус. “Ершов - великое имя, уважаемое и в России, и за рубежом, если можно так сказать, бренд, - говорит директор Института системного программирования РАН член-корреспондент РАН Арутюн Аветисян. - Этот человек по праву считается одним из основоположников информатики как науки. Думаю, что сообщество, у которого есть такие бренды, имеет будущее”. 

В этом году форум состоялся уже в одиннадцатый раз. “Конференция прошла в Москве, и это позволило привлечь много молодых специалистов, - отмечает ведущий научный сотрудник ИСП РАН Алексей Хорошилов. - Это одно из важнейших событий в области Computer Science в России, прекрасная площадка для того, чтобы обсудить современные тенденции развития программирования. Здесь удачно совмещены прикладные разработки и фундаментальные исследования”. 

“Системное программирование - действенный инструмент для решения проблем информационной безопасности, и хорошо, что на конференции это была одна из основных тем”, - подчеркнул А.Аветисян. Информационная безопасность рассматривалась сквозь призму проблем системного программирования и инструментов анализа программ, позволяющих минимизировать появление уязвимостей в процессе создания ПО и затруднить их использование в ходе эксплуатации. 

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

Среди самых интересных докладов PSI-2017 стоит отметить сообщение профессора факультета компьютерных наук и инженерии Технического университета Чалмерса и Гётеборгского университета Андрея Сабельфельда, рассказавшего о новых методах отслеживания уязвимостей ПО. В докладе был представлен подход к поиску уязвимостей, который не требует отслеживания данных на протяжении всех вычислений, и инструмент DroidFace. Он является альтернативой существующим сегодня статическим и динамическим инструментам поиска уязвимостей для систем на основе Android. Профессор Сабельфельд утверждает, что этот метод может быть использован для обнаружения атак без ложных срабатываний и пропуска ошибок.

Теме анализа кода, но уже при помощи статического анализатора Svace был посвящен доклад старшего научного сотрудника ИСП РАН Андрея Белеванцева - “Многоуровневый статический анализ для поиска шаблонов ошибок и дефектов в исходном коде”. Одной из наиболее действенных современных технологий поиска уязвимостей и ошибок сегодня можно назвать использование систем автоматического поиска дефектов с помощью статического анализа исходного кода программ, которые можно применять на самых ранних этапах разработки. Этот метод делает исправление дефектов максимально дешевым. 

Такие системы обрабатывают объемы информации в миллионы строк кода и анализируют все возможные варианты выполнения программы одновременно. Сегодня эта технология реализована в наборе инструментов статического анализа Svace. Его использование для анализа больших объемов кода, таких как ОС Android и Tizen, показало масштабируемость подхода и приемлемое соотношение ложных и истинных срабатываний: от 50 до 80% найденных ошибок оказываются истинными. 

О защищенности и надежности ПО говорили и другие отечественные и зарубежные ученые. Тему безопасности облачных технологий затронул управляющий директор Microsoft Research India Шрирам Раджамэни, созданию отказоустойчивых космических систем был посвящен доклад директора Ирландского исследовательского центра программного обеспечения при Университете Лимерика, основателя и главного редактора журнала NASA Journal Innovations in Systems and Software Engineering Майкла Джерарда Хинчи. Также большое внимание на конференции было уделено таким вопросам, как методология и технология программирования, высокопроизводительные вычисления, моделирование и анализ систем реального времени и гибридных систем, программирование в ограничениях, визуализация программ.

Характерно, что наряду с большим объемом прикладных тем, озвученных в докладах Ершовской конференции, поднимались и вопросы, относящиеся к области фундаментальной науки, “чистой” математики. “Не следует отрывать фундаментальную науку от прикладной, - подчеркивает Арутюн Аветисян. - Они должны развиваться как части единого организма. Так, без математиков невозможны современное программирование, анализ социальных сетей, гомоморфное шифрование, разработки в области безо-пасности, анализа больших данных. Например, ИСП РАН представил результаты фундаментальных исследований в различных областях Computer Science, многие из которых уже внедрены в практику. С другой стороны, реальная польза от той или иной фундаментальной теории становится понятной через многие годы, поэтому стратегически важно выделять ресурсы на их развитие”.

По впечатлениям участников PSI-2017, общение на конференции оказалось продуктивным и многообещающим, несмотря на различие подходов. “Есть три взгляда на создание и развитие софта, - рассуждает профессор берлинской Высшей школы техники и экономики Томас Баар. - Одни считают, что это чистая математика, другие - чистое искусство, третьи - чистое ремесло. На самом деле, истина где-то посредине”.

Николай СЕМЕНОВ

Фотоснимки
предоставлены ИСП РАН

На первом снимке: Арутюн Аветисян

На втором снимке: Андрей Сабельфельд

На третьем снимке: Майкл Джерард Хинчи

На четвертом снимке: Шрирам Раджамэни


 

Отзывы

Чтобы оставить отзыв необходимо авторизоваться или зарегистрироваться



 

Статьи на тему

Широким шагом. Фестиваль науки осваивает новые пространства.
Вторые выходные октября в России обещают быть очень насыщенными - в стране состоится VIII Всероссийский фестиваль NAUKA 0+. /№ 41(2018)
Это “Класс!” Нобелевских лауреатов по литературе предложили готовить со школы.
На пресс-конференции в ТАСС было официально объявлено о старте Всероссийского литературного конкурса для подростков “Класс!”. Председатель попечительского совета литературного состязания, президент Трансконтинентальной МедиаКомпании (и главный редактор “Поиска”) Александр Митрошенков назвал этот день историческим... /№ 41(2018)
Вдохновленные математикой. В Екатеринбурге прошел праздник царицы наук.
В Институте математики и механики им. Н.Н.Красовского УрО РАН прошла традиционная интернет-видеоконференция, посвященная Дню математика и механика, уже несколько лет отмечаемого в России. /№ 40(2018)

Новости


Ни один российский вуз не вошел в первые сотни свежих предметных рейтингов Times Higher Education.



России и Китаю нужно расширять направления подготовки специалистов в рамках двусторонних контактов. Об этом заявила ТАСС заместитель министра науки и высшего образования Марина Боровская в преддверии 19-го заседания российско-китайской комиссии по гуманитарному сотрудничеству.



Уникальный научный радиотелескоп «Суффа» в Узбекистане может быть достроен в течение 5-7 лет, сообщил ТАСС президент Российской академии наук Александр Сергеев.



Государственная публичная научно-техническая библиотека России отпраздновала 60-летний юбилей. Поздравить ГПНТБ собрались более 100 ученых из России, Белоруссии, Казахстана и других стран. С пожеланиями в адрес коллектива библиотеки выступили представители свыше 50 организаций культуры, образования и науки, сообщает пресс-служба Минобрнауки.



Первый российско-узбекский образовательный форум «Новые кадры для новой экономики» в Ташкенте завершился подписанием 127 соглашений о сотрудничестве в подготовке высококвалифицированных специалистов и научно-исследовательской деятельности.



Дальневосточное отделение Российской академии наук может столкнуться с проблемой нехватки специалистов при создании синхротрона на острове Русский во Владивостоке, заявил председатель ДВО РАН Валентин Сергиенко на совещании по вопросу о переносе столицы ДФО во Владивосток.



На госпрограмму «Научно-технологическое развитие РФ» в 2019 году планируется выделить более 680 млрд рублей. Об этом в ходе обсуждения федерального бюджета на 2019-2021 годы на заседании Комитета Госдумы по бюджету и налогам сообщил глава Минобрнауки Михаил Котюков.



Конференции


С 3-го по 7 сентября 2018 года на базе ФГБНУ “Северо-Кавказский федеральный научный центр садоводства, виноградарства, виноделия” под патронажем Министерства науки и высшего образования РФ, Российской академии наук будет проводиться Международный научно-практический форум “Перспективные технологии и сортименты в садоводстве, виноградарстве, виноделии”

XIV Андриановская конференция прошла в июне в ИНЭОС РАН

II Всероссийская научно-практическая конференция “Совершенствование системы взаимодействия Российского фонда фундаментальных исследований и субъектов Российской Федерации в вопросах проведения региональных и молодежных конкурсов”

Текущие конкурсы


Конкурс на лучшие научные проекты фундаментальных исследований, выполняемых талантливой молодежью под руководством ведущего ученого (“Наставник”), проводимый федеральным государственным бюджетным учреждением “Российский фонд фундаментальных исследований” совместно с г. Севастополь

Региональный конкурс проектов междисциплинарных фундаментальных научных исследований

“Сколково” и “Химпром” продолжают искать проекты малотоннажной химии

До 29 октября 2018 года идёт прием заявок на участие в конкурсе на соискание премий Правительства Москвы молодым ученым, присуждаемых ежегодно с 2013 года.

Конкурс на лучшие научные проекты фундаментальных исследований, проводимый совместно федеральным государственным бюджетным учреждением “Российский фонд фундаментальных исследований” и Фондом “Дом наук о человеке” Франции

Вакансии


14.09.2018
ФГБУН Институт геологии рудных месторождений, петрографии, минералогии и геохимии Российской академии наук (ИГЕМ РАН)объявляет конкурс на замещение вакантных должностей

13.04.2018
Федеральное государственное автономное образовательное учреждение высшего образования “Московский физико-технический институт (государственный университет)” объявляет конкурс на замещение должностей педагогических работников, относящихся к профессорско-преподавательскому составу

02.03.2018
объявляет конкурс на замещение вакантных должностей:




опрос

Какие рубрики нашей газеты Вам наиболее интересны?




Copyright 2010
Главная страница   |   О газете  |  Партнеры  |  Команда Поиска  |  Вакансии