1 Institut Erchov des Systèmes Informatiques De la Branche Sibérienne de lAcadémie des Sciences de la Russie (ISI BS ASR) Il est créé a le 1 avril 1990.

Présentation au sujet: "1 Institut Erchov des Systèmes Informatiques De la Branche Sibérienne de lAcadémie des Sciences de la Russie (ISI BS ASR) Il est créé a le 1 avril 1990."— Transcription de la présentation:

1 1 Institut Erchov des Systèmes Informatiques De la Branche Sibérienne de lAcadémie des Sciences de la Russie (ISI BS ASR) Il est créé a le 1 avril 1990 6, Prospect Académicien Lavrentiév, 630090,Novossibirsk, Russie Тél. (383) 3308652, FAX (383) 3323494 iis@iis.nsk.su www.iis.nsk.su

2 2 Domaines dinterventions Les axes principaux de la recherche de lInstitut sont des bases théoriques et méthodologiques de la création des systèmes informatiques, y compris: Bases théoriques de linformatique; ; Méthodes et outils de création des logiciels dune fiabilité et efficacité élevées ; Méthodes et systèmes se rattachant à lintelligence artificielle ; Logiciels systémiques et appliqués pour les ordinateurs, les systèmes, les reseaux et des ensembles de lavenir.

3 3 La structure de l'Institut Les laboratoires : Laboratoire de programmation théorique Laboratoire de programmation théorique Laboratoire dautomatisation des projets et de larchitecture de circuits de très grande échelle d'intégration Laboratoire dautomatisation des projets et de larchitecture de circuits de très grande échelle d'intégration Laboratoire de création et doptimisation des logiciels Laboratoire de création et doptimisation des logiciels Laboratoire de lintelligence artificielle Laboratoire de lintelligence artificielle Laboratoire de programmation systémique Laboratoire de programmation systémique Laboratoire des calculs combines Laboratoire des calculs combines Laboratoire de modélisation des systèmes complexes Laboratoire de modélisation des systèmes complexes La groupe de recherche : La groupe des systèmes de programmation supportables La groupe des systèmes de programmation supportables

4 4 L'élaboration de la technologie des archives électroniques Il y a des principes de la construction des bases de données fait- graphique orientées vers la fixation de l'information historique. Il y a des systèmes électroniques d'archives tels, comme : les archives Électroniques de l'académicien A.P.Ershova http://ershov.iis.nsk.su, la Chronique de la branche Sibérienne http://chronicle.iis.nsk.su, le portail Historique de la faculté mathématique de l'université de Novosibirsk http://www.globalmmf.ru. http://ershov.iis.nsk.su http://chronicle.iis.nsk.su http://www.globalmmf.ru Il y a des photoarchives électroniques de la branche Sibérienne de l'Académie des Sciences de la Russie http://soran1957.ru, on produit son remplissage primaire par les documents et l'information.http://soran1957.ru

5 5 Les archives des photos de la Branche Sibérienne de lAcadémie des Sciences de la Russie

6 6 Les archives électroniques de l'académicien A.P.Ershov

7 7 Le musée virtuel de l'histoire de l'informatique en Sibérie

8 8 L'École D'été des Jeunes Programmeurs La photo du jury-cryptographie. L'école A.P.Ershov d'été des jeunes programmeurs. Le jury (A.A.Bers, T.I.Tihonova, A.G.Marchuk) accepte le travail de la cryptographie artistique. LesAltai montagnes, la base du repos la "Jeunesse", août 20

9 9 Les méthodes logiques et la vérification des systèmes distribués On propose l'algorithme du contrôle des modèles pour la logique de base des actions avec les points immobiles (-calcul). Qui a la complexité polynomial. On étudie le problème du contrôle des modèles pour les agents coopérant distribués décrit avec l'aide de logiques combinés des connaissances et les actions avec les structures des points immobiles. On réalise le programme expérimental SPV (SDL Protocol Verifier). Il est destiné au modelage et à la vérification des protocoles communication. Ce programme contient le vérificateur des réseaux colorés Petri, qui utilise la méthode du contrôle des modèles pour les propriétés présentées dans le - calcul. La même méthode est réalisée dans le système de la vérification des spécifications accomplées, quelles sont présentées dans la langue Basic-REAL.

10 10 Les méthodes logiques et la vérification des systèmes distribués

11 11 Le langage de programmation С-light On propose la sous-multitude représentative de la langue C, appelé С-light. Pour la langue С-light on élabore la sémantique complète structurale opérationnelle. Dans la langue С-light on met en relief le noyau appelé С-light- kernel, pour qui on est élaborée la sémantique axiomatique et est prouvée incontradictoir de cette sémantique en ce qui concerne la sémantique opérationnelle. On définit et argumente les règles de la traduction de la langue С- light à la langue C-light-kernel. On élabore et réalise le prototype expérimental du système de la vérification C-light programmes, insérant le compilateur de la langue C-light à la langue C-light-kernel, le générateur des conditions de la convenance C-light-kernel programmes, preuver des conditions de la convenance.

12 12 Le WEB-portail des connaissances On propose la conception et élabore l'architecture du web-portail reconfiguré aux connaissances, assurant l'accès substantiel aux connaissances systématisées et aux resources informatiques du domaine des connaissances donné. On accomplit le réglage du portail du domaine objectif «l'Archéologie et l'ethnographie». On accomplit l'installation et le réglage du portail des connaissances sur le serveur d'institut de l'archéologie et l'ethnographie de la Branche Sibérienne de lAcadémie des Sciences de la Russie. On commence son exploitation expérimentée.

13 13 Le WEB-portail des connaissances

14 14 ASPID – Le système informatique pour l'élaboration et l'accompagnement à long terme du logiciel de bord des satellites Par le contrat avec l'entreprise «systèmes informatiques des satellites» le nom de l'académicien M.F.Reshetnev il y a un système informatique "les Archives de l'accompagnement des projets programmes et les documents" (système ASPID). Le système est destiné à la création et la conduite des archives électroniques de l'accompagnement des projets du logiciel de bord.

15 15 ASPID – Le système informatique pour l'élaboration et l'accompagnement à long terme du logiciel de bord des satellites

16 16 Logiciel du traitement des données du carottage radioactif des puits pétroliers Par le contrat avec SA Corporation de Sibérie Occidentale TIOUMENPROMGEOPHYSICA, il a été développé et réalisé une série dalgorithmes de traitement des signaux qui apparaissent pendant le carottage des puits pétroliers. Lensemble des logiciels«Analyseur des spectres» (SpectrumAnalyzer) ainsi créé offre de larges posibilités: chargement, visionnement et traitement des spectres damplitudes et de temps, calcul dune série des paramètres analytiques; calcul des concentrations des radionucléides naturels; exportation des résultats de traitement sous format LAS propre à la géophysique. Les algorithmes et lensemble des logiciels sont utilisées dans lexploitation des gisements du pétrole et sont compétitifs par rapports aux produits similaires mondialement connus.

17 17 Logiciel du traitement des données du carottage radioactif des puits pétroliers

18 18 Logiciel OilTemper de détection des couches satrurées de pétrole à base de traitement des données obtenues au cours du carottage radioactif des puits pétroliers

19 19 Carottage électromagnétique des puits de pétrole

20 20 Une série dalgorithmes dont la mission est une recherche rapide, à lintérieur dune image donnée, des échantillons tournés à un certain angle et qui nont pas la meme échelle

21 21 Algorithmes et ensemble des logiciels danalyse et de prévision de fonctionnement du système régulateur dans une cellule On étudie les algorithmes selon la prédiction des facteurs transcriptions à la base des données avec microarrays, les données selon l'homologie, des signes phenotypiques et d'autres données biologiques. On élabore les méthodes de la réception des données d'entrée pour ces algorithmes des bases de données génétiques les plus populaires

22 22 Algorithmes et ensemble des logiciels danalyse et de prévision de fonctionnement du système régulateur dans une cellule

23 23 Logiciel PromExtra pour la détection des promoteurs des fichiers du microtableau

24 24 Ensemle des logiciels ExPlain de traitement de linformation génétique et de recherche des molécules-cibles en vue du développement de nouveaux médicaments

25 25 Logiciel Cissearch danalyse des données dexpression des gènes: Recherche des facteurs régulateurs dépendant dexpression des gènes

26 26 Les cadres Le nombre total – 139 personnes Des collaborateurs scientifiques – 60 Les professeurs – 8 Les docteurs des sciences – 33 Les boursiers de these – 46 La distribution selon l'âge Les jeunes collaborateurs scientifiques (jusqu'à 33 ans) – 21 Les collaborateurs scientifiques de 34 à 50 ans – 21 Les collaborateurs scientifiques 50 ans est plus aînés – 18

27 27 Les publications L'institut publie le recueil des travaux scientifiques «L'informatique systeme», «Joint Bulletin of NCC et IIS, Series : Computer Science», d'autres recueils, les travaux des séminaires et les conférences, etc. Le total des plus publications importantes 2005 2006 2007 2008 2009 Les monographies 14124 Les articles dans le sceau central 1312132924 Les articles dans le sceau étranger 11118188 Les publications dans les travaux 3366474677 des conférences internationales

28 28 La formation des cadres L'institut prépare des effectifs scientifiques de la qualification supérieure au moyen des études à l'aspiranture. Dans l'Institut fonctionne le conseil de la protection de thèse de docteur et de candidat selon la spécialité 05.13.11 dans le domaine des sciences physico-mathématiques. L'institut est la base pour la chaire de la programmation de la faculté mehaniko-mathématique (FMM) de l'université d'État De Novosibirsk. Les collaborateurs de l'Institut lisent 18 cours principaux, plus de 20 cours spéciaux, ainsi que conduisent 10 séminaires spéciaux à faculté mehaniko-mathématique. Environ la même quantité de cours spéciaux et de séminaires spéciaux est lu et est conduit par les collaborateurs ISI BS ASR à la faculté (FTI) de la même université. Chaque année plus de 100 étudiants de 4-6 cours de FMM et FTI de l'université d'État de Novosibirsk passent la pratique dans les laboratoires scientifiques de l'Institut.

29 29 La participation aux expositions À la Foire Sibérienne et autres expositions ISI BS ASR présentait les produits programmes suivantes : bCAD la famille des programmes pour le dessin technique plat, le modelage volumineux et la visualisation photoréalistique ; NeМо+ l'ensemble technologique de l'élaboration des systèmes de programme à la base du modèle intégré de la représentation et le traitement des connaissances ; SemP-TAO la situation de programme à la base du modèle intégré de la représentation et le traitement des connaissances.

30 30 La participation aux expositions En 2006 à l'Exposition «La Formation de la Sibérie le XXI siècle» ISI BS ASR a reçu une Petite médaille d'or "Pour la technologie de l'enseignement des jeunes programmeurs à l'école d'été". En 2007 à l'Exposition «la Commercialisation des technologies innovatrices et les élaborations» ISI BS ASR a reçu la Médaille d'argent "Pour la création du logiciel national du traitement des signaux du carottage radioactif des trous". En 2008 à l'Exposition «Les technologies professionnellement orientées dans la formation moderne» ISI BS ASR a pris part à l'Exposition FTI de l'université d'État de Novosibirsk. On recevait une Petite médaille d'or «Pour l'expérience de la formation des cadres dans le système des olympiades sur l'informatique".

31 31 La coopération internationale L'institut des systèmes de l'informatique passé régulièrement les conferences internationales «les Perspectives des systèmes de l'informatique», les mémoires consacrées de l'académicien A.P.Ershov. La conference suivante était passée en 2006. Lui ont pris part plus de 40 savants de l'étranger lointain. Les travaux de la conference sont publiés dans la maison d'édition Springer dans une série Lectures Notes in Computer Science. Pour les dernières cinq années sur la base de l'Institut on aussi passe une série d'autres conférences internationales. En 2003-2006 on passe les conférences-concours des jeunes savants au soutien Microsoft. L'institut a de larges liens internationaux avec les organizations scientifiques et les compagnies travaillant dans le domaine des technologies d'informations: Microsoft Research, IBM, Samsung etc. Les Collaborateurs de l'Institut partent régulièrement à l'étranger pour la participation aux conférences internationales et pour le travail scientifique commun. 7 personnes du nombre des collaborateurs de l'institut de sont les membres des diverses organisations internationales scientifiques.

32 32 Les projets internationaux Le projet la satisfaction Approchée aux restrictions, le modelage des systèmes parallèles et l'application. ISI BS ASR et l'institut Français-Russe de l'informatique et les mathématiques appliquées du nom d'A.M.Ljapunov. Le projet la Diffusion du système de l'enseignement de la conception systémique et la création des centres d'information correspondants dans les pays de l'Europe de l'Est et la CEI selon le programme INCO-Kopernikus. INCO Copernicus Project 969170, prof. Marchuk A.G (ISI BS ASR) est le Coordinateur du projet. Le projet russe-hollandais «la programmation Distribuée impérative dans les restrictions». Les moyens visuels перепроектирования des programmes. Le partenaire étranger : la société Relativity Technologies, Inc., Кэри (Cary), les États-Unis. Les coordinateurs du projet : Dr Erlih Л (Leonid Erlikh), Relativity Technologies, Inc.; vers. F. н. Бульонков M.А., ISI BS ASR. Les algorithmes et l'ensemble de programme de l'analyse et la prédiction des procès du fonctionnement de système régulière dans le carreau. Le partenaire d étranger : Biobase, Braunschweig. Les coordinateurs du projet: Alexander Kel' (Allemagne), Cheremushkin E.N. (Russie). Le projet : les structures Irrégulières des données et les algorithmes et leurs applications pour le traitement des textes dans la langue naturelle. Le partenaire Étranger : IBM. Les coordinateurs du projet: Jenniffer Trelewicz (les États-Unis), Murzin F.A. (Russie). Le projet : Fondé sur la base de l'information la médecine : pour la physiologie et le procès du biotraining (la liaison en retour biologique) et pour la sécurité médicale. Le partenaire Étranger : IBM. Les coordinateurs du projet : Jenniffer Trelewicz (les États-Unis), Murzin F.A. (Russie).

33 33 Les travaux appliqués À l'Institut il y a quelques sociétés travaillant dans le domaine du logiciel appliqué : ProPro, Excelsior, Xtech etc. Dans l'institut, excepté les sujets traditionnels, tels que la création des compilateurs, l'étude, la vérification, le test et l'optimisation des programmes, la création des systèmes de la conception assistée par ordinateur, les applications de réseau, le design informatique, ont conduite aussi les travaux orientés vers les domaines concrets objectifs : les ordinateurs de bord pour les satellites, les transports ferroviaires, la génétique appliquée, la recherche du pétrole.

34 34Merci!