首页期刊导航|广州大学学报:综合版
期刊信息/Journal information
广州大学学报:综合版
广州大学学报:综合版

黄家泉

月刊

1008-9861

020-83480065

510091

广州市麓景路狮带岗中

广州大学学报:综合版/Journal Journal of Guangzhou University
正式出版
收录年代

    自动推理与教育软件智能平台

    张景中李传中
    1-6页
    查看更多>>摘要:阐述了如下内容:①自动推理的发展与教育技术;②教育软件智能平台的基本构成;③教育软件智能平台应有的功能.并进行了教育软件智能平台实例演示.

    自动推理教育软件智能平台教育技术解析几何立体几何物理

    征稿启事

    6页

    计算机与智力:推理过程的机械化

    杨路
    7-10,45页
    查看更多>>摘要:在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题.

    图灵测试自动推理定理机器证明可读证明数学机械化

    智能教育软件在优化教学中的应用与研究

    赵小明张志青
    11-13页
    查看更多>>摘要:主要论述了智能教育软件在优化教学中的应用.对一些传统的教学方法,应用新型智能教育软件进行改革,以更新教育观念,优化教学方法,促进学生主动参与数学学习,取得了较好的教学效果.

    优化教学教育实践智能软件应用

    分布式物流管理系统的研究

    朱志辉李熠李广文
    14-17页
    查看更多>>摘要:主要研究了DCOM技术在分布式物流管理系统中的应用,以及如何用MIDAS引擎来处理服务器的负载平衡和容错机制,并介绍了在采用分布式系统来实现物流管理开发过程中的设计思想.

    分布式多层DCOM数据库

    L'Hospital法则和Stolz定理的推广与应用

    袁文俊阴晓玲
    18-21页
    查看更多>>摘要:推广了数学分析中求极限的L'Hospital法则和Stolz定理,将其系统化为一种有效的方法,使许多常见的经典之例得到巧解和扩充.

    L'Hospital法则Stolz定理极限函数

    复生长曲线模型中的球性检验问题

    龚力强
    22-27页
    查看更多>>摘要:给出复情形下生长曲线模型球性检验似然比统计量与原假设相近的两类备择假设下的非零渐近分布.

    球性检验Zonal多项式

    数阵中的不等式性质及其应用(1)

    陈湛本雍明亮
    28-31页
    查看更多>>摘要:给出数阵中不等式的7个基本性质,并利用其中一个性质导出一个新的分式不等式,最后给出这个不等式在一系列竞赛不等式中的应用.

    数阵不等式性质

    一种基于最小二乘准则的自适应滤波算法

    高鹰
    32-34页
    查看更多>>摘要:基于最小二乘准则J(n)=∑ni=1λn-i| e(i)|2,利用最徒梯度下降法,得到一种新的梯度型自适应滤波算法.该算法避免了递推最小二乘BLS(Recursive Least Squares)算法需递推估计更新自相关矩阵Rxx(n)的逆的不足,计算机模拟仿真结果表明该算法有良好的收敛性能,收敛速度快于LMS(Least Mean Squares)算法、NLMS(Normalized Least Mean Squares)算法和RLS算法.

    自适应滤波算法最小二乘准则RLS算法

    高阶非线性系统零解的全局稳定性

    张健
    35-36,52页
    查看更多>>摘要:研究了一类高阶非线性微分系统,通过建立适当的李雅普诺夫函数,得出了这类高阶非线性系统零解全局渐近稳定性较弱的充分条件.

    非线性高阶系统全局渐近稳定李雅普诺夫函数