您的位置: 专家智库 > >

国家自然科学基金(11171053)

作品数:7 被引量:6H指数:2
相关作者:冯勇余伟季振义吴文渊谭治英更多>>
相关机构:中国科学院成都计算机应用研究所中国科学院重庆绿色智能技术研究院电子科技大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划中国科学院西部之光基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 7篇期刊文章
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 4篇理学

主题

  • 2篇多项式
  • 2篇函数
  • 2篇非线性
  • 1篇等式
  • 1篇迭代
  • 1篇动态参数
  • 1篇对偶
  • 1篇对偶空间
  • 1篇多项式系统
  • 1篇循环不变式
  • 1篇雅可比
  • 1篇雅可比矩阵
  • 1篇映射
  • 1篇有限差分
  • 1篇有限差分法分...
  • 1篇图像
  • 1篇图像复原
  • 1篇牛顿迭代算法
  • 1篇线性方程组
  • 1篇结式

机构

  • 4篇中国科学院成...
  • 3篇中国科学院重...
  • 2篇电子科技大学
  • 1篇中国科学院
  • 1篇四川农业大学

作者

  • 5篇冯勇
  • 2篇季振义
  • 2篇余伟
  • 1篇吴文渊
  • 1篇秦小林
  • 1篇宋小波
  • 1篇陈颖
  • 1篇谭治英

传媒

  • 2篇计算机应用
  • 2篇四川大学学报...
  • 1篇数学的实践与...
  • 1篇Applie...
  • 1篇Intern...

年份

  • 1篇2016
  • 1篇2015
  • 4篇2013
  • 1篇2012
  • 1篇2011
7 条 记 录,以下是 1-8
排序方式:
STRUCTURAL ANALYSIS OF HIGH-INDEX DAE FOR PROCESS SIMULATION
2013年
This paper deals with the structural analysis problem of dynamic lumped process high-index differential algebraic equations(DAE)models.The existing graph theoretical method depends on the change in the relative position of underspecified and overspecified subgraphs and has an effect to the value of the differential index for complex models.In this paper,we consider two methods for index reduction of such models by differentiation:Pryce’s method and the symbolic differential elimination algorithm rifsimp.They can remedy the above drawbacks.Discussion and comparison of these methods are given via a class of fundamental process simulation examples.In particular,the efficiency of Pryce’s method is illustrated as a function of the number of tanks in process design.Moreover,a range of nontrivial problems are demonstrated by the symbolic differential elimination algorithm and fast prolongation.
XIAOLIN QINWENYUAN WUYONG FENGGREG REID
On Hardy-type integral inequalities
2013年
The Hardy integral inequality is one of the most important inequalities in analysis. The present paper establishes some new Copson-Pachpatte(C-P) type inequalities, which are the generalizations of the Hardy integral inequalities on binary functions.
冷拓冯勇
关键词:积分不等式二元函数
基于动态参数的函数空间学习最优核映射
2013年
核函数方法可挖掘出高精度快速印刷品图像间的非线性分布规律,而挖掘能力由所选择的核函数及其参数来决定。这两者的学习与选择同样是核函数理论继续发展与实际应用需要迫切解决的问题。针对印刷品智能检测这一特定背景,提出了一种新的基于优化问题的从具有动态参数的函数空间中学习核函数及参数的方法,以此来使核函数方法达到最优性能。与传统的计算方法不同之处在于其核函数空间中的核参数是连续变化的,这使学习的范围得到一个维度上的扩展。实验结果显示,结合理论分析的迭代算法仅需要10次迭代便可得到统计最优的核函数及参数,利用学习到的核函数计算的复原误差是统计最小的。
谭治英陈颖冯勇宋小波
关键词:核方法核主成分分析图像复原
用有限差分法分析多项式程序终止被引量:2
2011年
针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后,还进一步分析了使用有限差分法判定具有更复杂条件表达式和有多分支的循环程序的终止性。
余伟冯勇
关键词:有限差分
Eventual Linear Ranking Functions for Multi-path Linear Loops
Termination of linear loop programs has received extensive attention in these years. In this paper, we focus o...
Guang ZhuYi LiWenyuan Wu
文献传递
一类非线性方程组奇异解的计算方法及其应用被引量:3
2013年
针对一类特殊的非线性方程组雅克比矩阵奇异的问题,提出了一种基于对偶空间的牛顿迭代方法。给出了一个显式的计算对偶空间的公式,在此基础上利用对偶空间作用于原方程组构造新的方程,使扩充后的方程组在近似值点的雅可比矩阵满秩,从而恢复牛顿迭代算法的二次收敛性。实验结果表明,改进后的算法一般迭代3次计算精度就可以达到10-15。所提算法丰富了代数几何中关于理想的对偶空间理论,也为工程应用中的数值计算提供了一种新方法。
季振义吴文渊冯勇
关键词:非线性方程组牛顿迭代算法对偶空间雅可比矩阵
用Dixon结式产生非线性循环不变式被引量:1
2012年
针对循环程序的部分正确性问题,在代数变迁系统理论基础上,结合约束理论提出了一种用Dixon结式生成循环不变式的算法。首先,程序被转换成代数变迁系统,再根据代数变迁关系和不变式模板构造一个多项式组,计算此多项式组的Dixon结式可以得到关于模板变量的约束,最后对该约束系统求解就得到该模板形式的程序不变式。经实例分析,该算法应用于单路径和多路径程序均是有效的。
余伟冯勇
关键词:循环不变式
多元多项式系统三种结式关系的探讨
2015年
研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统,也证实了上述这些结式之间仅仅相差一个因子,推广了两变元多项式系统的结论.
季振义冯勇秦小林
共1页<1>
聚类工具0