Официально


Владимир Путин подписал федеральный закон о внесении изменений в ФЗ «О Российской академии наук, реорганизации государственных академий наук и внесении изменений в отдельные законодательные акты Российской Федерации». Он вступает в силу со дня его официального опубликования.



Правительство снизило объем средств, которые будут направлены из бюджета на повышение конкурентоспособности ведущих российских вузов в 2018-2020 годах. Постановление об этом опубликовано на официальном интернет-портале правовой информации.

Госдума приняла в первом чтении внесенный Правительством РФ законопроект об унификации структур по военной подготовке в вузах. Он предусматривает, что в вузах будет один вид структурных подразделений военной подготовки - военные учебные центры.

Госдума рассмотрела в первом чтении проект федерального закона «О внесении изменений в статью 87 ФЗ «Об образовании в РФ» и статью 19 ФЗ «О свободе совести и о религиозных объединениях» в части совершенствования правового статуса духовных образовательных организаций.




Новости № 27-28(2018)

Регионы


Томский госуниверситет вместе с IT-компанией Rubius приступают к реализации масштабного digital-проекта - “Виртуальный университет 4.0”.

В Совете Федерации прошли Дни Ярославской области. Участие в выставке, организованной в верхней палате принял в том числе Ярославский госуниверситет.

Студенты Воронежского госуниверситета стали победителями международного конкурса IT-Challenge. Его организовала французская корпорация Atos, специализирующаяся на IT-консалтинге, аутсорсинге бизнес-процессов, производстве серверов.

СНГ


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


Группа австралийских политиков опубликовала “дорожную карту” для законодательного закрепления возможности искусственного оплодотворения с донорством митохондрий, сообщает Nature News.

Жизнеспособные эмбрионы исчезающего северного белого носорога получены в лаборатории. С подробностями - The Scientist.


Председатель ВЦИК тов. Свердлов оглашает только что полученное по прямому проводу сообщение от Уральского областного совета о расстреле бывшего царя Николая Романова. В последние дни столице “красного” Урала Екатеринбургу серьезно угрожала опасность приближения чехословацких банд. В то же время был раскрыт новый заговор контрреволюционеров, имевший целью вырватъ из рук советской власти коронованного палача. Ввиду всех этих обстоятельств Президиум Уральского областного совета постановил расстрелять Николая Романова, что и было приведено в исполнение 16 июля...














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

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

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

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

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

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

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


 

Отзывы

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



 

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

В погоне за флопсами. Станет ли Россия суперкомпьютерной державой?
На последнем в этом полугодии заседании Президиума РАН была затронута актуальнейшая суперкомпьютерная тема. Научный руководитель Института прикладной математики им. М.В.Келдыша РАН академик Борис Четверушкин выступил с докладом о мерах по развитию суперкомпьютерных цифровых технологий в РФ. /№ 27-28(2018)
В зеркале приоритетов. Усилия РФФИ соответствуют вызовам времени.
Показатели деятельности Российского фонда фундаментальных исследований (РФФИ) за первое полугодие 2018 года продемонстрировали динамичную работу по исполнению Стратегии научно-технологического развития России и тенденцию к поддержке конвергенции в научных исследованиях. Кроме того, РФФИ проявил замечательные организационные и дипломатические способности при подготовке и проведении первого в России саммита научных фондов мира в рамках Глобального исследовательского совета. /№ 27-28(2018)
Внимание - на старт! Первым делом РФФИ поддерживает молодежь
На мероприятие, организованное совместно Советом Федерации, РФФИ, администрацией Томской области и Национальным исследовательским Томским государственным университетом, съехались 200 представителей вузов, академических институтов, профильных областных министерств и ведомств из 45 российских регионов. /№ 26(2018)

Новости


Россия занимает десятое место в рейтинге стран по публикационной активности в естественно-научных областях исследований и входит в пятерку лучших по некоторым научным направлениям - такие данные приведены в материале НИУ Высшая школа экономики «Россия в рейтинге стран по публикационной активности ученых: естественные и точные науки»



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



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



В Москве состоялась встреча президента Российской академии наук Александра Сергеева и Александра Стуглева, председателя правления, директора фонда «Росконгресс» – социально-ориентированного нефинансового института развития, крупнейшего организатора международных, конгрессных, выставочных и общественных мероприятий.

Десять федеральных университетов должны объединиться в ассоциацию, чтобы повысить свою конкурентоспособность и упростить многие процедуры взаимодействия, например, разработку и лицензирование совместных сетевых образовательных программ. Такую точку зрения высказал в ходе заседания Российского союза ректоров, состоявшегося в Москве, ректор Казанского федерального университета Ильшат Гафуров.

О необходимости поддержки научных журналов высказался на заседании Совета ректоров России ректор МГУ Виктор Садовничий.

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

Конференции


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

Пятая конференция разработчиков российских операционных платформ «OS DAY. Надежность» состоится 17-18 мая 2018 г. в Москве, в главном здании Российской академии наук. Основной темой для обсуждения среди теоретиков и практиков системного программирования и разработки ОС станет вопрос надежности. Участники рассмотрят методы проектирования и разработки надежных платформ, инструментальные средства обеспечения надежности программно-аппаратных систем как на этапе разработки, так и на этапе эксплуатации.

Центр научно-информационных исследований по науке, образованию и технологиям ИНИОН РАН совместно с Институтом экономических стратегий проводят МОСКОВСКИЙ ГОРОДСКОЙ СЕМИНАР ПО НАУКОВЕДЕНИЮ И НАУКОМЕТРИИ

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


Российская академия наук (РАН) и Национальная академия наук Беларуси (НАН Беларуси) объявляют конкурс на соискание трех премий за выдающиеся научные результаты, полученные российскими и белорусскими учеными при проведении совместных работ в области естественных, технических, гуманитарных и социальных наук и имеющие важное научное и практическое значение.

Конкурс на лучшие научные проекты, выполняемые молодыми учеными под руководством кандидатов и докторов наук в научных организациях Российской Федерации (“Мобильность”)

Конкурс на лучшие проекты фундаментальных научных исследований

Конкурс на лучшие проекты, выполняемые молодыми учеными (Эврика! Идея)

Международный научный фонд экономических исследований академика Н.П.Федоренко (МНФЭИ) объявляет конкурсы 2018 года

Вакансии


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

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

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




опрос

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




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