Moscow, Russia
30.11 - 01.12.2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x

Organizer

ИСП РАН


Co-organizers

IEEE

IEEE Computer Society

Российская академия наук

ФАНО

ФПИ

ФСТЭК России


Contacts

Phone: +7(495) 912-07-54

E-mail: isprasopen@ispras.ru

Workshops

Under the conference, ISP RAS together with NVIDIA and Samsung companies will organize workshops on following topics:

Conditions of participation:

  • Participation in any workshop is free of charge;
  • You need to register in order to participate;
  • On the base of applications, organizers form a group of 15 listeners;
  • Applications selection criteria are set by organizers;
  • Applications for participation are accepted up to October, 27;
  • Notification on inclusion in group – up to October, 30.

You will need a laptop with wi-fi module and web-browser to be able to fulfill practical studies.

1. Deep learning laboratory classes by NVIDIA.

Instructor: NVIDIA certified instructor.

Date: November, 29, 2017

Time: 10:00-17:30

Venue: ISP RAS, Moscow, A. Solzhenitsyna street, Room 110 (road map).

NVIDIA deep learning institute (DLI) invites you to take part in practical studies for developers, data processing specialists and scientists under the Open conference of ISP RAS. During laboratory classes, led by the instructor you will learn about the most modern techniques of machine learning algorithms training and integration.

Workshop program includes following topics: Access setting, introductory lecture, Laboratory "Introduction into deep learning", Laboratory "Image classification with NVIDIA DIGITS".

2. Samsung Artik microcomputer for Internet of things problems.

Instructor: Samsung certified instructor.

Date: November, 29, 2017

Time: 10:00-17:30

Venue: ISP RAS, Moscow, A. Solzhenitsyna street, Room 111 (road map).

The audience of this workshop will be able to get familiar with the social-educational program for higher education institutions «Samsung IoT Academy». Using designer kits for fast prototyping, the audience will learn in practice:

  • How is a simple IoT web designed? We will build and run our own web using LoRa wireless connection modules;
  • How to collect data from terminal devices? We’ll get familiar with thr Tizen OS, set up and run MQTT-server on Samsung ARTIK microcomputer;
  • Learning through cases under the Обучение через кейсы в программе « Samsung IoT Academy» program. «Smart greenhouse» case: we will design device prototype and application;
  • Not without a cloud. We’ll get familiar with the Samsung Artik Cloud service.

Study group has been formed

3. Bodies and environment flow interaction processes simulation: aeroelasticity, hydroelasticity, FSI.

Instructor: d.t.s., assistant professor, Scheglov G.A.

Date: November, 30, 2017

Time: 10:00-17:30

Venue: ISP RAS, Moscow, A. Solzhenitsyna street, Room 110 (road map).

This workshop includes theoretical part (length 1.5 hours) and practical studies (length 4.5 hours).

The lecture is dedicated to problems of construction elements and incompressible flow interaction simulation. It tells about general aeroelasticity and hydroelasticity problems statement, as well as setting of fluid structure interaction (FSI) problems, which still do not have an adequate Russian name. Different approaches to computational simulation of FSI problems with the use of mesh-based and meshless methods of computational hydrodynamics.

The lecture is concluded with description of model problems for self-study with the use of OpenFOAM package Ext version tools and meshless method of vortex elements и бессеточным методом вихревых элементов:

  • unelastic outline vibrations in two-dimensional parallel flow;
  • elastic outline vibrations in two-dimensional parallel flow.

Study group has been formed

4. Theory and practice of viscous compressive flows simulation by quasigasdynamic equations tools.

Instructor: d.p.-m.s., prof., Elizarova T.G.

Date: 30, 2017

Time: 10:00-17:30

Venue: ISP RAS, Moscow, A. Solzhenitsyna street, Room 111 (road map).

This workshop includes theoretical part (length 1.5 hours) and practical studies (length 4.5 hours).

The lecture is dedicated to problems of simulating viscous gas flows in wide Mach number range (0.1 — 50) in quasigasdynamic (QGD) approximation. It tells about general principles of QCD equations system generation, it general layout, discusses limits to applicability, physical interpretation and connection with other continuum models – Navier-Stokes equation and Euler equation. Also it examines advantages of the QGD-approach compared with more common N-S equations. Examples of QGD-equations approximation for simplest cases and results of some typical disintegration of discontinuities problems calculations are provided.

The lecture is concluded with description of model problems for self-study with the use of OpenFOAM package:

  • Flow over a backward-facing step;
  • The Hartmann whistle;
  • Calculation of flow in the vicinity of cylinder;
  • Discharge of underexpanded supersonic stream from nozzle.

Study group has been formed

Scientific and practical seminar

Modeling and Verification of Access Control Security Policies in Operating Systems

Date: November 30, 2017

Time: 14:00-16:00

Venue: RAS Presidium, Moscow, Leninsky Avenue 32A, 3rd floor, Beige hall

The seminar focuses on the modeling and verification of access control security policies in operating systems that must be certified to conform to high security levels. The seminar reports are based on the material of the monograph prepared by the group of information security and system programming specialists. The reports will describe the full process of development, formalization and verification of the security policy model and key mechanisms of the operating system information security system.

The process of modeling and verification was developed on the initiative of the JSC "RPA RusBITech" company as a part of the research started at 2013. The company used this process when obtaining a certificate of compliance to the requirements of the documents "Information Security Requirements for Operating Systems" (FSTEC of Russia, 2016) and "Security Profile of Type A Operating Systems of the Second Security Class IT.OS.A2.P3" (FSTEC of Russia, 2016).

Seminar program:

  • Goals and objectives of the joint research
    (Alexander Petrenko, Peter Devyanin, Alexander Oruzheynikov)
  • Description of the process of modeling and verification of access control of the operating system
    (Alexey Khoroshilov)
  • The base level of MROSL DP-Model in mathematical notation
    (Peter Devyanin)
  • Event-B specification of the base level of MROSL DP-Model and specification of system calls of the operating system
    (Viktor Kuliamin, Ilya Shchepetkov)
  • LSM security model, its specification and verification
    (Viktor Kuliamin, Denis Efremov)
  • Monitoring of the functioning of the operating system security system
    (Denis Efremov)
  • Questions and discussion
  • Conclusion