期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
图灵的停机问题及其对角线证法研究
1
作者 杜立智 陈和平 符海东 《计算机技术与发展》 2016年第12期64-68,共5页
停机问题是计算机科学领域的最经典问题之一,被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法,其中对角线是康托尔对角线法的延伸。通过对康托尔对角线法、图灵关于停机问题不可解的对角线证法以及判定程序证... 停机问题是计算机科学领域的最经典问题之一,被认为是不可解的。证明停机问题不可解的方法主要包括对角线法和判定程序法,其中对角线是康托尔对角线法的延伸。通过对康托尔对角线法、图灵关于停机问题不可解的对角线证法以及判定程序证法的深入分析,揭示了判定程序证明的本质,指出了在不影响判定程序设计初衷(即拥有对所有其他程序是否停机的判定功能)的前提下,该证明否定不了这样的判定程序存在性。同时揭示了对角线证明方法的根本缺陷和谬误。 展开更多
关键词 康托尔 对角线 停机问题 图灵 不可解问题
下载PDF
距离计算中的转化
2
作者 陈金跃 《中学数学教学参考》 1997年第Z2期52-54,共3页
关键词 转化思想 数学问题 等轴双曲线 轨迹方程 不可解问题 三角代换 距离公式 弦长 直观性 复杂运算
原文传递
SENSITIVITY ANALYSIS FOR PARAMETERIZED VARIATIONAL INEQUALITY PROBLEMS
3
作者 LiFei 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2004年第4期445-451,共7页
This paper presents sensitivity analysis for parameterized variational inequality problems (VIP). Under appropriate assumption, it is shown that the perturbed solution to parameterized VIP is existent, unique, continu... This paper presents sensitivity analysis for parameterized variational inequality problems (VIP). Under appropriate assumption, it is shown that the perturbed solution to parameterized VIP is existent, unique, continuous and differentiable with respect to perturbation parameter. In the case of differentiability, we derive the equations for calculating the derivative of solution variables with respect to the perturbation parameters. 展开更多
关键词 sensitivity analysis parameterized VIP perturbed solution
原文传递
The Zero Mach Number Limit of the Three-Dimensional Compressible Viscous Magnetohydrodynamic Equations
4
作者 Yeping LI Wen'an YONG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2015年第6期1043-1054,共12页
This paper is concerned with the zero Mach number limit of the three-dimension- al compressible viscous magnetohydrodynamic equations. More precisely, based on the local existence of the three-dimensional compressible... This paper is concerned with the zero Mach number limit of the three-dimension- al compressible viscous magnetohydrodynamic equations. More precisely, based on the local existence of the three-dimensional compressible viscous magnetohydrodynamic equa- tions, first the convergence-stability principle is established. Then it is shown that, when the Much number is sufficiently small, the periodic initial value problems of the equations have a unique smooth solution in the time interval, where the incompressible viscous mag- netohydrodynamic equations have a smooth solution. When the latter has a global smooth solution, the maximal existence time for the former tends to infinity as the Much number goes to zero. Moreover, the authors prove the convergence of smooth solutions of the equa- tions towards those of the incompressible viscous magnetohydrodynamic equations with a sharp convergence rate. 展开更多
关键词 Compressible viscous MHD equation Mach number limit Convergence-stability principle Incompressible viscous MHD equation Energy-typeerror estimate
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部