神马文学网高可信计算985工程科技创新平台
来源：百度文库 编辑：神马文学网 时间：2024/10/02 18:14:29
高可信计算985工程科技创新平台
2006年，华东师范大学建设985高可信计算创新平台。本项目立足我国与国计民生密切相关的关键应用领域，以软件可信性问题为主攻目标，分析、研究和解决相关科学问题，构建可信系统设计、验证与测试平台，在嵌入式软件等领域开展示范应用，为改善国家安全攸关重大工程的软件可信性提供科学支撑。
平台下一阶段建设将重点以可信计算所涉及的新理论、新结构、新方法和新技术为突破口，力图在高可信计算理论、高可信软件构造平台以及高可信计算应用等方面取得创新性成果。具体体现在：将现有的计算基础理论进行整合，使之成为可信计算的基础理论， 包括程序统一理论、高可信计算的总体架构与形式化方法和可信计算算法理论与复杂性理论；在建立可信计算的基础理论基础上，构建可信软件的构造平台，包括软件可信度量工具与方法、面向语言的可信计算模型与开发平台以及程序终止验证器与程序证明工具。其显著性在于用概论统计理论与方法、逻辑推理、符号计算来研究程序的正确性、终止性、可靠性等可信性属性；将可信计算的研究成果，用于航空航天、金融、医疗卫生等有关国家安全与国民身体健康等重要领域。这里包括海量信息处理、嵌入式软件及其他安全攸关领域。
研究高可信计算的基础理论，建立适合描述高可信计算的形式系统, 建立高可信计算的总体架构和形式语义模型，建立软件可信性度量模型和平台；探索高可信计算的形式规约和推理机制，高可信计算的形式建模与验证，工具测试与验证。
借助和发展计算机代数的连续数学工具，研究无穷状态的自动检测和验证技术，主要研究方向包括：降低或有效控制符号计算的复杂度;研究用近似计算获得准确结果;非线性问题的归约; 非线性系统的保可积运算研究；结合典型案例，把新技术应用到实际问题上。
主要解决关键应用领域中的嵌入式系统可靠性、安全性问题，具体内容包括：嵌入式系统开发过程规范与模板；低能量消耗与低通信消耗的无线传感器网络密钥分配与认证方法；嵌入式系统的核心算法与优化数据结构；软硬件协同设计的方法和过程。主要涉及以下应用领域：汽车电子计算平台；航天器控制部件；水下监测传感器网络；移动数字医疗终端；面向无线传感器网络各种攻击的相关保护。
重点研究非结构化数据预处理与集成，解决非结构化数据中结构和内容提取、异构数据模式匹配、异构数据清洗与集成、分布式数据更新等；研究非结构化数据存储与索引，在同时考虑海量非结构化数据的结构和内容信息前提的数据存储与索引；探索非结构化数据查询与搜索，实现对海量非结构化数据的结构的查询与对内容的搜索；进而支持对非结构化数据分析与挖掘，实现海量非结构化数据的结构和内容的统计分析与挖掘。目标是为了达到高可用、高性能、低成本以及数据请求的快响应。
- 管委会主任：何积丰
- 管委会成员：李志斌 杨路 陈仪香 董军
- 平台主任：何积丰
- 平台副主任：斯阳（行政） 陈仪香（学术） 李志斌（学术） 王江涛（技术