助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   principal filter 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
数学
更多类别查询

图标索引 历史查询
 

principal filter
相关语句
  主滤子
     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-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社