国家重点基础研究发展计划(2004CB318003)

作品数：86被引量：410H指数：10
导出分析报告
相关作者：冯勇曾振柄姚勇符红光杨定华更多>>
相关机构：中国科学院成都计算机应用研究所华东师范大学电子科技大学成都信息工程大学更多>>
相关期刊：《广州大学学报（自然科学版）》《数学物理学报（A辑）》《计算机应用与软件》《计算机应用研究》更多>>
相关主题：不等式全局优化单形变元DNA条形码更多>>
相关领域：自动化与计算机技术理学生物学电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多区间上非线性程序的终止性判定被引量：3
《四川大学学报（工程科学版）》2011年第3期76-80,共5页牟琳 李轶 李玲娜 刘栋 
国家重点基础研究发展计划资助项目(2004CB318003)
主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1...
关键词：程序验证 计算机代数 非线性程序 不动点 
基于矩形区域剖分的不等式机器证明方法—以Zirakzadeh的一个几何不等式为例被引量：2
《系统科学与数学》2010年第11期1430-1458,共29页曾振柄 张景中 
973课题(2004CB318003);国家自然科学基金(10471044);国家自然科学基金重点项目(90718041);上海市重点学科建设项目(B412)
1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函...
关键词：数学机械化 机器证明 Zirakzadeh不等式 矩形剖分 误差分析 
多变元Sylvester结式与多余因子
《中国科学：数学》2010年第7期649-660,共12页赵世忠 符红光 
国家重点基础研究发展计划(973计划)(批准号:2004CB318003);国家自然科学基金(批准号:90718041);上海市重点学科建设(批准号:B412)资助项目
经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,...
关键词：多变元Sylvester矩阵 多变元Sylvester结式 多余因子 
采用近似方法的实代数数准确表示及其应用被引量：1
《四川大学学报（工程科学版）》2010年第2期126-131,共6页秦小林 冯勇 陈经纬 李骏 
国家973计划资助项目(2004CB318003);中国科学院知识创新重要方向项目(KJCX2-YW-S02);国家自然科学基金资助项目(10771205)
针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式...
关键词：实代数数 近似计算 符号计算 符号与数值混合计算 
面向目标的带先验概率的AdaBoost算法被引量：2
《四川大学学报（工程科学版）》2010年第2期139-144,共6页赵向辉 姚宇 付忠良 苗青 谢会云 
国家重点基础研究发展规划(973计划)项目(2004CB318003);四川省科技支撑计划资助项目(2008SZ0100;2009SZ0214);中国科学院西部之光人才培养项目资助
针对集成学习算法研究中多个分类器的最佳组合问题,改进了传统的AdaBoost集成学习算法。用于组合的各个分类器通常是基于样本集通过一定的训练得到,样本集中不同类目标的比率可以反映分类目标的先验概率。使用该参数给出了新的组合参数...
关键词：集成学习 ADABOOST算法 分类器组合 先验概率 
基于列随机矩阵的逐次差分代换与正半定型的机械化判定被引量：16
《中国科学：数学》2010年第3期251-264,共14页姚勇 
国家重点基础研究发展规划(批准号:2004CB318003);国家自然科学基金(批准号:90718041;10901116);中国科学院知识创新工程重要方向(批准号:KJCX-YW-S02)资助项目
本文选择列随机平均矩阵Tn作为基本代换矩阵，建立了基于％的逐次差分代换方法．获得了腿翌上正半定型，不定型判定的充要条件．并进一步证明了：正定型的差分代换集序列正向终止．根据这些结果编写的Maple程序TSDS3，能够自动证明代数...
关键词：逐次差分代换 差分代换集序列 终止性 正半定型 机械化判定 
新的图像加密方法被引量：4
《电子科技大学学报》2010年第1期128-132,共5页唐聃 王晓京 陈峥 
国家重点基础研究发展计划(2004CB318003)
针对数字图像信息数据量大、冗余度高和像素间相关性强等特点,提出了一种基于二元多项式的图像加密新方法。在对图像的加密过程中,该方法使用另一幅图像作为密钥,使得密钥形象直观且伪装性强,而密钥图像的尺寸可以远远小于加密图像,便...
关键词：二元多项式 编码 有限域 图像叠加 图像处理 
基于本体的几何学知识获取及知识表示被引量：54
《计算机学报》2010年第1期167-174,共8页钟秀琴 符红光 佘莉 黄斌 
国家"九七三"重点基础研究发展规划项目基金(2004CB318003)资助~~
文中研究了基于本体的几何学知识获取,并运用此方法获取几何学领域中的类、属性、关系及公理等;同时,研究了基于本体的知识表示,并将几何学知识转化为该领域本体,用RDF/OWL的形式进行描述.在此基础上构建了一个可共享、可重用、可扩展...
关键词：几何学 本体 知识获取 知识表示 RDF(S) 
几何代数基础新视角下的初步探讨被引量：5
《系统科学与数学》2010年第1期1-11,共11页邹宇 付云皓 张景中 
国家重点基础研究发展规划(2004CB318003);中国科学院知识创新重要方向基金(KZCX2-YW-S02)资助项目
提出有关几何代数基础的一个问题:在给定了变换群的几何上,可能建立哪些代数结构?首先证明,不可能在欧氏平面上的点之间定义一种在保距变换下不变的运算,使之在此运算下形成阿贝尔群.进一步的讨论证明,只有将欧氏几何扩大为质点几何,才...
关键词：几何代数 欧氏平面点集 加法运算 阿贝尔群 
The fundamental theory of abstract majorization inequalities被引量：1
《Science China Mathematics》2009年第10期2287-2308,共22页YANG DingHua College of Mathematics and Software Sciences, Sichuan Normal University, Chengdu 610066, ChinaAbstract 
supported by the National Key Basic Research Project of China (Grant No. 2004CB318003);the Foundation of the Education Department of Sichuan Province of China (Grant No. 07ZA087)
Using the axiomatic method, abstract concepts such as abstract mean, abstract convex function and abstract majorization are proposed. They are the generalizations of concepts of mean, convex function and majorization,...
关键词：abstract mean abstract convex function abstract majorization abstract majorization inequality 26A51 26B25 39B62 52A01 60E15 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部