公共文化服务平台

国家重点基础研究发展计划(G19980306): 作品数：14 被引量：61H指数：4; 相关作者：李治国陈彩云李廉高小山陈玉福更多>>; 相关机构：兰州大学南开大学中国科学院数学与系统科学研究院更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家杰出青年科学基金更多>>; 相关领域：自动化与计算机技术理学文化科学更多>>

拟代数簇包含关系的判定算法: 2002年; 判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .; 王继民李廉; 关键词：逻辑转换

微分几何定理证明中最简单辅助条件的计算被引量：1: 2003年; 在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单辅助条件的构造性算法 .; 王继民李廉; 关键词：机器证明吴方法

一类P3P问题求解算法研究被引量：1: 2004年; Wu-Ritt零点分解方法被成功地运用于研究透视3点(P3P)问题,它给出了一类关于具有实际意义的、一定几何形状的几何物体的P3P方程系统的Wu-Ritt零点分解.这个Wu-Ritt零点分解更多地更深地提供了求解这类P3P问题方程系统解的信息,并为建立P3P问题的实时稳定算法提供了理论基础.基于Wu-Ritt零点分解,给出一个这类P3P方程系统的实时稳定求解算法,实验结果说明算法是准确和稳定的.; 汤建良蒋鲲; 关键词：摄像机标定

代数偏微分方程组的对合特征集方法分析(英文): 2006年; 基于Wu-Ritt特征集方法和V.Gerdt的对合除法,我们定义了非线性偏微分方程组的关于一般延拓方向的对合特征集(ICS).影响ICS方法的两个主要因素为延拓方向和变量的序.本文中,应用ICS方法处理在计算偏微分方程组的对称群过程中产生的大型偏微分方程组.在实验的基础上,总结了对于ICS方法较好的延拓方向和变量的序.; 孟晓辉陈玉福; 关键词：可积条件

关于属性约简和集合覆盖问题的探讨被引量：32: 2004年; 论文探讨了粗糙集的属性约简和集合覆盖问题之间的联系。通过构造信息系统的相关矩阵将粗糙集的属性约简问题与集合覆盖问题联系起来,从而将粗糙集的属性约简问题简化为集合覆盖问题。然后用几个定理及其证明说明了这种联系是存在的。基于这种联系,推断出求最小属性约简问题算法的近似度的上下界为ln(｜U'｜)-lnln(｜U'｜)+O(1)和(1-o(1))ln(｜U'｜)。最后,利用两个范例分别演示了如何具体地构造相关矩阵以及如何将解决集合覆盖问题的思想和方法应用到解决属性约简问题中来,由此推理如果将文献5中的解决集合覆盖问题的启发式方法应用到解决最小属性约简中,属性约简的复杂度为o(r2m3+m2),并且能以78%的“概率”得到最小属性约简。; 陈彩云李治国; 关键词：属性约简粗糙集

基于遗传算法的手机键盘字母布局的研究被引量：6: 2003年; 该文探讨了手机键盘上的拼音字母的布局问题,给出了此问题的数学模型。运用遗传算法将手机键盘上的拼音字母进行重组,在对常用汉字进行模拟的过程中采用了多种优化策略,不断地对遗传算法进行优化,最后得到了理想的键盘字母布局。实验表明,该种字母布局大大提高了拼音输入法的效率,方便了用户的使用。; 陈彩云李治国; 关键词：手机遗传算法组合优化

Involutive characteristic sets of algebraic partial differential equation systems被引量：3: 2003年; This paper presents an algorithm to reduce a nonlinear algebraic partial differential equation system into the involutive characteristic set with respect to an abstract involutive prolongation direction, which covers the existing algorithms based on Riquier method, Thomas method, and Pommaret method. It also provides new algorithms for computing involutive characteristic sets due to the existence of new involutive directions. Experiments show that these new algorithms may be used to significantly reduce the computational steps in Wu-Ritt's characteristic set method for algebraic partial differential equations.; 陈玉福高小山; 关键词：CHARACTERISTIC INTEGRABILITY ALGEBRAIC PARTIAL CHARACTERISTIC SET

用圆锥曲线求解几何约束问题被引量：2: 2001年; 几何约束求解广泛应用于机械设计 ,化学分子形成 ,几何定理证明和勘探等诸多领域 .用于求解几何约束问题主要有 3种方法 :数值方法 ,符号方法和构造法 .构造法由于具有简单易行的特点 ,因此被大多数的参数化机械设计系统作为求解几何约束问题的基本方法 .针对构造法中只采用直线和圆 ,即直尺和圆规 ,来作为基本的作图工具 ,引进了一种新的作图工具 :圆锥曲线 ,并且证明了在引进圆锥曲线以后 ,作图的范围明显大于只用直尺和圆规作图的范围 ;证明了一个图形能用圆锥曲线作出的充分必要条件是这个图形可以用一个三角化的次数小于等于4的方程组来描述 .由于三次和四次方程的解可以显式地表示出来。; 高小山蒋鲲; 关键词：几何约束问题圆锥曲线智能CAD 计算机辅助设计

分布式环境中数学图形处理的研究: 2002年; 　　0引言　　由于用户群在地理上的分散性以及局部计算资源的有限性,随着网络化的发展,分布式数学图形处理环境的建立是必要的.所谓分布式数学图形处理环境,就是指一个能够交换、处理、存储数学图形,并布置相关算法,支撑相关应用程序,提供协同工作能力的分布式数学计算环境.……; 傅鹏

基于指称语义的可扩展标记语言的语义研究: 2002年; 　　0引言　　可扩展标记语言XML是W3C根据标准通用标记语言SGML设计的,是SGML的一个子集.XML替代HTML成为第二代Web应用的基础,也是下一代网络应用的基石[1,2].……; 文书槐

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