两国家将非金属夹杂物检验标准JIS G 0555:2003中的点算法与GB/T 10561—2005进行了比较。结果表明:两个标准在标准演变、检验目的、取样方法、制样方法、夹杂物分类方法等方面相近,而在取样面积、放大倍数、视场及视场数选取、夹杂物...两国家将非金属夹杂物检验标准JIS G 0555:2003中的点算法与GB/T 10561—2005进行了比较。结果表明:两个标准在标准演变、检验目的、取样方法、制样方法、夹杂物分类方法等方面相近,而在取样面积、放大倍数、视场及视场数选取、夹杂物评定方法、结果表示等方面有很大的差别;JIS G 0555:2003中的点算法与GB/T 10561—2005相比,也有其科学、合理之处。展开更多
We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals.The bounds are uniform in the curve and involve the rank of the corresponding Jacobian.The method used in...We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals.The bounds are uniform in the curve and involve the rank of the corresponding Jacobian.The method used in the proof is a combination of the "determinant method" with an m-descent on the curve.展开更多
文摘两国家将非金属夹杂物检验标准JIS G 0555:2003中的点算法与GB/T 10561—2005进行了比较。结果表明:两个标准在标准演变、检验目的、取样方法、制样方法、夹杂物分类方法等方面相近,而在取样面积、放大倍数、视场及视场数选取、夹杂物评定方法、结果表示等方面有很大的差别;JIS G 0555:2003中的点算法与GB/T 10561—2005相比,也有其科学、合理之处。
文摘We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals.The bounds are uniform in the curve and involve the rank of the corresponding Jacobian.The method used in the proof is a combination of the "determinant method" with an m-descent on the curve.
