期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
黑盒测试中的边界值分析方法研究 被引量:2
1
作者 包玮琛 《电脑知识与技术(过刊)》 2013年第6X期3977-3979,共3页
为了快速地设计出完整有效的黑盒测试的测试用例以保障软件测试质量,在分析了边界值分析方法中的边界条件和次边界条件的基础上,进一步说明了测试用例设计中的边界值的分析方法。以三角形分类程序问题为实例进行分析,在确定了输入域的... 为了快速地设计出完整有效的黑盒测试的测试用例以保障软件测试质量,在分析了边界值分析方法中的边界条件和次边界条件的基础上,进一步说明了测试用例设计中的边界值的分析方法。以三角形分类程序问题为实例进行分析,在确定了输入域的前提下,通过找出边界条件和次边界条件快速获得了一个完整有效的测试用例。采用这种方法设计的测试用例具有较强的发现软件程序错误的的特点,不但能有效避免测试的盲目性,并且能提高测试效率和测试覆盖度。 展开更多
关键词 软件测试 黑盒测试 边界值分析 测试用例 边界条件 次边界条件
在线阅读 下载PDF
Global existence and blow up of a degenerate parabolic system 被引量:2
2
作者 杨明 《Journal of Southeast University(English Edition)》 EI CAS 2003年第4期427-431,共5页
This paper deals with positive solutions of a degenerate parabolic system: u t= Δ u m+ v p ln α(h+u), v t= Δ v n+u q ln β(h+v) with homogeneous Dirichlet boundary conditions and positive in... This paper deals with positive solutions of a degenerate parabolic system: u t= Δ u m+ v p ln α(h+u), v t= Δ v n+u q ln β(h+v) with homogeneous Dirichlet boundary conditions and positive initial conditions. This system describes the processes of diffusion of heat and burning in two component continuous media with nonlinear conductivity and volume energy release. We obtain the global existence and blow up results of the solution relying on comparison with carefully constructed upper solutions and lower solutions. 展开更多
关键词 parabolic system DEGENERATE global existence blow up
在线阅读 下载PDF
Multiplicity of positive solutions to weighted nonlinear elliptic system involving critical exponents 被引量:3
3
作者 NYAMORADI Nemat 《Science China Mathematics》 SCIE 2013年第9期1831-1844,共14页
This paper deals with the existence and multiplicity of nontrivial solutions to a weighted nonlinear elliptic system with nonlinear homogeneous boundary condition in a bounded domain. By using the Caffarelli-Kohn-Nire... This paper deals with the existence and multiplicity of nontrivial solutions to a weighted nonlinear elliptic system with nonlinear homogeneous boundary condition in a bounded domain. By using the Caffarelli-Kohn-Nirenberg inequality and variational method, we prove that the system has at least two nontrivial solutions when the parameter λ belongs to a certain subset of R. 展开更多
关键词 Nehari manifold Caffarelli-Kohn-Nirenberg inequality weighted nonlinear elliptic system multiple positive solutions
原文传递
Carleman Estimates for Parabolic Equations with Nonhomogeneous Boundary Conditions 被引量:2
4
作者 Oleg Yu IMANUVILOV Jean Pierre PUEL Masahiro YAMAMOTO 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2009年第4期333-378,共46页
The authors prove a new Carleman estimate for general linear second order parabolic equation with nonhomogeneous boundary conditions. On the basis of this estimate, improved Carleman estimates for the Stokes system an... The authors prove a new Carleman estimate for general linear second order parabolic equation with nonhomogeneous boundary conditions. On the basis of this estimate, improved Carleman estimates for the Stokes system and for a system of parabolic equations with a penalty term are obtained. This system can be viewed as an approximation of the Stokes system. 展开更多
关键词 CONTROLLABILITY Parabolic equations Carleman estimates
原文传递
Initial Boundary Value Problem of an Equation from Mathematical Finance 被引量:1
5
作者 Huashui ZHAN 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2016年第3期465-482,共18页
Consider the initial boundary value problem of the strong degenerate parabolic equation ?_(xx)u + u?_yu-?_tu = f(x, y, t, u),(x, y, t) ∈ Q_T = Ω×(0, T)with a homogeneous boundary condition. By introducing a new... Consider the initial boundary value problem of the strong degenerate parabolic equation ?_(xx)u + u?_yu-?_tu = f(x, y, t, u),(x, y, t) ∈ Q_T = Ω×(0, T)with a homogeneous boundary condition. By introducing a new kind of entropy solution, according to Oleinik rules, the partial boundary condition is given to assure the well-posedness of the problem. By the parabolic regularization method, the uniform estimate of the gradient is obtained, and by using Kolmogoroff 's theorem, the solvability of the equation is obtained in BV(Q_T) sense. The stability of the solutions is obtained by Kruzkov's double variables method. 展开更多
关键词 Mathematical finance Oleinik rules Partial boundary condition Entropy solution Kruzkov's double variables method
原文传递
NONHOMOGENEOUS BOUNDARY VALUE PROBLEMS FOR THE KORTEWEG-DE VRIES EQUATION ON A BOUNDED DOMAIN 被引量:1
6
作者 Eugene F. KRAMER Bingyu ZHANG 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2010年第3期499-526,共28页
This paper studies an initial-boundary-value problem (IBVP) of the Korteweg-de Vriesequation posed on a finite interval with general nonhomogeneous boundary conditions.Using thestrong Kato smoothing property of the as... This paper studies an initial-boundary-value problem (IBVP) of the Korteweg-de Vriesequation posed on a finite interval with general nonhomogeneous boundary conditions.Using thestrong Kato smoothing property of the associated linear problem,the IBVP is shown to be locallywell-posed in the space H^s(0,1) for any s≥0 via the contraction mapping principle. 展开更多
关键词 KdV equation Korteweg-de Vries equation well-posed.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部