潘斌
- 作品数：11 被引量：18H指数：2
- 供职机构：成都理工大学管理科学学院更多>>
- 发文基金：国家重点基础研究发展计划四川省教育厅科学研究项目四川省教育厅自然科学科研项目更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 运用LINGO工具解决ERP系统能力平衡问题
- 2011年
- 本文针对传统ERP系统缺乏能力平衡数学模型和最优化求解工具而存在的问题,提出"第三方"能力平衡模式,即建立数学模型和借助第三方优化处理工具,达到了扩展ERP系统功能的目的,并验证了该模式的可行性。
- 刘勇陈国东曾绍勇潘斌
- 关键词：ERPLINGO
- 消息传递模型的并行性能研究被引量：1
- 2007年
- 消息传递模式因其通用性、可描述性、易于调试性和高性能的优点在并行程序设计中得到广泛应用.以MPICH 2构建并行计算环境下对消息传递模式的点对点性能、组通讯性能进行研究,将网络并行计算系统中的性能指标模型化,以期对分析整个系统的并行性能提供帮助.
- 郭红霞潘斌
- 关键词：消息传递模式点对点通信组通信
- 几何定理并行验证算法研究被引量：2
- 2007年
- 几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。
- 潘斌郭红霞
- 关键词：任务池
- 基于知识管理与综合集成研讨厅融合的孵化器综合信息服务系统研究被引量：2
- 2012年
- 针对孵化器不具备信息服务系统,或系统功能单一过于简单,或系统设计缺乏相应的科学理论而不能解决复杂问题的特点,提出构建基于知识管理与综合集成研讨厅融合的孵化器综合信息服务系统,并给出了系统框架和运作流程。
- 刘勇蒋卫东潘斌
- 关键词：知识管理综合集成研讨厅孵化器信息系统
- 基于SSH框架技术的系统设计与实现
- 以电信计费管理系统为例,分析J2EE企业架构下采用SSH框架进行系统的快速开发。讨论了SSH框架的实现技术,阐述了基于SSH框架的系统分析、设计、实现过程。实践表明,SSH框架缩短了复杂业务系统开发时间,提高了系统的可维...
- 潘斌党庆忠朱涛赖波
- 关键词：SSH框架B/S模式
- 文献传递
- 基于Smarty的学科信息管理平台构建被引量：4
- 2012年
- 根据高校专业管理的应用要求,阐述了专业管理电子档案系统的分析、设计及实现过程.采用PHP与Smarty模板,实现了基于MVC模式的系统快速开发.实践表明,Smarty模板技术缩短了复杂业务系统开发时间,提高了系统的可维护性和可扩展性.
- 郭红霞陈斌潘斌刘洋
- 关键词：专业管理MVC模式
- 几何定理可读证明的并行化方法(英文)
- 2007年
- 为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。
- 潘斌郭红霞
- 关键词：流水线
- MPI环境下的几何定理并行自动推理
- 2008年
- 将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。
- 潘斌郭红霞
- 关键词：定理证明
- 无线传感器网络能耗分析与策略研究被引量：7
- 2010年
- 无线传感器网络技术得到了广泛应用,但是该技术一直受能量的制约,因此能量始终是无线传感器网络的核心问题。通过对传感器节点结构与网络体系的分析,得出了传感器网络的能耗特性。为了延长无线传感器网络的生命周期,对传感器节点工作能耗与传感网络能耗做了具体研究,再从低功耗节点设计、网络协议及环境中能量补给三个方面总结出了一套有效的节能策略。
- 赵静潘斌王进谭秀兰
- 关键词：无线传感器网络能耗分析节能策略
- 几何定理机器证明的并行前向推理被引量：1
- 2008年
- 为了提高传统前向推理算法在几何定理机器证明中的解题效率,采用并行计算方法来组织推理过程,基于消息传递模型,分析了前向推理并行算法的任务划分、通信组织、任务调度等问题,讨论了算法的时间复杂度,并在MPICH 2构建的并行计算环境下实现了并行前向推理算法.对多个几何定理实例进行的并行性能指标测试表明,该算法并行性好,与传统串行算法相比,在证明复杂的几何命题时,能显著减少推理时间.
- 潘斌郭红霞
- 关键词：定理证明
