排序方式: 共有6条查询结果,搜索用时 62 毫秒
1
1.
根据忻州市玉米生产机械化发展现状,结合玉米生产的实际情况,分析了目前存在的问题,提出了促进忻州市玉米收获机械化发展的对策. 相似文献
2.
MTL代数的蕴涵滤子与正蕴涵滤子 总被引:2,自引:0,他引:2
在MTL代数M上引入了蕴涵滤子、正蕴涵滤子的概念,研究了它们的性质,给出了M的非空子集成为蕴涵滤子及正蕴涵滤子的充要条件和M的蕴涵滤子成为正蕴涵滤子的充要条件.讨论了蕴涵滤子与正蕴涵滤子的关系,得到了M的每一个正蕴涵滤子都是蕴涵滤子,但反之不真. 相似文献
3.
4.
针对开滦矿区复杂的三软煤层开采条件,以开滦某矿工作面的地质条件为例,运用计算机FLAC3D数值模拟软件系统,模拟不同煤层开采高度(4.0m、6.0m)的力学特征的采厚效应。研究表明:不同开采高度采场围岩的矿压显现差异明显。在综采开采过程中,覆岩破坏程度和发展高度一般均随采高增减而增减。随着采高的增加,开采扰动的范围和支承压力分布的范围扩大,支承压力的强度也增大,且峰值的位置超前煤壁的距离增大。由于超前煤壁的影响范围增加,有利于缓解瓦斯积聚和弹性力的能量,从而降低煤与瓦斯的动力灾害的可能性。 相似文献
5.
R_0代数的可证等价类 总被引:1,自引:1,他引:0
张花荣 《中国计量学院学报》2010,21(2)
讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当F是R0代数的蕴涵滤子时,M/F是布尔代数;当F是R0代数的极大布尔滤子时,M/F是只有两个元的布尔代数. 相似文献
6.
1