期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
定理机械化证明的数值并行法及单点例证法原理概述 被引量:9
1
作者 张景中 杨路 《数学的实践与认识》 CSCD 北大核心 1989年第1期34-43,共10页
本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴文俊数学机械化理论的关系.
关键词 数值并行法 单点例证 定理机械证明
原文传递
一类构造性几何定理并行数值检验证明机(英文) 被引量:1
2
作者 杨路 张景中 李传中 《广州大学学报(自然科学版)》 CAS 2002年第3期29-34,共6页
为实现构造性几何定理机器证明的数值并行法 ,作者提供了一个证明机 ,它适用于由所谓“直线程序”
关键词 构造性几何定量 并行数值检验证明机 机器证明 数值并行法 直线程序 构造语句
在线阅读 下载PDF
几何定理并行验证算法研究 被引量:1
3
作者 潘斌 郭红霞 《计算机工程》 CAS CSCD 北大核心 2007年第1期16-18,21,共4页
几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了... 几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。 展开更多
关键词 几何定理机器证明 数值并行法 任务池 并行性能量度
在线阅读 下载PDF
MPI环境下的几何定理并行自动推理
4
作者 潘斌 郭红霞 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第6期908-912,共5页
将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了... 将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。 展开更多
关键词 前向推理 并行 数值并行法 性能量度 定理证明
在线阅读 下载PDF
例证法在定理机器证明中的应用
5
作者 邱锦明 《三明学院学报》 2001年第4期1-5,共5页
阐述了例证法的理论 ,分析、论证了例证法应用于定理机器证明的可行性 ,介绍了几何命题代数化的方法和步骤 。
关键词 定理机器证明 例证 数值并行法 单例实验
在线阅读 下载PDF
PARALLEL REGION PRESERVING MULTISECTION METHOD FOR SOLVING GENERALIZED EIGENPROBLEM 被引量:1
6
作者 曾岚 周树荃 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 1996年第2期51+46-50,共6页
The parallel multisection method for solving algebraic eigenproblem has been presented in recent years with the development of the parallel computers, but all the research work is limited in standard eigenproblems of ... The parallel multisection method for solving algebraic eigenproblem has been presented in recent years with the development of the parallel computers, but all the research work is limited in standard eigenproblems of symmetric tridiagonal matrix. The multisection method for solving the generalized eigenproblem applied significantly in many science and engineering domains has not been studied. The parallel region preserving multisection method (PRM for short) for solving generalized eigenproblems of large sparse and real symmetric matrix is presented in this paper. This method not only retains the advantages of the conventional determinant search method (DS for short), but also overcomes its disadvantages such as leaking roots and disconvergence. We have tested the method on the YH 1 vector computer, and compared it with the parallel region preserving determinant search method the parallel region preserving bisection method (PRB for short). The numerical results show that PRM has a higher speed up, for instance, it attains the speed up of 7.7 when the scale of the problem is 2 114 and the eigenpair found is 3, and PRM is superior to PRB when the scale of the problem is large. 展开更多
关键词 parallel processing structural analysis numerical algebra generalized eigenproblem parallel multisection method
在线阅读 下载PDF
A Parallel Finite Element Algorithm for Navier-Stokes Equations
7
作者 Mohamed Abdelwahed 《Journal of Mathematics and System Science》 2013年第2期101-109,共9页
The authors propose a numerical algorithm for the two-dimensional Navier-Stokes equations written in stream function-vorticity formulation. The total time derivative term is treated with a first order characteristics ... The authors propose a numerical algorithm for the two-dimensional Navier-Stokes equations written in stream function-vorticity formulation. The total time derivative term is treated with a first order characteristics method. The space approximation is based on a piecewise continuous finite element method. The proposed algorithm is used to simulate the mechanical aeration process in lakes. Such process is used to combat the degradation of the water quality due to the eutrophication phenomena. For this application high computing facilities and capacities are required. In order to optimize the computing time and make possible the simulation of real applications, the authors propose a parallel implementation of the numerical algorithm. The parallelization technique is performed using the Message Passing Interface. The efficiency of the proposed numerical algorithm is illustrated by some numerical results. 展开更多
关键词 Navier-Stokes equations stream function VORTICITY high performance computing.
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部