排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
2.
本文讨论了高耸构筑物在复杂环境中爆破拆除时,爆破倒塌方案的选取、爆破切口形式和起爆系统的设计、爆破飞石的控制、爆破振动防控处理等各个环节的特点和处理方法,并结合某厂45 m烟囱爆破拆除实例,介绍了该类建构物在复杂环境下爆破拆除时各环节的处理过程。实践表明,复杂环境下高耸构筑物通过周密的设计和严格的防控措施是能有效控制爆破危害,取得良好的爆破效果的。 相似文献
3.
关于MV-代数的逻辑性质 总被引:2,自引:0,他引:2
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。它通过逻辑的观点,更进一步观察MV-代数的模型论性质。在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备。 相似文献
4.
在[7]的基础上,对变精度粗糙集模型的部分性质进行了推广,即通过引进一对新的算子,把并与交的β上下近似集之包含关系推广到了相等关系,从而得到了更好的结果. 相似文献
6.
7.
8.
在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的基本性质. 相似文献
9.
在覆盖S-粗糙集模型的基础上,给出了变精度覆盖S-粗糙集模型及其有关性质.即:(1)X(∈)(∈)(∈)β(X);(2)覆盖上(下)近似算子相对分类误差β具有单调性,β覆盖边界域相对分类误差β也具有单调性. 相似文献
10.
引进覆盖粗糙集模型的一对增值算子,并讨论它们的有关性质,即通过定理2和定理3,给出并证明了定理4. 相似文献