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

1、1 1创建于创建于1990年年4月月1日日630090,新西伯利亚，拉夫列基耶夫大街，新西伯利亚，拉夫列基耶夫大街，6号号电话：电话：(3832)330-86-52传真：传真：(3832)332-34-94E-mail:magiis.nsk.su22l研究信息科学理论和基础方法学，包括：研究信息科学理论和基础方法学，包括：信息理论基础信息理论基础;组建安全、高效程序的方法和工具组建安全、高效程序的方法和工具;人工智能方法和系统人工智能方法和系统;有前景的计算机、系统、网络和成套设备系统和应用有前景的计算机、系统、网络和成套设备系统和应用程序保证。程序保证。334电子文献技术研究成果电子文献技术

2、研究成果制定建设照片数据库、历史信息修复的原理。非特异性的本体数据构造制定建设照片数据库、历史信息修复的原理。非特异性的本体数据构造，生成信息系统档案，搜集处理文件的技术，以及接口视图、导航搜索，生成信息系统档案，搜集处理文件的技术，以及接口视图、导航搜索的技术。的技术。已建成信息系统档案已建成信息系统档案,如如:叶绍夫院士电子档案叶绍夫院士电子档案httphttp:/:/ershovershov.iisiis.nsknsk.susu,西伯利亚分院西伯利亚分院电子电子纪事纪事httphttp:/:/chroniclechronicle.iisiis.nsknsk.susu,西伯利亚信息科学历史

3、虚拟博物馆 httphttp:/:/wwwwww.globalmmfglobalmmf.ruru.俄罗斯科学院西伯利亚分院的电子照片存档俄罗斯科学院西伯利亚分院的电子照片存档系统系统 httphttp:/:/soransoran1957.1957.ruru ,对其初始材料和信息进行存储。对其初始材料和信息进行存储。5俄罗斯国家科学院西伯利亚分院照片档案俄罗斯国家科学院西伯利亚分院照片档案66在叶尔绍夫院士电子档案基础上，研发并制造了形成专题收集服务用的保障程序。在叶尔绍夫院士电子档案基础上，研发并制造了形成专题收集服务用的保障程序。该程序可在档案数据中进行专题信息的查询和选择，可使用微型档案形

4、式，以该程序可在档案数据中进行专题信息的查询和选择，可使用微型档案形式，以CD-ROM，DVD，VHS 等把建好的收集库自动发布。等把建好的收集库自动发布。从用户角度来说，微型档案是叶尔绍夫档案的专题切面，在用户的接口界面上，从用户角度来说，微型档案是叶尔绍夫档案的专题切面，在用户的接口界面上，具有按照各类标准进行文件搜寻的功能，同基础档案馆没有区别。具有按照各类标准进行文件搜寻的功能，同基础档案馆没有区别。叶尔绍夫院士电子档案普及工作已经积极开展。研究所多次在各种会议上作了关叶尔绍夫院士电子档案普及工作已经积极开展。研究所多次在各种会议上作了关于电子档案的报告，并在互联网上进行了发布，叶尔绍

5、夫院士电子档案注册工作于电子档案的报告，并在互联网上进行了发布，叶尔绍夫院士电子档案注册工作作为互联网资源，已在一系列互联网电子档案搜索服务器和目录表中进行了注册。作为互联网资源，已在一系列互联网电子档案搜索服务器和目录表中进行了注册。7788根据文化遗产信息资源互联网中的超介质和提供的国际标准，研根据文化遗产信息资源互联网中的超介质和提供的国际标准，研究了适应方法。究了适应方法。研制了虚拟博物馆结构和用户模型，在西伯利亚信息科学历史研制了虚拟博物馆结构和用户模型，在西伯利亚信息科学历史SVMSVM虚拟博物馆框架中积累了处理人文知识的方法和手段。虚拟博物馆框架中积累了处理人文知识的方法和手段。

6、首次建立了具有可适应接口的虚拟博物馆，给予各界广泛用户便首次建立了具有可适应接口的虚拟博物馆，给予各界广泛用户便利，使博物馆可以补充和发展。利，使博物馆可以补充和发展。含有信息技术科学家介绍、团队、大事记、项目、著作、会议和含有信息技术科学家介绍、团队、大事记、项目、著作、会议和档案材料的虚拟博物馆数据库信息收集和准备工作已经开展。档案材料的虚拟博物馆数据库信息收集和准备工作已经开展。991010在西伯利亚地区中小学信息科学发展方面，建立了实践基地，即重建青少年程在西伯利亚地区中小学信息科学发展方面，建立了实践基地，即重建青少年程序员夏季学校机制。序员夏季学校机制。新西伯利亚青少年程序员学校的

7、重建，目的在于吸引有天分的年轻人投身于信新西伯利亚青少年程序员学校的重建，目的在于吸引有天分的年轻人投身于信息科学和程序化的现代科学实验事业。息科学和程序化的现代科学实验事业。研究了关于现代科学科研人才再生产的问题上现代教育中信息科学和信息技术研究了关于现代科学科研人才再生产的问题上现代教育中信息科学和信息技术的重要基础。的重要基础。如何在有趣的精巧项目中结合中小学生、大学生、专业人员和科研工作者各方如何在有趣的精巧项目中结合中小学生、大学生、专业人员和科研工作者各方面的努力，研究了在教学流程中组织和保证方法。面的努力，研究了在教学流程中组织和保证方法。这种教学流程、选择参加者、进行青少年程序

8、员夏季学校的信息科学保证方面这种教学流程、选择参加者、进行青少年程序员夏季学校的信息科学保证方面的全套技术方案得以实施。的全套技术方案得以实施。研究了在函授远程教育中发展青少年程序员夏季学校机制的课题，以扩大其作研究了在函授远程教育中发展青少年程序员夏季学校机制的课题，以扩大其作用范围。用范围。1111l叶尔绍夫院士青少年程序员夏季学校评判照片。评判员（别尔斯，纪霍诺娃，叶尔绍夫院士青少年程序员夏季学校评判照片。评判员（别尔斯，纪霍诺娃，马尔楚克）正在验收精巧密码工作。拍摄于马尔楚克）正在验收精巧密码工作。拍摄于20042004年年8 8月阿尔泰山青少年度假中心。月阿尔泰山青少年度假中心。12

9、12提出带有提出带有-计算不动点的作用基础逻辑模型检验上下近似法的计算不动点的作用基础逻辑模型检验上下近似法的复杂性加权多项式算法。对带有不动点结构的、相互作用的分复杂性加权多项式算法。对带有不动点结构的、相互作用的分配代表在知识和作用组合逻辑名词上模型检验问题进行研究。配代表在知识和作用组合逻辑名词上模型检验问题进行研究。实现了实验综合程序实现了实验综合程序SPV(SDL Protocol Verifier)SPV(SDL Protocol Verifier)，用于通讯，用于通讯记录的模型化和校验，包括再着色的记录的模型化和校验，包括再着色的PetriPetri网校验器网校验器,它可使用它可

10、使用关于关于-计算中表现性能的模型检验方法。这个方法同样在计算中表现性能的模型检验方法。这个方法同样在Basic-REALBasic-REAL 语言中表现的执行说明校验系统中得以实现。语言中表现的执行说明校验系统中得以实现。1313模型检验逻辑说明“乘客服务台”记录结果：校验过的“乘客服务台”记录1414延续了延续了 语言的代表子集，称之为语言的代表子集，称之为-light。对于对于-light语言研制了完整结构操作语句。语言研制了完整结构操作语句。在在-light中分离出核心，称为中分离出核心，称为-light-kernel，为此研制了公理，为此研制了公理语句，并且证明了它和操作语句不会矛盾

11、。语句，并且证明了它和操作语句不会矛盾。确定和建立了将确定和建立了将-light语言翻译成语言翻译成C-light-kernel语言的标准。语言的标准。C-light程序校验试验系统原型已经研发和运行，包括从程序校验试验系统原型已经研发和运行，包括从-light语语言翻译成言翻译成C-light-kernel 语言的转换器，语言的转换器，C-light-kernel 语言正确语言正确性条件发生器，正确性条件论证。性条件发生器，正确性条件论证。1515提出了提出了WEB-知识门户网页概念，研制了知识门户网页的组建，该网页可实知识门户网页概念，研制了知识门户网页的组建，该网页可实现获取内容丰富的知

12、识、预定知识领域系统化，知识和信息资源的可调。现获取内容丰富的知识、预定知识领域系统化，知识和信息资源的可调。开发了门户信息模型，其基础为实体论系统，包括科研事业的实体论，科学开发了门户信息模型，其基础为实体论系统，包括科研事业的实体论，科学知识的实体论，和具体科学学科的实体论。知识的实体论，和具体科学学科的实体论。研制了科研事业实体论和科学实体论，以及考古学和民族学的实体论。研制了科研事业实体论和科学实体论，以及考古学和民族学的实体论。设计和研制了数据库和门户基本模型：用户的设计和研制了数据库和门户基本模型：用户的web接口，管理员的接口，管理员的web接口，接口，实用论信息收集器，包括信息

13、收集模型和指定主题的文本自动检索的模型。实用论信息收集器，包括信息收集模型和指定主题的文本自动检索的模型。完成了关于考古学和民族学领域门户网站的调试。在俄罗斯科学院西伯利亚完成了关于考古学和民族学领域门户网站的调试。在俄罗斯科学院西伯利亚分院考古学和民族学研究所服务器上完成了知识门户网页的装备和调试。已分院考古学和民族学研究所服务器上完成了知识门户网页的装备和调试。已开始试运行。开始试运行。16161717获得者获得者:俄罗斯通讯院士叶尔绍夫，部门主管，俄罗斯通讯院士叶尔绍夫，部门主管，波多星，实验室主管，物理数学博士波多星，实验室主管，物理数学博士 专业化、内置、小型和微型电脑，在通用电脑基

14、础上保证其成套专业化、内置、小型和微型电脑，在通用电脑基础上保证其成套可调节工具手段的程序自动设计先进技术的创建和推广。可调节工具手段的程序自动设计先进技术的创建和推广。18上世纪上世纪80年代末年代末-2语言被作为政府指令用作基本语言软件用语言被作为政府指令用作基本语言软件用来来保障机载系统。保障机载系统。当时在伊当时在伊.弗弗.波特多辛的领导下通过了波特多辛的领导下通过了项目。由此与项目。由此与克克拉斯诺亚尔斯克拉斯诺亚尔斯克的列舍特涅夫应用力学科学生产联合公司展开了的列舍特涅夫应用力学科学生产联合公司展开了紧密合作（现在为列舍特涅夫信息卫星系统股份有限公司）该公紧密合作（现在为列舍特涅夫

15、信息卫星系统股份有限公司）该公司是俄罗斯主要卫星制造商，航空领域龙头企业。司是俄罗斯主要卫星制造商，航空领域龙头企业。系统系统是一个实验性设计是一个实验性设计的的集成工具集，用于集成工具集，用于开发开发提高提高效率和可靠性的效率和可靠性的保障性保障性软件。软件。1919按照按照-2 语言语言(ISO 10514)，广泛采用内置系统程序化，如，广泛采用内置系统程序化，如卫星随航程序保证等。卫星随航程序保证等。按照俄罗斯卫星的主要生产者按照俄罗斯卫星的主要生产者科研生产公司科研生产公司的定制，完全实现的定制，完全实现了了 OBC-1750平台完全程序化的交叉系统平台完全程序化的交叉系统(2-175

16、0)。实现系统的主要特点在于：在实现系统的主要特点在于：在语言语言-2程序转换帮助下达到程序转换帮助下达到 GNU C(GCC-1750 ver.1.5.2 和和ver.1.4.1 XGC Software公公司司)系统的系统的“无缝无缝”集成。集成。20ASP信息系统信息系统用于保障开发和维护卫星机载软件用于保障开发和维护卫星机载软件根据列舍特涅夫信息卫星系统股份有限公司的订制，建立了根据列舍特涅夫信息卫星系统股份有限公司的订制，建立了“文文件和项目归档和维护软件件和项目归档和维护软件”信息系统信息系统（IP ASP）该系统用于建立并保障机载软件电子档案的维护该系统用于建立并保障机载软件电子

17、档案的维护该系统用于建立并保障机载软件电子档案的维护和搜集该系统用于建立并保障机载软件电子档案的维护和搜集。在编程。在编程和维护宇航器机载软件的过程中形成机载软件保障。和维护宇航器机载软件的过程中形成机载软件保障。并将所有的机载软件保障文件进行集中存储管理和并将所有的机载软件保障文件进行集中存储管理和调配调配控制。控制。21ASP信息系统信息系统用于保障开发和维护卫星机载软件用于保障开发和维护卫星机载软件2222根据西西伯利亚秋明工业地理物理集团公司的要求，研发和进行根据西西伯利亚秋明工业地理物理集团公司的要求，研发和进行了石油钻井核测井时出现信号处理的一系列算法。了石油钻井核测井时出现信号处

18、理的一系列算法。建立了程序集合建立了程序集合“光谱分析器光谱分析器”(SpectrumAnalyzer)，可，可广泛用于下列方面：装载，检查，处理原始振幅和时间参数，计广泛用于下列方面：装载，检查，处理原始振幅和时间参数，计算一系列分析参数，计算自然放射性核素的浓度，以用于地球物算一系列分析参数，计算自然放射性核素的浓度，以用于地球物理中的理中的LAS输出处理结果。输出处理结果。算法和程序集合用于在石油产地使用，并可与世界同类产品竞争。算法和程序集合用于在石油产地使用，并可与世界同类产品竞争。2323242526272828研发了改进后的算法，实现了细胞中功能调节系统的研发了改进后的算法，实现

19、了细胞中功能调节系统的分析和预测程序等成套产品分析和预测程序等成套产品。在微型芯片数据、同源数据、表型性状和其他生物数在微型芯片数据、同源数据、表型性状和其他生物数据的基础上，研究了转录因子的预测算法。据的基础上，研究了转录因子的预测算法。研制了从更加广泛的遗传数据库中获得这些算法输入研制了从更加广泛的遗传数据库中获得这些算法输入数据的方法。数据的方法。2930303132333435病人与电脑程序进行复杂互动36.2.,.3737我研究所通过研究生教育和竞赛，培养高素质科研人才。我研究所通过研究生教育和竞赛，培养高素质科研人才。在三年中，我研究所的物理数学领域在三年中，我研究所的物理数学领域

20、05.13.11专业副博士答辩委员会进专业副博士答辩委员会进行了工作。行了工作。我研究所是新西伯利亚国立大学两个教研室的实验基地，即机械数学我研究所是新西伯利亚国立大学两个教研室的实验基地，即机械数学系程序化教研室，信息技术系信息系统教研室。系程序化教研室，信息技术系信息系统教研室。我研究所的工作人员在新西伯利亚国立大学机械数学系承担我研究所的工作人员在新西伯利亚国立大学机械数学系承担18个年级、个年级、20多个专业班的课程，并且在进行多个专业班的课程，并且在进行10个专业讲座。我所工作人员在新西个专业讲座。我所工作人员在新西伯利亚国立大学信息技术系有大约同样数量的专业班和专业讲座。伯利亚国立

21、大学信息技术系有大约同样数量的专业班和专业讲座。每年在我研究所的实验室进行新西伯利亚国立大学机械数学系和信息技每年在我研究所的实验室进行新西伯利亚国立大学机械数学系和信息技术系术系4-6个年级个年级100名大学生的科研和生产实践。名大学生的科研和生产实践。3838在西伯利亚博览会和其他展览上，俄罗斯科学院西伯利亚分院信在西伯利亚博览会和其他展览上，俄罗斯科学院西伯利亚分院信息系统研究所展示了如下程序成果：息系统研究所展示了如下程序成果：bCAD 平面绘图、立体模型化和照片实际调色程序系列平面绘图、立体模型化和照片实际调色程序系列 +在知识介绍和处理集成模型基础上处理程序系统研究在知识介绍和处理

22、集成模型基础上处理程序系统研究的成套工艺的成套工艺 SemP-TAO 知识介绍和处理的集成模型基础上的程序环境。知识介绍和处理的集成模型基础上的程序环境。在在 西伯利亚教育西伯利亚教育 21世纪世纪 展览会上，俄罗斯科学院西伯利亚展览会上，俄罗斯科学院西伯利亚分院信息系统研究所的分院信息系统研究所的“青少年程序员夏季学校青少年程序员夏季学校”获得了小金奖。获得了小金奖。39 2006年在年在以以“二十一世纪西伯利亚教育二十一世纪西伯利亚教育”为主题为主题的的“国际教育展国际教育展学学习工具、设备、资料、创新理念和经验习工具、设备、资料、创新理念和经验”展会上西伯利亚分院信息系展会上西伯利亚分院

23、信息系统研究所统研究所“夏令营青年程序员培养技术夏令营青年程序员培养技术”获得了小金牌奖获得了小金牌奖2007年年“科技成果商业化科技成果商业化”西伯利亚综合工艺展上西伯利亚综合工艺展上西伯利亚分院西伯利亚分院信息信息系统研究所系统研究所“石油钻井放射活性测井过程中获得数据的处理算法和成石油钻井放射活性测井过程中获得数据的处理算法和成套程序套程序”获得获得了了银银奖奖2008年在以年在以“现代教育技术职业指导现代教育技术职业指导”为主题的为主题的“国际教育展国际教育展学学习工具、设备、资料、创新理念和经验习工具、设备、资料、创新理念和经验”展会上西伯利亚分院信息系展会上西伯利亚分院信息系统研究

24、所统研究所“利用奥运信息系统培养利用奥运信息系统培养骨干骨干的实验的实验”获得小金牌奖获得小金牌奖 4040我研究所定期进行纪念叶尔绍夫院士的我研究所定期进行纪念叶尔绍夫院士的“信息系统前景信息系统前景”国国际学术会议。该学术会议于际学术会议。该学术会议于2006年进行了例会。共有年进行了例会。共有40位来位来自海外的学者参加会议。会议的著作由自海外的学者参加会议。会议的著作由Springer出版社在出版社在Lectures Notes in Computer Science系列中进行发表。系列中进行发表。最近最近5年在我研究所的基地上，还进行了其他国际会议。在年在我研究所的基地上，还进行了其

25、他国际会议。在 20032006年年Microsoft资助进行了青年学者竞赛会议。资助进行了青年学者竞赛会议。我研究所具有和信息技术领域科研机构和公司之间的广泛国我研究所具有和信息技术领域科研机构和公司之间的广泛国际联系：如际联系：如Microsoft Research,IBM,Samsung 等等。我研等等。我研究所人员定期出席国际会议，或为了共同的科研工作出访。究所人员定期出席国际会议，或为了共同的科研工作出访。我研究所有我研究所有7名专家是各种国际科学组织的成员。名专家是各种国际科学组织的成员。4141我研究所设有应用程序保证（我研究所设有应用程序保证（ProPro,Excelsior,Xtech 等）领域等）领域工作的推广公司区。工作的推广公司区。除建立转换器、结构、校验、测试和优化程序，建立自动化设计除建立转换器、结构、校验、测试和优化程序，建立自动化设计系统，网络附件、电脑设计等传统课题外，还进行具体项目领域系统，网络附件、电脑设计等传统课题外，还进行具体项目领域的工作：卫星通讯随航电脑，铁路运输，应用遗传学，寻找石油。的工作：卫星通讯随航电脑，铁路运输，应用遗传学，寻找石油。4242!謝謝謝謝!