软件测试的充分性准则及其评价指标

充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响．针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标．最后,总结出几类常用的软件测试充分性准则,指出这些充分性准则所适应的不同测试类型．     

具连续滞量Ⅲ类功能性反应的非自治捕食系统的持久性和周期解

研究一类具连续滞量的HollingⅢ类功能性反应的非自治捕食系统 ,利用微分方程比较原理得到保证系统一致持续生存的充分性条件 ;利用不动点定理得到保证系统有周期解的充分性条件 ;通过构造适当的Lyapunov泛函得到保证该周期解是全局稳定的充分性条件 .最后举例说明了上述结果的应用 .     

因素空间理论与知识表示的数学框架（II）：因素的充分性与概…

系统地研究因素空间理论及其在知识表示的应用，首先介绍因素的投影和柱体扩张；然后讨论因素在表达概念时的充分性并给了刻画因素充分性的等价条件；最后基于因素的充分性定义了概念的秩，它是表达概念的一种内在量，在知识表示中起着基础性的作用。     

网络阶数变化条件的研究

本文依据网络方程,对线性有源网络阶数变化的条件做了初步研究探讨,给出了线性有源网络阶数与相应无源网络阶数相同的充分性条件,同时也对网络升阶情形做了分析,並给出了升阶的充分性条件。     

因素空间理论与知识表示的数学框架(Ⅱ)──因素的充分性与概念的秩

系统地研究因素空间理论及其在知识表示中的应用．首先介绍因素的投影和柱体扩张；然后讨论因素在表达概念时的充分性并给出刻画因素充分性的等价条件；最后基于因素的充分性定义了概念的秩，它是表达概念的一种内在的量，在知识表示中起着基础性的作用．     

C^r映射芽的r阶jets的v—充分性

本文给出了Ｃ＾ｒ映射芽的ｒ阶ｊｅｔｓ是ｖ－充分性的充分条件，推广了（１）中的有关结果，并对拟齐次多项式的ｖ－充分性作了进一步的讨论。     

论自然科学与创造的本质

自然科学是能够展现出其特有的魅力的.自然科学是具有创造的能力的.自然科学是能够呈现出创造的本质的.充分性、合理性、复杂性、艰难性、客观性是科学创造的基本本质.倘若曲解了充分性、合理性、复杂性、艰难性、客观性,就丧失了科学创造的本质.如果坚守着充分性、合理性、复杂性、艰难性、客观性,就坚守着科学创造的本质.因此,自然科学...     

具有时滞的Beddington-DeAngelis功能性反应捕食系统

研究了具有时滞和Beddington-DeAngelis功能性反应的4种群捕食食饵系统,并利用微分方程比较原理,得到了该系统持续生存的充分性条件.对于周期系统的情形,得到了系统的正周期解存在唯一和全局渐近稳定的充分性条件.     

软件测试充分性模糊决策方法研究及应用

通过GQM范式建立了软件充分性度量指标体系，阐述了指标体系中各种模糊因素的模糊数学处理方法，构造出测试充分性模糊决策模型，有效解决了测试充分性难以定量评价问题，在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度，并以一个实例验证了该方法的可行性.     

软件测试充分性模糊决策方法研究及应用

通过GQM范式建立了软件充分性度量指标体系，阐述了指标体系中各种模糊因素的模糊数学处理方法，构造出测试充分性模糊决策模型，有效解决了测试充分性难以定量评价问题，在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度，并以一个实例验证了该方法的可行性。     

软件可靠性测试充分性的多准则判定及应用

在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性.     

鸽巢原理的妙用

考虑到一些非一一对应的离散关系的充分性判别问题,由于不具有一个完美的充分性判别定理,对于一些比较特殊的问题,若用一般的数学方法去讨论,往往很复杂或根本解不出来。但如果能巧妙使用一些已经证明过的原理,往往能起到事半功倍的效果。此文重点介绍了如何巧妙使用鸽巢原理解决一些非一一对应的离散关系的充分性判别问题的方法,对提高应用能力意义重大。     

一般线性模型下的线性充分性

讨论一般线性模型＜ｙ，ｘβＤ＞下的线性充分性和最小线性充分性，得到相应的刻一理。     

一类与单种群模型有关的非线性泛函微分方程解的振荡性

给出了一类一阶非线性泛函微分方程解的振荡性的充分性判据,并用例子说明了用线性化方程的振荡性判据去给出非线性方程的振荡性的判据有时是错误的。同时,得到了时滞的单种群方程的解的振荡性的一些充分性判据。     

具有Beddington-DeAngelis功能性反应的三种群食物链系统的持久性和绝灭性

研究具有Beddington-DeAngelis功能性反应的三种群食物链系统,利用微分方程比较原理得到保证该系统永久持续生存的充分性条件,同时也得到保证捕食者最终绝灭的充分性条件.     

关于无界谱型算子的注记

在这篇文章中,我们构造了一个例子,这个例子指出 W.G.Bade 关于有界谱型算子与无界谱型算子关系之充分性部份是错误的,并给出一些充分性条件。此外,我们讨论了无界谱型算子之共轭算子与(OP)型空间之间关系。     

对函数曲线渐近线定义的修正

本文讨论了数学分析中有关函数曲线的渐近线及斜渐近线、水平渐近线的定义,并通过实例指出,国内现行的《数学分析》与《高等数学》教材中斜渐近线及水平渐近线定义的不充分性,并从理论上找出定义不充分性的原因,最后给出了曲线的斜渐近线与水平渐近线的严格定义。     

具连续型滞量的一阶积分微分方程的振动性

讨论了一类具有分布型滞的非线性微分方程的振动性,建立了充分性判据。     

Hardy—Littlewood定理的一个简单证明

本文给出了Hardy-Littlewood定理的充分性的一个简单证明。     

一类非线性微分方程解的振动性与渐近性

研究了一类二阶非线性微分方程,得到了方程解振动与渐近的充分性判据.