您的位置： 专家智库 > >

魏莹

作品数：1 被引量：4H指数：1
供职机构：北方工业大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代数
  • 1篇网构软件
  • 1篇线性代数
  • 1篇进程代数

机构

  • 1篇北方工业大学

作者

  • 1篇郭峰
  • 1篇赵会群
  • 1篇孙晶
  • 1篇魏莹
  • 1篇王文文

传媒

  • 1篇计算机学报

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型的网构软件可达性检测方法研究被引量：4
2011年
针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上来;通过建立网构空间到线性空间映射,把网构线性相关判定问题转化成齐次线性方程组非零解的判定上来.转换过程把线性相关的网构进行压缩,从而有效地抑制了状态空间的增长.给出了可达性检测算法,并讨论了该方法的实际应用.
赵会群孙晶魏莹王文文郭峰
关键词：网构软件进程代数线性代数
全选 清除 导出
共1页<1>
聚类工具0