公共文化服务平台

符红光: 作品数：71 被引量：244H指数：8; 供职机构：电子科技大学更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术理学文化科学天文地球更多>>

合作作者

一种新型计算机代数系统编译器的设计与实现被引量：2: 2006年; 计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言,对比测试结果显示它的效率并不逊色于Maple。; 覃安符红光; 关键词：计算机代数系统虚拟机编译器

从自然语言文本挖掘领域过程本体的方法: 本发明公开了一种从自然语言文本挖掘领域过程本体的方法，包括以下步骤：A、创建过程本体模型；B、将创建的过程本体模型实例化；C、将上述过程本体模型以及实例化的过程本体模型采用RDF三元组进行表示并存储到AG知识库。本发明还...; 钟秀琴刘忠符红光; 文献传递

构造一般Dixon结式矩阵的快速算法被引量：11: 2005年; 近几年来，基于 Dixon 结式的消去法被广泛地用来求解非线性多项式方程组，因此国际上许多学者开始研究构造 Dixon 结式矩阵的有效算法．本文将目前最为有效的只能处理2个变元3个方程情形的递归算法扩展到 n 个变元 n+1个多项式方程的一般情形，并且将该算法在 Maple 下编程实现．通过 Maple 随机产生的多项式的比较实验，可以看出，比之现有的所有方法，本程序具有更高的效率．特别是应用此程序，首次以48阶的 Dixon 结式矩阵的形式，给出了4个一般的关于每个变元的次数不超过2次的曲面存在公共交点的必要条件．; 符红光赵世忠; 关键词：计算方法消去法

一种基于翻译模型的初等数学应用题自动求解方法及系统: 本发明公开了一种基于翻译模型的初等数学应用题自动求解方法，属于计算机软件领域，首先对应用题文本进行预处理，得到标准化文本；接着对所述标准化文本进行命名实体识别和机器翻译，得到所述标准化文本的信息框架；然后利用常识数量关系...; 钟秀琴符红光田隽硕张果; 文献传递

几何命题处理中的中文分词技术被引量：5: 2005年; 如何将自然语言表述的初等几何命题自动转化为计算机可理解的作图语言是自然语言处理中的空白,也是实现教育软件人机交互的难点。而中文分词是自然语言处理的第1步,分词结果直接影响后期的处理工作。该文通过对几何范围内的受限语言的研究,建立了有效可行的语言理解模型,完成了词素的切分和词性标注,并在程序上得以实现。; 佘莉符红光方海光; 关键词：自然语言处理词典中文分词

三角函数表达式的计算机自动化简被引量：1: 2006年; 从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica.; 符红光钟秀琴曾振柄; 关键词：可读证明

构造广义Sturm序列的递归算法被引量：3: 1999年; 广义Sturm序列被用于判断一个多项式方程f(x)在多项式h(x) >0条件下的实根数 .为了构造这样的序列 ,原先的方法基本上就是辗转相除法 .对于带符号系数的多项式 ,大量的实例表明其效率甚低 ,无法处理较复杂的问题 .代之以一个新的递归算法 ,成功地避免了由辗转相除引起的高复杂度的计算 .; 符红光杨路曾振柄; 关键词：实根递归算法多项式方程

一种基于Neo4j和大数据的初等数学知识图谱构建方法: 本发明公开了一种基于Neo4j和大数据的初等数学知识图谱构建方法，属于初等数学知识图谱构建技术领域，所述方法包括如下步骤：根据Neo4j图形数据库分别对实体、关系以及属性的定义，自上而下构建初始知识图谱；根据大数据和深度...; 钟秀琴符红光邓力华林恭祺

基于模式识别的多项式因式分解算法及其应用被引量：3: 2000年; 讨论模式识别和搜索技术在智能教学软件设计中的应用 ,特别是多项式因式分解的算法和解题过程的自动产生。; 曾振柄符红光; 关键词：模式识别中学代数 CAI

有理数域上一类多项式可约性的一个判别法: 2021年; 任给一个m次的整系数多项式∑_(i=0)^(m)aix^(i),其中首项系数am=1,以及对应的下列不动点迭代算法{u1=u^(~)1,u2=u^(~)2,…u_(m-1)=u^(~)_(m-1),u_(n)=-(a_(m-1)+a_(m-2)/u_(n-1)+a_(m-3)/u_(n-1)u_(n-2)+…+a0/u_(n-1)u_(n-2)…u_(n-(m-1)))(n≥m).1)不难看出,若迭代具有一个有理数极限值,则该值为多项式的一个零点,从而多项式在有理数域上可约.2)该迭代具有"勿需选择初始点"的特征:若多项式有m个绝对值互不相同的有理数零点,那么任意取m-1个非零有理初始点(u)i(1≤i≤m-1),迭代均趋近于其中一个零点,因此,多项式可约.3)假设{ζ_(i)||ζ_(1)|≥|ζ_(2)|≥...≥|ζ_(m)|,ζ_(i)∈C,1≤i≤m}是上述多项式互不相同的零点,则存在m个复数{β_(i)|β_(i)∈C,1≤i≤m},使得u_(n)可以表示成u_(n)=β_(1)ζ_(1)^(n+1)+β_(2)ζ_(2)^(n+2)+…+β_(m)ζ_(m)^(n+1)/β_(1)ζ_(1)^(n)+β_(2)ζ_(2)^(n)+…+β_(m)ζ_(m)^(n)在β向量的m个元素中,设βl是首个非0元素,βk为其后首个非0元素,即{β_(i)|β_(i)∈C,1≤i≤m}={(0,0,…,0,)全为0βl(≠0),(0,0,…,0,)全为0β_(k)(≠0),...,β_(m)}.这时,若|ζ_(l)|>|ζk|,则迭代收敛于ζ_(l).因此,若ζ_(l)∈Q,则多项式可约.; 赵世忠符红光秦小林刘静刘云浩; 关键词：可约不可约多项式迭代