1) miniterm
极小项
1.
Through a discussion on the suffix features of miniterm and maxiterm,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。
2) minterm form
极小项
1.
To support the truth table method,the properties of the minterm form are cited.
用极小项的性质给出了真值表求法的证明 ,用公式相等的定义证明了求G的主析取范式的定理。
3) mini project
极小项目
4) minimal polynomial
极小多项式
1.
An algorithm for minimal polynomials of polynomials in idempotent matrices;
幂等矩阵的多项式的极小多项式的算法
2.
Based on the theory of cyclotomic polynomial over finite field GF(q),a fast algorithm was derived for determining the linear complexity and the minimal polynomial of periodic sequences over GF(q) with period q~np~m,where p and q are prime numbers,and q is a primitive root modulo p~2.
基于有限域GF(q)上的分圆多项式理论,提出和证明了求周期为qnpm的GF(q)上序列的线性复杂度和极小多项式的一个快速算法,这里p与q均为素数,且q是模p2的本原根。
3.
A fast algorithm is presented for determining the linear complexity and the minimal polynomial of sequences over GF(pm) with the period kn,where p is a prime,gcd(n,pm-1)=1,pm-1=kt,and n,k and t are integers.
提出和证明了求GF(pm)上周期为kn的序列线性复杂度和极小多项式的一个快速算法,其中p是素数,gcd(n,pm-1)=1且pm-1=kt,n,k与t均为正整数。
5) minimum polynomial
极小多项式
1.
Searching arithmetic about minimum polynomial of commutative fields has been given.
借助于计算功能强大的数学软件Mathematica求出了一类有限域,它们具有相同的极小多项式,由此算法求出了一类有限域,并讨论了算法复杂性。
2.
The period of the generalized Geffe shrinking sequence is proved and its linear complexity,minimum polynomials are presented in this paper.
广义Geffe缩减生成器是有限域GF(q)上q+1个LFSR s的简单组合,它是Geffe提出的Geffe生成器的推广,证明了广义Geffe缩减序列周期的猜想,并给出其线性复杂度和极小多项式。
6) common minimal polynomial
公共极小多项式
1.
Al- gorithms for computing the minimal polynomial and common minimal polynomial of this kind of matrices over any field are presented by means of the Grbner basis of the ideal in the polynomial ring,and two algorithms for finding the inverses of such matrices are also presented.
本文引入了任意域上置换因子循环矩阵,利用多项式环的理想的Gr(?)bner基的算法给出了任意域上置换因子循环矩阵的极小多项式和公共极小多项式的算法,同时给出了这类矩阵逆矩阵的两种算法最后,利用Schur补给出了任意域上具有置换因子循环矩阵块的分块矩阵逆的一个算法,在有理数域或模素数剩余类域上,这一算法可由代数系统软件CoCoA4。
2.
Algorithms for computing the minimal polynomial and common minimal polynomial of this kind of matrices over any field are presented by means of the algorithm for the Gr(o).
研究了域上首尾和r-循环矩阵,利用多项式环的理想的Gr bner基的算法给出了任意域上首尾和r-循环矩阵的极小多项式和公共极小多项式的一种算法。
补充资料：国际现代五项和冬季两项联盟
1948年成立国际现代五项联合会，1969年由于增加了冬季两项活动改为现名,会址设在瑞典兰斯克鲁纳。现代五项有50个会员协会,冬季两项有40个会员协会,正式工作语言为英语和法语。
国际现代五项和冬季两项联盟的宗旨是：推动现代五项和冬季两项运动及其附属项目综合训练的发展和技术水平的提高；促进各协会领导人和运动员之间的诚挚、友好合作，反对任何种族、宗教或政治的歧视。
国际现代五项和冬季两项联盟的最高权力机构是全体代表大会，每4年举行1次（在奥运会年的秋季召开），一个协会只有 1票表决权，可以委托投票。现代五项和冬季两项每年还分别召开 1次代表大会。单项代表大会只对与本项目有关的事宜作出决定。每个会员协会有1票表决权，可以委托投票。代表大会闭会期间，国际现代五项和冬季两项联盟的领导机构是行政理事会。理事会每年在夏、冬两季各召开1次会议。联盟的日常事务由执?形被岣涸稹Ｖ次嵊芍飨⒌?1副主席、两名执行副主席、秘书长、司库、副秘书长和副司库组成。联盟下设技术委员会、医务委员会和新闻委员会。现任主席是S.托费尔特（瑞典）；秘书长是W.格吕特(瑞典)。联盟管辖的世界锦标赛有:现代五项运动(跑、马术、击剑、射击和游泳），冬季两项（滑雪＋射击）。
国际现代五项和冬季两项联盟的宗旨是：推动现代五项和冬季两项运动及其附属项目综合训练的发展和技术水平的提高；促进各协会领导人和运动员之间的诚挚、友好合作，反对任何种族、宗教或政治的歧视。
国际现代五项和冬季两项联盟的最高权力机构是全体代表大会，每4年举行1次（在奥运会年的秋季召开），一个协会只有 1票表决权，可以委托投票。现代五项和冬季两项每年还分别召开 1次代表大会。单项代表大会只对与本项目有关的事宜作出决定。每个会员协会有1票表决权，可以委托投票。代表大会闭会期间，国际现代五项和冬季两项联盟的领导机构是行政理事会。理事会每年在夏、冬两季各召开1次会议。联盟的日常事务由执?形被岣涸稹Ｖ次嵊芍飨⒌?1副主席、两名执行副主席、秘书长、司库、副秘书长和副司库组成。联盟下设技术委员会、医务委员会和新闻委员会。现任主席是S.托费尔特（瑞典）；秘书长是W.格吕特(瑞典)。联盟管辖的世界锦标赛有:现代五项运动(跑、马术、击剑、射击和游泳），冬季两项（滑雪＋射击）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条