您的位置： 专家智库 > >

何安平

作品数：39 被引量：29H指数：3
供职机构：兰州大学信息科学与工程学院更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金广西教育厅科研项目更多>>
相关领域：自动化与计算机技术文学电子电信文化科学更多>>

合作作者

文献类型

  • 23篇期刊文章
  • 11篇专利
  • 2篇学位论文
  • 2篇科技成果
  • 1篇会议论文

领域

  • 15篇自动化与计算...
  • 7篇文学
  • 6篇电子电信
  • 3篇文化科学
  • 2篇自然科学总论
  • 1篇核科学技术
  • 1篇理学

主题

  • 7篇异步
  • 6篇电路
  • 4篇CLICK
  • 3篇硬件
  • 3篇元结
  • 3篇神经元网络
  • 3篇唐代
  • 3篇人工神经
  • 3篇人工神经元
  • 3篇人工神经元网...
  • 3篇文学
  • 3篇乘法器
  • 2篇代文
  • 2篇地下停车
  • 2篇地下停车场
  • 2篇电路设计
  • 2篇形式化
  • 2篇异步电路
  • 2篇阵列
  • 2篇时序逻辑

机构

  • 29篇兰州大学
  • 8篇广西民族大学
  • 5篇复旦大学
  • 1篇北京理工大学
  • 1篇清华大学
  • 1篇中国原子能科...
  • 1篇中国人民解放...
  • 1篇北京计算机及...
  • 1篇西北民族大学

作者

  • 39篇何安平
  • 7篇吴尽昭
  • 3篇王娟
  • 3篇胡斌
  • 2篇张自强
  • 2篇刘林霞
  • 2篇杨世瀚
  • 2篇李彩虹
  • 1篇袁磊
  • 1篇宁广胜
  • 1篇岳园
  • 1篇杨裔
  • 1篇陈虹
  • 1篇胡斌
  • 1篇钟巍华
  • 1篇张博
  • 1篇吴尽昭
  • 1篇冯志华
  • 1篇张利民
  • 1篇熊玲芳

传媒

  • 2篇微电子学与计...
  • 2篇周口师范学院...
  • 1篇内蒙古大学学...
  • 1篇电子学报
  • 1篇数据采集与处...
  • 1篇计算机工程与...
  • 1篇核技术
  • 1篇计算机工程
  • 1篇计算机工程与...
  • 1篇理论界
  • 1篇古籍整理研究...
  • 1篇计算机工程与...
  • 1篇计算机与数字...
  • 1篇山东科技大学...
  • 1篇计算机测量与...
  • 1篇广东广播电视...
  • 1篇广州广播电视...
  • 1篇新疆大学学报...
  • 1篇广西民族大学...
  • 1篇计算机科学与...

年份

  • 1篇2024
  • 5篇2023
  • 2篇2022
  • 1篇2021
  • 2篇2020
  • 3篇2019
  • 7篇2018
  • 5篇2017
  • 2篇2016
  • 3篇2015
  • 2篇2014
  • 2篇2013
  • 1篇2012
  • 1篇2011
  • 2篇2009
共 39 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种稀疏矩阵压缩和数据匹配方法及装置
本发明公开了一种稀疏矩阵压缩和数据匹配方法及装置。本发明方法包括：稀疏矩阵压缩：将矩阵数据元素的左矩阵进行行压缩、右矩阵进行列压缩，将压缩后的左矩阵以压缩后的列为单位写入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片上路由通信机制，通过流水线控制电路严格控制各个模块的运算时序，异步电路由于采用握手协议产生各流...
何安平胡斌冯广博
文献传递
堆用SiC辐照温度监控器的研究进展被引量：1
2023年
碳化硅(SiC)晶体可以用作无源监控器测量反应堆的中子辐照温度,在未来高温强辐射的先进核反应堆中具有重要的应用前景。SiC测温技术自20世纪60年代被首次提出以来,基于SiC结构、热学和电学性质的中子辐照效应,人们建立了宏观尺寸法、质量密度法、热导率法和电阻率法等各种SiC测温方法。本文首先综述了这些SiC测温方法的基本原理和工作特点,然后着重介绍了中国原子能科学研究院(China Institute of Atomic Energy,CIAE)SiC测温系统的研究进展,通过中子辐照诱导SiC晶格肿胀的理论计算,分析和验证了该系统测温结果的可靠性,探讨了进一步提高SiC测温效率的实验方法。
刘心语张利民宁广胜钟巍华王绳鸿何安平
全选 清除 导出
共4页<1234>
聚类工具0