期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
几何定理并行验证算法研究 被引量:1
1
作者 潘斌 郭红霞 《计算机工程》 CAS CSCD 北大核心 2007年第1期16-18,21,共4页
几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了... 几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。 展开更多
关键词 几何定理机器证明 数值并行 任务池 并行性能量度
下载PDF
几何定理可读证明的并行化方法(英文)
2
作者 潘斌 郭红霞 《科学技术与工程》 2007年第18期4769-4773,4780,共6页
为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2... 为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。 展开更多
关键词 几何定理可读证明 并行前向推理 并行性能量度 流水线
下载PDF
Energy control strategy for parallel hydrostatic transmission hybrid vehicles 被引量:1
3
作者 孙辉 姜继海 王昕 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2009年第4期475-480,共6页
Aimed at the relatively lower energy density and complicated coordinating operation between two power sources,a special energy control strategy is required to maximize the fuel saving potential.Then a new type of conf... Aimed at the relatively lower energy density and complicated coordinating operation between two power sources,a special energy control strategy is required to maximize the fuel saving potential.Then a new type of configuration for hydrostatic transmission hybrid vehicles(PHHV) and the selection criterion for important components are proposed.Based on the optimization of planet gear transmission ratio and the analysis of optimal energy distribution for the proposed PHHV on a representative urban driving cycle,a fuzzy torque control strategy and a braking energy regeneration strategy are designed and developed to realize the real-time control of energy for the proposed PHHV.Simulation results demonstrate that the energy control strategy effectively improves the fuel economy of PHHV. 展开更多
关键词 hybrid vehicle with hydrostatic transmission energy control strategy parameters optimization hy-draulic pump/motor
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部