何安平
- 作品数:62 被引量:33H指数:3
- 供职机构:兰州大学更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金广西教育厅科研项目更多>>
- 相关领域:自动化与计算机技术电子电信文学文化科学更多>>
- 一种异步CIOS模乘算法及异步模乘架构
- 本发明公开了一种异步CIOS模乘算法及异步模乘架构,将CIOS模乘算法中对j的三个小循环进行合并,省去对j的前两个小循环的数据暂存,对j的第三个小循环的计算融合在对j的第二个小循环计算后的第二级流水中,形成两级流水线,对...
- 何安平方菲邢云鹏刘东佳马浚
- 一种用于双向导线握手的双向不平衡延迟单元
- 本发明公开了一种用于双向导线握手的双向不平衡延迟单元,包括反向传输路径和正向传输路径;反向传输路径包含一个传输门,该传输门的右侧输入通过缓冲器接到传输门使能端;正向传输路径包括信号由左向右依次传输的缓冲器、延迟可调的延迟...
- 何安平李勋马浚
- 一种稀疏矩阵压缩和数据匹配方法及装置
- 本发明公开了一种稀疏矩阵压缩和数据匹配方法及装置。本发明方法包括:稀疏矩阵压缩:将矩阵数据元素的左矩阵进行行压缩、右矩阵进行列压缩,将压缩后的左矩阵以压缩后的列为单位写入SRAM,得到A矩阵数据,将压缩后的右矩阵以压缩后...
- 何安平刁文麒孙若云张鸿锐
- 一种事件驱动的支持多种计算模式的CSR解析器
- 本发明公开了一种事件驱动的支持多种计算模式的CSR解析器,包括指针取数器、索引取数器、标志位数组生成器及数据匹配器,指针取数器由启动事件驱动工作,用于访问输入矩阵或向量的指针数据,索引取数器用于从压缩格式中提取索引数据;...
- 马浚何安平胡蓉青张灵壮陈杰蒋亦龙黄渊陆钇桦徐子伟
- 面积优化的DI电路异步串行寄存器组、芯片及电子设备
- 本发明公开了一种面积优化的DI电路异步串行寄存器组、芯片及电子设备,串行寄存器组包括多个DI‑latch、一个Mux组件、两个Demux组件和一个Fork组件;每个存储Data的DI‑latch前方连接一个存储Null的...
- 何安平安洋陈名书马浚
- 基于模型检测的半结构化数据查询被引量:2
- 2009年
- 在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率。最后,给出了该方法在现有半结构化查询语言Lorel上的应用。
- 刘林霞张自强何安平
- 关键词:时序逻辑OEM模型
- 一种基于锁机制处理异步流水线控制冒险的方法
- 本发明公开了一种基于锁机制处理异步流水线控制冒险的方法,处理器采用三级流水处理器,其外设的中断通过片上网络将中断信息传输至数据处理中心,处理器核通过数据处理中心与片上网络进行数据交换,处理器核中指令预取和译码之间、译码和...
- 何安平张龙涛马浚周文茂徐子伟赵康利
- 基于硬件模拟的SAT求解框架
- 2016年
- 使用硬件方法求解SAT问题,采用现场可编程门阵列(FPGA)技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依据FPGA硬件完成SAT满足性求解过程.
- 何安平毛乐乐谌知学吴尽昭
- 关键词:现场可编程门阵列合取范式
- 基于“发送-中继-接收”结构的异步微流水线结构
- 本发明公开了一种基于“发送‑中继‑接收”结构的异步微流水线结构,包括异步控制组件,所述异步控制组件包括发送者(Sender)、中继者(Relay)、接收者(Receiver)或允许中继者(PmtRelay)中的一种或多种...
- 何安平赵康利覃婧恬廖壮壮马浚
- 道心惟微,立象尽意——论《文心雕龙》中的比喻被引量:2
- 2017年
- 比喻在《文心雕龙》中广泛使用,其原因有三。一,比喻重在阐明事理,切合刘勰论文的目的;二,《文心雕龙》有子书的特点,继承了先秦诸子比喻说理的传统;三,以魏晋玄学为思想背景,刘勰使用比喻来立象尽意。通过对四部分的具体分析,可见第一部分前三篇用了夸大的比喻,后两篇和第二部分类似,比喻的喻体多为日常生活中的平凡事物,第三、四部分比喻密集,有助于阐明文理。与《文赋》《诗品》对照,见出使用比喻论文非刘勰专有,后代的文论话语深受影响,成为文士品评诗文的主要方式之一,形成了中国文学批评的一个重要传统。
- 何安平
- 关键词:文心雕龙比喻