东北林业大学学报
東北林業大學學報
동북임업대학학보
JOURNAL OF NORTHEAST FORESTRY UNIVERSITY
2013年
2期
93-98,122
,共7页
林业机械%控制芯片%模型检验%多项式%电子设计自动化
林業機械%控製芯片%模型檢驗%多項式%電子設計自動化
임업궤계%공제심편%모형검험%다항식%전자설계자동화
为解决林业机械设备控制芯片设计中模型检验问题,提出基于多项式理论的定界模型检验方法.首先,给出基于多项式形式的电路功能的统一描述.为了能够采用多项式形式描述电路功能,在传统的电路控制逻辑描述方法的基础上,将其进一步扩展,将传统方法中的原子命题转化为多项式形式,将布尔特征函数转化为多项式集合的形式.这样,可以与电路数据通路部分建立统一的多项式描述形式.其次,通过建立高级语言的关系模型,给出了电路在高层次描述中目标性质的抽取方法,通过该方法形成待验证性质的多项式形式描述,从而形成了待验证性质与电路功能统一的多项式形式.基于以上两点,将定界模型检验问题转化为基于多项式理论的定理证明问题.并采用计算多项式集合良好三角列的方法解决定理证明问题.与传统方法相比,该方法可在电路高级别抽象上直接进行定界模型检验.
為解決林業機械設備控製芯片設計中模型檢驗問題,提齣基于多項式理論的定界模型檢驗方法.首先,給齣基于多項式形式的電路功能的統一描述.為瞭能夠採用多項式形式描述電路功能,在傳統的電路控製邏輯描述方法的基礎上,將其進一步擴展,將傳統方法中的原子命題轉化為多項式形式,將佈爾特徵函數轉化為多項式集閤的形式.這樣,可以與電路數據通路部分建立統一的多項式描述形式.其次,通過建立高級語言的關繫模型,給齣瞭電路在高層次描述中目標性質的抽取方法,通過該方法形成待驗證性質的多項式形式描述,從而形成瞭待驗證性質與電路功能統一的多項式形式.基于以上兩點,將定界模型檢驗問題轉化為基于多項式理論的定理證明問題.併採用計算多項式集閤良好三角列的方法解決定理證明問題.與傳統方法相比,該方法可在電路高級彆抽象上直接進行定界模型檢驗.
위해결임업궤계설비공제심편설계중모형검험문제,제출기우다항식이론적정계모형검험방법.수선,급출기우다항식형식적전로공능적통일묘술.위료능구채용다항식형식묘술전로공능,재전통적전로공제라집묘술방법적기출상,장기진일보확전,장전통방법중적원자명제전화위다항식형식,장포이특정함수전화위다항식집합적형식.저양,가이여전로수거통로부분건립통일적다항식묘술형식.기차,통과건립고급어언적관계모형,급출료전로재고층차묘술중목표성질적추취방법,통과해방법형성대험증성질적다항식형식묘술,종이형성료대험증성질여전로공능통일적다항식형식.기우이상량점,장정계모형검험문제전화위기우다항식이론적정리증명문제.병채용계산다항식집합량호삼각렬적방법해결정리증명문제.여전통방법상비,해방법가재전로고급별추상상직접진행정계모형검험.