您的位置: 专家智库 > >

国家自然科学基金(90718041)

作品数:27 被引量:60H指数:4
相关作者:曾振柄郭远华姚勇杨路毕忠勤更多>>
相关机构:华东师范大学中国科学院成都计算机应用研究所电子科技大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域:理学自动化与计算机技术电子电信机械工程更多>>

文献类型

  • 25篇中文期刊文章

领域

  • 13篇自动化与计算...
  • 12篇理学
  • 1篇电子电信

主题

  • 4篇终止性
  • 3篇可读证明
  • 2篇等式
  • 2篇多项式
  • 2篇自动生成
  • 2篇SYMMET...
  • 2篇DIMENS...
  • 2篇EXACT_...
  • 2篇不等式
  • 2篇差分
  • 1篇信息处理
  • 1篇循环不变式
  • 1篇一阶逻辑
  • 1篇语义层
  • 1篇语义层次
  • 1篇数学
  • 1篇数学机械化
  • 1篇搜索
  • 1篇搜索方法
  • 1篇随机矩阵

机构

  • 14篇华东师范大学
  • 8篇中国科学院成...
  • 4篇电子科技大学
  • 1篇桂林电子科技...
  • 1篇中国科学院
  • 1篇中国科学院数...
  • 1篇中国科学院自...

作者

  • 8篇曾振柄
  • 5篇郭远华
  • 2篇毕忠勤
  • 2篇杨路
  • 2篇姚勇
  • 2篇申立勇
  • 2篇李轶
  • 2篇赵世忠
  • 2篇符红光
  • 1篇冯勇
  • 1篇陈光喜
  • 1篇龚秋艳
  • 1篇季培培
  • 1篇李骏
  • 1篇郁文生
  • 1篇陈良育
  • 1篇穆传东
  • 1篇袁如意
  • 1篇张景中
  • 1篇秦小林

传媒

  • 4篇Chines...
  • 3篇计算机应用
  • 3篇计算机应用研...
  • 2篇系统科学与数...
  • 2篇计算机辅助设...
  • 2篇中国科学:数...
  • 1篇中国科学(A...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇软件学报
  • 1篇四川大学学报...
  • 1篇计算机与数字...
  • 1篇Chines...
  • 1篇Scienc...
  • 1篇中国科学:信...

年份

  • 2篇2012
  • 3篇2011
  • 7篇2010
  • 10篇2009
  • 3篇2008
27 条 记 录,以下是 1-10
排序方式:
Three kinds of extraneous factors in Dixon resultants
2009年
Dixon resultant is a basic elimination method which has been used widely in the high technology fields of automatic control, robotics, etc. But how to remove extraneous factors in Dixon resultants has been a very difficult problem. In this paper, we discover some extraneous factors by expressing the Dixon resultant in a linear combination of original polynomial system. Furthermore, it has been proved that the factors mentioned above include three parts which come from Dixon derived polynomials, Dixon matrix and the resulting resultant expression by substituting Dixon derived polynomials respectively.
ZHAO ShiZhongFU HongGuang
简单高效的URL消重的方法被引量:3
2010年
在Web信息采集的过程中,为了避免对同一页面的重复下载,需要对URL进行消重。当URL数量变得非常庞大时,URL编码、计算和存储将会给网页消重性能造成很大的影响。通过对URL网址的观察和工程实践,提出一种简单高效的K-PickHash算法,能够快速对绝大多数的URL生成唯一编码,同时保证较低的碰撞率。实验结果证明,计算相同数量的URL时,K-PickHfIp算法所占用的时间小于信息—摘要算法(MD5)的1/3,内存使用比MD5节省1/3,碰撞率也控制在可接受的范围。
龚秋艳陈良育曾振柄
关键词:MD5
相干命题逻辑系统R的一种演绎生成算法被引量:1
2008年
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法,依据推理规则将待证命题逐步分解成子命题并构造一棵证明树,对系统R中的定理证明取得了较好的效果。
郭远华曾振柄
关键词:相干逻辑可读证明
Symmetry Reduction and Exact Solutions of a Hyperbolic Monge-Ampère Equation被引量:4
2012年
By means of the classical symmetry method, a hyperbolic Monge-Ampere equa- tion is investigated. The symmetry group is studied and its corresponding group invariant solutions are constructed. Based on the associated vector of the obtained symmetry, the authors construct the group-invariant optimal system of the hyperbolic Monge-Ampere equation, from which two interesting classes of solutions to the hyperbolic Monge-Ampere equation are obtained successfully.
Zhongzhou DONGYong CHENDexing KONGZenggui WANG
Dixon结式的三类多余因子被引量:2
2008年
Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多余因子,并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子以及导出多项式回代产生的多余因子三大部分组成.
赵世忠符红光
利用改进的逐次差分代换证明多项式正半定性
2009年
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改进了逐次差分代换的判定方法,可以较好的解决这一类问题。
穆传东曾振柄
非线性循环的终止性分析被引量:2
2012年
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
李轶
关键词:可信计算终止性分析
非线性循环不变式的自动生成被引量:4
2008年
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有零解,则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现,并通过一些实例说明了该算法的有效性。
毕忠勤曾振柄郭远华
关键词:循环不变式
相干命题逻辑自然推理系统NR的自动证明被引量:1
2009年
给出了相干命题逻辑自然推理系统NR的自动证明算法。首先将待证命题公式A的子公式组成一个初始集合P,对其中的元素采用系统NR的推理规则得到新的命题公式加入P,当得到秩为0的A时命题得证;然后对A的证明树进行整理即得到演绎序列。对系统NR的大部分定理证明取得了良好的效果,算法生成的演绎序列清晰可读,接近手工推理。
郭远华曾振柄
关键词:可读证明
多变元Sylvester结式与多余因子
2010年
经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,给出了一种去掉其部分多余因子的方法.
赵世忠符红光
共3页<123>
聚类工具0