国家自然科学基金(11171053)

作品数：7被引量：6H指数：2
导出分析报告
相关作者：冯勇余伟季振义吴文渊谭治英更多>>
相关机构：中国科学院成都计算机应用研究所中国科学院重庆绿色智能技术研究院电子科技大学四川农业大学更多>>
相关期刊：《Applied Mathematics and Mechanics(English Edition)》《数学的实践与认识》《International Journal of Modeling, Simulation, and Scientific Computing》《计算机应用》更多>>
相关主题：雅可比矩阵非线性方程组计算方法对偶空间牛顿迭代算法更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多元多项式系统三种结式关系的探讨
《数学的实践与认识》2015年第11期213-220,共8页季振义 冯勇 秦小林 
国家自然科学基金(11171053);国家973项目(2011CB302402)
研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统...
关键词：Sylvester结式 Dixon结式 混合Cayley-Sylvester结式 
On Hardy-type integral inequalities
《Applied Mathematics and Mechanics(English Edition)》2013年第10期1297-1304,共8页冷拓 冯勇 
Project supported by the National Basic Research Program of China(No.2011CB302402);theNational Natural Science Foundation of China(No.11171053)
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 integr...
关键词：Hardy inequality Holder inequality Copson inequality Izumi inequality Pachpatte inequality 
基于动态参数的函数空间学习最优核映射
《计算机应用》2013年第8期2337-2340,共4页谭治英 陈颖 冯勇 宋小波 
国家973计划项目(2011CB302402);国家自然科学基金资助项目(11171053)
核函数方法可挖掘出高精度快速印刷品图像间的非线性分布规律,而挖掘能力由所选择的核函数及其参数来决定。这两者的学习与选择同样是核函数理论继续发展与实际应用需要迫切解决的问题。针对印刷品智能检测这一特定背景,提出了一种新的...
关键词：核方法 优化问题 缺陷检测 核主成分分析 图像复原 
STRUCTURAL ANALYSIS OF HIGH-INDEX DAE FOR PROCESS SIMULATION
《International Journal of Modeling, Simulation, and Scientific Computing》2013年第4期99-114,共16页XIAOLIN QIN WENYUAN WU YONG FENG GREG REID 
supported by the National Basic Research Program of China(2011CB302402);the National Natural Science Foundation of China(Grant Nos.91118001,11171053);the West Light Foundation of the Chinese Academy of Sciences,China Postdoctoral Science Foundation Funded Project(Grant No.2012M521692);the Chinese Academy of Sciences Visiting Professorship for Senior International Scientists(Grant No.2010T2G31)。
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 positi...
关键词：Differential algebraic equations structural analysis fast prolongation symbolic differential elimination linear programming 
一类非线性方程组奇异解的计算方法及其应用被引量：3
《计算机应用》2013年第1期230-233,共4页季振义 吴文渊 冯勇 
国家自然科学基金青年基金资助项目(11001040);国家自然科学基金面上项目(11171053)
针对一类特殊的非线性方程组雅克比矩阵奇异的问题,提出了一种基于对偶空间的牛顿迭代方法。给出了一个显式的计算对偶空间的公式,在此基础上利用对偶空间作用于原方程组构造新的方程,使扩充后的方程组在近似值点的雅可比矩阵满秩,从而...
关键词：非线性方程组 牛顿迭代算法 对偶空间 雅可比矩阵 二次收敛 
用Dixon结式产生非线性循环不变式被引量：1
《四川大学学报（工程科学版）》2012年第4期115-121,共7页余伟 冯勇 
国家"973"计划资助项目(2011CB302402);国家自然科学基金面上项目(11171053);国家自然科学基金重大研究计划资助项目(91118001)
针对循环程序的部分正确性问题,在代数变迁系统理论基础上,结合约束理论提出了一种用Dixon结式生成循环不变式的算法。首先,程序被转换成代数变迁系统,再根据代数变迁关系和不变式模板构造一个多项式组,计算此多项式组的Dixon结式可以...
关键词：循环不变式 Dixon结式 模板 约束 
用有限差分法分析多项式程序终止被引量：2
《四川大学学报（工程科学版）》2011年第6期111-114,118,共5页余伟 冯勇 
国家"973"计划资助项目(2011CB302402);中国科学院"西部之光"人才培养计划"联合学者"项目;国家自然科学基金资助项目(11171053)
针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后...
关键词：有限差分 循环 终止 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部