1

Institut Erchov des Systèmes Institut Erchov des Systèmes InformatiquesInformatiques

De la Branche Sibérienne de De la Branche Sibérienne de l’Académie des Sciences de la l’Académie des Sciences de la

Russie (ISI BS ASR)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) 3323494iis@iis.nsk.su www.iis.nsk.su

2

Domaines d’interventionsDomaines d’interventions

Les axes principaux de la recherche de l’Institut sont des bases théoriques et méthodologiques de la création des systèmes informatiques, y compris:

Bases théoriques de l’informatique; ; Méthodes et outils de création des logiciels d’une

fiabilité et efficacité élevées ; Méthodes et systèmes se rattachant à l’intelligence

artificielle ; Logiciels systémiques et appliqués pour les ordinateurs,

les systèmes, les reseaux et des ensembles de l’avenir .

3

La structure de l'InstitutLa structure de l'Institut

Les laboratoires Les laboratoires :: Laboratoire de programmation théoriqueLaboratoire de programmation théorique Laboratoire d’automatisation des projets et de l’architecture Laboratoire d’automatisation des projets et de l’architecture

de circuits de trde circuits de trèès grande s grande ééchelle d'intchelle d'intéégrationgration Laboratoire de création et d’optimisation des logicielsLaboratoire de création et d’optimisation des logiciels Laboratoire de l’intelligence artificielleLaboratoire de l’intelligence artificielle Laboratoire de programmation systémiqueLaboratoire de programmation systémique Laboratoire des calculs combinesLaboratoire des calculs combines Laboratoire de modélisation des systèmes complexesLaboratoire de modélisation des systèmes complexes

La groupe de recherche La groupe de recherche :: La groupe des systèmes de programmation supportablesLa groupe des systèmes de programmation supportables

4 L'élaboration de la technologie des archives L'élaboration de la technologie des archives électroniquesé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.

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.

5

Les archives des photos dLes archives des photos de la Branche Sibérienne de e la Branche Sibérienne de

l’Académie des Sciences de la Russiel’Académie des Sciences de la Russie

6

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

7

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

8

L'École D'été des Jeunes ProgrammeursL'É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

9Les méthodes logiques et la vérification des Les méthodes logiques et la vérification des

systèmes distribuéssystè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.

10Les méthodes logiques et la vérification des Les méthodes logiques et la vérification des

systèmes distribuéssystèmes distribués

11

Le langage de programmation Le langage de programmation СС-light-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

Le WEB-portail des connaissancesLe 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 l’Académie des Sciences de la Russie. On commence son exploitation expérimentée.

13

Le WEB-portail des connaissancesLe WEB-portail des connaissances

14

ASPID – Le système informatique pour ASPID – Le système informatique pour l'élaboration et l'accompagnement à long l'élaboration et l'accompagnement à long

terme du logiciel de bord des satellitesterme 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

ASPID – Le système informatique pour ASPID – Le système informatique pour l'élaboration et l'accompagnement à long terme l'élaboration et l'accompagnement à long terme

du logiciel de bord des satellitesdu logiciel de bord des satellites

16

Logiciel du traitement des données du carottage Logiciel du traitement des données du carottage radioactif des puits pétroliersradioactif 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 d’algorithmes de traitement des signaux qui apparaissent pendant le carottage des puits pétroliers.

L’ensemble des logiciels«Analyseur des spectres»

(SpectrumAnalyzer) ainsi créé offre de larges posibilités: chargement, visionnement et traitement des spectres d’amplitudes et de temps, calcul d’une 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 l’ensemble des logiciels sont utilisées dans l’exploitation des gisements du pétrole et sont compétitifs par rapports aux produits similaires mondialement connus.

17

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

18

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

carottage radioactif des puits pétrolierscarottage radioactif des puits pétroliers

19

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

20

Une série d’algorithmes dont la mission est une recherche Une série d’algorithmes dont la mission est une recherche rapide, à l’intérieur d’une image donnée, des échantillons rapide, à l’intérieur d’une image donnée, des échantillons

tournés à un certain angle et qui n’ont pas la meme échelletournés à un certain angle et qui n’ont pas la meme échelle

21

Algorithmes et ensemble des logiciels Algorithmes et ensemble des logiciels d’analyse et de prévision de fonctionnement d’analyse et de prévision de fonctionnement

du système régulateur dans une celluledu 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

Algorithmes et ensemble des logiciels d’analyse et de prévision Algorithmes et ensemble des logiciels d’analyse et de prévision de fonctionnement du système régulateur dans une cellulede fonctionnement du système régulateur dans une cellule

23

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

24

Ensemle des logiciels ExPlain de traitement de l’information Ensemle des logiciels ExPlain de traitement de l’information génétique et de recherche des molécules-cibles en vue du génétique et de recherche des molécules-cibles en vue du

développement de nouveaux médicamentsdéveloppement de nouveaux médicaments

25

Logiciel Cissearch d’analyse des données d’expression des Logiciel Cissearch d’analyse des données d’expression des gènes: Recherche des facteurs régulateurs dépendant gènes: Recherche des facteurs régulateurs dépendant

d’expression des gènesd’expression des gènes

26

Les cadresLes 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

Les publications 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 1 4 1 2 4Les articles dans le sceau central 13 12 13 29 24Les articles dans le sceau étranger 11 11 8 18 8Les publications dans les travaux 33 66 47 46 77des conférences internationales

28

La formation des cadresLa 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

La participation aux expositionsLa 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

La participation aux expositionsLa 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

La coopération internationaleLa 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

Les projets internationauxLes 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

Les travaux appliquésLes 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

Merci!Merci!