1

俄罗斯科学院俄罗斯科学院叶尔绍夫信息系统研究所叶尔绍夫信息系统研究所

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

2

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

包括： 信息的理论基础 ; 组建安全、高效程序的方法和工具 ; 人工智能方法和系统 ; 有前景的计算机、系统、网络和成套设

备的系统和应用程序保证。

3

我研究所的机构设置我研究所的机构设置实验室实验室 :: 理论程序化实验室理论程序化实验室 超大规模集成电路自动化和结构实验室超大规模集成电路自动化和结构实验室

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

混合计算实验室混合计算实验室 系统程序化实验室系统程序化实验室

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

科研组科研组 : :

程序化载体系统组程序化载体系统组 复杂系统模型化组复杂系统模型化组

4

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

在叶尔绍夫院士电子档案基础上，研制和实现了形成专题收集服务用的程序保证。建立的服务具有档案数据中专题信息的寻找和选择功能，可以用微型档案形式以 CD-ROM ， DVD， VHS 等把建好的收集库自动发表。

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

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

5

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

6

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

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

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

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

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

7

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

8

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

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

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

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

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

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

9

青少年程序员夏季学校青少年程序员夏季学校 叶尔绍夫院士青少年程序员夏季学校评判照片。评判员（别尔斯，纪霍诺娃，马尔楚克）正在验收精巧密码工作。 2004年 8月于阿尔泰山青少年度假中心。

10

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

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

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

11

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

模型检验

逻辑说明

“乘客服务台”记录

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

12

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

延续了 С 语言的代表子集，称之为 С-light 。对于 С-light语言研制了完整结构操作语句。在 С-light 中分离出核心，称为 С-light-kernel ，为此

研制了公理语句，并且证明了它和操作语句不会矛盾。确定和建立了将 С-light语言翻译成 C-light-kernel语言的标准。

C-light 程序校验试验系统原型已经研发和运行，包括从 С-light语言翻译成 C-light-kernel 语言的转换器， C-light-kernel 语言正确性条件发生器，正确性条件论证。

13

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

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

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

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

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

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

14

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

15

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

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

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

16

БЦВМ 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公司 ) 系统的“无缝”集成。

17

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

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

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

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

18

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

19

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

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

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

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

20

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

21

培养高素质人才培养高素质人才我研究所通过研究生教育和竞赛，培养高素质科研人才。在三年中，我研究所的物理数学领域 05.13.11 专业副博

士答辩委员会进行了工作。 我研究所是新西伯利亚国立大学两个教研室的实验基地，即机械数学系程序化教研室，信息技术系信息系统教研室。

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

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

22

参加展会参加展会

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

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

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

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

 在 « 西伯利亚教育 — 21世纪 » 展览会上，俄罗斯科

学院西伯利亚分院信息系统研究所的“青少年程序员夏季学校”获得了小金奖。

23

国际合作国际合作

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

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

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

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

24

推广工作推广工作

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

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

25

Спасибо!

謝謝 !