郭红霞

作品数：9被引量：14H指数：2
导出分析报告
供职机构：成都大学电子信息工程学院更多>>
发文主题：几何定理定理证明自旋波向量最大频繁项集挖掘更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《低温物理学报》《科学技术与工程》《华南理工大学学报（自然科学版）》《电子科技大学学报》更多>>
所获基金：国家重点基础研究发展计划重庆市教育委员会科学技术研究项目国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
铁磁/反铁磁双层膜中自旋波交换偏置的理论与实验分析
《低温物理学报》2016年第2期91-94,共4页谭健敏 郑勇林 卢孟春 包秀丽 郭红霞 
国家自然科学基金(批准号:11205022);重庆市教委科学技术研究(KJ061305;KJ131319)资助的课题
考虑铁磁/反铁磁界面粗糙度的随机性及局域外单向的界面能的随机性,考虑原子尺度在交换偏置强度上的至关作用,提出随机场效应概念.对(Fe/FeF2)研究表明,交换偏置和自旋波线宽频率在铁磁/反铁磁双层界面是依赖于外部磁场的.应用玻恩近似...
关键词：铁磁 反铁磁 自旋波函数 线宽 交换偏置 
磁性金属材料中交换耦合作用和自旋波的研究
《物理学报》2015年第17期301-306,共6页郑勇林 卢孟春 郭红霞 包秀丽 
国家自然科学基金(批准号:11205022);重庆市教委科学技术研究项目(批准号:KJ061305;KJ081307)资助的课题~~
基于交换耦合理论通常使用的近似分析的一般原理,严格的分析了没有特定假设情况下的磁序范围或有关磁化密度的形式,及在任何近似下提出一种关于耦合参数的计算方法.并结合铁磁系统(磁性金属材料Gd,Fe,Ni),定量的讨论了这种关系的适用范...
关键词：磁性金属材料 交换耦合作用 自旋波函数 FE NI 
基于Smarty的学科信息管理平台构建被引量：4
《成都大学学报（自然科学版）》2012年第4期408-410,共3页郭红霞 陈斌 潘斌 刘洋 
根据高校专业管理的应用要求,阐述了专业管理电子档案系统的分析、设计及实现过程.采用PHP与Smarty模板,实现了基于MVC模式的系统快速开发.实践表明,Smarty模板技术缩短了复杂业务系统开发时间,提高了系统的可维护性和可扩展性.
关键词：专业管理 系统分析 Smarty模板 MVC模式 
基于向量的数据流滑动窗口中最大频繁项集挖掘被引量：7
《计算机应用研究》2012年第3期837-840,共4页徐嘉莉 陈佳 胡庆 黄波 郭红霞 
国家"863"计划资助项目(2007AA01Z443);成都大学校基金资助项目(2010XJZ16)
针对相关算法在挖掘数据流最大频繁项集时所存在的问题,提出了一种基于向量的数据流滑动窗口中最大频繁项集挖掘算法。该算法首先用向量作为概要数据结构,采用定量更新滑动窗口策略解决时间粒度问题;其次通过位运算产生频繁项集,利用矩...
关键词：数据流 最大频繁项集 滑动窗口 向量 
MPI环境下的几何定理并行自动推理
《电子科技大学学报》2008年第6期908-912,共5页潘斌 郭红霞 
国家973计划基金资助(CB318003)
将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了...
关键词：前向推理 并行算法 数值并行法 性能量度 定理证明 
几何定理机器证明的并行前向推理被引量：1
《华南理工大学学报（自然科学版）》2008年第4期93-97,共5页潘斌 郭红霞 
国家“973”计划资助项目(CB318003)
为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问题,讨论了算法的时间复杂度,并在MPICH 2构建的并行计算环境下...
关键词：并行算法 定理证明 前向推理 主从模式 性能量度 
几何定理可读证明的并行化方法(英文)
《科学技术与工程》2007年第18期4769-4773,4780,共6页潘斌 郭红霞 
国家973计划(NKBRSF-2004CB318003)资助
为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2...
关键词：几何定理可读证明 并行前向推理 并行性能量度 流水线 
消息传递模型的并行性能研究被引量：1
《成都大学学报（自然科学版）》2007年第1期30-32,36,共4页郭红霞 潘斌 
消息传递模式因其通用性、可描述性、易于调试性和高性能的优点在并行程序设计中得到广泛应用.以MPICH 2构建并行计算环境下对消息传递模式的点对点性能、组通讯性能进行研究,将网络并行计算系统中的性能指标模型化,以期对分析整个系统...
关键词：消息传递模式 并行性能模型 点对点通信 组通信 
几何定理并行验证算法研究被引量：1
《计算机工程》2007年第1期16-18,21,共4页潘斌 郭红霞 
国家"973"计划基金资助项目(CB318003;CB030602)
几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了...
关键词：几何定理机器证明 数值并行法 任务池 并行性能量度 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部