岳园
- 作品数：8 被引量：4H指数：2
- 供职机构：西北民族大学数学与计算机科学学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 基于MACA的模式分类方法研究
- 2010年
- 通过对一维元胞自动机的结构以及转移规则的特性研究,总结出一类特殊的多吸引子元胞自动机MACA,通过对2-状态-3-邻居的线性元胞自动机LCA的不同元胞单元使用逻辑异或XOR规则,使得状态转移图STD中的某些状态节点带有自循环圈,即称为吸引子.通过对吸引子的伪穷举域PEF的研究,从而可以实现模式的分类问题.这一分类理论可以应用于数据挖掘、图像压缩以及电路检测等应用领域,具有较好的分类性能以及较高的分类准确性.
- 岳园田双亮蔡正崎
- 关键词：元胞自动机MACA
- 基于多元化因素的高校学费定价模型
- 2012年
- 文章通过对所收集的国家生均拨款、培养费用、家庭收入等相关数据的分析,建立了基于多元化因素的高校学费定价模型.根据此模型对不同地区、学校、专业和教育层次等多元化因素影响的高校学费标准进行了定量分析.
- 岳园田双亮
- 关键词：高等教育家庭收入
- 带黑盒组合电路的等价性验证
- 2008年
- 为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
- 王瑞岳园张自强
- 关键词：等价性验证黑盒
- 使用逻辑锥分割的组合电路等价性验证
- 2013年
- 为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。
- 岳园何安平
- 关键词：等价性验证可满足性
- 部分实现组合电路的等价验证优化算法
- 2016年
- 信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分实现组合电路进行"逻辑锥"分割;其次根据匹配的逻辑锥创建Miter电路,并且使用符号模拟技术对电路中的功能未知模块进行变量约束;最后对多个Miter电路的合取范式依次进行可满足性验证。通过在包含单个未知模块的ISCAS'85基准电路以及包含若干大小相近未知模块的组合电路上得到的实验数据,表明了此算法能够较好地提高电路检错率。
- 岳园田双亮陈秀萍
- 关键词：等价性验证可满足性
- 碎纸片自动拼接复原模型的实现被引量：2
- 2014年
- 破碎文件的拼接技术是图像处理领域中的一个重要的应用。为了实现碎片文件快速准确的拼接,通过扫描和图像提取技术获取了碎纸片关于灰度值等相关参数的信息,从而建立了自动拼接复原的数学模型。首先针对中英文单面纵切碎片,利用欧式距离引入碎片之间边界像素点之间的耦合度,在此基础上得到碎片的拼接顺序;其次针对中英文单面纵横切碎片,根据打印文本文件在同一页中行距是不变的特点,引入模式概念,并根据模式分类完成碎片拼接;最后在该数学模型基础上,使用MATLAB工具对碎片的两种情况进行了拼接复原模拟,实验结果表明该方法对规则碎片复原拼接的有效性和可行性。
- 岳园
- 关键词：欧氏距离耦合度
- Kauffman网络中寻找吸引子方法的研究
- 2015年
- Kauffman网络是基因调控网络的抽象模型,其统计特性与生物细胞的演化特征相匹配,所以用来模拟和分析生物系统的演化过程以及特定行为机制。由于Kauffman网络状态空间中吸引子对应于不同类型的细胞,其吸引子特性在一定程度上能够反映相应的生物系统功能,所以本文通过研究Kauffman网络的拓扑结构,结合SAT方法,从而确定了网络中吸引子的数量和长度,提高了在Kauffman网络中寻找吸引子算法的时空效率。
- 岳园
- 关键词：基因调控网络吸引子SATCNF
- 制动器性能检测方法的研究与实现被引量：2
- 2012年
- 通过研究制动器实验台机械惯量电模拟控制的方法,利用刚体动力学理论,建立制动器实验台工作时的动力学方程模型.一方面,将一种计算机控制方法得到的实验数据和理论模型得到的结果进行对比,另一方面,对能量误差进行分析,可以确定所建立的模型的正确性和有效性,从而认为该控制方法有效地模拟了汽车路试情况.
- 岳园
- 关键词：刚体惯量扭矩计算机控制
