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

* 俄罗斯科学院叶尔绍夫信息系统研究所Institute of Informatics Systems (IIS) 1990年4月1日成立 630090, 新西伯利亚，拉夫列基耶夫大街，6号 电话： (3832) 330-86-52 传真： (3832) 332-34-94 E-mail:mag@iis.nsk.su * 主要科研方向 研究信息科学理论和方法学基础，包括： 信息的理论基础; 组建安全、高效程序的方法和工具; 人工智能方法和系统; 有前景的计算机、系统、网络和成套设备的系统和应用程序保证。 * 我研究所的机构设置 实验室: 理论程序化实验室 超大规模集成电路自动化和结构实验室 人工智能实验室 混合计算实验室 系统程序化实验室 系统设计和优化实验室 科研组: 程序化载体系统组 复杂系统模型化组 * 叶尔绍夫院士电子档案 在叶尔绍夫院士电子档案基础上，研制和实现了形成专题收集服务用的程序保证。建立的服务具有档案数据中专题信息的寻找和选择功能，可以用微型档案形式以CD-ROM，DVD，VHS 等把建好的收集库自动发表。 从用户角度来说，微型档案是叶尔绍夫档案的专题切面，在用户的接口界面上，直到具有按照各类标准进行文件搜寻的功能性为止，同基础档案馆毫无区别。 叶尔绍夫院士电子档案普及化的积极工作已经开始。关于电子档案也在各种会议上发表了报告，并在互联网上进行了发布，叶尔绍夫院士电子档案注册工作作为互联网资源，已在一系列互联网电子档案搜索服务器和目录表中进行了注册。 * 叶尔绍夫院士电子档案 * 西伯利亚信息科学历史虚拟博物馆 根据文化遗产信息资源互联网中的超介质和提供的国际标准，研究了适应方法。 研制了虚拟博物馆结构和用户模型，在西伯利亚信息科学历史SVM虚拟博物馆框架中积累和处理人文知识的方法和工具手段。 首次建立了具有可适应接口的虚拟博物馆，给予各界广泛用户便利，使博物馆可以补充和发展。 含有信息技术科学家介绍、团队、大事记、项目、著作、会议和档案材料的虚拟博物馆数据库信息收集和准备工作已经展开。 * 西伯利亚信息科学历史虚拟博物馆 * 青少年程序员夏季学校 在西伯利亚地区中小学信息科学发展方面，建立了方法基地，即重建青少年程序员夏季学校机制。 新西伯利亚青少年程序员学校的重建，目的在于吸引有天分的年轻人投身于信息科学和程序化的现代科学实验事业。 研究了关于现代科学科研人才再生产的问题上现代教育中信息科学和信息技术的重要基础。? 如何在有趣的精巧项目中结合中小学生、大学生、专业人员和科研工作者各方面的努力，研究了在教学流程中组织和保证方法。 这种教学流程、选择参加者、进行青少年程序员夏季学校的信息科学保证方面的全套技术方案得以实施。 研究了在函授远程教育中发展青少年程序员夏季学校机制的课题，以扩大其作用范围。 * 青少年程序员夏季学校 叶尔绍夫院士青少年程序员夏季学校评判照片。评判员（别尔斯，纪霍诺娃，马尔楚克）正在验收精巧密码工作。2004年8月于阿尔泰山青少年度假中心。 * 分配系统逻辑和查验 提出了带有μ-计算不动点的作用基础逻辑模型检验上下近似法的复杂性加权多项式算法。研究了带有不动点结构的、相互作用的分配代表在知识和作用组合逻辑名词上模型检验问题。 实现了实验综合程序SPV (SDL Protocol Verifier)，用于通讯记录的模型化和校验，包括再着色的Petri网校验器, 它可使用关于μ-计算中表现性能的模型检验方法。这个方法同样在Basic-REAL 语言中表现的执行说明校验系统中得以实现。 * 分配系统逻辑法和查验 模型检验 逻辑说明 “乘客服务台”记录 结果：校验过的“乘客服务台”记录 * С-light程序语言 延续了С 语言的代表子集，称之为С-light。 对于 С-light语言研制了完整结构操作语句。 在 С-light中分离出核心，称为 С-light-kernel，为此研制了公理语句，并且证明了它和操作语句不会矛盾。 确定和建立了将 С-light语言翻译成C-light-kernel语言的标准。 C-light程序校验试验系统原型已经研发和运行，包括从С-light语言翻译成C-light-kernel 语言的转换器， C-light-kernel 语言正确性条件发生器，正确性条件论证。 * WEB-知识门户网页 提出了概念，研制了可保证获取内容丰富的、预定知识领域系统化知识和信息资源的可调知识门户网页的组建。 研制了门户信息模型，其基础为实体论系统，包括科研事业的实体论，科学知识的实体论，和具体科学学科的实体论。 研制了科研事业实体论和科学实体论，以及考古学和民族学的实体论。 设计和研制了数据库和门户基本模型：用户的w