基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系.针对命题 μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为d 2,大大提高了算法的计算效率.
推荐文章
基于二支决策和三支决策视角的μ-演算局部模型检测
三支决策
局部模型检测
μ-演算
不动点
基于高阶π演算的构件演化模型研究
构件
软件演化
高阶π演算
演化行为
冲突检测
基于SAIL模型的HJ-1卫星LAI反演算法研究
环境一号
SAIL模型
人工神经网络
环境指数
叶面积指数
对调洪演算程序设计算法优化的探讨
调洪演算
VB6.0
算法优化
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 命题μ-演算局部模型检测高效算法设计
来源期刊 计算机工程与应用 学科 工学
关键词 μ-演算 局部模型检测 不动点 偏序关系
年,卷(期) 2017,(9) 所属期刊栏目 理论与研发
研究方向 页码范围 51-56
页数 6页 分类号 TP39
字数 5879字 语种 中文
DOI 10.3778/j.issn.1002-8331.1511-0249
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李前利 闽南师范大学粒计算重点实验室 2 1 1.0 1.0
2 江华 闽南师范大学粒计算重点实验室 5 5 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (25)
共引文献  (7)
参考文献  (7)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1955(3)
  • 参考文献(1)
  • 二级参考文献(2)
1973(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(3)
  • 参考文献(0)
  • 二级参考文献(3)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(4)
  • 参考文献(0)
  • 二级参考文献(4)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(2)
  • 参考文献(1)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2009(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(3)
  • 参考文献(3)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2017(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
μ-演算
局部模型检测
不动点
偏序关系
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
福建省自然科学基金
英文译名:Natural Science Foundation of Fujian Province of China
官方网址:http://www.fjinfo.gov.cn/fz/zrjj.htm
项目类型:重大项目
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导