基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
从天基预警系统的特性分析出发,深入分析和研究了天基预警系统任务和资源的特点,通过对其本质特征的数学抽象,最终实现其形式化描述.同时,还对天基预警系统任务和资源的拓扑关系进行了初步研究,并提出了利用多边有向图的方法来表示其拓扑关系.研究的内容将为天基预警系统任务调度与资源配置优化问题的研究奠定基础.
推荐文章
天基预警系统资源调度问题分析
天基预警系统
资源调度
形式化描述
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
网络攻击过程的形式化描述方法研究
计算机网络
有限状态自动机
网络攻击
面向移动云服务系统的形式化语义描述方法
移动云服务
agent
形式化描述
语义验证
范畴理论
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 天基预警系统任务/资源形式化描述研究
来源期刊 重庆邮电大学学报(自然科学版) 学科 地球科学
关键词 天基预警系统 任务 资源 形式化 拓扑关系
年,卷(期) 2008,(4) 所属期刊栏目 计算机与自动控制
研究方向 页码范围 500-504
页数 分类号 N945.12
字数 语种 中文
DOI
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (12)
共引文献  (26)
参考文献  (4)
节点文献
引证文献  (2)
同被引文献  (4)
二级引证文献  (1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(3)
  • 参考文献(1)
  • 二级参考文献(2)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(3)
  • 参考文献(3)
  • 二级参考文献(0)
2008(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(2)
  • 引证文献(1)
  • 二级引证文献(1)
研究主题发展历程
节点文献
天基预警系统
任务
资源
形式化
拓扑关系
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
重庆邮电大学学报(自然科学版)
双月刊
1673-825X
50-1181/N
大16开
重庆南岸区
78-77
1988
chi
出版文献量(篇)
3229
总下载数(次)
12
总被引数(次)
19476
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导