信息新时代的软件新技术演示文稿.ppt

在（静态、封闭、可控）环境下，最具代表性的范型与技术体系是结构化范型与体系，以及对象化范型与体系；其基本规律是成熟期10-15年以上，然后成为软件领域的引领性技术与基础性技术。而在开放、动态、多变的环境下，人们一直在努力发展新的范型与技术体系，提出了分布对象技术、软件Agent 技术、SOA技术等，但均未成功。因此，主流软件新范型与技术体系的探索是一个周期长、意义重大但难度颇大的问题，例如，仅对象化范型与技术体系的成熟期长达15年，有三位主要贡献者获得了图灵奖。就先后产生了三位图灵奖得主。在这样一种背景下，我们开始了网构化范型与技术体系探索，基本完成了两个阶段的转变。 可包括人工智能的可信问题？ 智能的核心是学习=》学习本质是泛化=》泛化受到各种瓶颈因素影响，如数据瓶颈、语义鸿沟瓶颈、可解释性瓶颈等=》我们对泛化结论的可信性来自于何方？可用一句话归纳，智能就是力量，良智才是方向；需要给泛化可信找到背后的基础体系加以支撑。 微观：每一个话题的Context不一致，发散性思考。 中观：提炼出共同的Context来思考问题。 信息新时代的软件新技术初探 以此报告纪念我的导师徐家福先生 谢 谢 参考文献 汪成为，梅宏，谭铁牛，周志华，须成忠，以及PITAC报告等； * 信息改变什么？十大转变=》可用Everything来概括 更重要的是，其作用从环节变为内核； 信息化Everything=》代表一种双螺旋的演化视角：信息手段+现实世界=》不断交融+不断演化 信息手段=》计算+网络+数据+软件+智能+可信；现实世界：Everything 信息作为手段经过若干阶段：如单机阶段=》网络化手段=》大数据阶段 改变方式：环节=》内核 大的本质=》对世界认识的不断深化=》表现为大数据 。 应用场景2 应用场景3 应用场景n 应用场景1 元级定义 目标级 ？？ ？？ ？？ ？？ 软件“元级定义-目标级”理论方法技术 软件元级科学 理论方法技术 目标级 理论方法技术 目标级 理论方法技术 目标级 理论方法技术 应用场景1 应用场景2 应用场景n 新范型与方法学的探索 结构化与对象化 =〉网构化、元级化、定义化、智能化 驱动力：应用/平台 技术体系：模型/技术 结构化范型与技术体系 对象化范型与技术体系 机器与汇编语言 高级语言与编译 (封闭、静态、可控) (开放、动态、多变) 并未形成完整体系？ 下一步如何走？ … 分布对象/软件Agent 智能系统/Agent SOA/SOC 结构化 70年代引领 高级化 60年代引领 对象化 90年代引领 ？ 开放环境下软件基本范型、方法与技术体系 资源服务 资源服务 资源服务 资源服务 组合服务 主体性 协同性 感知性 应变性 组合服务 组合服务 描述框架 发布 订阅 信息 检索 隐私 保护 应用 模型 …… 存储 管理 一致性检测 一致性修复 行为 识别 …… 语义模型 建模方法 可演化系统部分 环境感知部分 用户 – 系统 - 环境共存互动? 人- 机 - 物融合 用户目标 多态性 多模式 高质量 高时效 网构软件是面向开放、动态、多变环境新型软件形态 网构软件的五大特征 资源服务 资源服务 资源服务 资源服务 组合服务 主体性 协同性 反应性 应变性 组合服务 组合服务 描述框架 发布 订阅 信息 检索 隐私 保护 应用 模型 …… 存储 管理 一致性检测 一致性修复 行为 识别 …… 语义模型 建模方法 可演化系统部分 环境感知部分 在元级层次上定义和整体调控软件系统的各项属性 用户目标 多态性 多模式 高质量 高时效 网构化自适应软件与系统：系统整体作为对象 资源服务 资源服务 资源服务 资源服务 智能服务 协同性 可演化 能学习 服务化 智能服务 智能服务 描述框架 发布 订阅 信息 检索 隐私 保护 应用 模型 …… 存储 管理 一致性检测 一致性修复 行为 识别 …… 语义模型 建模方法 系统与演化 环境与感知 人机智能与群智化协同 开放智能交互 虚实型 高质量 高时效 大数据环境与机器学习支撑 人机物融合应用场景 软件定义应用价值 科学问题 本项目提出：可成长软件的构想 新型软件的基本形态如何？ 新型软件的运行机理如何？ 新型软件的生命周期如何？ 如何完成经典软件到新型软件跨越？ 如何构建新型理论范型方法技术体系等？ 从系统性探寻 从本原性入手 可持续演化的智能化软件理论、方法和技术 新范型与方法学的探索 结构化与对象化 =》网构化、元级化、定义化、智能化 =》多元范型协同模