咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学
    • 1 篇 统计学(可授理学、...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 3 篇 变量消除
  • 2 篇 因子分解
  • 2 篇 链图模型
  • 1 篇 抽象解释
  • 1 篇 函数内联
  • 1 篇 动态链图
  • 1 篇 权重
  • 1 篇 降维
  • 1 篇 过程间分析
  • 1 篇 独立性
  • 1 篇 正则图

机构

  • 2 篇 青岛大学
  • 1 篇 国防科技大学
  • 1 篇 高性能计算国家重...

作者

  • 2 篇 张冠玉
  • 1 篇 范广生
  • 1 篇 尹帮虎
  • 1 篇 韩凯文
  • 1 篇 王戟
  • 1 篇 许成
  • 1 篇 陈立前
  • 1 篇 陈涛清

语言

  • 3 篇 中文
检索条件"主题词=变量消除"
3 条 记 录,以下是1-10 订阅
排序:
基于链图模型的变量消除算法
收藏 引用
青岛大学学报(自然科学版) 2019年 第1期32卷 24-27页
作者: 张冠玉 许成 韩凯文 青岛大学数学与统计学院 青岛266071
链图模型是一种同时存在有向边和无向边,但不存在有向圈的概率图模型,为变量之间复杂的关系提供了有力的框架。在链图模型中,基于贝叶斯网络中边缘分布的变量消除算法,根据链图模型的独立性,利用因子分解的方法,将算法推广到链图模型中... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于抽象解释的函数内联过程间分析优化方法
收藏 引用
软件学报 2022年 第8期33卷 2964-2979页
作者: 陈涛清 范广生 尹帮虎 陈立前 王戟 国防科技大学计算机学院 湖南长沙410073 国防科技大学系统工程学院 湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073
分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
链图的性质及其推断研究
链图的性质及其推断研究
收藏 引用
作者: 张冠玉 青岛大学
学位级别:硕士
概率图模型是把概率论与图论结合在一起,为多变量概率统计模型提供了框架。在人工智能、机器学习和计算机视觉等领域,都可利用概率图模型来进行研究。其中,链图模型属于概率图模型的一类,是一种同时存在有向边和无向边,但不存在有向圈... 详细信息
来源: 同方学位论文库 同方学位论文库 评论