1

A.P. Ershov Institute of A.P. Ershov Institute of Informatics SystemsInformatics Systems Russian Academy of SciencesRussian Academy of Sciences

Siberian BranchSiberian Branch

((IIS SB RASIIS SB RAS))

Created 1 april 1990 630090, Novosibirsk Lavrentiev Prospect, 6Tel.: (3832) 330-86-52Fax: (3832) 332-34-94

E-mail:mag@iis.nsk.su

2

The main directions of activitiesThe main directions of activities

Researches in the area of theoretical and methodological bases of creation of systems of computer science, including:

theoretical background of computer science; methods and tools of constructing reliable and efficient

programs ; artificial intelligence systems ; software and application packages for new computers,

systems and networks.

3

Structure of InstituteStructure of Institute

LaboratoriesLaboratories:: Laboratory of Theoretical ProgrammingLaboratory of Theoretical Programming VLSI CAD LaboratoryVLSI CAD Laboratory Artificial Intelligence LaboratoryArtificial Intelligence Laboratory Mixed Computation LaboratoryMixed Computation Laboratory Laboratory of Systems ProgrammingLaboratory of Systems Programming Program Construction and Optimization LaboratoryProgram Construction and Optimization Laboratory Laboratory of Complex Systems SimulationLaboratory of Complex Systems Simulation

Scientific Research GroupsScientific Research Groups:: Group of Portable SoftwareGroup of Portable Software

4

Academician Andrei Ershov ArchiveAcademician Andrei Ershov Archive

The software for construction of services on creation of thematic collections is developed and realized on the basis of materials of virtual fund of Electronic archive of academician A.P.Ershov. The created service has functionalities on searching and selection of the thematic information in fund of Archive with an opportunity of the subsequent automated publication of the created collection as mini-archive on CD ROM, DVD, VHS etc.

From the point of view of user the mini-archive represents a thematic cut of archive A.P. Ershov, nothing distinguished from the basic archive by the way of user interface down to presence in it of functionalities on searching of documents by various criteria.

Active work on popularization of Electronic archive of academician A.P.Ershov was carried out. A number of the reports devoted to electronic archive at scientific conferences was made, publications in Internet are placed, a work on registration of Electronic archive of academician A.P.Ershov as Internet resources on different search servers and in catalogues of electronic archives in Internet is carried out.

5 Academician Andrei Ershov Academician Andrei Ershov ArchiveArchive

6

Virtual museum of a history of Virtual museum of a history of Informatics in SiberiaInformatics in Siberia

Researches of methods of adaptive hypermedia and the international standards of representation in Internet of information resources on a cultural heritage are carried out.

The architecture of a virtual museum and model of users, and also methods and the instrumental means oriented onto accumulation and processing of humanitarian knowledge within the framework of virtual museum SVM on a history of computer science in Siberia are developed.

For the first time the virtual museum having the adaptive interface and giving to the broad audience of users convenient opportunities on updating and development of a museum is created.

Works on gathering and preparation of the information for database of a virtual museum containing the descriptions of scientists, collectives, events, projects, publications, conferences and archival materials are developed.

7

Virtual museum of a history of Virtual museum of a history of Informatics in SiberiaInformatics in Siberia

8

NSSYPNSSYP – Novosibirsk Summer – Novosibirsk Summer School of Young ProgrammersSchool of Young Programmers

The mechanism of traditional Novosibirsk schools of young programmers (NSSYP) aimed at attraction of gifted youth to modern scientific - experimental activity in the field of computer science and programming is created.

Fundamental bases of computer science and information technologies in modern education in relation to a problem of reproduction of the scientific staff for a modern science are investigated.

The technique of the organization and maintenance of the educational process basing on statement of interesting projects - workshops, uniting schoolboys effort, students, professionals and science officers is developed.

The complete set of technical decisions on information and scientific maintenance of such educational process, selection of participants of summer school is realized.

The project of development of mechanisms NSSYP in the absentia - remote (distance) form is developed with the purpose of expansion of its scope.

9 LogicLogic methodsmethods andand verificationverification of of distributeddistributed systemssystems

The polynomial on complexity algorithm of the bottom and top approximations of model checking for basic logic of actions with motionless points of mu-calculus is offered. The problem of model checking for the cooperating distributed agents in terms of combined logics of knowledge and actions with constructions for motionless points is investigated.

Experimental program complex SPV (SDL Protocol Verifier), intended for modeling and verification of the communication protocols, including verifier of painted Petri networks, which uses a method of model checking concerning the properties submitted in mu-calculus is realized. The same method is realized in the system of verification of the feasible specifications represented in Basic-REAL language .

10LogicLogic methodsmethods andand verificationverification of of

distributeddistributed systemssystems

11

Programming languageProgramming language C C - light - light

The representative subset of language C, named C – light is offered .

For language C – light, full structural operational semantics is developed.

In the language C- light, some core named C- light-kernel for which axiomatic semantics is developed is allocated and its consistency concerning operational semantics is proved.

Rules of translation from language C - light in language C-light-kernel are determined.

The prototype of experimental system of verification of C-light programs, including compiler from language C-light into language C-light-kernel, the generator of conditions of correctness of C-light-kernel programs, the proof system of conditions of a correctness is developed and realized.

12

WEBWEB--portal of knowledgeportal of knowledge The concept is offered and the architecture of an adjusted web-portal of

knowledge providing substantial access to systematized knowledge and information resources of a given field of knowledge is designed.

The information model of a portal which basing on a system of anthologies, including anthology of scientific activity, anthology of scientific knowledge and anthology of a selected scientific discipline is developed.

Anthology of scientific activity, anthology of science, and also anthology of archeology and ethnography are developed.

Database and the basic modules of the portal : the user web-interface, the web-interface of the manager, the collector of the ontological information including the module of gathering the information and the module of automatic indexing of texts of given subjects are designed and developed.

Adjustment of the portal on a subject domain “archeology and ethnography” is carried out. Installation and adjustment of the portal of knowledge on server is executed.

13

WEBWEB--portal of knowledgeportal of knowledge

14

RealizationRealization of the fullof the full cross-programming cross-programming systemsystem forfor the platformthe platform BCVM OVS -1750BCVM OVS -1750

((Contract with NPO PMContract with NPO PM, , KrasnoyarskKrasnoyarsk))

Language Modula-2 (standard ISO 10514) is widely used for programming the built - in systems, such as the onboard software of satellites etc.

By contract with NPO PM, the basic Russian manufacturer of satellites, the cross-programming system (KSP M2 - 1750) for new target platform BCVM OVS-1750 was completely realized.

The basic feature of the realized system is an integration with the programming system GNU C (GCC-1750 ver. 1.5.2 and ver. 1.4.1 of company XGC Software), achieved with the help of translation Modula-2 programs in C language.

15

Information system ASPID for a creation Information system ASPID for a creation and long-term support of the onboard and long-term support of the onboard

software of satellitessoftware of satellites

By contract with State Corporation «Information satellite systems» of a name of academician M.F.Reshetnyov, the information system "Archive of support of program projects and documents" (IS ASPID) is created.

The system is intended for creation and support of electronic archive of program projects of the onboard software for satellites.

16

Information system ASPID for a creation Information system ASPID for a creation and long-term support of the onboard and long-term support of the onboard software of satellitessoftware of satellites

17

Algorithms and program complex for the data processing, Algorithms and program complex for the data processing,

received in the process of radioactive oil well loggingreceived in the process of radioactive oil well logging

Within the framework of the contract with West-Siberian Corporation TYUMENPROMGEOFIZIKA (WSC TPG), a series of new algorithms for processing the signals arising at Radioactive Oil Well Logging is developed.

The program complex “SpectrumAnalyzer”, giving wide

opportunities: loading, viewing and processing of initial energy and time spectra; calculation of various analytical parameters; calculation of concentration of natural radioactive elements; export of results in the form of LAS format used in geophysics, is created.

Algorithms and the program complex are used by operation of petroleum deposits and are competitive with world analogues.

18

Algorithms and program complex for the data processing, Algorithms and program complex for the data processing, received in the process of radioactive oil well loggingreceived in the process of radioactive oil well logging

19

AlgorithmsAlgorithms andand programprogram complexcomplex of the analysisof the analysis andand predictionprediction of processesof processes of functionof function

of regulatoryof regulatory systemssystems inin a cella cell

Advanced algorithms are developed and software for analysis and a prediction of processes of function of regulatory systems in a cell is realized.

Algorithms for a prediction of transcription factors, basing on the data from the microchips,homological data, phenotypic features and other biological data, are investigated.

Methods of reception of different input (entrance) data from the most popular genetic databases are developed for these algorithms.

20

AlgorithmsAlgorithms andand programprogram complexcomplex of the analysisof the analysis andand predictionprediction of processesof processes of functionof function

of regulatoryof regulatory systemssystems inin a cella cell

21

PreparationPreparation of the high skilledof the high skilled staffstaff

The institute has the big postgraduate study and prepares for post-graduate students. There is Dissertational council on protection of doctor's theses on a specialty 05.13.11 in the field of physical and mathematical sciences.

IIS SB RAS is working in close cooperation with Novosibirsk State University, which is the main source of students and young researchers for Institute. Many employees of Institute (professors, etc) are working at the University part-time, and students are passing their diploma practice in Institute.

Employees of Institute give 18 basic courses, and carry out more than 20 special courses, and also 10 special seminars in mathematical faculty of NSU. About the same number of special courses and special seminars are read and carried out by employees of IIS in information technologies faculty of NSU.

Annually more than 100 students are passing their diploma practice in

scientific laboratories of Institute.

22

ParticipationParticipation inin exhibitionsexhibitions

At the Siberian fair and other exhibitions, Institute of Informatics Systems SB RAS showed the following program products:

·        bCAD — family of programs for flat plotting, volumetric modeling and photo-realistic toning ;

·   NeMo+ — technological complex of development of program systems on the basis of the integrated model of representation and processing of knowledge ;

·    SemP-TAO — program toolkit on the basis of the integrated model of representation and processing of knowledge .

  At the Exhibition UCHSIB «Education of Siberia to XXI century »

IIS SB RAS received Small gold medal for technology of training of young programmers at summer school .

At the Exhibition SibPolyTech IIS SB RAS received Silver medal for creating software for processing signals of radioactive oil well logging .

23

International cooperationInternational cooperation

The institute of systems of computer science regularly carries out the international conferences ”Perspectives of Information Systems” devoted memories of academician A.P.Ershov. Usually more than 40 scientists from foreign countries take part in them. Works of conference are published in the publishing company “ Springer Verlag” in series Lectures Notes in Computer Science.

Also during last five years on the basis of Institute, other international conferences are carried out. In 2003 ‰ 2007 conferences - competitions of young scientists were carried out(spent) with the support of Microsoft.

The institute has wide international contacts with scientific organizations and the companies working in the field of information technologies: Microsoft Research, IBM, Samsung etc. Employees of Institute regularly visit other countries for participation in the international conferences and for joint scientific work.

24

Applied softwareApplied software

At Institute there is a belt (zone) of innovation firms working in the field of applied software: ProPro, Excelsior, Xtech etc.

Excepting traditional subjects, such as creation of compilers, designing, verification, testing and optimization of programs, creation of CAD systems, network applications, also the works oriented onto selected subject domains: onboard computers for communication satellites, a railway transportation, applied genetics, search of petroleum, etc. are conducted.

25

Thank You!