何安平
- 作品数：42 被引量：32H指数：3
- 供职机构：兰州大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术电子电信文学文化科学更多>>
- 一种稀疏矩阵压缩和数据匹配方法及装置
- 本发明公开了一种稀疏矩阵压缩和数据匹配方法及装置。本发明方法包括：稀疏矩阵压缩：将矩阵数据元素的左矩阵进行行压缩、右矩阵进行列压缩，将压缩后的左矩阵以压缩后的列为单位写入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基准电路的实验结果表明该方法的可行性。
- 岳园何安平
- 关键词：等价性验证可满足性
- 《霍小玉传》《李益墓志》及史传中的李益形象比较研究被引量：1
- 2018年
- 人物形象在历史文本中是不断演变的,唐人李益就是其中一例。《李益墓志》的发现为李益在《霍小玉传》、正史传记之外又添一形象,通过对三种文本的仔细解读,可看出传奇中的李益以负心汉的负面形象为主,墓志中李益则是一完美之人,史传中的李益以诗人形象为主,究其原因,主要是由于文体不同和作者立场与意图差异两大原因,这说明:一、在阐释人物形象时必须要注意文体对于表达内容和表达方式的规约;二、要充分认识史料的特征,运用史料时,必须经过分析和考辨;三、文献的留存及内容有人为性,经过了历史和个人的选择;四、人物形象处在不断被创作中,这种变化关涉不同创作者的思想与情感,其中蕴含着另一种历史的真实,可借此通达"历史的内心"。
- 何安平
- 关键词：墓志史传
- 基于click控制器的全异步人工神经元网络芯片的通讯电路
- 本实用新型涉及一种基于click控制器的全异步人工神经元网络芯片的通讯电路，采用全异步控制代替全局异步、局部同步，实现NoC片上路由通信机制，通过流水线控制电路严格控制各个模块的运算时序，异步电路由于采用握手协议产生各流...
- 何安平胡斌冯广博
- 文献传递
