原文服务方: 东北林业大学学报       
摘要:
为解决林业机械设备控制芯片设计中模型检验问题,提出基于多项式理论的定界模型检验方法.首先,给出基于多项式形式的电路功能的统一描述.为了能够采用多项式形式描述电路功能,在传统的电路控制逻辑描述方法的基础上,将其进一步扩展,将传统方法中的原子命题转化为多项式形式,将布尔特征函数转化为多项式集合的形式.这样,可以与电路数据通路部分建立统一的多项式描述形式.其次,通过建立高级语言的关系模型,给出了电路在高层次描述中目标性质的抽取方法,通过该方法形成待验证性质的多项式形式描述,从而形成了待验证性质与电路功能统一的多项式形式.基于以上两点,将定界模型检验问题转化为基于多项式理论的定理证明问题.并采用计算多项式集合良好三角列的方法解决定理证明问题.与传统方法相比,该方法可在电路高级别抽象上直接进行定界模型检验.
推荐文章
《林业机械与木工设备》杂志撰稿要求及广告收费标准
林业机械
木工设备
收费标准
杂志
质量监督检验中心
国家林业局
中国林学会
广告
林业机械产品标准检验规则的理解与应用
林业机械
检验规则
产品标准
林业机械装备的人性化设计研究
林业机械
人性化设计
需求
前景
研究
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 林业机械设备控制芯片设计的模型检验方法
来源期刊 东北林业大学学报 学科
关键词 林业机械 控制芯片 模型检验 多项式 电子设计自动化
年,卷(期) 2013,(2) 所属期刊栏目
研究方向 页码范围 93-98,122
页数 7页 分类号 S776.02
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 马光胜 74 240 8.0 12.0
2 范德会 2 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (11)
参考文献  (3)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
林业机械
控制芯片
模型检验
多项式
电子设计自动化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
东北林业大学学报
月刊
1000-5382
23-1268/S
大16开
1957-01-01
chi
出版文献量(篇)
7235
总下载数(次)
0
总被引数(次)
68015
论文1v1指导