您的位置： 专家智库 > >

何加亮

作品数：4 被引量：10H指数：2
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金教育部重点实验室开放基金国家留学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 2篇学位论文

领域

  • 4篇自动化与计算...
  • 1篇理学

主题

  • 2篇人工智能
  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇形式化
  • 1篇有权
  • 1篇散列
  • 1篇散列函数
  • 1篇商务
  • 1篇射频识别
  • 1篇属性数据
  • 1篇数据聚类
  • 1篇数据挖掘
  • 1篇所有权
  • 1篇所有权转移
  • 1篇网络
  • 1篇网络安全
  • 1篇无线射频
  • 1篇无线射频识别
  • 1篇逻辑
  • 1篇逻辑方法

机构

  • 4篇吉林大学
  • 1篇新泽西州立大...

作者

  • 4篇何加亮
  • 1篇冀进朝
  • 1篇叶育鑫
  • 1篇周春光
  • 1篇欧阳丹彤
  • 1篇白天
  • 1篇许有军

传媒

  • 2篇吉林大学学报...

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 1篇2004
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
间接使用扩展规则求解#SAT问题被引量：2
2011年
针对求解#SAT问题时算法时间会随着子句集的规模迅速增加的问题,提出一种间接应用扩展规则的MCEHST算法。该算法首先求出子句集的所有极小碰集,然后应用扩展规则计算这些极小碰集所能扩展出的极大项的数量,即模型数。实验结果表明:MCEHST算法运行时间随子句集规模增加的速度要比CDP和CER算法慢;当子句的长度较短、子句数较多时,MCEHST算法的时间效率较高。
许有军欧阳丹彤叶育鑫何加亮
关键词：人工智能
形式化逻辑方法在分析认证协议以及电子商务协议中的应用
计算机网络的出现使世界的联系变得更加紧密。但是，开放式网络上和分布式系统上不断增长的各种应用尤其是电子商务的蓬勃发展，对系统的安全提出了巨大挑战，不能有效地解决计算机网络信息的安全问题，就会影响到计算机网络应用更广，更高...
何加亮
关键词：电子商务协议BAN逻辑计算机网络安全
文献传递
基于散列函数的RFID安全协议研究
RFID技术是21世纪最具发展前景和变革力的高新技术之一，设计高效、安全、低成本的RFID安全协议是重要的具有挑战性的研究课题。本文面向低成本RFID系统，对基于单向Hash函数的RFID安全协议展开了深入的研究，主要工...
何加亮
关键词：无线射频识别安全协议不可追踪性散列函数
文献传递
混合属性数据聚类的新方法被引量：6
2013年
提出了一种数值型和类别型混合属性数据聚类的全局算法。算法通过随机选取足够多的初始原型来覆盖数据集的全局分布信息,然后通过评估函数迭代地消去多余的原型。最后对本文算法进行了验证,证明了该算法的有效性和收敛性。并与其他已有同类型算法的聚类结果进行比较,说明本文算法对混合属性数据具有更高的聚类准确度,为解决混合型数据聚类问题提供了一种新途径。
白天冀进朝何加亮周春光
关键词：人工智能数据聚类数据挖掘混合属性数据
全选 清除 导出
共1页<1>
聚类工具0