广义系统渐近稳定性的一种新的Lyapunov判别方法(英文) 被引量：2

1

作者 吴健荣 杨成梧 《应用数学》 CSCD 北大核心 2003年第2期92-96,共5页

本文中 ,对广义系统构造了一种新的Lyapunov函数 ,并给出相应的渐近稳定性的Laypunov判别方法 .另外 ,我们证明了当广义系统为R 能稳时 。

关键词 广义系统 渐近稳定性 Lyapunov判别法 线性奇异系统 R-能稳 反馈控制

在线阅读 下载PDF 职称材料

一类亚纯函数系数线性微分方程亚纯解的增长级

2

作者 黄志刚 《数学物理学报（A辑）》 CSCD 北大核心 2010年第4期1071-1079,共9页

该文讨论了齐次线性微分方程f^(k)+A_(k-1)f^(k-1)+…+Aof=0,k≥2的解的增长级,其中方程的系数为至多有有限多个极点的亚纯函数,在一定条件下,得到了方程亚纯解的精确估计,这也是Gundersen、陈宗煊和高仕安等人在整函数系数下结果的推广.

关键词 线性微分方程 亚纯函数 增长级 极点

在线阅读 下载PDF 职称材料

概念知识表示和推理 被引量：5

3

作者 时百胜 余泓 《小型微型计算机系统》 CSCD 北大核心 2006年第9期1618-1622,共5页

N ilsson教授首先提出了代数格应用于概念知识表示的思想,其优点在于知识表示的代数特性和图示特性,在此基础上,本文把代数格与PROLOG相结合,定义了一种基于概念的逻辑编程语言,其语言具有比PROLOG更抽象、更方便的编程风格.此外,给出... N ilsson教授首先提出了代数格应用于概念知识表示的思想,其优点在于知识表示的代数特性和图示特性,在此基础上,本文把代数格与PROLOG相结合,定义了一种基于概念的逻辑编程语言,其语言具有比PROLOG更抽象、更方便的编程风格.此外,给出了该逻辑编程语言的匹配算法. 展开更多

关键词 格 概念代数 知识表示 语义 推理

在线阅读 下载PDF 职称材料

预加法范畴中态射的广义逆 被引量：5

4

作者 刘晓冀 刘三阳 王志坚 《数学物理学报（A辑）》 CSCD 北大核心 2005年第1期103-109,共7页

该文研究预加法范畴中态射的广义逆,利用幂等态射给出了态射广义逆存在的充要条件及其表达式.得到预加法范畴中态射的柱心-幂零分解存在的充要条件,并给出了分解的方法.

关键词 范畴 态射 广义逆

在线阅读 下载PDF 职称材料

负相协重尾随机变量和的尾概率的渐近性的若干注记 被引量：9

5

作者 王开永 王岳宝 《应用概率统计》 CSCD 北大核心 2007年第4期337-344,共8页

本文得到了同分布负相协重尾随机变量和的最大值、随机个和的最大值尾概率的渐进性质.所得到的结果削弱了Wang和Tang(Statist.Prob.Lett.,68,287-295,2004)的Theorem 2.1的矩条件,在与[1]的Theorem 2.2不同的条件下得到了相应的结果,并... 本文得到了同分布负相协重尾随机变量和的最大值、随机个和的最大值尾概率的渐进性质.所得到的结果削弱了Wang和Tang(Statist.Prob.Lett.,68,287-295,2004)的Theorem 2.1的矩条件,在与[1]的Theorem 2.2不同的条件下得到了相应的结果,并且都解除了上述[1]的结果中对随机变量的支撑的限制. 展开更多

关键词 负相协 次指数分布族 部分和最大值 随机和 尾概率

在线阅读 下载PDF 职称材料

Vandermonde矩阵的逆矩阵的一种显式算法 被引量：3

6

作者 杨胜良 乔占科 《兰州理工大学学报》 CAS 北大核心 2004年第6期131-133,共3页

利用线性方程组理论给出了Lagrange插值公式的一个构造性证明,得到了Vandermonde矩阵的逆矩阵的一种显式算法.

关键词 Lagrange插值公式 行列式 线性方程组 VANDERMONDE矩阵

在线阅读 下载PDF 职称材料

变测度的积分-水平集确定性算法 被引量：4

7

作者 余泓 时百胜 邬冬华 《高校应用数学学报（A辑）》 CSCD 北大核心 2007年第2期194-204,共11页

提出了一个求总极值的变测度确定性算法,对不同的箱子采用不同的测度,结合确定性数论方法选取一致分布佳点集来代替Monte-Carlo随机投点,使水平值充分地下降,更快地到达全局最小,从而提高算法的计算效率.在文中给出了算法的收敛性证明,... 提出了一个求总极值的变测度确定性算法,对不同的箱子采用不同的测度,结合确定性数论方法选取一致分布佳点集来代替Monte-Carlo随机投点,使水平值充分地下降,更快地到达全局最小,从而提高算法的计算效率.在文中给出了算法的收敛性证明,并通过数值算例验证了它的有效性. 展开更多

关键词 积分-水平集 变测度 一致分布佳点集 确定性算法

在线阅读 下载PDF 职称材料

家蚕成品卵微粒子病集团检验改进抽样方案 被引量：5

8

作者 王林芳 徐世清 《蚕业科学》 CAS CSCD 2004年第1期69-72,共4页

根据统计学理论指出了NY/T32 7- 1997家蚕成品卵微粒子病抽样检验行业标准的缺陷 :不同批次蚕种的控制标准不一 ,不能很好地控制“弃真”错误的概率。运用概率统计方法 ,提出了改进的抽样检验方案。用此方案进行的抽样检验不仅可保证将... 根据统计学理论指出了NY/T32 7- 1997家蚕成品卵微粒子病抽样检验行业标准的缺陷 :不同批次蚕种的控制标准不一 ,不能很好地控制“弃真”错误的概率。运用概率统计方法 ,提出了改进的抽样检验方案。用此方案进行的抽样检验不仅可保证将不合格蚕种判为合格蚕种的概率控制在 1 5 %以内 ,而且可减少将合格蚕种判为不合格蚕种的概率。 展开更多

关键词 家蚕 成品卵 微粒子病 集团检验 蚕种 抽样方案

在线阅读 下载PDF 职称材料

4D和Q检验模型在供水管网水质检验中的应用 被引量：1

9

作者 张燕 姜进峰 +2 位作者 李翠梅 刘成刚 蒋光洁 《水电能源科学》 北大核心 2013年第2期50-52,241,共4页

鉴于城市供水管网末梢水质检验一直是供水水质监测的难点,以苏州市五个偏远小区供水管网末梢的水质指标数据为样本,应用数学统计模型中的4D检验模型和Q检验模型对所监测的水质数据进行了检验。结果表明,4D检验模型和Q检验模型均能快速... 鉴于城市供水管网末梢水质检验一直是供水水质监测的难点,以苏州市五个偏远小区供水管网末梢的水质指标数据为样本,应用数学统计模型中的4D检验模型和Q检验模型对所监测的水质数据进行了检验。结果表明,4D检验模型和Q检验模型均能快速、灵敏地检测出离群数据,其中4D检验模型对水中氯气及游离氯制剂、溶解性总固体、浑浊度等水质指标较为敏感;Q检验模型在不同的显著性水平下均能检测出水中溶解性总固体、总β放射性等水质指标的异常。可见应用数学统计模型可对供水管网水质进行检验与分析,从而可提高水质检测的科学性和合理性,亦可为供水管网建立水质模型与进行水质调度奠定良好的理论基础。 展开更多

关键词 供水管网末梢 水质 检验 4D检验模型 Q检验模型

在线阅读 下载PDF 职称材料

广义次指数族的卷积根的封闭性 被引量：4

10

作者 王开永 王岳宝 张雅文 《应用数学》 CSCD 北大核心 2007年第1期47-52,共6页

设F是支撑在(-∞,∞)上的分布函数.v是一个取有限个整数值的非负随机变量,F*v为F的v重卷积.在一定条件下,本文得到了如下结论:对任意0≤γ<∞,F*v∈S(γ)F∈S(γ).特别地,若v≡n,n≥2,本文得到了支撑在(-∞,∞)上的S(γ)族的卷积根... 设F是支撑在(-∞,∞)上的分布函数.v是一个取有限个整数值的非负随机变量,F*v为F的v重卷积.在一定条件下,本文得到了如下结论:对任意0≤γ<∞,F*v∈S(γ)F∈S(γ).特别地,若v≡n,n≥2,本文得到了支撑在(-∞,∞)上的S(γ)族的卷积根的封闭性.上述所得结果推广了[2]对应结果. 展开更多

关键词 S(y)族 卷积根 封闭性

在线阅读 下载PDF 职称材料

变测度算法的最优性条件 被引量：3

11

作者 余泓 时百胜 邬冬华 《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第3期283-287,293,共6页

郑权首先提出了求总极值的积分-水平集方法及其算法的最优性条件.此后,邬冬华等人给出了一种修正的积分-水平集算法及相应的最优性条件.在此基础上,该文提出一个变测度的积分-水平集概念性算法,并给出类似的最优性条件.

关键词 积分-水平集 变测度 最优性条件

在线阅读 下载PDF 职称材料

华沙圈及其推广的一些拓扑与动力性质 被引量：2

12

作者 周友成 苏郇立 赵俊玲 《高校应用数学学报（A辑）》 CSCD 北大核心 2007年第4期469-473,共5页

研究华沙圈及其推广上连续自映射的一些拓扑与动力性质,并通过对上半连续分解有关的某些动力性质的研究构作出华沙圈上的一个(在Devaney意义下的)混沌映射.

关键词 上半连续分解 华沙圈 Moeckel曲线 (Devaney意义下的)混沌映射

在线阅读 下载PDF 职称材料

DNA分子标记法检验桑蚕种微粒子病的抽样方案 被引量：3

13

作者 王林芳 徐世清 《江苏农业科学》 CSCD 北大核心 2004年第5期120-121,122,共3页

针对桑蚕成品卵微粒子病DNA分子标记法检验 ,设计了抽样检验方案。用此方案进行的抽样检验不仅保证了将不合格蚕种判为合格蚕种的概率控制在 1.5 %以内 ,而且能减少将合格蚕种判为不合格蚕种的概率。检验的数量一般随总体病卵率 p变化... 针对桑蚕成品卵微粒子病DNA分子标记法检验 ,设计了抽样检验方案。用此方案进行的抽样检验不仅保证了将不合格蚕种判为合格蚕种的概率控制在 1.5 %以内 ,而且能减少将合格蚕种判为不合格蚕种的概率。检验的数量一般随总体病卵率 p变化而变化 ,所以应用本检验方案 ,当 p较大或较小 (相对于 0 .15 % )时 ,需检验的样本数量将显著减少。该方案有两种续贯检验方法和一种类似NY/T 32 7 1997行业标准规定的二次检验方法。 展开更多

关键词 桑蚕 成品卵 微粒子病 DNA 检验 抽样

在线阅读 下载PDF 职称材料

广义轮图的友好性 被引量：5

14

作者 温一慧 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期103-108,共6页

引入标号参数的概念,给出了广义轮图W_n^k(n≥3,k≥1)的友好指标集,证明了对自然数s≥1,n≥3,n≠2(mod4),W_n^(2s)是亲切的;n≠3(mod4),W_n^(2s+1)是亲切的.

关键词 友好标号 亲切图 标号参数 友好指标集

在线阅读 下载PDF 职称材料

家蚕种克卵粒数容许差距的测算方法 被引量：1

15

作者 王林芳 徐世清 +2 位作者 李掌林 陶鸣 潘丽芬 《蚕业科学》 CAS CSCD 北大核心 2006年第1期132-134,共3页

控制样本间克卵粒数的差距是保证家蚕种良卵率检测准确性的关键。通过调查和理论分析，认为家蚕卵粒质量的分布服从正态分布。在置信概率为95％下，3次重复间样本卵粒数的容许差距估计公式为d=0．1913×n^（3/2）×10^-3克卵粒... 控制样本间克卵粒数的差距是保证家蚕种良卵率检测准确性的关键。通过调查和理论分析，认为家蚕卵粒质量的分布服从正态分布。在置信概率为95％下，3次重复间样本卵粒数的容许差距估计公式为d=0．1913×n^（3/2）×10^-3克卵粒数在1600～1699、1700～1799、1800～1899、1900～2000区间时，容许差距分别为13、14、15、16粒。 展开更多

关键词 家蚕种 质量检测 克卵粒数 客许差距

在线阅读 下载PDF 职称材料

一类(P，P+1)-图是平衡的充要条件 被引量：4

16

作者 温一慧 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第4期104-106,109,共4页

用新的分析方法,研究了一类(p,p+1)-图B[n,n;d]的平衡性问题,首先得到了B[n,n;d]的平衡指标集,进而给出了B[n,n;d]是平衡图的充要条件,得到了一些新的结果.

关键词 平衡图 平衡指标集 友好顶点标号 充要条件

在线阅读 下载PDF 职称材料

一种挖掘最小蕴涵规则集的通用算法 被引量：1

17

作者 时百胜 刘宗田 余泓 《计算机应用与软件》 CSCD 北大核心 2007年第9期187-188,193,共3页

给出一种挖掘最小蕴涵规则集的通用算法,该算法基于闭包运算,利用闭包运算产生所有闭集,从闭集格中导出最大∧-不可约集及其补集,然后产生最小蕴涵规则集;给出了计算所有闭集的新算法,同Ganter算法相比,该算法充分考虑闭包运算的特性,... 给出一种挖掘最小蕴涵规则集的通用算法,该算法基于闭包运算,利用闭包运算产生所有闭集,从闭集格中导出最大∧-不可约集及其补集,然后产生最小蕴涵规则集;给出了计算所有闭集的新算法,同Ganter算法相比,该算法充分考虑闭包运算的特性,使得冗余计算显著减少,提高了算法效率。 展开更多

关键词 闭集格 闭包运算 最大∧-不可约集 最小蕴涵规则集

在线阅读 下载PDF 职称材料

超越整函数稳定域的某些性质 被引量：2

18

作者 黄志刚 《应用数学》 CSCD 北大核心 2009年第3期542-546,共5页

讨论了有限个超越整函数fi(i=1,2,…,m)迭代生成的函数g=fmfm-1…f1(z)游荡域的性质,在某些条件下,对Brannan和Hayman提出的一个问题给出了肯定的回答.此外,给出了g(z)稳定域有界的一个条件.

关键词 超越整函数 稳定域 游荡域 有界

在线阅读 下载PDF 职称材料

关于弱边优美图的存在性 被引量：3

19

作者 温一慧 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第5期131-133,共3页

给出了弱边优美图的概念,指出了它的客观存在性及其与边优美图、非边优美图的关系.作为应用,讨论了完全偶图K1,n中的这三类图的存在问题.

关键词 边优美图 弱边优美图 裂边拓展图

在线阅读 下载PDF 职称材料

桑蚕种品种纯度抽样检验方案设计 被引量：2

20

作者 王林芳 司马杨虎 徐世清 《西南农业大学学报（自然科学版）》 CSCD 北大核心 2004年第3期299-302,共4页

桑蚕一代杂交种杂交率检验是一种形态检验的方法,准确性和时效性差。提出了使用DNA检验方法进行品种纯度检验,研究设计了适合的抽样检验方案。该方案保证了目前行业标准检验方法的可靠性和精确度。使用该方案,在蚕种纯度很高的情况下,... 桑蚕一代杂交种杂交率检验是一种形态检验的方法,准确性和时效性差。提出了使用DNA检验方法进行品种纯度检验,研究设计了适合的抽样检验方案。该方案保证了目前行业标准检验方法的可靠性和精确度。使用该方案,在蚕种纯度很高的情况下,只需检验很小的样本就能通过,非常适合个体检验准确而成本相对较高的DNA检测方法。 展开更多

关键词 桑蚕(家蚕) 蚕种 纯度(杂交率) 抽样检验

在线阅读 下载PDF 职称材料