1) prime number judgment
素数判定
1.
Based on the extension and improvement of Wilson Theorem - primes judging method, this paper proposes a method of translating prime number judgment into composite number judgment, thus throwing light on prime number judgment.
得到了若干个判别整数为合数、素数的新结果,推广、改进了素数判定的wilson定理,使素数判定转化为合数的判定,在素数的判定中有新的借鉴意义。
2) judging prime numer
素性判定
3) A New Method of Judging Prime Numbers
素数判定的新方法
4) prime number verdict
素数判别
5) composite number judgment
合数判定
6) detection function
判定函数
1.
After using the detection function, the number of limit cycles can be increased from 5 to 9 when perturbation term reaches 5 degrees, and from 9 to 10 when perturbation term reaches 7 degrees.
本文用极限环理论研究了在同次扰动下 ,通过改变扰动项或增加扰动项项数而增多极限环个数的一种方法 ,使用判定函数后发现 :5次扰动下 ,该系统极限环个数可以由 5个增多到 9个 ;7次扰动下 ,该系统极限环个数可以由 9个增多到 10个 。
2.
Through detection functions we obtain the system has 13 limit cycles under the perturbed term of degree 7.
我们使用判定函数后发现 :该系统在 7次扰动下有 13个极限
3.
The bifurcation of limit cycles for a linear system with 11-degree perturbations are investigated by using the detection function method.
利用判定函数法研究了一类线性系统在11次扰动下的极限环分支,证明了这类系统至多产生5个极限环,并给出了正好产生5个极限环的条件,最后给出了一个能产生五个极限环的具体例子。
补充资料：本质不可判定理论
本质不可判定理论
essentially-undetidabfe theory
本质不可判定理论【曰”由叨y一田吐幼面b晚口峨叮;c拟e-eTne。。0.，a3少翔班胭坦T即，阳] 一个算法不可判定的逻辑理论，它的所有相容扩张也是不可判定的(见不可判定性(也d戊山腼ty)).一个初等理论间改压泊扭口山印巧)为本质不可判定理论，当且仅当它的每一个模型都有一个不可判定的初等理论.每个完全不可判定理论都是本质不可判定理论，如形式算术(面面拙度，扔m创).没有一个具有穷模型的理论可为本质不可判定理论. 一个适当的有穷可公理化的初等理论S的本质不可判定性，通常用于证明一个给定理论T的不可判定性(见「l]，[2l).在这种证明中，S在T的任何模型M中被解释.解释的定义域和S命名的元素的值，均用T的语言中相应公式在模型M中的值加以定义.如果该解释为S的模型，则T是不可判定的;而且，这个理论是拳债不可剖宇的(址淤山妞询旧山戈初以比)，即它的与T同样署名的所有子理论都是不可判定的.这个方法用来证明初等谓词逻辑、初等群论、初等域论等的不可判定性.有穷公理化的形式算术常用作本质不可判定理论S.艾达尔上同调〔启.k以‘阅劝粉;，T舰‘。从e二oroMo刀卜r皿] 在艾达尔拓扑帕欧topolo咖中的层的上同调.艾达尔上同调是按标准的方式用导出函子来定义的.设X是概形，戈:是X上的艾达尔拓扑，则戈，上的Abel群层范畴是有足够多内射对象的Ab日范畴.整体截面函子r是左正合的，其导出函子了}~H“(X，劝(这里了是X。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条