一个Erdis问题在二次曲线下的推广

著名数学家Paul Erd■s曾提出过这样一个有趣的问题:"设U为平面上一些单位圆所成之集,如果平面上任一条直线总和U中至少一个圆相交或相切,那么是否可以肯定:对任给的自然数m,总能找到一条直线,它至少和U中的m个圆相交或相切?"张景中,杨路等人解决了这个问题.本文探讨了该问题在二次曲线下的推广,得到了和原Erd■s问题相似的结论.     

Dixon 结式的三类多余因子

Dixon结式是一种基本消元方法,
它在自动控制、机器人等高技术领域中有着重要应用.
但是由于结式方法可能产生多余因子,
因此多余因子的产生机理一直是一大难题.
本文通过将Dixon结式表示成原多项式系统的线性组合,
发现了Dixon结式的部分多余因子,
并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子
以及导出多项式回代产生的多余因子三大部分组成.     

多变元Sylvester结式与多余因子

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,给出了一种去掉其部分多余因子的方法.     

构造一般Dixon 结式矩阵的快速算法

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

离散数学实时判卷系统

为了解决教师作业批改任务重,反馈不及时的问题,根据离散数学课程知识体系结构、习题特点以及教学大纲要求,设计并实现了针对离散数学的实时判卷系统.该系统主要包括作业布置、完成作业、自动判卷和个性化推荐等功能模块.教师可以通过该系统布置作业、查看作业完成情况;学生可以通过该系统完成作业,包括客观题和主观题的快捷输入、自评查看等.由于实时判卷系统能将学生作业情况快速地反馈给学生和授课教师,从而有效地促使学生自主学习,显著减轻教师作业批改的工作量.