咨询与建议

限定检索结果

文献类型

  • 10 篇 期刊文献
  • 5 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 13 篇 工学
    • 9 篇 计算机科学与技术...
    • 9 篇 软件工程
    • 5 篇 控制科学与工程
    • 2 篇 机械工程
    • 2 篇 建筑学
    • 1 篇 网络空间安全
  • 5 篇 理学
    • 5 篇 数学
    • 1 篇 系统科学
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...

主题

  • 2 篇 径向基函数
  • 2 篇 预测
  • 2 篇 神经网络
  • 2 篇 混合函数
  • 2 篇 控制曲面
  • 2 篇 基函数
  • 2 篇 t样条曲面
  • 1 篇 二次曲面
  • 1 篇 lyapunov稳定性
  • 1 篇 预测控制
  • 1 篇 基因调控
  • 1 篇 lfsr序列
  • 1 篇 吴文俊公式
  • 1 篇 隐式代数曲面
  • 1 篇 lucas序列
  • 1 篇 宽边界
  • 1 篇 人工智能
  • 1 篇 气旋
  • 1 篇 隐式曲面
  • 1 篇 拼接曲面

机构

  • 15 篇 吉林大学
  • 2 篇 山东工商学院
  • 2 篇 教育部符号计算和...
  • 1 篇 内蒙古民族大学
  • 1 篇 上海应用技术学院
  • 1 篇 北京大学
  • 1 篇 浙江工业大学
  • 1 篇 吉林农业大学
  • 1 篇 南京航空航天大学
  • 1 篇 中国科学院信息工...

作者

  • 4 篇 张树功
  • 4 篇 梁艳春
  • 3 篇 伍铁如
  • 2 篇 冯果忱
  • 2 篇 厉玉蓉
  • 2 篇 雷娜
  • 2 篇 欧阳继红
  • 2 篇 梁学章
  • 2 篇 孙延风
  • 2 篇 张明
  • 2 篇 吴春国
  • 1 篇 孟庆福
  • 1 篇 于连江
  • 1 篇 廖梦兰
  • 1 篇 刘杰
  • 1 篇 徐旭
  • 1 篇 李俊玲
  • 1 篇 关玉景
  • 1 篇 时小虎
  • 1 篇 朱佳斌

语言

  • 15 篇 中文
检索条件"机构=吉林大学数学研究所、符号计算与知识工程教育部重点实验室"
15 条 记 录,以下是1-10 订阅
排序:
宽边界区域和简单区域间拓扑关系的表示及推理
收藏 引用
吉林大学学报(工学版) 2014年 第3期44卷 771-775页
作者: 李健 欧阳继红 朱佳斌 廖梦兰 赵慧 吉林农业大学信息技术学院 长春130118 吉林大学计算机科学与技术学院 长春130012 吉林大学教育部符号计算与知识工程重点实验室 长春130012 浙江工业大学计算机科学与技术学院 杭州310014 吉林大学数学研究所 长春130012
基于RCC5得到宽边界区域和简单区域间的交集模型,根据宽边界模型的约束条件提出算法,并得到11种可以实现且完备的拓扑关系。本文建立的宽边界区域和简单区域间的表达和推理模型,可用于表达和预测台风风圈区域和特定岛屿地区间的拓扑关... 详细信息
来源: 评论
改进的基于逆向流分析的C程序切片算法
收藏 引用
吉林大学学报(信息科学版) 2014年 第1期32卷 47-55页
作者: 李冰雨 吕帅 何丽莉 吉林大学计算机科学与技术学院 长春130012 中国科学院信息工程研究所 北京100093 吉林大学符号计算与知识工程教育部重点实验室 长春130012 吉林大学数学学院 长春130012
为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。... 详细信息
来源: 评论
易物模型及其求解算法
收藏 引用
吉林大学学报(理学版) 2010年 第4期48卷 653-657页
作者: 于连江 吴春国 郭立强 梁艳春 杨锌朔 吉林大学计算机科学与技术学院、符号计算与知识工程教育部重点实验室 长春130012 北京大学计算机科学技术研究所 北京100871 吉林大学数学学院 长春130012
提出一种由多人参与物品交换问题的新型组合优化模型——易物模型,该组合优化模型能处理一类非完全连通图的最短环路问题.利用图论原理,给出了求解易物模型的算法,并通过数值模拟实验验证了算法的有效性.
来源: 评论
XTR^+公钥体制中核心算法的改进
收藏 引用
吉林大学学报(理学版) 2009年 第1期47卷 5-8页
作者: 丁秀欢 付治国 张树功 吉林大学数学研究所、符号计算与知识工程教育部重点实验室 长春130012
在XTR+公钥体制中提出无矩阵的核心算法,显著提高了核心算法的运算效率,从而提高了应用XTR+公钥体制的可证明IND-CCA2安全的密码系统、可证明安全的数字签名、可证明安全的盲签名协议和零知识证明协议的运算效率.
来源: 评论
时变不确定系统的变时域鲁棒模型预测控制
收藏 引用
吉林大学学报(理学版) 2008年 第6期46卷 1007-1012页
作者: 李俊玲 张树功 吉林大学数学研究所 符号计算与知识工程教育部重点实验室长春130012 上海应用技术学院数理教学部 上海200235
针对多包描述的时变不确定系统,通过分析该方法的可行性和闭环稳定性,提出一种变时域鲁棒预测控制器的设计方法,使得在与现有方法有相同初始可行域的前提下,保证了只要问题初始可行就有闭环系统二次稳定.仿真结果表明了算法的有效性.
来源: 评论
基于数字签名和时间戳机制的图像数字水印系统
收藏 引用
吉林大学学报(理学版) 2007年 第1期45卷 77-81页
作者: 赵玉华 关玉景 吉林大学数学研究所 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
针对二值水印图像,提出一种基于小波的无损的数字水印系统.由于没有对载体图像进行任何修改,因此解决了水印的不可见性和鲁棒性之间的矛盾.另外,通过在系统中引入数字签名技术和时间戳机制,任何人都可以根据公钥提取水印.实验结果表明,... 详细信息
来源: 评论
数字农业时空信息管理平台
收藏 引用
计算机应用研究 2007年 第5期24卷 163-165,185页
作者: 王生生 刘大有 欧阳继红 刘杰 吉林大学计算机科学与技术学院数学研究所符号计算与知识工程教育部重点实验室 吉林长春130012
数字农业中大量时空数据分散在异构系统中,有着不同格式规范、概念术语、数学模型和分析推理方法。采用时空推理、本体论、语义Web和专家系统等技术建立一个数字农业时空信息管理平台,对多源、异构的农业时空数据和推理分析方法进行集... 详细信息
来源: 评论
T样条的基底性质
T样条的基底性质
收藏 引用
第三届全国几何设计与计算学术会议
作者: 张明 伍铁如 梁学章 吉林大学数学研究所 教育部符号计算和知识工程重点实验室
2003年,Sederberg等人提出了T样条理论,构造了带有T-交点的非均匀有理Catmull-Clark曲面(T-NURCCs)。在文章结尾处Sederberg提出了一个公开问题:是否T样条曲面表达式中的混合函数总是线性无关的,因而可以称之为T样条基函数。本文利用T... 详细信息
来源: 评论
T样条的基底性质
T样条的基底性质
收藏 引用
第三届中国几何设计与计算大会
作者: 张明 伍铁如 梁学章 吉林大学数学研究所 长春130012 吉林大学数学研究所 长春130012 教育部符号计算和知识工程重点实验室 长春130012
2003年,Sederberg等人提出了T样条理论,构造了带有T-交点的非均匀有理Catmull-Clark曲面(T-NURCCs)。在文章结尾处Sederberg提出了一个公开问题:是否T样条曲面表达式中的混合函数总是线性无关的,因而可以称之为T样条基函数.本文利用T样... 详细信息
来源: 评论
二次隐式曲面的拼接与应用
二次隐式曲面的拼接与应用
收藏 引用
第二届全国几何设计与计算学术会议
作者: 厉玉蓉 雷娜 张树功 冯果忱 山东工商学院 吉林大学教育部《符号计算与知识工程》重点实验室 吉林大学数学研究所
随着数据获取技术的飞速发展,隐式曲面造型在计算机图形学以及计算机辅助几何设计(CAGD)中得到了越来越多的重视,它不仅在理论上有重要的意义,而且也具有重要的实际应用价值。目前,隐式曲面已广泛地应用于管道连接、肢体设计、隐形飞机... 详细信息
来源: 评论