云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(10571095)

国家自然科学基金(10571095): 作品数：17被引量：13H指数：2; 导出分析报告; 相关作者：侯晓荣陈旻徐松解烈军邵俊伟更多>>; 相关机构：宁波大学电子科技大学公安海警高等专科学校东华理工大学更多>>; 相关期刊：《系统科学与数学》《科技通报》《Control Theory and Technology》《中国科学：信息科学》更多>>; 相关主题：适定性英文非负性稳定判据辛格式更多>>; 相关领域：理学自动化与计算机技术电子电信建筑科学更多>>

带泊松跳的随机脉冲时滞偏微分方程的指数稳定性(英文)被引量：1: 《宁波大学学报（理工版）》2012年第3期30-34,共5页陈玲陈旻郭利芳; Supported by the National Natural Science Foundation of China(10571095); 带泊松跳的随机脉冲系统的适定性解的稳定性问题至今尚未得到解决.基于不动点理论,研究了随机脉冲时滞偏微分方程的适定性解的稳定性,得到了一些确保所证结论的充分条件.由于考虑了脉冲和泊松跳,文中的结论推广了Luo所得到的结论.; 关键词：随机脉冲微分方程指数稳定性适定性解泊松跳

A family of robust adaptive excitation controllers for synchronous generators with steam valve via Hamiltonian function method: 《控制理论与应用（英文版）》2012年第1期11-18,共8页Song XU Xiaorong HOU; supported by the National Key Basic Research Project of China (No.2004CB318000);the National Natural Science Foundation of China (No.10571095); Using the Hamiltonian function method, this paper proposes a family of robust adaptive excitation con- trollers for synchronous generators with steam valve control. First, a parameterization method of robust adaptive ...; 关键词：Pararneterization Robust adaptive controller Synchronous generator Steam valve control Hamiltonianfunction method

New Rapidly Convergent Series Concerning ζ(2k+1): 《Journal of Mathematical Research and Exposition》2011年第3期521-527,共7页Cai Lian ZHOU Yun Fei WU; Supported by the National Natural Science Foundation of China (Grant No. 10571095);Ningbo Natural Science Foundation (Grant No. 2009A610078);Research Fund of Ningbo University (Grant No. xkl09042); Values of new series sum（（（2n-1）!ζ（2n））/（2n ＋ 2k）!）α2n from n=1 to ∞,sum（（（2n-1）!ζ（2n））/（2n＋2k ＋1）!）β2n from n=1 to ∞ are given concerning ζ（2k ＋ 1）,where k is a positive integer,α ca...; 关键词：Riemann zeta function rapidly convergent series.

带马尔科夫跳的脉冲随机时滞偏微分方程的稳定性(英文)被引量：1: 《宁波大学学报（理工版）》2011年第4期68-71,共4页陈玲陈旻郭利芳; Supported by the National Natural Science Foundation of China(10571095); 应用不动点定理讨论了带马尔科夫跳的脉冲随机时滞偏微分方程的适定性解的渐近稳定性,得到一些条件确保了所证结论.由于考虑了马尔科夫跳,因此文中所得的结论推广了Sakthivel等作者所得到的结论.; 关键词：脉冲适定性解渐近稳定性马尔科夫跳

InequalityProve及一个公开问题的求解被引量：1: 《计算机工程与科学》2011年第6期114-117,共4页邵俊伟侯晓荣; 国家973计划资助项目(2004CB318000);国家自然科学基金资助项目(10571095); 传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力...; 关键词：区间分析不等式自动证明

加权差分代换与型的非负性判定: 《数学学报（中文版）》2010年第6期1171-1180,共10页侯晓荣徐松邵俊伟; 国家重点基础研究发展规划基金(2004CB318000);国家自然基金资助项目(10571095); 本文从几何的视角来研究加权差分代换,引入代换集序列收敛性概念,证明了逐次加权差分代换是收敛的.并据此给出正定型在逐次加权差分代换下可正向终止的一个严格的证明,得到了不定型在逐次加权差分代换下可负向终止并自动输出反例的一个...; 关键词：加权差分代换型的非负性判定重心重分

差分代换的一些几何性质: 《中国科学：信息科学》2010年第8期1096-1105,共10页侯晓荣徐松邵俊伟; 国家重点基础研究发展计划(批准号:2004CB318000);国家自然科学基金(批准号:10571095)资助项目; 文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系...; 关键词：差分代换型的非负性判定重心重分

一类由函数方程确定的周期函数被引量：1: 《大学数学》2010年第4期178-180,共3页王立洪; 国家自然科学基金(10571095资助); 通过对一例题的分析,讨论了一类由函数方程确定的周期函数.; 关键词：周期函数函数方程有界函数极限

平移多项式的判别序列: 《系统科学与数学》2010年第1期107-113,共7页陈旻; 国家自然科学基金(10571095)资助课题; 研究平移多项式的判别序列的性质,并给出平移多项式的正根判别序列的显式表达式.; 关键词：多项式判别序列平移多项式 BEZOUT矩阵符号计算.

三级四阶显式辛R-K-N格式的完全构造被引量：3: 《系统科学与数学》2009年第9期1211-1221,共11页徐松侯晓荣; 国家重点基础研究发展规划基金(2004CB318000);国家自然科学基金(10571095)资助课题; s级p阶辛Runge-Kutta-Nystr(o|¨)m(R-K-N)方法的一种充要条件是用关于参数的非线性方程组来表示的,辛R-K-N格式的构造问题因而转化为该方程组的求解问题.在一些特殊的限定条件下,已有该方程组在s=3,p=4时的两组解,即得到了两个三级四...; 关键词：辛格式 R-K—N方法完全构造吴方法

国家自然科学基金(10571095)