共查询到20条相似文献，搜索用时 31 毫秒
1.
刘晓慈 《海南大学学报(自然科学版)》1995,(4)
国内现行普通物理教材中的电磁感应部分．都介绍了电子感应加速器中的环形感生电场，但是基本上未加证明．本文用磁场矢势的概念，对该问题作了严格证明． 相似文献
2.
熊桂武 《重庆师范大学学报(自然科学版)》2003,20(4):88-90
针对不同的问题，通过构造适当的概率模型，运用概率论方法对一些常用不等式加以证明。阐述了概率方法在不等式证明中的应用，显示了概率应用的巧妙性和优越性，同时可以使其证明简化。 相似文献
3.
反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的证明中，从而给出了两类反演关系的机械化证明方法。 相似文献
4.
5.
6.
蒙诗德 《高等函授学报(自然科学版)》2009,22(4):56-58
不等式的证明是数学分析中的一个常见问题，其证明方法灵活多样，技巧性和综合性较强，本文例说应用微分法证明不等式几种方法。 相似文献
7.
8.
9.
邱志鹏 《安徽师范大学学报(自然科学版)》1999,22(1):7-9
利用文［１］、［１］中无限维动力系统一致持续生存的结果分析了文［３］中的模型，得到了和文［３］相一致的一致持续生存的充分条件。但本文的证明方法简化了文［３］中的证明，且本文的证明方法较文［３］更易推广和改进。 相似文献
10.
本文根据微积分的有关概念与定理，采用举例的方式归纳和总结了微积分知识在不等式证明中的几种常见方法和技巧，突出了证明不等式的基本思想和方法。 相似文献
11.
13.
进一步探讨了在文献[1]中建立的数阵中的不等式性质在不等式的导出与证明中的应用，通过设计适当的非负数阵，给出了10个著名经典不等式的构造性证明，其中4个还得到了推广，最后，提出了研究更一般矩阵元素间的不等关系问题。 相似文献
14.
王宏志 《浙江万里学院学报》2012,25(1):19-23
行政处罚事实认定标准是行政处罚程序中的查明事实行为，是自向证明活动，具有客观真实的实体性倾向。行政处罚事实认定证明标准是行政机关向人民法院证明行政处罚事实依据的证明程度，是行政机关的证明事实行为，是他向证明活动，具有法律真实的程序性倾向。行政诉讼证明标准与行政处罚事实认定标准相互影响，行政处罚事实认定证明标准具有多元性。 相似文献
15.
夏尊铨 《大连理工大学学报》1986,(Z1)
本文对于ＶＤ ２算法中的充分条件给出了证明。通过文中的证明，给出了对于这一充 分条件所作的深入研究的结果，使得条件的含义更加准确，从而在计算中能够有效地使用 它。 相似文献
16.
17.
在实际应用中，讨论调度策略的稳定性至关重要。以往研究在给出时清空最大缓冲器调度策略稳定性的证明时，证明复杂、繁琐。笔利用动态系统的Lyapunov理论，给出了调度系统中的Lyapunov函数，证明清空最大缓冲器调度策略稳定性。 相似文献
18.
实二次型的半正定性及应用 总被引：1，自引：0，他引：1
杨文杰 《渤海大学学报(自然科学版)》2004,25(2):127-129
讨论了实二次型的半正定性，介绍了其在证明不等式中的应用。尤其是证明一般的初等不等式，对如何用高等数学方法解决初等数学问题作了一点尝试。 相似文献
19.
在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。 相似文献
20.
在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的 相似文献