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

图标索引 历史查询
 

rough equal
相关语句
  粗相等
     Rough equalities and rough equal algebras
     粗相等粗相等代数
短句来源
     The upper rough equal, the lower rough equal based on the random sets are used to express upper approximation operators and the lower approximation operators based on the random sets.
     用基于随机集的上粗相等、下粗相等来表示随机上近似算子、随机下近似算子。
短句来源
     Finally,a new algebra system called rough equal algebra has been defined.
     从粗相等出发 ,引入了一类新的代数系统——粗相等代数
短句来源
     Two algebraic systems respectively according to inclusion relation of upper and lower approximations of rough sets and the disjoint relation of negative and positive region of rough sets are defined,and it is proved that they are isomorphic to the lattice formed by rough equal classes.
     利用基本知识集,对应于粗糙集的上、下近似集对与正、负域集对,分别定义了两个代数系统,证明了它们与粗相等类集合上的格是格同构的;
短句来源
     Finally,the constructions of rough equal classes are given.
     给出了粗相等类的两种具体的结构形式。
短句来源
更多       
  “rough equal”译为未确定词的双语例句
     By rough equality of lower and upper approximations with respect to the domain of formulas, authors define the rough equality between two logical formulas, thus, defining rough equal relation "= R ". Hence, the operations of "= R " not only bring on more visual than the operations of equivalence "", but also include definable formulas in domain and indefinable or possible definable formulas in boundary.
     以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .
短句来源
     Perhaps, this is an important difference between rough logic and classical logic or other non standard logic. The rough equal relation "= R " is quoted in the rough logic, to have some relative properties and inference rules.
     这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .
短句来源
  相似匹配句对
     Rough equalities and rough equal algebras
     粗相等与粗相等代数
短句来源
     Finally,the constructions of rough equal classes are given.
     给出了粗相等类的两种具体的结构形式。
短句来源
     On Rough Algebras
     粗代数研究
短句来源
     Rough Mereotopology
     粗糙Mereotopology
短句来源
     The errors of i are equal.
     误差对每个yi都是相等的。
短句来源
查询“rough equal”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


In the paper it has been proved that the rough equality relation is a lattice congruence on Boolean algebra P(U),and the sufficient and necessary condition has been given that an equivalent relation ρ on P(U) is a rough equality relation.Finally,a new algebra system called rough equal algebra has been defined.

讨论了粗等价的性质 ,证明了粗相等关系是 Boolean代数 (2 U,∩ ,∪ ,~ )上的同余关系 ,给出了 2 U上的一个等价关系是粗相等的刻画 .从粗相等出发 ,引入了一类新的代数系统——粗相等代数

By rough equality of lower and upper approximations with respect to the domain of formulas, authors define the rough equality between two logical formulas, thus, defining rough equal relation "= R ". Hence, the operations of "= R " not only bring on more visual than the operations of equivalence "", but also include definable formulas in domain and indefinable or possible definable formulas in boundary. So, the implication φ→ψ in classical logic is moved into rough logic, it...

By rough equality of lower and upper approximations with respect to the domain of formulas, authors define the rough equality between two logical formulas, thus, defining rough equal relation "= R ". Hence, the operations of "= R " not only bring on more visual than the operations of equivalence "", but also include definable formulas in domain and indefinable or possible definable formulas in boundary. So, the implication φ→ψ in classical logic is moved into rough logic, it should be interpreted as R * (d(φ))R * (d(ψ))∧R * (d(φ))R * (d(ψ)). Similarly, the equivalence φψ in classical logic is moved into rough logic, it should be interpreted as R * (d(φ))=R * (d(ψ))∧R * (d(φ))=R * (d(ψ)). Where d(F ) is a domain of formula F, it is definable or indefinable or rough. Perhaps, this is an important difference between rough logic and classical logic or other non standard logic. The rough equal relation "= R " is quoted in the rough logic, to have some relative properties and inference rules. Authors establish a rough logical reasoning system with rough equality relation "= R ", and prove a few real examples by deductive reasoning in the system.

以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .所以 ,经典逻辑中的隐含式 φ→ ψ被移至Rough逻辑中应当解释为R (d(φ) ) R (d(ψ) )∧R (d(φ) ) R (d(ψ) ) .经典逻辑中的等值式 φ ψ被移至Rough逻辑中应当解释为R (d(φ) ) =R (d(ψ) )∧R (d(φ) ) =R (d(ψ) ) ,其中d(F)是公式F的定义区域 ,它可能是可定义集 ,也可能是不可定义集或Rough集 .这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .文中建立了带Rough相等关系词“ =R”的Rough逻辑推理系统 ,并在这个系统下用演绎推理方法证明了几个具体的实例

Tensile behaviors of 2D-C/SiC notched specimens are investigated at room temperature(RT) and elevated temperature in vacuum.The strain,stress,initial modulus and electrical resistance in the tensile progress are measured and the tensile fracture morphology is observed with SEM.The results indicate that the fracture stress of 2D-C/SiC notched specimens is smaller than that of un-notched specimens at RT.At high temperature they are rough equal and increase with temperature elevation.At high temperature,what...

Tensile behaviors of 2D-C/SiC notched specimens are investigated at room temperature(RT) and elevated temperature in vacuum.The strain,stress,initial modulus and electrical resistance in the tensile progress are measured and the tensile fracture morphology is observed with SEM.The results indicate that the fracture stress of 2D-C/SiC notched specimens is smaller than that of un-notched specimens at RT.At high temperature they are rough equal and increase with temperature elevation.At high temperature,what they are equal roughly indicates that the fracture stress of 2D-C/SiC is insensitive to stress concentration,whereas,sensitive at RT.Fracture strain of 2D-C/SiC notched specimens is far lower than that without notch.The matrix cracking stress ascends gradually with the temperature increase.Equivalent modulus of 2D-C/SiC composite notched specimens is bigger than that of samples without notch at the same temperature,both of them rise with temperature elevation,reaching up to the maximum at 1 100℃,then decrease.The damage evaluated by electrical resistance takes on lifting with temperature on the whole.There are "decline" phenomena in smaller range of load at 1 300℃ and 1 500℃.From RT to 1 500℃,all of the tensile fracture morphology show that the all of the fractures of fiber bundles vertical to load direction are smooth,and those parallel to load direction are irregular.2D-C/SiC notched specimens fracture morphology belongs to brittle rupture as a whole,but at local parts there is fiber/small fiber group pullout and this consumes more energy,that is to say,toughness mechanism exists.

研究了具有双边对称圆弧缺口(试样厚3 mm宽4 mm,缺口半径2 mm,缺口深0.6 mm)的二维正交编织C/SiC试样在室温空气中与高温真空下拉伸行;测量了拉伸过程中的应力、应变、初始模量和电阻;并用SEM观察断口。结果表明,2D-C/SiC材料除室温下缺口试样的拉伸强度低于光滑试样外,高温下两者基本相当,两者都随温度的升高变化也基本一致。高温下缺口试样拉伸强度与光滑试样相当说明,该材料对应力集中不敏感;室温时对应力集中敏感。缺口试样的断裂应变要远小于光滑试样的断裂应变。2D-C/SiC材料缺口试样基体裂纹开裂应力随着试验温度的上升逐渐增加。缺口试样的相当模量高于同一温度下光滑试样的弹性模量,两者都随着试验温度上升而增加,在1 100℃达最大值,然后开始下降。电阻表征的损伤大体上随载荷增加而增加,1 300℃和1 500℃条件下,较小载荷范围内有下降现象。从室温到1 500℃,所有断口中与载荷方向垂直的纤维束断裂面平整,平行于载荷方向的纤维束断面参差不齐。2D-C/SiC复合材料总体上仍属于脆性断裂,局部上有纤维或纤维束内小的纤维集团拔出,吸收了较多的能量,存在增韧机制。

 
<< 更多相关文摘    
图标索引 相关查询

 


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

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社