Официально


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



Минобрнауки ликвидировало филиал Санкт-Петербургского государственного экономического университета в Анадыре.



Утверждена дорожная карта ФАНО - комплекс мер нормативного и организационного характера, которые направлены на решение задач, обозначенных в плане первого этапа Стратегии научно-технологического развития РФ.



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




Новости № 46(2017)

Регионы


В Университете им. Юрая Добрилы (Пула, Хорватия) состоялось торжественное открытие Центра русского языка и культуры “Институт Пушкина”. Он создан при участии Пятигорского госуниверситета и финансовой поддержке Минобрнауки РФ в рамках ФЦП “Русский язык”, Миссия центра - продвижение образования на русском языке.

Ректор Тульского государственного университета Михаил Грязев провёл встречу со студентами, входящими в сборные команды вуза по различным видам спорта. Михаил Васильевич поздравил студентов и их тренеров с успешными выступлениями на различных соревнованиях, в том числе всероссийских.

В Ульяновском государственном техническом университете прошел День открытых дверей для учащихся 10-11 классов общеобразовательных учреждений и системы среднего профессионального образования. Мероприятие посетили 1150 человек.

СНГ


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
























Математика? Искусство? Ремесло? Споры полезны для программистов.
Инфосфера
№ 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, общение на конференции оказалось продуктивным и многообещающим, несмотря на различие подходов. “Есть три взгляда на создание и развитие софта, - рассуждает профессор берлинской Высшей школы техники и экономики Томас Баар. - Одни считают, что это чистая математика, другие - чистое искусство, третьи - чистое ремесло. На самом деле, истина где-то посредине”.

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

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

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

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

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

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


 

Отзывы

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



 

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

Формируя трансформацию. В Сколково провозгласили манифест цифрового государства.
“Правительство готово поддерживать инновации, обеспечивать их устойчивый рост и стать партнером для общества и бизнеса”, - заявил заместитель председателя Правительства РФ Аркадий Дворкович, запуская Московский международный форум “Открытые инновации” в Технопарке “Сколково”. Как сообщил президент Фонда “Сколково” Виктор Вексельберг, по сравнению с прошлым годом число участников этого мероприятия выросло с 12 до 18 тысяч. На одной площадке встретились стартаперы и топ-менеджеры крупнейших российских и зарубежных инновационных компаний, взаимодействовали студенты и профессора университетов, ведущие сотрудники научных институтов, эксперты и преподаватели крупных бизнес-школ, более тысячи журналистов. /№ 42(2017)
Интеллектом по бездорожью. Российские студенты отличились в международном хакатоне.
Сорок восемь часов отводилось участникам первого международного хакатона (так называется соревнование-марафон программистов) по искусственному интеллекту и компьютерному зрению VisionHack на решение актуальных прикладных задач по движению беспилотных автомобилей. С большим отрывом в соревнованиях победила команда DoubleA (Андрей Беляев, Александр Громов, Константин Софиюк), предложившая наиболее точное и полное решение задачи движения на наборе заданных дорожных ситуаций. /№ 38(2017)
Движение воображением. К активной жизни возвращает мысль.
Застать летом на биофаке МГУ профессора Александра Каплана - несомненная удача. Недавно руководитель лаборатории нейрофизиологии и нейрокомпьютерных интерфейсов побывал во Франции и Бельгии, общался с известными исследователями. Сейчас собирается в Бразилию, на Всемирный физиологический конгресс. Для дальнего путешествия повод предостаточный, и все же Александр Яковлевич планирует не только сделать доклад на конференции, но и встретиться с одним из первооткрывателей технологии нейроинтерфейсов Мигуэлем Николелисом... /№ 33-34(2017)

Новости


Программа образовательных кредитов продолжится с осени 2018 года, сообщила глава Минобрнауки Ольга Васильева, отвечая на вопросы студентов НИТУ «МИСиС». Министр напомнила о том, что в рамках программы по выдаче кредитов на образование в России, действующей с 2010 года, было получено свыше 10 тысяч кредитов.



На VI Санкт-Петербургском международном культурном форуме киностудия «Союзмультфильм» и Санкт-Петербургский государственный институт кино и телевидения заключили соглашение о сотрудничестве, информирует ТАСС.



Ольга Васильева сообщила, что формы отчетов по ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы» будут существенно сокращены, а патентная защита - ускорена. По ее словам достигнута договоренность с Роспатентом о том, что все результаты, полученные в рамках программы, будут рассматриваться патентным органом в срок до 4-6 месяцев.



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



Участники первого Всероссийского съезда преподавателей истории в вузах России предложили с 2018 года ввести во всех российских вузах обязательную дисциплину «История России». Как сообщает РИА Новости, эта идея нашла отражение в проекте резолюции съезда.



Министр образования и науки Ольга Васильева, председатель Центральной избирательной комиссии Элла Памфилова и председатель Российского союза молодёжи Павел Красноруцкий подписали соглашение о сотрудничестве между возглавляемыми ими структурами. Стороны вместе займутся повышением культуры молодежи в области избирательного права и избирательного процесса.



Количество малых инновационных предприятий, созданных на базе научных организаций, подведомственных ФАНО, за год выросло на 4%: с 313 в 2015 году до 326 в 2016-м. Кроме того, в прошлом году увеличилось и количество результатов интеллектуальной деятельности - с 2979 до 3369.



Конференции


Международная научная конференция ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ТЕХНОЛОГИИ 2-6 апреля 2018 года.

Перечень научных конференций, симпозиумов, съездов, семинаров и школ, проводимых подведомственными ФАНО России организациями в 2017 году.

Вторая научно-практическая Открытая конференция Института системного программирования РАН имени Виктора Иванникова ISPRAS Open пройдет с 30 ноября по 1 Декабря 2017 г. в главном здании Российской академии наук. Ключевые темы – безопасность программного кода и технологии анализа массивов данных.

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


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

Объявление об открытом публичном конкурсе на получение грантов Российского научного фонда по приоритетному направлению деятельности Российского научного фонда “Проведение фундаментальных научных исследований и поисковых научных исследований отдельными научными группами”.

Конкурс проектов 2018 года фундаментальных научных исследований, проводимый Российским фондом фундаментальных исследований совместно с организациями - участниками Рамочной программы БРИКС в сфере науки, технологий и инноваций.

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

Обзор стипендиальных программ DAAD для учебы и научных исследований в Германии на 2018/2019 учебный год.

Вакансии


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

03.11.2017
Федеральное государственное бюджетное учреждение высшего образования и науки Санкт-Петербургский национальный исследовательский академический университет Российской академии наук объявляет конкурс на замещение следующих вакантных должностей...

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





опрос

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




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