您的位置: 专家智库 > >

国家自然科学基金(10571095)

作品数:17 被引量:13H指数:2
相关作者:侯晓荣陈旻徐松解烈军邵俊伟更多>>
相关机构:宁波大学电子科技大学公安海警高等专科学校更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划浙江省科技厅新苗人才计划更多>>
相关领域:理学自动化与计算机技术电子电信建筑科学更多>>

文献类型

  • 17篇中文期刊文章

领域

  • 15篇理学
  • 4篇自动化与计算...
  • 1篇电子电信
  • 1篇建筑科学

主题

  • 2篇定理
  • 2篇英文
  • 2篇适定性
  • 2篇判据
  • 2篇稳定判据
  • 2篇非负性
  • 1篇等式
  • 1篇多项式
  • 1篇有界
  • 1篇有界函数
  • 1篇人脸
  • 1篇人脸识别
  • 1篇人脸识别方法
  • 1篇时滞
  • 1篇时滞偏微分
  • 1篇时滞偏微分方...
  • 1篇识别方法
  • 1篇数学
  • 1篇数学机械化
  • 1篇偏微分

机构

  • 14篇宁波大学
  • 4篇电子科技大学
  • 1篇东华理工大学
  • 1篇公安海警高等...

作者

  • 8篇侯晓荣
  • 4篇陈旻
  • 3篇徐松
  • 3篇邵俊伟
  • 3篇解烈军
  • 2篇陈玲
  • 2篇郭利芳
  • 2篇闫琳
  • 1篇周观珍
  • 1篇吴献超
  • 1篇刘莎
  • 1篇王立洪
  • 1篇杨志辉
  • 1篇唐秀娟

传媒

  • 5篇宁波大学学报...
  • 2篇系统科学与数...
  • 1篇科技通报
  • 1篇数学学报(中...
  • 1篇浙江大学学报...
  • 1篇计算机工程与...
  • 1篇Journa...
  • 1篇纯粹数学与应...
  • 1篇南京大学学报...
  • 1篇大学数学
  • 1篇Contro...
  • 1篇中国科学:信...

年份

  • 2篇2012
  • 3篇2011
  • 4篇2010
  • 3篇2009
  • 3篇2008
  • 1篇2007
  • 1篇2006
17 条 记 录,以下是 1-10
排序方式:
差分代换的一些几何性质
2010年
文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系的k维坐标面;给出了半正定型在逐次差分代换下不能终止的一个充分条件.
侯晓荣徐松邵俊伟
关键词:差分代换
加权差分代换与型的非负性判定
2010年
本文从几何的视角来研究加权差分代换,引入代换集序列收敛性概念,证明了逐次加权差分代换是收敛的.并据此给出正定型在逐次加权差分代换下可正向终止的一个严格的证明,得到了不定型在逐次加权差分代换下可负向终止并自动输出反例的一个算法.
侯晓荣徐松邵俊伟
InequalityProve及一个公开问题的求解被引量:1
2011年
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。
邵俊伟侯晓荣
关键词:区间分析不等式
五次键合多项式P-不可约的两个定理
2008年
在生物化学研究领域,对键合多项式P-不可约性的判定是一个重要问题.已有结果主要考虑四次或四次以下的多项式,而对五次或五次以上键合多项式的讨论尚未见报道.文章在这方面作了一定的探索,给出了五次键合多项式P-不可约的两组充分条件,这两组条件均是用多项式的系数构成的等式或不等式组显式表示的.
解烈军
关键词:稳定判据
一类由函数方程确定的周期函数被引量:1
2010年
通过对一例题的分析,讨论了一类由函数方程确定的周期函数.
王立洪
关键词:周期函数函数方程有界函数
一种新型在线掌纹主线的提取方法被引量:3
2008年
掌纹特征的提取在掌纹自动识别系统中是一项必不可少的重要环节.首先对人手图像进行预处理,提取出ROI区域,并针对掌纹图像噪声强、对比度低的特点,先根据图像灰度特征运用局部自适应的二值化方法提取出掌纹的主线特征;再针对存在的部分噪声点和断点的情况,运用提出的邻域法跟踪出每条主线附近的点,方便地剔除了噪声点;然后对这些点进行多项式拟合处理,提取出细化的主线,连接了断点.实验表明:新的提取方法能够有效地去除干扰点及连接纹线的断点,且提取效果误差小,接近自然掌纹主线.
闫琳侯晓荣
基于小波子带能量加权的人脸识别方法被引量:1
2009年
针对人脸识别中小波变换后信息利用不充分和权系数选择困难的缺点,提出一种基于小波子带能量加权的人脸识别算法.首先应用二维离散小波变换(2D-DWT)对图像进行二层小波分解,然后将得到的第2层4个子带进行加权组合,并给出一种基于小波子带能量权系数求解法,无需进行人工实验选取.在此基础上,采用PCA+LDA方法进行特征提取,并在ORL人脸库中进行实验,与传统的算法相比有较快的识别速度和较高的识别率.
吴献超刘莎闫琳侯晓荣
关键词:人脸识别小波变换线性判别分析主成分分析
Jacobi多项式Bochner-Riesz平均的逼近阶被引量:2
2006年
借助于一种推广的K-泛函给出了Jacobi多项式广义Bochner-Riesz平均的逼近阶.
唐秀娟周观珍
关键词:JACOBI多项式逼近阶
A family of robust adaptive excitation controllers for synchronous generators with steam valve via Hamiltonian function method
2012年
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 controllers is investigated for dissipative Hamiltonian systems. This method avoids solving Hamilton-Jacobi-Issacs inequalities. The parameters in the family of controllers thus obtained are determined by a locally positive semidefinite function, which has only 2n independent variables, twice as many as the one used to characterize the state feedback. Then, with the parame- terization method and the structural properties of dissipative Hamiltonian systems, a family of robust adaptive excitation controllers is designed for synchronous generators with steam valve control, disturbances and unknown parameters. Simu- lations illustrate the effectiveness and feasibility of the excitation control strategy proposed in the paper.
Song XUXiaorong HOU
平移多项式的判别序列
2010年
研究平移多项式的判别序列的性质,并给出平移多项式的正根判别序列的显式表达式.
陈旻
关键词:BEZOUT矩阵
共2页<12>
聚类工具0