11

俄罗斯科学院俄罗斯科学院

叶尔绍夫信息系统研究所叶尔绍夫信息系统研究所

Institute of Informatics Systems (IIS)Institute of Informatics Systems (IIS) 创建于 1990年 4月 1日

630090, 新西伯利亚，拉夫列基耶夫大街， 6号

电话： (3832) 330-86-52

传真： (3832) 332-34-94

E-mail:mag@iis.nsk.su

22

主要科研方向主要科研方向 研究信息科学理论和基础方法学，包括：

信息理论基础 ;

组建安全、高效程序的方法和工具 ;

人工智能方法和系统 ;

有前景的计算机、系统、网络和成套设备系统和应用程序保证。

33

我研究所的机构设置我研究所的机构设置实验室实验室 ::

理论程序化实验室理论程序化实验室

超大规模集成电路自动化和结构实验室超大规模集成电路自动化和结构实验室

人工智能实验室人工智能实验室

混合计算实验室混合计算实验室

系统程序化实验室系统程序化实验室

系统设计和优化实验室系统设计和优化实验室

程序化载体系统组程序化载体系统组

并行处理理论并行处理理论

科研组科研组 : :

复杂系统模型化组复杂系统模型化组

4电子文献技术研究成果

制定建设照片数据库、历史信息修复的原理。非特异性的本体数据构造，生成信息系统档案，搜集处理文件的技术，以及接口视图、导航搜

索的技术。

已建成信息系统档案 , 如 : 叶绍夫院士电子档案 http://ershov.iis.

nsk.su, 西伯利亚分院电子纪事 http://chronicle.iis.nsk.su, 西伯利亚信息科学历史虚拟博物馆 http://www.globalmmf.ru.

俄罗斯科学院西伯利亚分院的电子照片存档系统 http://soran1957.

ru , 对其初始材料和信息进行存储。

5俄罗斯国家科学院西伯利亚分院照片档案

66

叶尔绍夫院士电子档案叶尔绍夫院士电子档案

在叶尔绍夫院士电子档案基础上，研发并制造了形成专题收集服务用的保障程序。该程序可在档案数据中进行专题信息的查询和选择，可使用微型档案形式，以CD-ROM，DVD， VHS 等把建好的收集库自动发布。

从用户角度来说，微型档案是叶尔绍夫档案的专题切面，在用户的接口界面上，具有按照各类标准进行文件搜寻的功能，同基础档案馆没有区别。

叶尔绍夫院士电子档案普及工作已经积极开展。研究所多次在各种会议上作了关于电子档案的报告，并在互联网上进行了发布，叶尔绍夫院士电子档案注册工作作为互联网资源，已在一系列互联网电子档案搜索服务器和目录表中进行了注册。

77

叶尔绍夫院士电子档案叶尔绍夫院士电子档案

88

西伯利亚信息科学历史虚拟博物馆西伯利亚信息科学历史虚拟博物馆

根据文化遗产信息资源互联网中的超介质和提供的国际标准，研究了适应方法。

研制了虚拟博物馆结构和用户模型，在西伯利亚信息科学历史SVM虚拟博物馆框架中积累了处理人文知识的方法和手段。

首次建立了具有可适应接口的虚拟博物馆，给予各界广泛用户便利，使博物馆可以补充和发展。

含有信息技术科学家介绍、团队、大事记、项目、著作、会议和档案材料的虚拟博物馆数据库信息收集和准备工作已经开展。

99

西伯利亚信息科学历史虚拟博物馆西伯利亚信息科学历史虚拟博物馆

10

10

青少年程序员夏季学校青少年程序员夏季学校 在西伯利亚地区中小学信息科学发展方面，建立了实践基地，即重建青少年程序

员夏季学校机制。

新西伯利亚青少年程序员学校的重建，目的在于吸引有天分的年轻人投身于信息科学和程序化的现代科学实验事业。

研究了关于现代科学科研人才再生产的问题上现代教育中信息科学和信息技术的重要基础。 

如何在有趣的精巧项目中结合中小学生、大学生、专业人员和科研工作者各方面的努力，研究了在教学流程中组织和保证方法。

这种教学流程、选择参加者、进行青少年程序员夏季学校的信息科学保证方面的全套技术方案得以实施。

研究了在函授远程教育中发展青少年程序员夏季学校机制的课题，以扩大其作用范围。

11

11

青少年程序员夏季学校青少年程序员夏季学校 叶尔绍夫院士青少年程序员夏季学校评判照片。评判员（别尔斯，纪霍诺娃，马尔楚

克）正在验收精巧密码工作。拍摄于 2004年 8 月阿尔泰山青少年度假中心。

12

12

分配系统逻辑和查验分配系统逻辑和查验

提出带有 μ-计算不动点的作用基础逻辑模型检验上下近似法的复杂性加权多项式算法。对带有不动点结构的、相互作用的分配代表在知识和作用组合逻辑名词上模型检验问题进行研究。

实现了实验综合程序 SPV (SDL Protocol Verifier)，用于通讯记录的模型化和校验，包括再着色的 Petri网校验器 , 它可使用关于 μ-计算中表现性能的模型检验方法。这个方法同样在 Basic-REAL 语言中表现的执行说明校验系统中得以实现。

13

13

分配系统逻辑法和查验分配系统逻辑法和查验

模型检验

逻辑说明

“乘客服务台”记录

结果：校验过的“乘客服务台”记录

14

14

С-lightС-light程序语言 程序语言

延续了 С 语言的代表子集，称之为 С-light。

对于 С-light 语言研制了完整结构操作语句。

在 С-light中分离出核心，称为 С-light-kernel，为此研制了公理语句，并且证明了它和操作语句不会矛盾。

确定和建立了将 С-light 语言翻译成 C-light-kernel 语言的标准。

C-light程序校验试验系统原型已经研发和运行，包括从 С-light

语言翻译成 C-light-kernel 语言的转换器， C-light-kernel 语言正确性条件发生器，正确性条件论证。

15

15

WEBWEB--知识门户网页知识门户网页

提出了WEB-知识门户网页概念，研制了知识门户网页的组建，该网页可实现获取内容丰富的知识、预定知识领域系统化，知识和信息资源的可调。

开发了门户信息模型，其基础为实体论系统，包括科研事业的实体论，科学知识的实体论，和具体科学学科的实体论。

研制了科研事业实体论和科学实体论，以及考古学和民族学的实体论。

设计和研制了数据库和门户基本模型：用户的 web接口，管理员的 web接口，实用论信息收集器，包括信息收集模型和指定主题的文本自动检索的模型。

完成了关于考古学和民族学领域门户网站的调试。在俄罗斯科学院西伯利亚分院考古学和民族学研究所服务器上完成了知识门户网页的装备和调试。已开始试运行。

16

16

WEBWEB 知识门户网页知识门户网页

17

17

苏联部长委员会奖苏联部长委员会奖获得者 : 俄罗斯通讯院士叶尔绍夫，部门主管，

波多星，实验室主管，物理数学博士

专业化、内置、小型和微型电脑，在通用电脑基础上保证其成套可调节工具手段的程序自动设计先进技术的创建和推广。

18 СОКРАТСОКРАТ项目项目

与列舍特涅夫信息卫星系统股份有限公司的合作与列舍特涅夫信息卫星系统股份有限公司的合作 上世纪 80 年代末 Модула-2 语言被作为政府指令用作基本语言软件

用来保障机载系统。

当时在伊 . 弗 . 波特多辛的领导下通过了 СОКРАТ项目。由此与克拉斯诺亚尔斯克的列舍特涅夫应用力学科学生产联合公司展开了紧密合作（现在为列舍特涅夫信息卫星系统股份有限公司）该公司是俄罗斯主要卫星制造商，航空领域龙头企业。

СОКРАТ系统是一个实验性设计的集成工具集，用于开发提高效率和可靠性的保障性软件。

19

19

БЦВМ OBC-1750БЦВМ OBC-1750 平台程序化完全交叉系统实现平台程序化完全交叉系统实现

((科研生产公司科研生产公司 ПМПМ 定制定制 , , 克拉斯诺亚尔斯克市克拉斯诺亚尔斯克市 ))

按照Модула-2 语言 (ISO 10514) ，广泛采用内置系统程序化，如卫星随航程序保证等。

按照俄罗斯卫星的主要生产者——科研生产公司 ПМ的定制，完全实现了 БЦВМ OBC-1750 平台完全程序化的交叉系统 (КСП М2-

1750) 。

实现系统的主要特点在于：在 С 语言 Модула-2程序转换帮助下达到 GNU C (GCC-1750 ver. 1.5.2 和 ver. 1.4.1 XGC Software

公司 ) 系统的“无缝”集成。

20 ASP信息系统

用于保障开发和维护卫星机载软件

“根据列舍特涅夫信息卫星系统股份有限公司的订制，建立了 文

”件和项目归档和维护软件 信息系统（ IP ASP ）

该系统用于建立并保障机载软件电子档案的维护 该系统用于建立并保障机载软件电子档案的维护和搜集。在编程和维护宇航器机载软件的过程中形成机载软件保障。

并将所有的机载软件保障文件进行集中存储管理和调配控制。

21

ASP信息系统

用于保障开发和维护卫星机载软件

22

22

石油钻井放射活性测井过程中获得数据的处理算法和成套程序石油钻井放射活性测井过程中获得数据的处理算法和成套程序

根据西西伯利亚秋明工业地理物理集团公司的要求，研发和进行了石油钻井核测井时出现信号处理的一系列算法。

建立了程序集合“光谱分析器” (SpectrumAnalyzer)，可广泛用于下列方面：装载，检查，处理原始振幅和时间参数，计算一系列分析参数，计算自然放射性核素的浓度，以用于地球物理中的 LAS 输出处理结果。

算法和程序集合用于在石油产地使用，并可与世界同类产品竞争。

23

23

石油钻井放射活性测井过程中获得数据的处理算法和成套程序石油钻井放射活性测井过程中获得数据的处理算法和成套程序

24 石油钻井放射活性测井过程中获得数据的处理算法石油钻井放射活性测井过程中获得数据的处理算法

25 石油钻井放射活性测井过程中获得数据的处理算法石油钻井放射活性测井过程中获得数据的处理算法

26 影像处理影像处理

27 影像处理影像处理

28

28

细胞中功能调节系统的细胞中功能调节系统的

分析和预测算法和成套程序分析和预测算法和成套程序

研发了改进后的算法，实现了细胞中功能调节系统的分析和预测程序等成套产品。

在微型芯片数据、同源数据、表型性状和其他生物数据的基础上，研究了转录因子的预测算法。

研制了从更加广泛的遗传数据库中获得这些算法输入数据的方法。

29 细胞中功能调节系统的分析和预测算法和成套程序细胞中功能调节系统的分析和预测算法和成套程序

30

30

细胞中功能调节系统的分析和预测算法和成套程序细胞中功能调节系统的分析和预测算法和成套程序

31 生物技术的数学算法生物技术的数学算法

32 生物技术的数学算法生物技术的数学算法

33 自然语言语篇语义研究自然语言语篇语义研究

34 自然语言语篇语义研究自然语言语篇语义研究

35 脑电图技术脑电图技术

病人与电脑程序进行复杂互动

36 脑电图技术脑电图技术

Рис. 2. Эффекты «чёрная дыра» и «вихрь». Вверху показано исходное изображение, эффекты показаны при

максимальной силе.

37

37

培养高素质人才培养高素质人才

我研究所通过研究生教育和竞赛，培养高素质科研人才。

在三年中，我研究所的物理数学领域 05.13.11专业副博士答辩委员会进行了工作。

我研究所是新西伯利亚国立大学两个教研室的实验基地，即机械数学系程序化教研室，信息技术系信息系统教研室。

我研究所的工作人员在新西伯利亚国立大学机械数学系承担 18 个年级、20多个专业班的课程，并且在进行 10 个专业讲座。我所工作人员在新西伯利亚国立大学信息技术系有大约同样数量的专业班和专业讲座。

每年在我研究所的实验室进行新西伯利亚国立大学机械数学系和信息技术系 4-6 个年级 100 名大学生的科研和生产实践。

38

38

参加展会参加展会

在西伯利亚博览会和其他展览上，俄罗斯科学院西伯利亚分院信息系统研究所展示了如下程序成果：

·        bCAD — 平面绘图、立体模型化和照片实际调色程序系列

·   НеМо+ — 在知识介绍和处理集成模型基础上处理程序系统研究的成套工艺

·    SemP-TAO — 知识介绍和处理的集成模型基础上的程序环境。

 

在 «西伯利亚教育 — 21 世纪 » 展览会上，俄罗斯科学院西伯利亚分院信息系统研究所的“青少年程序员夏季学校”获得了小金奖。

39 展会获奖情况展会获奖情况

 

2006 年在以“二十一世纪西伯利亚教育”为主题的“国际教育展——学习工具、设备、资料、创新理念和经验”展会上西伯利亚分院信息系统研究所“ 夏令营青年程序员培养技术” 获得了小金牌奖

2007 年“ 科技成果商业化” 西伯利亚综合工艺展上西伯利亚分院信息系统研究所“ 石油钻井放射活性测井过程中获得数据的处理算法和成套程序” 获得了银奖

2008 年在以“现代教育技术职业指导”为主题的“国际教育展——学习工具、设备、资料、创新理念和经验”展会上西伯利亚分院信息系统研究所“ 利用奥运信息系统培养骨干的实验” 获得小金牌奖

40

40

国际合作国际合作

我研究所定期进行纪念叶尔绍夫院士的“信息系统前景”国际学术会议。该学术会议于 2006 年进行了例会。共有 40位来自海外的学者参加会议。会议的著作由 Springer 出版社在Lectures Notes in Computer Science系列中进行发表。

最近 5 年在我研究所的基地上，还进行了其他国际会议。在 2003–2006年Microsoft资助进行了青年学者竞赛会议。

我研究所具有和信息技术领域科研机构和公司之间的广泛国际联系：如 Microsoft Research, IBM, Samsung 等等。我研究所人员定期出席国际会议，或为了共同的科研工作出访。

我研究所有 7 名专家是各种国际科学组织的成员。

41

41

推广工作推广工作

我研究所设有应用程序保证（ ProPro, Excelsior, Xtech 等）领域工作的推广公司区。

除建立转换器、结构、校验、测试和优化程序，建立自动化设计系统，网络附件、电脑设计等传统课题外，还进行具体项目领域的工作：卫星通讯随航电脑，铁路运输，应用遗传学，寻找石油。

42

42

Спасибо!

謝謝 !