钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
文献导航
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
数据库索引
>
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
默认
篇关摘
篇名
关键词
摘要
全文
作者
作者单位
基金
分类号
搜索文章
搜索思路
钛学术文献服务平台
\
学术期刊
\
农业科学期刊
\
林业期刊
\
东北林业大学学报期刊
\
林业机械设备控制芯片设计的模型检验方法
林业机械设备控制芯片设计的模型检验方法
作者:
范德会
马光胜
原文服务方:
东北林业大学学报
林业机械
控制芯片
模型检验
多项式
电子设计自动化
摘要:
为解决林业机械设备控制芯片设计中模型检验问题,提出基于多项式理论的定界模型检验方法.首先,给出基于多项式形式的电路功能的统一描述.为了能够采用多项式形式描述电路功能,在传统的电路控制逻辑描述方法的基础上,将其进一步扩展,将传统方法中的原子命题转化为多项式形式,将布尔特征函数转化为多项式集合的形式.这样,可以与电路数据通路部分建立统一的多项式描述形式.其次,通过建立高级语言的关系模型,给出了电路在高层次描述中目标性质的抽取方法,通过该方法形成待验证性质的多项式形式描述,从而形成了待验证性质与电路功能统一的多项式形式.基于以上两点,将定界模型检验问题转化为基于多项式理论的定理证明问题.并采用计算多项式集合良好三角列的方法解决定理证明问题.与传统方法相比,该方法可在电路高级别抽象上直接进行定界模型检验.
下载原文
收藏
引用
分享
推荐文章
《林业机械与木工设备》杂志撰稿要求及广告收费标准
林业机械
木工设备
收费标准
杂志
质量监督检验中心
国家林业局
中国林学会
广告
林业机械产品标准检验规则的理解与应用
林业机械
检验规则
产品标准
林业机械国际标准的特点与林业机械的安全标准
林业机械
国际标准
特点
林业机械装备的人性化设计研究
林业机械
人性化设计
需求
前景
研究
内容分析
文献信息
版权信息
引文网络
相关学者/机构
相关基金
期刊文献
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
篇名
林业机械设备控制芯片设计的模型检验方法
来源期刊
东北林业大学学报
学科
关键词
林业机械
控制芯片
模型检验
多项式
电子设计自动化
年,卷(期)
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
传播情况
被引次数趋势
(/次)
(/年)
版权信息
全文
全文.pdf
引文网络
引文网络
二级参考文献
(0)
共引文献
(11)
参考文献
(3)
节点文献
引证文献
(0)
同被引文献
(0)
二级引证文献
(0)
1992(1)
参考文献(1)
二级参考文献(0)
2005(1)
参考文献(1)
二级参考文献(0)
2008(1)
参考文献(1)
二级参考文献(0)
2013(0)
参考文献(0)
二级参考文献(0)
引证文献(0)
二级引证文献(0)
研究主题发展历程
节点文献
林业机械
控制芯片
模型检验
多项式
电子设计自动化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
东北林业大学学报
主办单位:
东北林业大学
出版周期:
月刊
ISSN:
1000-5382
CN:
23-1268/S
开本:
大16开
出版地:
邮发代号:
创刊时间:
1957-01-01
语种:
chi
出版文献量(篇)
7235
总下载数(次)
0
总被引数(次)
68015
期刊文献
相关文献
1.
《林业机械与木工设备》杂志撰稿要求及广告收费标准
2.
林业机械产品标准检验规则的理解与应用
3.
林业机械国际标准的特点与林业机械的安全标准
4.
林业机械装备的人性化设计研究
5.
强化林业机械设备管理的措施
6.
林业机械结构的动态可靠性灵敏度设计
7.
林业机械与人机工程学
8.
对福建省发展林业机械的探讨
9.
人机工程学在林业机械设计中的应用
10.
光纤加速度计在林业机械检测中的应用
11.
遗传算法在林业机械中的应用展望
12.
我国林业机械与木工机械行业分类方法探讨
13.
林业机械的安全性设计与人机工程学因素
14.
林业机械结构的时变可靠性设计
15.
林业机械产品检测工作解析
推荐文献
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
根据相关规定,获取原文需跳转至原文服务方进行注册认证身份信息
完成下面三个步骤操作后即可获取文献,阅读后请
点击下方页面【继续获取】按钮
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
原文合作方
继续获取
获取文献流程
1.访问原文合作方请等待几秒系统会自动跳转至登录页,首次访问请先注册账号,填写基本信息后,点击【注册】
2.注册后进行实名认证,实名认证成功后点击【返回】
3.检查邮箱地址是否正确,若错误或未填写请填写正确邮箱地址,点击【确认支付】完成获取,文献将在1小时内发送至您的邮箱
*若已注册过原文合作方账号的用户,可跳过上述操作,直接登录后获取原文即可
点击
【获取原文】
按钮,跳转至合作网站。
首次获取需要在合作网站
进行注册。
注册并实名认证,认证后点击
【返回】按钮。
确认邮箱信息,点击
【确认支付】
, 订单将在一小时内发送至您的邮箱。
*
若已经注册过合作网站账号,请忽略第二、三步,直接登录即可。
期刊分类
期刊(年)
期刊(期)
期刊推荐
农业基础科学
农业工程
农业科学总论
农作物
农学
园艺
大学学报
林业
植物保护
水产渔业
畜牧兽医
东北林业大学学报1999
东北林业大学学报2000
东北林业大学学报2001
东北林业大学学报2002
东北林业大学学报2003
东北林业大学学报2004
东北林业大学学报2005
东北林业大学学报2006
东北林业大学学报2007
东北林业大学学报2008
东北林业大学学报2009
东北林业大学学报2010
东北林业大学学报2011
东北林业大学学报2012
东北林业大学学报2013
东北林业大学学报2014
东北林业大学学报2015
东北林业大学学报2016
东北林业大学学报2017
东北林业大学学报2018
东北林业大学学报2019
东北林业大学学报2020
东北林业大学学报2021
东北林业大学学报2024
东北林业大学学报2023
东北林业大学学报2013年第12期
东北林业大学学报2013年第7期
东北林业大学学报2013年第2期
东北林业大学学报2013年第3期
东北林业大学学报2013年第10期
东北林业大学学报2013年第8期
东北林业大学学报2013年第5期
东北林业大学学报2013年第4期
东北林业大学学报2013年第6期
东北林业大学学报2013年第1期
东北林业大学学报2013年第9期
东北林业大学学报2013年第11期
关于我们
用户协议
隐私政策
知识产权保护
期刊导航
免费查重
论文知识
钛学术官网
按字母查找期刊:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他
联系合作 广告推广: shenyukuan@paperpass.com
京ICP备2021016839号
营业执照
版物经营许可证:新出发 京零 字第 朝220126号