基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA.对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息.建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题.理论推导和实例均证实了TDA的正确性和合理性.
推荐文章
伴随伸缩矩阵的二维周期小波框架的构造
周期小波框架
扩张方案
矩阵伸缩
函数周期化
二维模糊系统的H∞性能分析
T-S模型
二维系统
参数不确定
H∞
高频等参数感应测井的二维全参数反演方法研究
高频等参数感应测井
低电阻率环带
薄层
薄交互层组
视电阻率
二维反演
高斯-牛顿优化算法
二维产品二维成组更换间隔期优化研究
二维产品
二维成组更换
数学模型
维修间隔期
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 参数化系统二维抽象框架
来源期刊 国防科技大学学报 学科 工学
关键词 参数化系统 模型检验 抽象 多处理机系统 Cache一致性协议
年,卷(期) 2010,(1) 所属期刊栏目 电子工程·计算机工程
研究方向 页码范围 95-100
页数 6页 分类号 TP391.72
字数 3979字 语种 中文
DOI 10.3969/j.issn.1001-2486.2010.01.018
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郭阳 国防科技大学计算机学院 50 449 9.0 20.0
2 李暾 国防科技大学计算机学院 19 186 5.0 13.0
3 庞征斌 国防科技大学计算机学院 19 107 5.0 10.0
4 杨晓东 国防科技大学计算机学院 23 82 5.0 8.0
5 屈婉霞 国防科技大学计算机学院 11 25 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (9)
共引文献  (21)
参考文献  (2)
节点文献
引证文献  (3)
同被引文献  (2)
二级引证文献  (0)
1960(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(2)
  • 参考文献(2)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
参数化系统
模型检验
抽象
多处理机系统
Cache一致性协议
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
国防科技大学学报
双月刊
1001-2486
43-1067/T
大16开
湖南省长沙市开福区德雅路109号
42-98
1956
chi
出版文献量(篇)
3593
总下载数(次)
5
总被引数(次)
31889
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导