说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 模态复合命题
1)  compound proposition of modality
模态复合命题
2)  modal proposition of compound form
复合模态命题
3)  compound fuzzy propositions
复合模糊命题
1.
During the development of fuzzy expert system and fuzzy control systems,we should deal with the aggregation atomic propositions in compound fuzzy propositions.
结果表明,文中给出的弱逻辑拟三角模算子可以在不同应用背景下,有效地处理不同类型的复合模糊命题真值运算,也可以在其它的模糊系统中有效处理多个模糊子集之间的聚集运算。
4)  modal proposition
模态命题
5)  compound proposition
复合命题
1.
The root of the equation “x2-x-6 =0 is x=-2 or x=3” was a compound proposition took up a higher place.
近几年,数学教育类杂志刊载的关于简易逻辑的文章不在少数,其中很多都涉及到一个代表性问题的讨论:“命题‘方程x2-x-6=0的解是x=-2或x=3'是否是复合命题。
2.
In our country, logic circles have different views on three theory problems :the definition of compound proposition , the definition of disjunctive proposition and the dignity of exclusive disjunctive proposition.
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题 ,有不同的观点。
6)  propositional modal logic
命题模态逻辑
1.
The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered, and the description of the associated Kripke semantics is given.
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述。
2.
"" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.
研究了命题模态逻辑K,K4,D,D4,T,S4的“”型模态逻辑结果的自动推理。
3.
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.
目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。
补充资料:带浮动凸模的拉伸、落料及冲孔复合模

对于拉伸件, 人们习惯于将板料预先剪裁或冲裁到一定形状后,再进行拉伸。对于有不规则法兰的凸缘拉伸件, 拉伸后必须增加切边工序才能保证工件的外形, 如果工件有平面度要求,还要增加整形工序,这就增加了工序数量。因工序数量多造成的定位误差,可能影响到产品的质量, 而且这种设计方法也不能避免手进入冲模危险区域内,不安全。


1 工艺分析


2 模具结构及工作过程


3 聚氨酯橡胶块的设计
在设计聚氨酯橡胶块外形尺寸时, 先初选预压缩量ε1 = 5 % , 终压缩量ε2 = 20 % , 然后计算橡胶高度, 再根据橡胶厂提供的有关图表和数据,计算橡胶的压缩力,最后与工件的成形力比较,如果两者不是很接近,再重选ε1 和ε2 ,直到两者相近为止。


严格来讲, 工件成形力和橡胶压缩力的计算都不是太精确,实际应用时,还需在计算基础上通过调整橡胶高度来调整橡胶的压缩力。
同时,聚氨酯橡胶组织细密,内部没有气泡和空隙, 可以认为其体积不可压缩, 因此,聚氨酯橡胶块的安放空间要根据体积不变的原则来计算。


4 凸凹模设计
工件浅圆锥台成形时, 该处材料在切向和径向均受拉应力,使工件紧贴凸模成形,而凹模部分只参与圆角R3mm的成形。故可将凸凹模成形部位的形状简化,如图3 所示。这样既不影响成形, 又有利于成形时的金属流动,降低了成形力,也提高了凸凹模的强度。
另外, 高度H设计得比浅圆锥台高4~6mm,以使凸凹模刃磨后不影响成形高度。


5 其它关键零件
拉伸凸模与固定板之间采取H7/ h6 滑动配合,固定板调质处理。拉伸压边力由4 个螺堵调节, 压料块5 及凸凹模10 工作表面粗糙度值要求低,以避免在工件表面留下压痕。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条