李声涛

作品数：3被引量：7H指数：1
导出分析报告
供职机构：北京控制工程研究所更多>>
发文主题：位移模式单自由度推力器拖曳负刚度更多>>
发文领域：自动化与计算机技术文化科学电子电信航空宇航科学技术更多>>
发文期刊：《空间控制技术与应用》《计算机测量与控制》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
航天控制软件知识图谱构建方法研究被引量：7
《空间控制技术与应用》2020年第2期49-55,79,共8页赵明 顾斌 钟睿明 李振松 李声涛 
国家自然科学基金资助项目(90405017).
近些年,知识图谱构建技术快速发展,但对于领域知识图谱构建的研究还处于起步阶段.知识图谱的构建主要包括自顶向下、自底向上两种方法.当前大多采用自顶向下的方法进行领域知识图谱的构造,首先构建本体,然后通过本体学习得到实体,再将...
关键词：领域知识图谱 知识图谱构建 本体构建 知识抽取 
一类航天器控制系统反馈调度方法研究
《计算机测量与控制》2018年第7期66-69,74,共5页孙帅 王磊 李声涛 
国家863基金项目资助(2015AA7046306)
针对目前航天器控制系统普遍采用静态调度方式,不能够及时调整计算资源分配的问题,提出了一种基于执行时间测量的计算资源反馈调度算法;该方法一方面保证航天器在工作时间段控制精度达到指标要求,另一方面能够动态调整计算资源与控制增...
关键词：信息物理系统 反馈调度 姿态控制 容错控制 
面向软件源程序的模型检验技术
《空间控制技术与应用》2015年第2期57-62,共6页李声涛 陈睿 顾斌 
国家自然科学基金资助项目(91118007)
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,...
关键词：软件分析 形式化方法 模型检验 源程序验证 谓词抽象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部