含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。     

数学的普遍实用性

在现代社会里，能源主要靠电，电是几乎无所不用，无所不在，如果突然停电的话，对我们生产和社会会产生很大的影响。在那些经济非常发达的地区，如果说突然停电的话，会造成几亿甚至于几十亿美元的损失，那么供电的安全就是一个重要问题。实际上供电现在不是靠一个电厂，而是靠一个大的地区的电网，这个大的电网由若干个电网组成，而每个电网又包含了一些发电厂，每一个发电厂的生产可以通过一组偏微分方程来描述。     

一个加权的Erdoes—Mordell型不等式的指数推广

考虑了作者在文献[1]中给出的一个加权Erdoes—Mordell型不等式的指数推广，得出了两个类似的结果．提出并应用计算机验证了一个更一般的猜想。     

挖掘课本习题 培养思维品质

本文就全日制普通高级中学教科书(试验修订本·必修)中一道不等式的习题,师生共同研讨,循序渐进地进行了引申,培养了学生良好的思维品质,学生解一题而通一类,大大减轻了学生的课业负担。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

借用平抛运动辨析矢量、标量的求和

我们知道，矢量的合成遵守几何法则(平行四边形定则或三角形法则)；而标量的合成遵守代数法则。但在平时的教学中却发现许多同学对矢量遵守的平行四边形定则心存疑虑，解题时不能很好地应用。甚至有的同学在对标量求和时错误地应用了平行四边形定则。下面我们借用一道平抛运动的习题，来对上述问题作一辨析。     

任意循环的卡诺循环分解的综合讨论

综合讨论了任意循环的两种卡诺循环分解法 ,指出不能采用“串联”分解法来证明任意循环效率的极限 ,但可用这两种分解法来证明克劳修斯等式和不等式 ,同时指出了一些文献在涉及该问题时所存在的不妥之处。     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.     

桥梁结构截面特性计算的梯形分块法

本文具体阐述了桥梁结构常用截面几何特性计算的基本原理,探讨了桥梁结构常用截面几何特性的电算方法,可供从事悬索桥设计与施工的人员参考。