应的基础理论模型与软件开发方法，为上述方法给出相应的关键支撑技术。环境上下文一致性检测
f修复处理效率在不降低处理质量的前提下，较当前业界主流技术提升一个数量级；软件构件级在线重构能提供系统级的一致性保障，且对正常服务的干扰较既有主流技术降低3050以上；工业级服务器程序在线更新的程序停顿时间控制在毫秒级；显著提高开放动态多变环境下软件的自动适应和长期生存能力，并在23个应用场景中得到验证。申请一批相关领域的知识产权，发表高水平论文或编写高水平专著，取得重要的国际影响。22智能无人系统的软件体系结构和支撑技术（共性
关键技术类）研究内容：研究无人智能系统的多态分布体系结构、软硬件资源管理和智能行为管理，突破支持互操作互理解互遵守的软件体系结构、异构资源抽象与封装、自主与协同行为的模型与算法等关键技术；通过构建“前端无人系统后台支撑系统”的模式，实现后台支撑系统与前端无人系统的互补，提升无人系统的智能化、自主化、协同化程度；研究应用驱动的无人智能系统开发方法，建立应用开发工具链。考核指标：兼容机器人、无人机等常见智能系统的硬件；知识共享和智能处理后台在主流无线通信模式下响应时间低于01秒，支持万台无人系统的并发访问；应用开发环境提供10个以上的无人智能系统特定工具，覆盖需求表达、系统设计、代码生成、系统集成和系统验证等阶段，提高软
f件复用率50；至少在2类以上典型的无人智能系统领域进行示范应用；形成一组无人智能系统体系结构和关键技术相关规范和国家标准（建议稿）。23面向智慧城市的智能化集成化软件互操作平台（共性关键技术类应用示范类）研究内容：面向新型智慧城市建设，研究信息孤岛数据和功能的运行时复用与互操作、领域知识建模及模型自增长和自演化、模型驱动的软件自适应、开发运行一体化机制等基于云模式和数据驱动的新型软件应用关键技术，研制面向智慧城市的智能化软件互操作平台，并建立示范应用。考核指标：实现典型信息孤岛业务数据的可读可写、业务功能的实时调用和按需组装，领域知识模型包含1万个知识概念和1000万个知识实例，软件自适应代码生成率超90，形成规模化智慧城市示范应用（其中百万级常住人口城市不少于10个），牵头制定1项国际标准（草案）和3项国家标准（送审稿）。3大数据分析应用与类人智能
31大数据驱动的自然语言理解、问答和翻译（共性关键技术类）研究内容：研究融合大数据r