基于树模型和输入参数关系的组合测试集精简方法 被引量：3

1

作者 王立新 杨峻 +1 位作者 万仁霞 王铭军 《计算机应用研究》 CSCD 北大核心 2010年第3期928-932,937,共6页

提出了一种精简组合测试用例集的方法,该方法基于解空间树模型,利用输入参数之间的依赖关系来剪裁解空间树中的枝叶,从而获得精简的组合测试用例集。该方法采用回溯算法来实现,在遍历树的同时,剪裁解空间树并输出组合测试用例。在算法... 提出了一种精简组合测试用例集的方法,该方法基于解空间树模型,利用输入参数之间的依赖关系来剪裁解空间树中的枝叶,从而获得精简的组合测试用例集。该方法采用回溯算法来实现,在遍历树的同时,剪裁解空间树并输出组合测试用例。在算法的实现过程中,采用了一些策略以便提高算法的效率并节省空间。实验结果证明该方法是可行和有效的,对于一些输入参数依赖关系明确的被测系统,该方法能够较大幅度地精简全组合测试用例集。 展开更多

关键词 组合测试 解空间树 依赖关系

在线阅读 下载PDF 职称材料

非线性广义系统的输入-状态稳定性 被引量：3

2

作者 马合保 康会光 《安徽大学学报（自然科学版）》 CAS 北大核心 2009年第2期9-11,共3页

研究非线性广义系统的输入-状态稳定性问题.输入-状态稳定性是非线性控制系统的一个重要性质,基于非线性系统的输入-状态稳定性概念,给出非线性广义系统输入-状态稳定(ISS)的定义,并利用ISS-Lyapunov函数给出非线性广义系统输入-状态稳... 研究非线性广义系统的输入-状态稳定性问题.输入-状态稳定性是非线性控制系统的一个重要性质,基于非线性系统的输入-状态稳定性概念,给出非线性广义系统输入-状态稳定(ISS)的定义,并利用ISS-Lyapunov函数给出非线性广义系统输入-状态稳定的一个充分条件. 展开更多

关键词 非线性广义系统 输入-状态稳定性 ISS-Lyapunov函数

在线阅读 下载PDF 职称材料

广义高阶Bernoulli多项式和广义高阶Euler多项式的关系 被引量：1

3

作者 郭亚梅 李希臣 雒秋明 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期175-177,共3页

利用发生函数的方法得到了广义高阶Bernoulli多项式和广义高阶Euler多项式之间的关系,并由此得到了一些特殊情况包括高阶Bernoulli多项式和高阶Euler多项式之间的关系.

关键词 高阶BERNOULLI多项式 高阶EULER多项式 广义高阶Bernoulli多项式 广义高阶Euler多项式 关系

在线阅读 下载PDF 职称材料

成人高校数学教育创新模式探索 被引量：2

4

作者 宋福庆 朱石焕 《教育与职业》 北大核心 2006年第21期181-182,共2页

要实现成人高校数学教育创新，就需要构建以终身教育为理念，以培养学生的创新意识、创新精神、创新兴趣、创新思维、创新能力为导向的创新模式。

关键词 成人高校 数学教学 教学模式 教育创新 终身教育

在线阅读 下载PDF 职称材料

广义离散线性系统状态反馈H_∞控制器设计 被引量：1

5

作者 马合保 李武装 《甘肃工业大学学报》 北大核心 2003年第3期126-128,共3页

研究了广义离散线性系统的状态反馈H∞控制器设计问题.基于矩阵不等式,导出状态反馈H∞控制器存在的一个充分条件,并利用矩阵不等式的解给出H∞控制器的一种设计方法.

关键词 广义离散线性系统 状态反馈 H∞控制器 矩阵不等式 存在性

在线阅读 下载PDF 职称材料

广义不确定线性系统的鲁棒H_∞控制分析

6

作者 马合保 秦超英 《河南师范大学学报（自然科学版）》 CAS CSCD 2000年第3期9-11,共3页

本文研究一类具有范数有界参数不确定性广义线性系统的鲁棒 H∞ 控制问题 .基于线性矩阵不等式 ,给出广义不确定线性系统满足 H∞ -范数性能指标和正则、稳定且无脉冲模的一个充要条件 .

关键词 广义系统 不确定性 鲁棒H∝控制 线性系统

在线阅读 下载PDF 职称材料

Linex损失下单边截断型分布族参数的EB估计 被引量：12

7

作者 康会光 赵小山 师义民 《应用数学》 CSCD 北大核心 2001年第3期82-86,共5页

本文在 L inex损失函数下 ,讨论单边截断型分布族参数的经验 Bayes( EB)估计 ,并建立了它的收敛速度 ,并说明了在较强的条件下 ,收敛速度可充分接近于

关键词 LINEX损失 经验BAYES估计 收敛速度 分布族参数 单边截断型 预测问题 BAYES分析

在线阅读 下载PDF 职称材料

关于几类图的邻点可区别全染色 被引量：5

8

作者 李光海 李武装 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第1期139-140,154,共3页

图的邻点可区别全染色是最近提出的新概念.本文给出了风车图Kt3、齿轮图Wn和图Dm,4以及Dm,n和Fm,n的邻点可区别全色数.

关键词 图 染色 邻点可区别 全色数

在线阅读 下载PDF 职称材料

直径为4的奇优美树 被引量：4

9

作者 李武装 严谦泰 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第11期1780-1782,共3页

对于简单图G=<V,E>,如果存在一个映射f:V→{0,1,2,…,2E|-1}满足:对任意的u,v∈V,若u≠v,则f(u)≠f(v);max{f(v)|v∈V}=2|E|-1;对任意的e1,e2∈E,若e1≠e2,则g(e1)≠g(e2),此处g(e)=|f(u)-f(v)|,e=uv;{g(e)|e∈E}={1,3,5,…,2|E|-... 对于简单图G=<V,E>,如果存在一个映射f:V→{0,1,2,…,2E|-1}满足:对任意的u,v∈V,若u≠v,则f(u)≠f(v);max{f(v)|v∈V}=2|E|-1;对任意的e1,e2∈E,若e1≠e2,则g(e1)≠g(e2),此处g(e)=|f(u)-f(v)|,e=uv;{g(e)|e∈E}={1,3,5,…,2|E|-1},则称G为奇优美图,f称为G的奇优美标号。提出一个猜想:每棵树都是奇优美的,文章证明了直径为4的树都是奇优美的。 展开更多

关键词 树 直径 奇优美图 奇优美标号

在线阅读 下载PDF 职称材料

多维扩散模型的最优投资问题 被引量：2

10

作者 刘利敏 牛保青 +1 位作者 杨忻 赵玉亮 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期16-19,共4页

研究了多维扩散模型的最优投资问题.通过对数变换将最优问题的HJB方程转化为半线性偏微分方程,证明了最优投资组合解的存在性,给出了价值函数和最优投资策略.

关键词 最优投资问题 HJB方程 最优投资策略

在线阅读 下载PDF 职称材料

马氏正态过程在教育质量评价中的应用 被引量：2

11

作者 宋福庆 庞善起 刘万里 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第3期8-10,共3页

首先利用正态分布给出状态空间的划分方法;然后将马氏正态过程离散化为马氏链,并给出一步转移矩阵的计算方法,根据不同的状态划分,给出对应的权矩阵,并使用加权平均确定出教学效率的指标,从而给出一种评价教学效率的新方法,并用实例验... 首先利用正态分布给出状态空间的划分方法;然后将马氏正态过程离散化为马氏链,并给出一步转移矩阵的计算方法,根据不同的状态划分,给出对应的权矩阵,并使用加权平均确定出教学效率的指标,从而给出一种评价教学效率的新方法,并用实例验证其可行性及有效性. 展开更多

关键词 马氏过程 正态分布 状态空间 权矩阵 期望值

在线阅读 下载PDF 职称材料

一类正则二部图的邻强边染色 被引量：4

12

作者 严谦泰 张忠辅 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第3期12-13,26,共3页

研究了一类正则二部图的邻强边染色,验证了文献[1]中猜想是正确的.

关键词 图 邻强边染色 邻强边色数

在线阅读 下载PDF 职称材料

非对称损失下单边截断分布族参数的经验Bayes检验问题 被引量：3

13

作者 康会光 许勇 《工程数学学报》 CSCD 北大核心 2005年第3期493-498,共6页

在一种非对称损失函数下,讨论了一类单边截断型分布族参数的经验Balyes检验问题,构造了参数的经验Bayes检验函数,证明它具有渐近最优性,并且获得了它的收敛速度。

关键词 非对称损失 经验Bayes(EB)检验 收敛速度

在线阅读 下载PDF 职称材料

混合Ⅱ型截尾样本下简单步加试验的统计分析 被引量：1

14

作者 覃晓琼 康会光 +1 位作者 师义民 胡俊梅 《计算机工程与应用》 CSCD 北大核心 2008年第18期236-238,共3页

将Bootstrap方法引入到加速寿命试验中,在产品寿命服从Rayleigh分布的情形下,研究混合Ⅱ型截尾简单步加试验的可靠性统计分析问题,获得了参数的极大似然估计和区间估计,给出了正常应力水平下可靠度、失效率、平均寿命等可靠性指标的估... 将Bootstrap方法引入到加速寿命试验中,在产品寿命服从Rayleigh分布的情形下,研究混合Ⅱ型截尾简单步加试验的可靠性统计分析问题,获得了参数的极大似然估计和区间估计,给出了正常应力水平下可靠度、失效率、平均寿命等可靠性指标的估计方法,最后利用Monte-Carlo方法验证了结论的正确性和可行性。 展开更多

关键词 RAYLEIGH分布 混合Ⅱ型截尾 简单步加试验 参数估计

在线阅读 下载PDF 职称材料

一类单边截断型分布族参数的双侧经验Bayes检验问题 被引量：1

15

作者 康会光 师义民 许勇 《工程数学学报》 CSCD 北大核心 2002年第2期81-85,共5页

讨论一类单边截断型分布族参数的双侧经验Bayes(EB)检验问题 ,构造了参数的EB判决函数 ,证明它具有渐近最优性 ,并且获得了收敛速度。

关键词 截断型分布族 经验BAYES检验 收敛速度

在线阅读 下载PDF 职称材料

关于直径为4的树的k-优美性 被引量：2

16

作者 李武装 严谦泰 《桂林工学院学报》 北大核心 2007年第4期597-599,共3页

讨论了直径为4的k-优美性,证明了n>k-1时,树PG(n;r1,r2,…,rn)和PF(n;r1,r2,…,rn;rn+1)皆是k-优美树.

关键词 树 直径 K-优美图 k-优美标号

在线阅读 下载PDF 职称材料

有界零函数的导数

17

作者 赵小山 康会光 +1 位作者 何文章 苑文法 《天津师范大学学报（自然科学版）》 CAS 2005年第4期58-60,共3页

讨论有界零解析函数的n阶导数估计,即对有界函数φ(z)=Bn利用最大模原理、归纳法原理及有界解析函数的性质推出n阶导数的一般估计式,并推出在z<1内解析的正实部函数的n阶导数的一般估计式,从而解决了有界零解析函数导数的估计问题.

关键词 有界函数 解析 导数估计 最大模原理

在线阅读 下载PDF 职称材料

关于图P_n^k和图B(3,2,k),B(4,3,k)的强协调性

18

作者 严谦泰 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第3期16-18,共3页

证明了图Pkn和B(3,2,k),B(4,3,k)都是强协调图,并给出了它们的强协调标号.进一步讨论了图Pkn(k 3)的强协调性.

关键词 图P(n)^k 图B(3 2 k) 图B(4 3 k) 强协调标号 强协调图

在线阅读 下载PDF 职称材料

抛物问题的一类变网格矩形有限元方法

19

作者 王健 《安徽大学学报（自然科学版）》 CAS 北大核心 2007年第2期5-9,共5页

传统有限元方法要求区域剖分满足正则性条件.对一类抛物问题,首先可利用相应的矩形元,绕开区域剖分中正则性条件的限制,再结合变网格思想,导出所讨论问题的全离散有限元格式;其次,利用Riesz投影算子,通过一些新的技巧和方法,得到与传统... 传统有限元方法要求区域剖分满足正则性条件.对一类抛物问题,首先可利用相应的矩形元,绕开区域剖分中正则性条件的限制,再结合变网格思想,导出所讨论问题的全离散有限元格式;其次,利用Riesz投影算子,通过一些新的技巧和方法,得到与传统有限元相同的最优误差估计. 展开更多

关键词 抛物问题 变网格 全离散 误差估计

在线阅读 下载PDF 职称材料