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

2
主要科研方向

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

信息理论基础;
组建安全、高效程序的方法和工具;
人工智能方法和系统; 有前景的计算机、系统、网络和成套设备系统和应用 程序保证。
3
我研究所的机构设置
实验室:

理论程序化实验室 超大规模集成电路自动化和结构实验室 人工智能实验室 混合计算实验室 系统程序化实验室 系统设计和优化实验室 程序化载体系统组 并行处理理论
利，使博物馆可以补充和发展。
含有信息技术科学家介绍、团队、大事记、项目、著作、会议和
档案材料的虚拟博物馆数据库信息收集和准备工作已经开展。
9
西伯利亚信息科学历史虚拟博物馆
10
青少年程序员夏季学校

在西伯利亚地区中小学信息科学发展方面，建立了实践基地，即重建青少年程 序员夏季学校机制。 新西伯利亚青少年程序员学校的重建，目的在于吸引有天分的年轻人投身于信 息科学和程序化的现代科学实验事业。 研究了关于现代科学科研人才再生产的问题上现代教育中信息科学和信息技术 的重要基础。
实用论信息收集器，包括信息收集模型和指定主题的文本自动检索的模型。
完成了关于考古学和民族学领域门户网站的调试。在俄罗斯科学院西伯利
亚分院考古学和民族学研究所服务器上完成了知识门户网页的装备和调试。 已开始试运行。
16
WEB知识门户网页
17
苏联部长委员会奖
获得者: 俄罗斯通讯院士叶尔绍夫，部门主管， 波多星，实验室主管，物理数学博士
俄罗斯科学院西伯利亚分院的电子照片存档系统 http://soran1957.ru
, 对其初始材料和信息进行存储。
5
俄罗斯国家科学院西伯利亚分院照片档案
6
叶尔绍夫院士电子档案

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

从用户角度来说，微型档案是叶尔绍夫档案的专题切面，在用户的接口界面上， 具有按照各类标准进行文件搜寻的功能，同基础档案馆没有区别。
叶尔绍夫院士电子档案普及工作已经积极开展。研究所多次在各种会议上作了关 于电子档案的报告，并在互联网上进行了发布，叶尔绍夫院士电子档案注册工作 作为互联网资源，已在一系列互联网电子档案搜索服务器和目录表中进行了注册。


如何在有趣的精巧项目中结合中小学生、大学生、专业人员和科研工作者各方
面的努力，研究了在教学流程中组织和保证方法。 这种教学流程、选择参加者、进行青少年程序员夏季学校的信息科学保证方面 的全套技术方案得以实施。 研究了在函授远程教育中发展青少年程序员夏季学校机制的课题，以扩大其作 用范围。
11
逻辑 说明
模型检验
结果：校验过的“乘客服务台”记 录
14
Байду номын сангаас
С-light程序语言
延续了С 语言的代表子集，称之为С-light。 对于 С-light语言研制了完整结构操作语句。 在 С-light中分离出核心，称为 С-light-kernel，为此研制了公理
语句，并且证明了它和操作语句不会矛盾。
确定和建立了将 С-light语言翻译成C-light-kernel语言的标准。 C-light程序校验试验系统原型已经研发和运行，包括从С-light语
言翻译成C-light-kernel 语言的转换器， C-light-kernel 语言正确
性条件发生器，正确性条件论证。
15
WEB-知识门户网页
实现了实验综合程序SPV (SDL Protocol Verifier)，用于通讯
记录的模型化和校验，包括再着色的Petri网校验器, 它可使用 关于μ -计算中表现性能的模型检验方法。这个方法同样在
Basic-REAL 语言中表现的执行说明校验系统中得以实现。
13
分配系统逻辑法和查验
“乘客服 务台”记 录
科研组:

复杂系统模型化组
4
电子文献技术研究成果
制定建设照片数据库、历史信息修复的原理。非特异性的本体数据构造
，生成信息系统档案，搜集处理文件的技术，以及接口视图、导航搜索 的技术。
已建成信息系统档案, 如: 叶绍夫院士电子档案
http://ershov.iis.nsk.su, 西伯利亚分院电子纪事 http://chronicle.iis.nsk.su, 西伯利亚信息科学历史虚拟博物馆 http://www.globalmmf.ru.
提出了WEB-知识门户网页概念，研制了知识门户网页的组建，该网页可实
现获取内容丰富的知识、预定知识领域系统化，知识和信息资源的可调。
开发了门户信息模型，其基础为实体论系统，包括科研事业的实体论，科
学知识的实体论，和具体科学学科的实体论。
研制了科研事业实体论和科学实体论，以及考古学和民族学的实体论。 设计和研制了数据库和门户基本模型：用户的web接口，管理员的web接口，
1
俄罗斯科学院 叶尔绍夫信息系统研究所
Institute of Informatics Systems (IIS)
创建于1990年4月1日 630090, 新西伯利亚，拉夫列基耶夫大街，6号
电话： (3832) 330-86-52
传真： (3832) 332-34-94 E-mail:mag@iis.nsk.su
7
叶尔绍夫院士电子档案
8
西伯利亚信息科学历史虚拟博物馆
根据文化遗产信息资源互联网中的超介质和提供的国际标准，研
究了适应方法。
研制了虚拟博物馆结构和用户模型，在西伯利亚信息科学历史SVM
虚拟博物馆框架中积累了处理人文知识的方法和手段。
首次建立了具有可适应接口的虚拟博物馆，给予各界广泛用户便
青少年程序员夏季学校

叶尔绍夫院士青少年程序员夏季学校评判照片。评判员（别尔斯，纪霍诺娃， 马尔楚克）正在验收精巧密码工作。拍摄于2004年8月阿尔泰山青少年度假中心。
12
分配系统逻辑和查验 提出带有μ -计算不动点的作用基础逻辑模型检验上下近似法的
复杂性加权多项式算法。对带有不动点结构的、相互作用的分 配代表在知识和作用组合逻辑名词上模型检验问题进行研究。