咨询与建议

限定检索结果

文献类型

  • 53 篇 期刊文献
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 28 篇 理学
    • 26 篇 数学
    • 5 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 系统科学
  • 22 篇 工学
    • 18 篇 计算机科学与技术...
    • 8 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 地质资源与地质工...
    • 1 篇 轻工技术与工程
    • 1 篇 网络空间安全
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 3 篇 教育学
    • 3 篇 教育学

主题

  • 3 篇 安全策略
  • 3 篇 限界模型检测
  • 3 篇 共轭梯度法
  • 2 篇 验证
  • 2 篇 electronic struc...
  • 2 篇 hodge分解
  • 2 篇 优化控制
  • 2 篇 形式化方法
  • 2 篇 chemical bonding
  • 2 篇 遗传算法
  • 2 篇 blp模型
  • 2 篇 紧性
  • 2 篇 收敛性
  • 2 篇 安全操作系统
  • 2 篇 外推瀑布式多网格...
  • 2 篇 可视化
  • 2 篇 elastic properti...
  • 2 篇 小波滤波器
  • 2 篇 小波框架
  • 2 篇 有界性

机构

  • 50 篇 湖南师范大学
  • 15 篇 高性能计算与随机...
  • 7 篇 中南大学
  • 4 篇 湖南城市学院
  • 3 篇 高性能计算与随机...
  • 3 篇 湖南财政经济学院
  • 2 篇 湖南省产商品质量...
  • 2 篇 湖南大学
  • 2 篇 安徽师范大学
  • 1 篇 广东省海洋发展规...
  • 1 篇 上海师范大学
  • 1 篇 华北电力大学
  • 1 篇 国防科技大学
  • 1 篇 西南民族大学
  • 1 篇 云南同创检测技术...
  • 1 篇 南华大学
  • 1 篇 高性能计算与随机...
  • 1 篇 北京航空航天大学
  • 1 篇 中南林业科技大学
  • 1 篇 重庆市烟草质量监...

作者

  • 8 篇 徐亮
  • 5 篇 胡宏伶
  • 5 篇 陈传淼
  • 3 篇 周杰明
  • 3 篇 周树清
  • 3 篇 潘克家
  • 3 篇 莫晓云
  • 3 篇 杨向群
  • 2 篇 汤井田
  • 2 篇 刘先锋
  • 2 篇 余燕
  • 2 篇 王国秋
  • 2 篇 毛良文
  • 2 篇 刘宏
  • 2 篇 唐李伟
  • 2 篇 邓迎春
  • 2 篇 欧辉
  • 2 篇 谢圣英
  • 2 篇 陈勇
  • 2 篇 肖和录

语言

  • 54 篇 中文
检索条件"机构=高性能计算与随机信息处理省部共建教育部重点实验室湖南师范大学数学与计算机科学学院"
54 条 记 录,以下是31-40 订阅
排序:
实用模型的自动化形式验证
收藏 引用
湖南大学学报(自然科学版) 2013年 第9期40卷 91-97页
作者: 徐亮 刘宏 湖南师范大学数学与计算机科学学院 湖南长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 湖南长沙410081
通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此... 详细信息
来源: 评论
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... 详细信息
来源: 评论
无线传感器网络中的近似Unit Delaunay功率控制算法
收藏 引用
通信学报 2013年 第2期34卷 170-176页
作者: 徐鹏飞 陈志刚 邓晓衡 湖南师范大学数学与计算机科学学院 湖南长沙410081 湖南师范大学高性能计算与随机信息处理省部共建教育部重点实验室 湖南长沙410081 中南大学信息科学与工程学院 湖南长沙410083
提出一种新几何结构AUDT,将其作为无线传感器网络的底层逻辑拓扑后,每个节点依据最远的逻辑邻居调整到最小发射功率;AUDT从理论上保证网络拓扑的双向连通、平面、逻辑邻居有界及延迟性能的上界等。仿真实验显示,AUDT与其他相似算法相比... 详细信息
来源: 评论
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)的一种积分算子(?)为有界算子或紧算子的充要条件.
来源: 评论
紧框架中的Korovkin型定理
收藏 引用
中国科学数学 2013年 第11期43卷 1131-1144页
作者: 施咸亮 陈洁 湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP) 长沙410081
关于线性正算子的Korovkin定理在函数逼近理论中是著名的定理,本文将建立几个关于紧框架的Korovkin型定理.
来源: 评论
基于SMT的TECTL性质的限界模型检测方法
收藏 引用
计算机工程与科学 2013年 第10期35卷 166-171页
作者: 徐亮 刘宏 湖南师范大学数学与计算机科学学院 湖南长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 湖南长沙410081
近些年来,基于SMT的限界模型检测方法作为基于SAT的限界模型检测方法的一种改进,在对实时系统的检测上已经得到了一定发展。一直以来,限界模型检测多被用于检验存在性性质,而很少用于验证全局性性质,原因之一就是该方法受界限的限制,很... 详细信息
来源: 评论
改进的验证正确性ACTL性质的限界模型检测方法
收藏 引用
计算机科学 2013年 第6A期40卷 99-102页
作者: 徐亮 余建平 湖南师范大学数学与计算机科学学院 长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 长沙410081
近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的... 详细信息
来源: 评论
任意结点组上的截断Hermite插值收敛(英文)
收藏 引用
湖南师范大学自然科学学 2013年 第4期36卷 1-6页
作者: 刘蓉 史应光 湖南师范大学数学与计算机科学学院 高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP)中国长沙410081
给出了任意结点组上截断Hermite插值的加权Lp范数收敛的充分条件.其中主要结论之一:给定一个整数r,0≤r≤m-1,函数f∈Cr[-1,1],记Hn,r(f;x)为任意结点组X上的Hermite插值多项式,设dμ为一个测度,0<p≤∞.设m k∈N o或者m k∈N e且m=m... 详细信息
来源: 评论
BLP改进模型的形式化描述及自动化验证
收藏 引用
计算机工程 2013年 第12期39卷 130-135页
作者: 徐亮 谭煌 湖南师范大学数学与计算机科学学院 长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室 长沙410081
在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满... 详细信息
来源: 评论
基于CG的外推瀑布式多网格法收敛性分析
收藏 引用
高等学校计算数学学报 2013年 第4期35卷 340-351页
作者: 胡宏伶 潘克家 湖南师范大学数学与计算机科学学院 高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP) 中南大学地球科学与信息物理学院 中南大学数学与统计学院
1引言如何求解由有限元或差分法所导出的大型线性方程组是现代科学与工程计算中的重要问题.考虑n阶对称正定线性方程组Ax=6.(1)当未知数超过数百万后,一般直接法因工作量浩大而失效了,而各种迭代法受到特别的关注.除经典的Jacobi迭代,... 详细信息
来源: 评论