共查询到19条相似文献，搜索用时 171 毫秒
1.
刘保乾 《广东教育学院学报》2013,(3):14-24
提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010的功能,得到应用程序xhhj;给出了大量类型丰富的不等式(恒等式)自动发现实例;加强或推广了一些著名不等式;顺便评价了杨路教授的有关工作;提出了待解决的问题. 相似文献
2.
3.
刘保乾 《广东教育学院学报》2014,(3):6-14
根据智能模拟思想,设计了2个自动出题程序和3个多项式数据通用构造程序,这些程序不仅进一步完善了agl2012程序的功能(特别是教学辅助功能),也为用智能模拟思想进行研究提供了实例;结合具体例子对智能模拟思想进行了新的论述和补充;提出了待解决的问题. 相似文献
4.
不等式研究的几个新结论和新问题 总被引：6，自引：0，他引：6
讨论了带条件约束的差分代换证题方法和三角形几何不等式成立的2个重要条件;验证了轮换对称多项式基本定理猜想;得到了若干不等式新结论;提出了5个不等式新问题。 相似文献
5.
生成运算及其在证明多元对称不等式中的应用 总被引：11，自引：6，他引：11
刘保乾 《广东教育学院学报》2005,25(3):10-14
证明多元对称多项式不等式的生成法和这种方法下的生成运算；定义差分代换、对称多项式不等式取等的比值和扩展基本不等式等重要概念；发现若干含参多元对称不等式，并给出了应用方面的例子． 相似文献
6.
白淑君 《陕西理工学院学报(社会科学版)》1994,(Z2)
1943年,Pedoe发表了被他称为“第一个涉及两个三角形”的不等式,自此以后,几何不等式的研究更加活跃.近年,国内发表了若干很有意义的几何不等式,如高灵不等式、安振平不等式等.受这些结果的启发,本文给出4个涉及三角形边长及其外接圆半径的不等式,并说明它们的三角本质. 相似文献
7.
正不等式问题是中学数学代数问题的基础和重点,在解决有些不等式问题时,特别是一些分式不等式和根式不等式,从整体上考虑往往难以下手,可以构造若干个结构完全相同的局部不等式来解决,只要局部不等式构造好了,解决这些不等式问题就方便得多了.下面结合一些具体例题谈谈如何利用局部不等式来解决问题. 相似文献
8.
在中学和大学的教学中,关于不等式的证明方法,已有较多的人做了研究,较详细地介绍了证明不等式的若干种常用的方法,笔者在教学中发现,结合利用定积分的几何意义和平面图形的面积大小关系,来证明某些不等式,学生更容易理解,证明过程也更简单. 相似文献
9.
对若干几何不等式或代数不等式进行逆向思考，得出了相应不等式的上界估计及不等式链，同时提出几个相关猜想祈教于同行。 相似文献
10.
11.
12.
13.
14.
张雁 《江苏广播电视大学学报》2001,12(6):43-44,59
在文中，我们建立了一个积分不等式，著名的Hardy不等式和Carleman不等式是文中的特例，并且由此积分不等式推导出一些其他重要的不等式。 相似文献
15.
陈红梅 《商丘师范学院学报》2001,17(4):110-112
在数据库应用系统中，一些程序的模式基本上相同，针对这种情况，利用计算机完成程序的自动编制任务，从而避免大量的重复操作，具体实施过程是，首先根据输入条件，设计样本程序，然后生成所需要的程序。 相似文献
16.
在用自动网格法做大模型试验之前，先做了一个刚体移动实验对自动网格法测试系统进行了标定。在一张纸上生成网格点，将纸固定在平移台上，再将平移台放在防震台上。平移台的移动由带有刻度的螺拴控制。网格点每移动一步，用CCD摄像机拍下网格点，用专用程序提取位移信息。通过标定，认为这套测试系统是可行的。最后讨论了影响本次精度的因素。 相似文献
17.
18.
张家昕 《淮南师范学院学报》2006,8(3):45-46
概率论是数学的一个重要分支,不等式的证法是多种多样的。文章借助概率空间中对应的形式来证明数学中一类常用的不等式,用以显示概率论思想在解决某些数学问题时所具有的独特功能,同时也揭示概率论与其他数学分支之间的关系。 相似文献
19.