咨询与建议

限定检索结果

文献类型

  • 95 篇 期刊文献
  • 2 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 52 篇 理学
    • 48 篇 数学
    • 13 篇 统计学(可授理学、...
    • 2 篇 系统科学
    • 1 篇 物理学
    • 1 篇 科学技术史(分学科...
  • 35 篇 工学
    • 26 篇 计算机科学与技术...
    • 15 篇 软件工程
    • 6 篇 控制科学与工程
    • 2 篇 机械工程
    • 2 篇 仪器科学与技术
    • 2 篇 地质资源与地质工...
    • 2 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 轻工技术与工程
  • 14 篇 经济学
    • 14 篇 应用经济学
  • 14 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 9 篇 教育学
    • 8 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 3 篇 安全策略
  • 3 篇 限界模型检测
  • 3 篇 共轭梯度法
  • 2 篇 n-平移代数
  • 2 篇 验证
  • 2 篇 electronic struc...
  • 2 篇 排序问题
  • 2 篇 hodge分解
  • 2 篇 最坏性能比
  • 2 篇 优化控制
  • 2 篇 形式化方法
  • 2 篇 bakhvalov-shishk...
  • 2 篇 chemical bonding
  • 2 篇 遗传算法
  • 2 篇 blp模型
  • 2 篇 信息共享
  • 2 篇 紧性
  • 2 篇 收敛性
  • 2 篇 安全操作系统
  • 2 篇 外推瀑布式多网格...

机构

  • 86 篇 湖南师范大学
  • 15 篇 高性能计算与随机...
  • 12 篇 中南大学
  • 8 篇 计算与随机数学教...
  • 5 篇 湖南城市学院
  • 3 篇 高性能计算与随机...
  • 3 篇 湖南涉外经济学院
  • 2 篇 湖南省产商品质量...
  • 2 篇 湖南大学
  • 2 篇 湖南第一师范学院
  • 2 篇 计算与随机数学教...
  • 2 篇 湖南财政经济学院
  • 2 篇 安徽师范大学
  • 2 篇 湖南文理学院
  • 1 篇 数学科学全国重点...
  • 1 篇 北京交通大学
  • 1 篇 广东省海洋发展规...
  • 1 篇 上海师范大学
  • 1 篇 阿卜杜拉国王科技...
  • 1 篇 中国科学院大学

作者

  • 8 篇 徐亮
  • 7 篇 谢圣英
  • 6 篇 周杰明
  • 6 篇 胡宏伶
  • 6 篇 李荣珩
  • 6 篇 邓迎春
  • 6 篇 陈传淼
  • 5 篇 刘金平
  • 4 篇 唐朝晖
  • 4 篇 杨向群
  • 4 篇 徐鹏飞
  • 4 篇 黄娅
  • 3 篇 汤井田
  • 3 篇 谢资清
  • 3 篇 周树清
  • 3 篇 成夏炎
  • 3 篇 何捷舟
  • 3 篇 潘克家
  • 3 篇 赵聪聪
  • 3 篇 施咸亮

语言

  • 97 篇 中文
检索条件"机构=湖南师范大学计算与随机数学教育部重点实验室"
97 条 记 录,以下是71-80 订阅
排序:
4-带紧支对称小波框架的构造
收藏 引用
系统科学与数学 2014年 第6期34卷 718-723页
作者: 陈勇 王国秋 湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室 长沙410081 安徽师范大学数学计算机科学学院 芜湖241003
通过研究M-带对称尺紧支度滤波器的分解形式,得到了一种简单的构造方法.特别地,给出了4-带对称紧支尺度滤波器的构造方法.然后基于酉扩充原则构造了一类4-带紧支对称小波框架系统,利用这种系统可以得到彭立中等(2004)介绍的具有优美结... 详细信息
来源: 评论
一类双障碍问题的很弱解的全局正则性
收藏 引用
湖南师范大学自然科学学报 2014年 第4期37卷 72-76,F0003页
作者: 周树清 湖南师范大学数学与计算机科学学院 中国长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 中国长沙410081
应用Hodge分解定理,得到了非齐次A-调和方程-divA(x,Du(x))=f(x,u(x))对应控制的双障碍问题的很弱解W1,q(Ω)-正则性,其中,A(x,Du(x)),f(x,u(x))满足文中所给的条件,从而推广了相关文献中的有关结果.该结果在优化控制问题中有着广泛的应用.
来源: 评论
L^2(R^2)中2进变元低通滤波器
收藏 引用
数学物理学报(A辑) 2014年 第6期34卷 1481-1492页
作者: 李忠艳 施咸亮 华北电力大学数理学院数理系 北京102206 湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP) 长沙410081
一维2进低通滤波器在一维多分辨分析(MRA)小波的构造和拓扑性质研究中起到重要作用.对于高维小波,其生成要依赖于某个扩张矩阵,所以构造比较复杂.该文讨论由一致矩阵2I_2(2002)生成的MRA小波的低通滤波器(称作2进双变量滤波器.利用2进... 详细信息
来源: 评论
无线传感器网络中的近似Unit Delaunay功率控制算法
收藏 引用
通信学报 2013年 第2期34卷 170-176页
作者: 徐鹏飞 陈志刚 邓晓衡 湖南师范大学数学与计算机科学学院 湖南长沙410081 湖南师范大学高性能计算与随机信息处理省部共建教育部重点实验室 湖南长沙410081 中南大学信息科学与工程学院 湖南长沙410083
提出一种新几何结构AUDT,将其作为无线传感器网络的底层逻辑拓扑后,每个节点依据最远的逻辑邻居调整到最小发射功率;AUDT从理论上保证网络拓扑的双向连通、平面、逻辑邻居有界及延迟性能的上界等。仿真实验显示,AUDT与其他相似算法相比... 详细信息
来源: 评论
First principles calculation of electronic structure, chemical bonding and elastic properties of ultra-incompressible Re_2P
收藏 引用
Transactions of Nonferrous Metals Society of China 2013年 第11期23卷 3400-3404页
作者: 王一夫 夏庆林 余燕 湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室 长沙410081 中南大学物理与电子学院 长沙410083
The electronic structures, chemical bonding and elastic properties of the Co2P-type structure phase ultra-incompressible Re2P (orthorhombic phase) were investigated by density-functional theory (DFT) within genera... 详细信息
来源: 评论
实用模型的自动化形式验证
收藏 引用
湖南大学学报(自然科学版) 2013年 第9期40卷 91-97页
作者: 徐亮 刘宏 湖南师范大学数学与计算机科学学院 湖南长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 湖南长沙410081
通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此... 详细信息
来源: 评论
基于SMT的TECTL性质的限界模型检测方法
收藏 引用
计算机工程与科学 2013年 第10期35卷 166-171页
作者: 徐亮 刘宏 湖南师范大学数学与计算机科学学院 湖南长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 湖南长沙410081
近些年来,基于SMT的限界模型检测方法作为基于SAT的限界模型检测方法的一种改进,在对实时系统的检测上已经得到了一定发展。一直以来,限界模型检测多被用于检验存在性性质,而很少用于验证全局性性质,原因之一就是该方法受界限的限制,很... 详细信息
来源: 评论
紧框架中的Korovkin型定理
收藏 引用
中国科学:数学 2013年 第11期43卷 1131-1144页
作者: 施咸亮 陈洁 湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP) 长沙410081
关于线性正算子的Korovkin定理在函数逼近理论中是著名的定理,本文将建立几个关于紧框架的Korovkin型定理.
来源: 评论
C^n中单位球上Bergman型空间的一种积分算子
收藏 引用
数学年刊(A辑) 2013年 第3期34卷 257-268页
作者: 刘竟成 张学军 湖南师范大学数学与计算机科学学院 高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP)长沙410081
设ω_1,ω_2为正规函数,φ是B_n上的全纯自映射,g∈H(B_n)满足g(0)=0.对所有的0<P,q<∞,给出了Bergman型空间A_(ω_1~p)到A_(ω_2~q)的一种积分算子(?)为有界算子或紧算子的充要条件.
来源: 评论
改进的验证正确性ACTL性质的限界模型检测方法
收藏 引用
计算机科学 2013年 第6A期40卷 99-102页
作者: 徐亮 余建平 湖南师范大学数学与计算机科学学院 长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 长沙410081
近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的... 详细信息
来源: 评论