岳园

作品数：8被引量：4H指数：2
导出分析报告
供职机构：西北民族大学数学与计算机科学学院更多>>
发文主题：逻辑组合电路等价性验证可满足性刚体更多>>
发文领域：自动化与计算机技术理学电子电信更多>>
发文期刊：《西北民族大学学报（自然科学版）》《陇东学院学报》《山东大学学报（理学版）》《计算机工程与应用》更多>>
所获基金：中央高校基本科研业务费专项资金国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
部分实现组合电路的等价验证优化算法
《山东大学学报（理学版）》2016年第3期116-121,共6页岳园 田双亮 陈秀萍 
国家自然科学基金资助项目(11205074);2013年西北民族大学中央高校基本科研业务费专项资金资助项目(31920130008);2014年西北民族大学中央高校基本科研业务费专项资金资助项目(31920140090);西北民族大学科研创新团队计划资助项目
信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分...
关键词：部分实现电路 等价性验证 逻辑锥 未知模块 可满足性 
Kauffman网络中寻找吸引子方法的研究
《陇东学院学报》2015年第3期8-12,共5页岳园 
2013年西北民族大学中央高校基本科研业务费专项资金项目(31920130008);西北民族大学科研创新团队计划
Kauffman网络是基因调控网络的抽象模型,其统计特性与生物细胞的演化特征相匹配,所以用来模拟和分析生物系统的演化过程以及特定行为机制。由于Kauffman网络状态空间中吸引子对应于不同类型的细胞,其吸引子特性在一定程度上能够反映相...
关键词：Kauffman网络 基因调控网络 布尔网络 吸引子 SAT CNF 
碎纸片自动拼接复原模型的实现被引量：2
《黑龙江科技信息》2014年第29期87-88,共2页岳园 
西北民族大学中央高校基本科研业务费专项资金项目资助(No.31920130008);西北民族大学科研创新团队计划资助
破碎文件的拼接技术是图像处理领域中的一个重要的应用。为了实现碎片文件快速准确的拼接,通过扫描和图像提取技术获取了碎纸片关于灰度值等相关参数的信息,从而建立了自动拼接复原的数学模型。首先针对中英文单面纵切碎片,利用欧式距...
关键词：欧氏距离 耦合度 模式 碎片自动拼接 
使用逻辑锥分割的组合电路等价性验证
《计算机工程与应用》2013年第2期61-66,共6页岳园 何安平 
国家自然科学基金(No.11005054)
为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而...
关键词：等价性验证 逻辑锥 可满足性 
基于多元化因素的高校学费定价模型
《西北民族大学学报（自然科学版）》2012年第3期29-34,共6页岳园 田双亮 
国家自然科学基金(11005054)
文章通过对所收集的国家生均拨款、培养费用、家庭收入等相关数据的分析,建立了基于多元化因素的高校学费定价模型.根据此模型对不同地区、学校、专业和教育层次等多元化因素影响的高校学费标准进行了定量分析.
关键词：高等教育 多元化 学费定价模型 培养费用 家庭收入 
制动器性能检测方法的研究与实现被引量：2
《重庆文理学院学报（自然科学版）》2012年第1期53-57,共5页岳园 
通过研究制动器实验台机械惯量电模拟控制的方法,利用刚体动力学理论,建立制动器实验台工作时的动力学方程模型.一方面,将一种计算机控制方法得到的实验数据和理论模型得到的结果进行对比,另一方面,对能量误差进行分析,可以确定所建立...
关键词：制动器实验台 刚体 惯量 扭矩 计算机控制 
基于MACA的模式分类方法研究
《西北民族大学学报（自然科学版）》2010年第3期25-30,共6页岳园 田双亮 蔡正崎 
通过对一维元胞自动机的结构以及转移规则的特性研究,总结出一类特殊的多吸引子元胞自动机MACA,通过对2-状态-3-邻居的线性元胞自动机LCA的不同元胞单元使用逻辑异或XOR规则,使得状态转移图STD中的某些状态节点带有自循环圈,即称为吸引...
关键词：元胞自动机 MACA 模式分类 
带黑盒组合电路的等价性验证
《微计算机信息》2008年第26期258-260,共3页王瑞 岳园 张自强 
"973"项目(2004CB318000)"数学机械方法及其在信息技术中的应用"的资助。
为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性...
关键词：等价性验证 黑盒 逻辑锥 可满足性验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部