符红光 作品数:71 被引量:247 H指数:8 供职机构: 电子科技大学 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 理学 文化科学 天文地球 更多>>
一种新型计算机代数系统编译器的设计与实现 被引量:2 2006年 计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言,对比测试结果显示它的效率并不逊色于Maple。 覃安 符红光关键词:计算机代数系统 虚拟机 编译器 从自然语言文本挖掘领域过程本体的方法 本发明公开了一种从自然语言文本挖掘领域过程本体的方法,包括以下步骤:A、创建过程本体模型;B、将创建的过程本体模型实例化;C、将上述过程本体模型以及实例化的过程本体模型采用RDF三元组进行表示并存储到AG知识库。本发明还... 钟秀琴 刘忠 符红光逻辑动画及其在立体几何教学中的应用 被引量:3 2004年 在现代教学中 ,计算机辅助视频教学已日益普及。但现有的视频教学仍局限在二维、时序的基础上。提出基于三维、逻辑的应用技术并给出其在JAVA3D平台上的实现。这些技术将大大有助于计算机辅助立体几何教学。 龙环 符红光关键词:视频 JAVA3D 函数分支处理方法及装置 本发明提供一种函数分支处理方法及装置,涉及基于计算机技术的数据处理技术领域,应用于数据处理终端。该方法通过获得待处理函数问题,解析所述待处理函数问题,获得其中的已知条件和待求解问题;根据所述已知条件、待求解问题,匹配所述... 符红光 钟秀琴 沈自虎基因序列优化方法、装置及数据处理终端 本申请实施例提供一种基因序列优化方法、装置及数据处理终端,通过获取待优化的密码子序列对应的氨基酸序列,并将该氨基酸序列导入至预先建立的优化模型进行优化以得到密码子盒序列。其中,该密码子盒序列中包含的每组密码子盒对应至少一... 符红光 钟秀琴 梁晏宾 许阳 黄磊构造一般Dixon结式矩阵的快速算法 被引量:11 2005年 近几年来,基于 Dixon 结式的消去法被广泛地用来求解非线性多项式方程组,因此国际上许多学者开始研究构造 Dixon 结式矩阵的有效算法.本文将目前最为有效的只能处理2个变元3个方程情形的递归算法扩展到 n 个变元 n+1个多项式方程的一般情形,并且将该算法在 Maple 下编程实现.通过 Maple 随机产生的多项式的比较实验,可以看出,比之现有的所有方法,本程序具有更高的效率.特别是应用此程序,首次以48阶的 Dixon 结式矩阵的形式,给出了4个一般的关于每个变元的次数不超过2次的曲面存在公共交点的必要条件. 符红光 赵世忠关键词:计算方法 消去法 一种基于翻译模型的初等数学应用题自动求解方法及系统 本发明公开了一种基于翻译模型的初等数学应用题自动求解方法,属于计算机软件领域,首先对应用题文本进行预处理,得到标准化文本;接着对所述标准化文本进行命名实体识别和机器翻译,得到所述标准化文本的信息框架;然后利用常识数量关系... 钟秀琴 符红光 田隽硕 张果几何命题处理中的中文分词技术 被引量:5 2005年 如何将自然语言表述的初等几何命题自动转化为计算机可理解的作图语言是自然语言处理中的空白,也是实现教育软件人机交互的难点。而中文分词是自然语言处理的第1步,分词结果直接影响后期的处理工作。该文通过对几何范围内的受限语言的研究,建立了有效可行的语言理解模型,完成了词素的切分和词性标注,并在程序上得以实现。 佘莉 符红光 方海光关键词:自然语言处理 词典 中文分词 构造广义Sturm序列的递归算法 被引量:3 1999年 广义Sturm序列被用于判断一个多项式方程f(x)在多项式h(x) >0条件下的实根数 .为了构造这样的序列 ,原先的方法基本上就是辗转相除法 .对于带符号系数的多项式 ,大量的实例表明其效率甚低 ,无法处理较复杂的问题 .代之以一个新的递归算法 ,成功地避免了由辗转相除引起的高复杂度的计算 . 符红光 杨路 曾振柄关键词:实根 递归算法 多项式方程 三角函数表达式的计算机自动化简 被引量:1 2006年 从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica. 符红光 钟秀琴 曾振柄关键词:可读证明