排序方式: 共有14条查询结果,搜索用时 31 毫秒
1.
刘大宏 《西安石油学院学报》1995,10(1):71-72
分别给出BCK-代数,蕴涵BCK-代数,BCI-代数及蕴涵BCI-代数的一个等价公理系,说明了蕴涵BCI-代数的自然推广,亦说明了蕴涵性是“双B”代数的“固有属性”。 相似文献
2.
3.
4.
5.
6.
7.
8.
9.
西龙池抽水蓄能电站施工运碴交通洞虽不是大断面隧洞,但设计采用了锚喷支护,局部围岩较差段加设钢支撑或花拱架,在开挖大跨度隧洞及其交岔口段采用预应力树脂锚杆和喷锚网钢拱架肋拱技术成功地解决了不良地质条件下的围岩稳定问题,同时巧妙布置,利用气温差自然通风替代机械通风,大大节省了运行成本。其施工简便、快速、结构简单,对工期紧张、使用条件相对较低的前期工程非常适合。 相似文献
10.