何安平
- 作品数:53 被引量:32H指数:3
- 供职机构:兰州大学更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金广西教育厅科研项目更多>>
- 相关领域:自动化与计算机技术电子电信文学文化科学更多>>
- 一种异步CIOS模乘算法及异步模乘架构
- 本发明公开了一种异步CIOS模乘算法及异步模乘架构,将CIOS模乘算法中对j的三个小循环进行合并,省去对j的前两个小循环的数据暂存,对j的第三个小循环的计算融合在对j的第二个小循环计算后的第二级流水中,形成两级流水线,对...
- 何安平方菲邢云鹏刘东佳马浚
- 一种用于双向导线握手的双向不平衡延迟单元
- 本发明公开了一种用于双向导线握手的双向不平衡延迟单元,包括反向传输路径和正向传输路径;反向传输路径包含一个传输门,该传输门的右侧输入通过缓冲器接到传输门使能端;正向传输路径包括信号由左向右依次传输的缓冲器、延迟可调的延迟...
- 何安平李勋马浚
- 一种稀疏矩阵压缩和数据匹配方法及装置
- 本发明公开了一种稀疏矩阵压缩和数据匹配方法及装置。本发明方法包括:稀疏矩阵压缩:将矩阵数据元素的左矩阵进行行压缩、右矩阵进行列压缩,将压缩后的左矩阵以压缩后的列为单位写入SRAM,得到A矩阵数据,将压缩后的右矩阵以压缩后...
- 何安平刁文麒孙若云张鸿锐
- 基于模型检测的半结构化数据查询被引量:2
- 2009年
- 在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率。最后,给出了该方法在现有半结构化查询语言Lorel上的应用。
- 刘林霞张自强何安平
- 关键词:时序逻辑OEM模型
- 一种基于锁机制处理异步流水线控制冒险的方法
- 本发明公开了一种基于锁机制处理异步流水线控制冒险的方法,处理器采用三级流水处理器,其外设的中断通过片上网络将中断信息传输至数据处理中心,处理器核通过数据处理中心与片上网络进行数据交换,处理器核中指令预取和译码之间、译码和...
- 何安平张龙涛马浚周文茂徐子伟赵康利
- 基于硬件模拟的SAT求解框架
- 2016年
- 使用硬件方法求解SAT问题,采用现场可编程门阵列(FPGA)技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.
- 何安平毛乐乐谌知学吴尽昭
- 关键词:现场可编程门阵列合取范式
- 道心惟微,立象尽意——论《文心雕龙》中的比喻被引量:2
- 2017年
- 比喻在《文心雕龙》中广泛使用,其原因有三。一,比喻重在阐明事理,切合刘勰论文的目的;二,《文心雕龙》有子书的特点,继承了先秦诸子比喻说理的传统;三,以魏晋玄学为思想背景,刘勰使用比喻来立象尽意。通过对四部分的具体分析,可见第一部分前三篇用了夸大的比喻,后两篇和第二部分类似,比喻的喻体多为日常生活中的平凡事物,第三、四部分比喻密集,有助于阐明文理。与《文赋》《诗品》对照,见出使用比喻论文非刘勰专有,后代的文论话语深受影响,成为文士品评诗文的主要方式之一,形成了中国文学批评的一个重要传统。
- 何安平
- 关键词:文心雕龙比喻
- 基于Buchi自动机的UML模型一致性研究
- 随着UML在系统建模中的广泛使用,模型间的一致性问题越来越突出.目前解决此问题的形式化方法主要是将UML模型转换为现有检测工具的输入语言进行处理.其往往会引入冗余计算及处理语义差异的负载.针对顺序图和状态图的一致性问题,...
- 张自强何安平刘林霞
- 关键词:UML模型线性时序逻辑
- 一种基于4维Bell态粒子和单光子混合的量子安全直接通信改进方案
- 2019年
- 随着近年来量子密码技术的迅猛发展,作为其重要分支的量子安全直接通信(QSDC)技术也取得了令人瞩目的进展。本文提出了一种依托4维Hilbert空间的QSDC改进方案,该方案混合利用Bell态粒子和单光子并将3比特经典信息加载于1个量子态上以提高编码容量以及信息传输的效率和安全性。
- 王欣龙李宏欣韩宇姜慧杰何安平何安平
- 关键词:量子安全直接通信
- 使用逻辑锥分割的组合电路等价性验证
- 2013年
- 为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。
- 岳园何安平
- 关键词:等价性验证可满足性