您的位置： 专家智库 > >

林瀚

作品数：12 被引量：22H指数：2
供职机构：中山大学更多>>
发文基金：国家自然科学基金广东省自然科学基金德国研究基金更多>>
相关领域：自动化与计算机技术生物学电子电信更多>>

合作作者

文献类型

  • 7篇专利
  • 3篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...
  • 1篇生物学
  • 1篇电子电信

主题

  • 4篇数据序列
  • 3篇神经网
  • 3篇神经网络
  • 3篇网络
  • 2篇序列数据
  • 2篇序列数据库
  • 2篇样本数据
  • 2篇数据库
  • 2篇索引
  • 2篇契合
  • 2篇外存
  • 2篇网络构建
  • 2篇列数
  • 2篇句子
  • 2篇卷积
  • 2篇卷积神经网络
  • 2篇关注度
  • 1篇代码
  • 1篇代码生成
  • 1篇递推

机构

  • 12篇中山大学
  • 1篇北京大学
  • 1篇桂林电子科技...
  • 1篇华南师范大学

作者

  • 12篇林瀚
  • 3篇苏开乐
  • 2篇骆翔宇
  • 1篇陈清亮
  • 1篇吕关锋
  • 1篇徐艳艳
  • 1篇杨晋吉
  • 1篇张尚宏
  • 1篇岳伟亚
  • 1篇肖茵茵
  • 1篇黄亚志

传媒

  • 2篇中山大学学报...
  • 1篇软件学报
  • 1篇2004年全...

年份

  • 1篇2024
  • 1篇2022
  • 3篇2021
  • 2篇2019
  • 1篇2011
  • 1篇2009
  • 1篇2008
  • 1篇2006
  • 1篇2004
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于iDistance算法的不确定数据序列K近邻方法及系统
本发明提出基于iDistance算法的不确定数据序列K近邻方法及系统，结合了iDistance索引为样本扫描算法所需读取的不确定序列数据建立索引；索引后，本方案可以按需对样本数据进行读取，有效提升了现有样本扫描算法在大规...
王文标林瀚
基于BDD的图表示及其算法被引量：10
2006年
给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子。
吕关锋苏开乐林瀚骆翔宇陈清亮岳伟亚
关键词：BDD连通度最短路径
有界模型检测的优化被引量：10
2009年
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.
杨晋吉苏开乐骆翔宇林瀚肖茵茵
关键词：有界模型检测递推公式
一种基于剪枝条件的不确定数据序列扫描方法及系统
本发明提出一种基于剪枝条件的不确定数据序列扫描方法和系统，充分利用概率计算过程中概率变化所满足的条件，以及K近邻问题只需找出前k大而无需求出具体值的特点，为传统的样本扫描算法设置剪枝条件，大大减少了算法需要扫描的样本数量...
王文标林瀚
文献传递
一种基于卷积神经网络和局部注意力机制的句子分类方法
本发明公开了一种基于卷积神经网络和局部注意力机制的句子分类方法，包括以下步骤：对文本或句子进行预处理来获得词向量表示；对获取的词向量表应用注意力机制来决定词向量的权重，提升重要词向量的关注度；对文本或句子的词向量表示进行...
林奇峰林瀚
文献传递
一种基于神经网络和自注意力机制的网页截图代码生成方法
本发明公开了一种基于神经网络和自注意力机制的网页截图代码生成方法，包括以下步骤：对若干个平台的网页截图通过卷积神经网络来提取其中的关键特征；通过应用自注意力机制，对步骤S1中获取的关键特征和网页代码进行关联学习，提升文本...
景涛林瀚
文献传递
不同生活习性下原核生物基因组大小与GC含量的关系研究被引量：2
2011年
对原核生物基因组的研究显示,基因组GC含量与基因组大小和氧气偏好性等因素存在着一定的相关性。为了探索基因组大小与GC含量的相关性是否受原核生物生活习性的影响,选取了有代表性的411种原核生物(包括古细菌与真细菌),分别从最适生长温度、氧气偏好性、运动特性、水生特性和寄生特性等因素进行分析,发现基因组大小与GC含量的相关性确实受这些因素的影响,而寄生原核生物中显示出最好的相关性。
林瀚黄亚志张尚宏
关键词：原核生物基因组大小GC含量生活习性
基于iDistance算法的不确定数据序列K近邻方法及系统
本发明提出基于iDistance算法的不确定数据序列K近邻方法及系统，结合了iDistance索引为样本扫描算法所需读取的不确定序列数据建立索引；索引后，本方案可以按需对样本数据进行读取，有效提升了现有样本扫描算法在大规...
王文标林瀚
文献传递
一种基于卷积神经网络和局部注意力机制的句子分类方法
本发明公开了一种基于卷积神经网络和局部注意力机制的句子分类方法，包括以下步骤：对文本或句子进行预处理来获得词向量表示；对获取的词向量表应用注意力机制来决定词向量的权重，提升重要词向量的关注度；对文本或句子的词向量表示进行...
林奇峰林瀚
安全协议形式化分析的新进展:基于逻辑程序的验证方法
安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交换敏感数据(如会话密钥、电子交易数据等).安全协议的安全性质包括认证性(Au-thenticity)、秘密性(S...
林瀚徐艳艳苏开乐
关键词：安全协议形式化分析逻辑程序
文献传递
全选 清除 导出
共2页<12>
聚类工具0