项目名称-仪器信息网.docVIP

项目名称： 海量信息的协同性和可生存性的理论与实践研究 李未 北京航空航天大学 2005.12至2010.11 教育部  实时协同可生存的海量信息系统试验和验证平台的主要研究内容包括：（1）海量实时协同服务网络的体系结构。在复杂网络理论，算法和软件工程方法等，实现一个海量协同服务的软件网络以P2P 和覆盖网为主的虚拟网络通信体系结构，以提升系统规模以面向服务计算方法为主的虚拟软件互操作体系结构，以扩充和集成系统功能和服务。包括：虚拟视频合成，基于对象的视频带宽自适应，自动流媒体导播, 流媒体内容查询等等。）可生存性和无界网络环境的侵扰的双规范理论项目将提出用于描写软件生存性和环境侵扰模式的双规范语言。由于缺乏全局状态和集中管理机制，相邻节点之间的交互和环境通信组成的业务流将成为描述的基础对象。规范语言将描述动态数据流的相关性质，并讨论内部业务流和环境侵扰流之间的交互关系。规范语言将同时讨论系统的实时性和非确定性。可生存性和侵扰模式的推理方法项目将设计相应的时态逻辑，来分析和归纳环境侵扰模式。为了处理无界网络环境下的通信，知识演算中的公理和推理规则将被应用在建立临近节点之间的信任关系上。可生存性开发方法和验证技术研究形式化方法在可生存开发中的应用，并采用已有的模型检查器和定理证明器等系统分析和证明工具来验证软件的性质。 软件可生存性评估理论和关键门槛的数学模型通过在无界网络中保存多个软件复本的方式提高可生存性，这种方式面临的一个重要问题是复本的一致性维护问题。因此，研究无界网络环境中软件系统生存力的最小条件。内容包括：针对制定软件的生存力分析模型、针对特定目标的软件系统生存力的最小范围和最小种群大小及密度分析模型等。无界网络上高可生存性的软件体系结构设计和服务分布方案结合软件可生存性的评估理论，研究无界网络上软件系统的体系结构。针对高可生存性的要求，研究面向系统整体目标的服务的功能的分解方案和复本分布方法。针对入侵行为的预测，研究系统中关键服务的定义和发现方法，进而研究软件体系结构的优化方案。 基于局部可视性的的生成算法基于无界网络上的局部可视性，研究的生成算法设计方法，从设计策略、任务分解方法、不可测环境分析技术、无向通信机制、局部合作结点间的协议以及系统的性能分析等方面进行研究。无界网络上的可识别性策略系统的可识别性是系统对供给的识别能力和对系统当前状态的确定，这其中包含了对造成危害程度的评估力。例如，对外来侵扰的探测、系统内部完整性的检查等等。本将重点研究以下可识别策略：对多类性侵扰的识别策略对于处于高分布环境的无界网络，由于每个节点的局部可见性，必须采用分布式入侵识别系统之间相互协同的方式进行探测。另外，多类性的侵扰和事先不可预测模式和来源的侵扰的表示方法、识别方法和监视策略也是重点研究的内容。对系统完整性的识别策略在无界网络中，部分失效情况下只要能够实现一定程度上的任务完成能力，系统仍然具备一定的完整性，如何完成无界网络中系统内部和外部的完整性检测，达到最大化的效益，是一个研究的议题。 无界网络上的可恢复性策略系统的可恢复性是指系统在受到攻击、部分失效后对其提供服务的恢复能力。例如，数据的复制和再初始化、冗余组件、系统重组、系统备份和重新载入、应急计划等等。在无界网络上的中，实现某些任务可能需要多个分布式部署的部件共同完成，因此实现系统能力的可恢复性以及对于正在执行的任务的可恢复性比有界网络中的单一系统更为复杂，是研究的重点之一。无界网络上的可扩充性策略无界网络上的面对因入侵者不断深入了解系统而可能带来的危害，系统还应具备可扩充性等演化特性。由于无界网络具有传统有界网络所不具备的特殊性，系统演化策略的设计应考虑多方面的因素，这主要表现在两个方面：首先，系统可扩充策略应当能够支持系统自主应急改变，以适应入侵或其它异常事件带来的变化，如网络拓扑结构的变化、任务分配机制的变化等；其次，系统应具备智能性和学习能力，使得系统能够不断自动更新自有模式库，形成对原先未预测的侵扰的抵御能力，以抵御新的攻击和入侵，从而保证系统的可生存性。 三、研究方案 4.1 项目研究方案的设想 本项目以我国国家信息基础设施建设需求为背景，开展海量信息的协同性和可生存性的理论与实践研究。研究方案的基本设想可以归结为：研究和解决两个科学问题，开展六方面基础研究，设置八个课题，实现三个层次的创新，建立一个实验和验证平台，研制具有良好协同性和可生存性的示范性应用系统。 （1）研究和解决海量信息协同性和可生存性两个科学问题。本项目将解决海量信息的协同性和可生存性的关键科学问题，在此基础上建立海量信息协同性和可生存性的基础理论体系，包括基于内容的海量信息传输理论、基于内容的协同语义学理论和海量信息系统可生存性理论，为提高海量信息系统的协同能力