您的位置: 专家智库 > >

金涛

作品数:7 被引量:23H指数:2
供职机构:武汉大学计算机学院更多>>
发文基金:国家高技术研究发展计划“九五”国家科技攻关计划更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 3篇文化科学

主题

  • 3篇多媒体
  • 2篇人工智能
  • 2篇面向对象
  • 1篇定理证明
  • 1篇对象技术
  • 1篇多媒体CAI
  • 1篇多媒体软件
  • 1篇多媒体系统
  • 1篇新闻
  • 1篇新闻报
  • 1篇新闻报道
  • 1篇遥感
  • 1篇遥感影像
  • 1篇舆论
  • 1篇语义
  • 1篇语义网
  • 1篇语义网络
  • 1篇智能教学
  • 1篇智能教学系统
  • 1篇数据模型

机构

  • 6篇武汉大学
  • 1篇武汉分公司

作者

  • 7篇金涛
  • 2篇刘瑛睿
  • 1篇章登义
  • 1篇宋强
  • 1篇陈世鸿
  • 1篇蔡波
  • 1篇石自力

传媒

  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 2篇武汉大学学报...
  • 1篇传播与版权

年份

  • 1篇2019
  • 1篇2014
  • 1篇2000
  • 4篇1999
7 条 记 录,以下是 1-7
排序方式:
一种探测器自主安全着陆区确定及精确避障的策略被引量:1
2019年
目标星球表面障碍自主检测技术和安全着陆点的选择是实现探测器深空探测安全着陆的关键.针对探测动力下降段自主安全着陆进行仿真研究,提出了一种基于仿真的探测器自主安全着陆仿真算法.该算法首先确定探测器所携带的电荷耦合器件相机拍摄的表面区域,利用基于光线跟踪算法以及高程数据对月球遥感影像进行仿真.然后基于边缘检测获取探测器目标表面的岩石及陨石坑等障碍,并对这些障碍进行椭圆拟合从而确定障碍区域.在确定障碍区的基础上,利用图像的形态学操作,采用高斯图像金字塔获取各层表面遥感影像,对多帧图像进行实时处理,精确地确定安全着陆区.在着陆区域基本确定之后的精避障阶段,提出了一种基于三维重构的探测器精避障螺旋搜索策略.该算法在传统图像匹配识别的基础上,首先根据探测器所携带的激光三维成像仪对初选着陆区域进行高精度三维重构,然后对重构后的区域进行螺旋搜索,从而选定更精确、更安全的软着陆目标着陆点.最后通过仿真实验验证了算法的有效性.
金涛章登义蔡波
关键词:遥感影像安全着陆
基于知识的多媒体创作模型
1999年
通过对传统方法进行分析,引入语义网络的知识表示方法,将面向对象技术与超媒体方法相结合,提出了一个基于知识的多媒体创作模型(KAM),给出了KAM模型的形式化定义,并对该模型的结构进行了讨论.KAM模型具有以下特点:(1)支持结构与内容的分离;(2)支持复合机制;(3)基于语义的导航,有效地避免了在交互性系统中的迷路问题;(4)独立的链服务功能和管理功能,保持系统的开放性。
金涛石自力熊晖刘瑛睿
关键词:语义网络面向对象多媒体软件
分布式多媒体系统中的同步问题研究被引量:14
1999年
文中首先给出基于进程代数的LOTOS形式化规范语言的基本概念,通过对传统LOTOS进行基于时间的扩充,引入时间算子,并给出其相应的语法定义和形式语义.通过对分布式环境下的多媒体同步问题进行系统的分析,利用基于时间扩充的LOTOS,给出了基本的同步问题和严格的多媒体唇同步问题的算法描述.同时给出一个实例系统,进一步描述了基于时间扩充的LOTOS,对分布环境下多媒体信息同步问题在实际中的应用。
金涛
关键词:进程代数多媒体分布式多媒体LOTOS
对象式ITS模型的研究
1999年
ITS模型是建造实用ITS系统的基础,亦涉及知识表示、推理策略等多种人工智能技术。该文讨论了反射的基本思想,近而以对象式知识库结构为基础,引入反射机制并集成基于类和基于原型的两种面向对象风格,提出了基于反射的对象式智能教学系统模型RITM(ReflectiveIntegratedTurtoringModel)。其解题策略是基于元对象控制的基于事例的推理而设计的。该文最后介绍了在系统实现方面所做的工作。
金涛刘瑛睿
关键词:智能教学系统人工智能
网络舆论与媒体认知的对抗
2014年
舆论引导一直是我国新闻媒体的工作重心之一。在如今复杂的信息环境下,媒体拥有高科技含量的工具手段,如果还不能有效地掌控舆论的走向,"新瓶装老酒",不能改变报道的方式,就容易产生舆论的对抗情绪,进一步丧失媒体的公信力。本文以黄海波嫖娼事件为例,分析这一事件的网络舆论与媒体认知的对抗过程,进而引发思考。
金涛
关键词:网络舆论新闻报道
归纳法推理中若干问题的探讨被引量:2
2000年
归纳法推理是人工智能领域中富有挑战性的研究方向,它是一种难度较大但较有前途的自动定理证明方法。文章对近年来归纳法推理的主要研究成果进行了综述,并分析国内外的研究现状,讨论了归纳法推理研究中的推理效率、理论的不完备性、自动推理机制和构造实用的定理证明器等问题。
金涛刘瑛睿
关键词:数学归纳法归纳法推理自动定理证明人工智能
基于面向对象技术的多媒体CAI素材库系统被引量:6
1999年
建立实用、高效的多媒体CAI素材库是高效率、高质量开发CAI软件的基础和关键.本文从数据模型、面向对象分析和存储模式三方面入手,提出一种支撑CAI制作工具的素材库体系结构,并讨论该体系结构的特性和进一步研究的问题.
宋强金涛陈世鸿
关键词:面向对象技术数据模型素材库CAI多媒体
共1页<1>
聚类工具0