郭红霞
- 作品数：9 被引量：15H指数：2
- 供职机构：成都大学电子信息工程学院更多>>
- 发文基金：国家重点基础研究发展计划重庆市教育委员会科学技术研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于Smarty的学科信息管理平台构建被引量：4
- 2012年
- 根据高校专业管理的应用要求,阐述了专业管理电子档案系统的分析、设计及实现过程.采用PHP与Smarty模板,实现了基于MVC模式的系统快速开发.实践表明,Smarty模板技术缩短了复杂业务系统开发时间,提高了系统的可维护性和可扩展性.
- 郭红霞陈斌潘斌刘洋
- 关键词：专业管理MVC模式
- 几何定理并行验证算法研究被引量：2
- 2007年
- 几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。
- 潘斌郭红霞
- 关键词：任务池
- 消息传递模型的并行性能研究被引量：1
- 2007年
- 消息传递模式因其通用性、可描述性、易于调试性和高性能的优点在并行程序设计中得到广泛应用.以MPICH 2构建并行计算环境下对消息传递模式的点对点性能、组通讯性能进行研究,将网络并行计算系统中的性能指标模型化,以期对分析整个系统的并行性能提供帮助.
- 郭红霞潘斌
- 关键词：消息传递模式点对点通信组通信
- 基于向量的数据流滑动窗口中最大频繁项集挖掘被引量：7
- 2012年
- 针对相关算法在挖掘数据流最大频繁项集时所存在的问题,提出了一种基于向量的数据流滑动窗口中最大频繁项集挖掘算法。该算法首先用向量作为概要数据结构,采用定量更新滑动窗口策略解决时间粒度问题;其次通过位运算产生频繁项集,利用矩阵和数组存储辅助信息,深度优先搜索产生最大频繁项集时利用剪枝策略进一步减少挖掘时间;最后用索引链表存储挖掘结果以提高超集检测效率。理论分析和实验结果验证了该算法的有效性。
- 徐嘉莉陈佳胡庆黄波郭红霞
- 关键词：数据流最大频繁项集向量
- 几何定理可读证明的并行化方法(英文)
- 2007年
- 为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。
- 潘斌郭红霞
- 关键词：流水线
- 磁性金属材料中交换耦合作用和自旋波的研究
- 2015年
- 基于交换耦合理论通常使用的近似分析的一般原理,严格的分析了没有特定假设情况下的磁序范围或有关磁化密度的形式,及在任何近似下提出一种关于耦合参数的计算方法.并结合铁磁系统(磁性金属材料Gd,Fe,Ni),定量的讨论了这种关系的适用范围,也对自旋波和交换耦合进行了相关分析.分析表明:对于近邻磁性原子之间的交换耦合的计算以及在有限波矢量情况下对自旋波谱的计算都得到较为有意义的改进.提出的交换耦合近似及自旋波谱的关系,应用于铁磁系统时对近邻原子之间相互作用能给出较好的描述,或对任何磁体中非完全局域磁化的自旋波谱较大波矢部分给出较合理的描述.从磁性理论来看,按照本文模型应用于磁学系统计算得到的结果与实验结果较好的符合.
- 郑勇林卢孟春郭红霞包秀丽
- 关键词：交换耦合作用FENI
- MPI环境下的几何定理并行自动推理
- 2008年
- 将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。
- 潘斌郭红霞
- 关键词：定理证明
- 几何定理机器证明的并行前向推理被引量：1
- 2008年
- 为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问题,讨论了算法的时间复杂度,并在MPICH 2构建的并行计算环境下实现了并行前向推理算法.对多个几何定理实例进行的并行性能指标测试表明,该算法并行性好,与传统串行算法相比,在证明复杂的几何命题时,能显著减少推理时间.
- 潘斌郭红霞
- 关键词：定理证明
