云南高校图书馆联盟文献共享服务平台- 国家重点基础研究发展计划(G19980306)

国家重点基础研究发展计划(G19980306): 作品数：14被引量：39H指数：3; 导出分析报告; 相关作者：李治国陈彩云李廉高小山陈玉福更多>>; 相关机构：兰州大学南开大学中国科学院数学与系统科学研究院中国科学院研究生院更多>>; 相关期刊：《兰州大学学报（自然科学版）》《计算机工程与应用》《Science China Mathematics》《计算机科学》更多>>; 相关主题：粗糙集HARDNP属性约简SVD更多>>; 相关领域：自动化与计算机技术理学文化科学更多>>

代数偏微分方程组的对合特征集方法分析(英文): 《中国科学院研究生院学报》2006年第1期7-22,共16页孟晓辉陈玉福; supportedinpartbyaNationalKeyBasicResearchProjectofChina(G19980306); 基于Wu-Ritt特征集方法和V.Gerdt的对合除法,我们定义了非线性偏微分方程组的关于一般延拓方向的对合特征集(ICS).影响ICS方法的两个主要因素为延拓方向和变量的序.本文中,应用ICS方法处理在计算偏微分方程组的对称群过程中产生的大型...; 关键词：对合特征集可积条件代数偏微分方程组 Wu-Ritt特征集方法

一种安全的主密钥保护方案被引量：5: 《兰州大学学报（自然科学版）》2005年第4期65-69,共5页曹来成李廉袁占亭; 国家重点基础研究发展规划基金(G19980306)兰州理工大学科研发展基金(SB20200401)资助项目.; 指出了主密钥安全保护的重要地位.由于传统的方法对此无能为力,提出了一种入侵容忍技术和基于椭圆曲线密码体制的组零知识证明方法有机结合的主密钥合成算法,通过影子服务器的影子安全地保护了主密钥、无信息泄露地验证了主密钥,而且在...; 关键词：主密钥入侵容忍弹性椭圆曲线密码体制组零知识证明

一类P3P问题求解算法研究被引量：1: 《黑龙江大学自然科学学报》2004年第2期9-12,共4页汤建良蒋鲲; 国家基础研究发展规划项目(G19980306);数学天元青年基金资助项目(10226006); Wu-Ritt零点分解方法被成功地运用于研究透视3点(P3P)问题,它给出了一类关于具有实际意义的、一定几何形状的几何物体的P3P方程系统的Wu-Ritt零点分解.这个Wu-Ritt零点分解更多地更深地提供了求解这类P3P问题方程系统解的信息,并为建立...; 关键词：吴零点分解方法 P3P问题方程系统摄像机标定

关于属性约简和集合覆盖问题的探讨被引量：18: 《计算机工程与应用》2004年第2期44-46,84,共4页陈彩云李治国; 国家自然科学基金资助;国家973重点基础研究规划项目(编号:G19980306)资助;教育部;科技部基金资助; 论文探讨了粗糙集的属性约简和集合覆盖问题之间的联系。通过构造信息系统的相关矩阵将粗糙集的属性约简问题与集合覆盖问题联系起来,从而将粗糙集的属性约简问题简化为集合覆盖问题。然后用几个定理及其证明说明了这种联系是存在的。...; 关键词：属性约简集合覆盖 NP—hard问题粗糙集

基于遗传算法的手机键盘字母布局的研究被引量：3: 《计算机工程与应用》2003年第27期77-79,共3页陈彩云李治国; 教育部核心数学与组合数学重点实验室;国家973重点基础研究发展规划项目(编号:G19980306)资助; 该文探讨了手机键盘上的拼音字母的布局问题,给出了此问题的数学模型。运用遗传算法将手机键盘上的拼音字母进行重组,在对常用汉字进行模拟的过程中采用了多种优化策略,不断地对遗传算法进行优化,最后得到了理想的键盘字母布局。实验表...; 关键词：手机字母布局遗传算法组合优化

一种基于SVD和Rough集的信息过滤方法被引量：3: 《计算机工程与应用》2003年第34期99-101,共3页陈彩云李治国; 国家自然科学基金;国家973基础研究发展项目(编号:G19980306);教育部;科技部基金; 论文提出了一种信息过滤方法,即在奇异值分解(SVD)的基础上,运用粗糙集(Rough Sets)理论进行信息过滤。通过对词语×文档矩阵进行奇异值分解得出近似矩阵,改变了一些词语在相应文档中的重要性,从而使得词语更好地体现文档内容。然后运...; 关键词：奇异值分解粗糙集信息过滤规则提取

集成式数学计算软件: 《兰州大学学报（自然科学版）》2003年第4期34-37,共4页文书槐傅鹏张彦哲葛颖娣; 国家"973"项目"数学机械化与自动推理平台"资助项目 ( G1 9980 3 0 6); 当前数学软件资源的现状存在着资源丰富而又不能很好满足需要的矛盾 ,本文分析了产生这个矛盾的原因 ,提出开发数学软件的集成的方法。; 关键词：集成目录树解释器

Involutive characteristic sets of algebraic partial differential equation systems被引量：3: 《Science China Mathematics》2003年第4期469-487,共19页陈玉福高小山; This work was supported in part by a National Key Basic Research Project of China(No.G19980306);the National Natural Science Foundation of China(Grant No.69725002).; 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 ...; 关键词：involutive CHARACTERISTIC set INTEGRABILITY conditions ALGEBRAIC PARTIAL differential equation system Wu-Ritt's CHARACTERISTIC SET method.

微分几何定理证明中最简单辅助条件的计算被引量：1: 《兰州大学学报（自然科学版）》2003年第1期20-23,共4页王继民李廉; 国家‘973’项目"数学机械化与自动推理平台"资助项目 ( G1 9980 30 6) .; 在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单...; 关键词：微分几何定理机器证明吴方法 Rosenfeld—Gr6bner算法辅助条件构造性算法

微分多项式系统的对合特征集被引量：3: 《中国科学（A辑）》2003年第2期97-113,共17页陈玉福高小山; 国家重点基础研究发展规划(批准号:G19980306);国家杰出青年科学基金(批准号:69725002)资助项目; 给出了一类将微分多项式系统关于抽象对合延拓方向约化成对合特征集的算法.该算法统一了已有的基于Riquier方法和Thomas方法及Pommaret方法延拓方程的算法.采用我们及其他研究者最近发现的新延拓方向,给出了计算对合特征集的新方法.实...; 关键词：代数偏微分方程组 Wu-Ritt特征集对合约化延拓方向 δ-约化 δ-除法微分多项式系统对合特征集

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