狗狗币,狗狗币走势,狗狗币怎么买,狗狗币在哪买,狗狗币价格,狗狗币挖矿,狗狗币官网,狗狗币交易平台,狗狗币钱包,狗狗币钱包下载,狗狗币最新消息,狗狗币注册,狗狗币开户,狗狗币下载网址,狗狗币APP

　　“十五”以来，实验室紧紧围绕国家信息产业，特别是信息和工业融合的发展战略需求和国际研究趋势，加强软件基础研究，积极开展在先进网络环境下复杂软件系统和软件工程的应用基础和前沿技术研究，作为“973”顾问专家委员会成员和“大型飞机”重大专项的专家组长单位参与国家中长期科技规划、重点基础研究和重大专项的发展咨询。实验室在国内率先倡议并提出了对海量信息系统进行系统的基础科学研究工作，并及时获得国家重点基础研究发展计划（“973”计划）的支持，作为首席科学家单位，先后主持两项“973”计划项目。在国家下一代互联网（IPv6）CNGI建设方面，实验室根据在海量信息传输方面的研究成果，提出了可生存性更好的六个运营商互联互通架构的建议并得到采纳。2002年以来实验室还承担了包括“863”计划重大、重点项目，国家自然科学基金重大、重点项目，国家科技基础条件平台项目，中日合作IPv6项目以及北京奥运会的智能交通保障项目等在内的部级以上重要项目180余项，获得国家科技进步奖二等奖两项。

　　根据《国家中长期科技发展规划纲要》需求和学科发展的前沿趋势，实验室确立了以下4个研究方向。（1）软件工程的理论基础研究。开展软件测试的理论基础研究和软件测试自动化的实现研究、软件开发方法的合理性研究和软件开发方法合理性检查的实现研究。（2）网络海量信息系统的物理学特征和复杂性研究。开展海量信息系统的协同性和可生存性的信息物理学规律与海量信息计算的统计特征的研究。（3）先进飞行器的电子使能科学技术研究。着眼于将信息技术领域的最新研究成果应用于先进飞行器的控制以及空地一体的综合管理，以通用计算机、传感器、智能仪器仪表等电子设备为硬件基础，以多网合一为通信环境，通过软件与硬件的结合，实现先进飞行器的数字化处理和精确实时控制；研制先进的数据收集、分析和安全有效管理技术，实现基于网络的复杂多系统的最优化、绿色节能管理。开展信息与航空航天融合的新一代飞行器控制与管理系统的应用基础研究和技术创新。（4）为科技部国家科技基础条件平台服务的下一代沉浸式科研工作环境研究。研究服务于下一代科研环境的统一资源框架与计算模型，实现网上集中和广泛分布相结合的计算与存储；采用虚拟人机交互的先进技术，研制新型沉浸式虚拟协同工作平台，提供多途径的无缝协作和群体协同服务，研制具有面对面交互真实感的科研协作环境。

　　近年来，实验室的研究工作在以下几方面取得显著进展。（1）在软件测试的基础研究方面。实验室在国际上首次提出了形式化的错误定位和修正系统，称为R-演算系统，证明了R-演算系统的可靠性、完全性和可达性，从理论上证明了软件需求说明的错误定位可使用R-演算系统在有穷步内完成，为软件测试的自动化提供了理论基础。（2）在海量进程调度和资源分配理论与算法研究方面。实验室提出了一个布尔表达式约束满足问题（CSP）模型，称为RB模型，并证明了当变量的个数趋近于无穷大时，RB模型具有可精确预测的相变现象，取得了多项原创性成果。（3）在海量信息的传输和协同行为特征研究方面。实验室对全球IPv6骨干网络的拓扑连接和信息传输的观测水平和观测技术进入了世界领先行列，研制了IPv6拓扑分析软件，并根据观测结果提出了更为精确的IPv6幂律分布表达式。（4）在先进网络环境下实时多媒体协同环境技术研究方面。实验室研制了多媒体、实时的协同服务的系统，为远程科学协作和学术研讨提供了平台,实现了大规模实时多媒体交互系统Admire、电子显微镜远程协同实验平台等多个应用，已在国内外包括教育部、科技部、国家自然科学基金委在内的700多家单位和部门使用，在非典期间发挥了重要作用。

　　实验室积极开展国际合作，已经和美国、德国、日本等国家的60余所大学、研究所建立了长期的学术合作关系。图灵奖获得者Milner、Shamir、Hopcroft、Hoare，德国莱布尼茨奖获得者Hotz以及英国皇家学会会员Plotkin等30多位国际知名教授来实验室访问讲学。实验室发起成立了“亚洲软件基础学会”，是学会的主席单位和理事长单位，主办了4届“亚洲软件基础学术研讨会”。实验室积极参与和推进我国计算机科学与技术领域研究与交流的国际化，实验室主任李未士是《中国科学》（F辑Information Science）和Frontiers of Computer Science in China编委会主任。