 全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多   principal filter 的翻译结果: 查询用时：0.006秒 在分类学科中查询 所有学科 数学 更多类别查询 历史查询  principal filter 主滤子(5)  主滤子
 Principal Filter And Implicative Filter of implication BCK-algebra 关联BCK-代数的主滤子与关联滤子(英文) 短句来源 Ⅱ)The relation between principal filter and implicative filter is given,i. e. The prinicipal filter[a] is an implicative filter if and only if (F 1)If (ab)c=1 and bc=1ac=1 for all a,b∈X,or equatively; Ⅱ )给出了主滤子与关联滤子的关系 ,即 :如果 (X ,· ,1 )是一个关联BCK -代数 ,则对每一个a∈X ,主滤子 [a]是关联滤子当且仅当下列条件满足 :(F1)如果 (ab)c=1和bc =1则a=1　　对任意a,b∈X ,或等价的 ; 短句来源 It is proved that every principal filter of any po-semigroup S can be uniquely determined by its N-classes where N is the smallest complete semilattice congruence on 5. In Particular, we prove that N is the equality relation on S if and only if S is a semilattice and N is the universal relation on S if and only if 5 is the only principal filter. 证明了任意偏序半群的主滤子都可以由偏序半群上的最小完全半格同余N的同余类唯一表示,并给出了其表示方法。 其次,证明了N是偏序半群S中的恒等关系当且仅当S是一个半格,N是偏序半群S中的泛关系当且仅当S自身是S中唯一的主滤子。 短句来源 In this paper , by principal filter of BCK - algebra , the contact has been set up between BCK - algebra and axiom system of cubic lattices and the charaterization theory of cubic lattices of arbitrary dimension has been extended. Thus M - R open problem on infinite cubic lattices is answered in the affirmative. 通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。 短句来源 In this paper,the concepts of principal filter and implicative filter of implication BCK algebras are given and some interesting results are obtained:Ⅰ)Principal filter [a] is a jion semilattice, complemented lattice and distributive lattice. 给出了关联BCK -代数的主滤子与关联滤子的概念 ,并得到了一些有趣的结果 :Ⅰ )主滤子 [a]是一个并代数、完全格和分配格。 短句来源 “principal filter”译为未确定词的双语例句
 The paper describes its principal filter method and its application in the self-alignment and self-calibration of inertial platform, information. 简要说明了它在惯性平台的自对准与自校准; 短句来源 相似匹配句对
 On the Filter 关于共轭滤波器 短句来源 The principal and structure of Active Power Filter are expatiated. 介绍了有源电力滤波器的结构和工作原理，在深入分析瞬时无功功率理论的基础上设计了谐波电流的检测方案。 短句来源 Principal Filter And Implicative Filter of implication BCK-algebra 关联BCK-代数的主滤子与关联滤子(英文) 短句来源 Decentralized Filter 分散滤波器 短句来源 Principal Projects 其他重要项目 短句来源 查询“principal filter”译词为用户自定义的双语例句

我想查看译文中含有：的双语例句  principal filter
 We prove several axiomatic and constructive characterizations, for example: geometric semilattices are those semilattices obtained by removing a principal filter from a geometric lattice. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented. The excess of a lattice L is defined by ex(L):=|L|- min{|Vx|+|Iy|:(x,y) is mismatching}, where Vx (Iy) is the principal filter (ideal) generated by x(y), respectively. For the smallest size bn of spaces S so that SubS contains a principal filter isomorphic to the power set ?(n), we show n + l(n) - 1 ≤bn≤n + l(n) + l(l(n))+2. Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices-they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. 更多 In statistical filtering methods, Kalman filtering is a typical representative. The paper describes its principal filter method and its application in the self-alignment and self-calibration of inertial platform, information. Synthesis of combined guidance, error separation after flight test and optimum evaluation of ballistic parameters. The problems presented and the possible development trend in the future are also pointed out. 本文叙述了统计滤波方法中具有典型代表性的卡尔曼滤波的基本方法。简要说明了它在惯性平台的自对准与自校准;复合制导中的信息综合以及飞行试验后的误差分离和弹道参数最佳估计中的应用。指出了应用中尚存的问题及今后的可能发展。 In this paper , by principal filter of BCK - algebra , the contact has been set up between BCK - algebra and axiom system of cubic lattices and the charaterization theory of cubic lattices of arbitrary dimension has been extended. Thus M - R open problem on infinite cubic lattices is answered in the affirmative. 通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。 In this paper,the concepts of principal filter and implicative filter of implication BCK algebras are given and some interesting results are obtained:Ⅰ)Principal filter [a] is a jion semilattice, complemented lattice and distributive lattice.Ⅱ)The relation between principal filter and implicative filter is given,i.e. The prinicipal filter[a] is an implicative filter if and only if (F 1)If (ab)c=1 and bc=1ac=1 for all a,b∈X,or equatively; (F 2)If c≤ab and c≤bc≤a... In this paper,the concepts of principal filter and implicative filter of implication BCK algebras are given and some interesting results are obtained:Ⅰ)Principal filter [a] is a jion semilattice, complemented lattice and distributive lattice.Ⅱ)The relation between principal filter and implicative filter is given,i.e. The prinicipal filter[a] is an implicative filter if and only if (F 1)If (ab)c=1 and bc=1ac=1 for all a,b∈X,or equatively; (F 2)If c≤ab and c≤bc≤a for all a,b∈X. 给出了关联BCK -代数的主滤子与关联滤子的概念 ,并得到了一些有趣的结果 :Ⅰ )主滤子 [a]是一个并代数、完全格和分配格。Ⅱ )给出了主滤子与关联滤子的关系 ,即 :如果 (X ,· ,1 )是一个关联BCK -代数 ,则对每一个a∈X ,主滤子 [a]是关联滤子当且仅当下列条件满足 :(F1)如果 (ab)c=1和bc =1则a=1　　对任意a,b∈X ,或等价的 ;(F2 )如果c≤ab和c≤b ,则c≤a　　　对任意a,b∈X 相关查询

 CNKI小工具 在英文学术搜索中查有关principal filter的内容 在知识搜索中查有关principal filter的内容 在数字搜索中查有关principal filter的内容 在概念知识元中查有关principal filter的内容 在学术趋势中查有关principal filter的内容

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索 2008 CNKI－中国知网 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社