CASSDR系统应用研究

计算机代数有着广泛的应用．文献[1]给出了一个新的系统CASSDR，它综合了现有计算机代数REDUCE软件和Mathematica软件的长处．本文用该系统处理求方程的代数解、解高次联立方程组和隐函数的求导，并帮助评价拟会函数的结果     

计算机代数语言与CASSDR系统

用计算机进杆代数结构的化简,是计算机代数的一个重要课题．本文给出了一个新的代数结构化简的计算机代数系统CASSDR．该系统由REDUCE和Mathematica组合而成．能从事初等函数的规范化简,并能解决许多特殊问题,可作为教学软件使用     

计算机代数语言与CASSDR系统

用计算机进行代数结构的化简,是计算机代数的一个重要课题。本文给出了一个新的代数结构化简的计算机代数系统ＣＡＳＳＤＲ。该系统由ＲＥＤＵＣＥ和Ｍａｔｈｅｍａｔｉｃａ组合而成,能从事初等函数的规范化简,并能解释许多特殊问题,可作为教学软件使用。     

数学软件与数学实验

简要介绍计算机代数系统和数学软件在数学建模中的作用,并以MapleVR3为基础介绍了如何利用数学软件进行数学实验,以及数学软件的优越性和局限性。     

一种基于GGB软件的正切函数图象的构造方法

近年来GGB(GeoGebra)软件的使用已经非常流行。相比较几何画板,GGB软件易于操作,几何代数关系呈现更加明显。本文以高中数学人教A版教材必修4第28页的问题为依托,通过GGB软件构造角度滑竿及追踪相关点的轨迹,生成了正切函数的图象,并对这一图象作了分析,供同行们参考。     

KdV方程的新孤波解

借助Mathematica计算机代数系统。采用双函数法和吴文俊法元法，获得了KdV方程的多级新的孤波解，进一步补充和完善子双函数法。     

线性微分方程代数体函数解的增长性

研究了系统都是代数体函数的线性微分方程的代数体函数解的增长性,得到了几个有意义的结果。     

非线性Schrdinger方程的显式行波解

借助计算机代数系统Mathematica,利用双函数法和吴文俊消元法,获得了Schr dinger方程的多组新的显式行波解,包括孤波解和周期解.     

非线性Schr(o)dinger方程的显式行波解

借助计算机代数系统Mathematica，利用双函数法和吴文俊消元法，获得了Schroedinger方程的多组新的显式行波解，包括孤波解和周期解．     

布尔函数的代数免疫新特征

针对密码学中布尔函数的代数免疫性,从代数攻击中超定义代数方程的构造出发,利用线性反馈移位寄存器和超定义方程的特点,分析了布尔函数f(x)的代数免疫性和h(x)的代数免疫性之间的关系,提出了布尔函数代数免疫的新特征和衡量布尔函数代数免疫稳定性的新指标。     

函数——高中数学举足轻重的成员

代数是高中教学课程中的重要内容,而函数又是代数的核心知识,也是学生学习代数的难点。从高中数学新课程中关于函数要求出发,讨论了函数的本质和学习函数的要点。     

泛代数的闭包系统

引入了代数的闭包系统的概念和有关闭包系统的基数函数,对实现问题及与同态映和积代数的有关问题作了一些讨论,得到了相应的一些结果。     

一种计算机代数系统的设计与实现

为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能力,快速实现解析器和表达式模式匹配,从而提高开发效率。通过设计一个可实现表达式化简、展开、求导、极限、泰勒级数和积分等功能的计算机代数系统,验证了该设计的准确性和有效性。     

“函数y=xa-logbx的图象与性质”教学设计

在学生学习幂函数、指数函数与对数函数,函数的概念、性质及应用,导数及其应用等内容的基础上,类比已有经验,运用计算器、Excel软件、GeoGebra软件等多种信息技术工具,探究函数y=x^a-log_bx的图象与性质,目的是使学生学会用几何直观和代数推理的方法探究函数,为之后研究新的函数提供方法指导．     

逻辑函数的另一种化简方法--Q-M化简法

本针对当前多数数字电子电路教材中化简逻辑函数采用的代数化简法和卡诺图化简法，介绍一种适用于计算机分析和处理的逻辑函数的另一种化简方法，即Q—M化简法，也称为系统列表化简法。     

论代数体函数的唯一性

文章围绕代数体函数唯一性开展,将代数体函数的加法及乘法定义,并且证明了运算后的结果仍是代数体函数.并且应用新定义的加法,将联系重值的唯一性定理推广到多值的代数体函数。     

KdV-Burgers-Kuramoto方程的精确解

根据双曲函数法的基本思想,利用非线性波方程孤立波解的局部性特点,将方程的孤波解表示为双曲函数的多项式,从而将非线性波方程的求解问题转化为非线性代数方程组的求解问题,并在计算机代数系统上加以实现,得出了KdV—Burgers—Kuramoto方程的精确解。     

论代数体函数的唯一性

文章围绕代数体函数唯一性开展,将代数体函数的加法及乘法定义,并且证明了运算后的结果仍是代数体函数.并且应用新定义的加法,将联系重值的唯一性定理推广到多值的代数体函数.     

基于Hook函数的键盘鼠标动作记录与回放的研究与实现

教学软件或系统监视软件可rT,自动记录回放用户的输入文字或点击按钮等操作。论述了HOOK函数的关键技术．提出了用HOOK函数解决键盘鼠标动作记录与回放的方案，并给予了实现。     

中学数学课程教学中的函数及其思想

代数是中学数学课程中的重要内容,而函数又是代数的核心知识,也是学生学习代数的难点。从中学数学教科书中关于函数概念的几种定义出发,讨论了函数的本质和学习函数的要点以及课程设计的原则。