计算机验证相关论文
利用修正的齐次平衡法,通过计算机代数系统Mathematica 4.0进行验证,得到了用于描述由冷离子和热电子组成的等离子体弱非线性离子......
将三角形著名的Leibniz不等式加细、延拓为一个几何不等式链,提出并应用计算机验证了四个有关的猜想.......
对一个新的材料管理系统或新的ERP系统进行验证是项目实施中的重要步骤。本文以Weleda公司为例,说明了计算机验证ERP系统可以为一个......
加烁KASOL KS-GITS01-GC无线群控手套完整性测试仪根据 GB/T 25915,7-2010/ISO 14644-7:2004规范研发,是用于测试隔离系统(屏障隔......
由一个已知的三元二次Erdoes-Mordell型不等式的推论受到启发,得出了一个新的相类似的结果,给出了它的一则应用,提出并应用计算机验证......
应用三角形重要的加权正弦和不等式等一系列引理,建立了涉及两个三角形的一个三元二次型几何不等式,提出并应用计算机验证了三个尚......
应用作者建立的三正弦不等式的一个推论,得到了三角中的Kooi不等式的等价形式的推广,提出并应用计算机验证了三个尚待解决的猜想.......
在2025和工业生产4.0的影响下,我国越来越多的制药企业已经开始尝试实施计算机自动化系统了,由于自动化系统具有其自身的特殊性和......