吴文俊与数学机械化

机器证明的思想可以回溯到17世纪的Descartes与Leibnize,20世纪初Hilbert更明确地提出了公理系统的机械化判定问题,但是,随后的种种努力都未能使机器证明取得本质的进展。近20年来,吴俊继承并发展了中国古代的数学思想,在定理机器证明上开创了以多项式组零点集为基本点的消元方法;吴俊的数学机械化方法已在物理规律的发现,机器人学,计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴趣,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑。     

黑石崖隧道小煤窑采空的处理

本通过对包两线神延段黑石崖隧道采空区的处理，提出了一种在特殊地质条件下进行隧道设计和处理特殊问题的方法。     

清风明月古徽州

探访古徽州一直是我心中的一个梦.最早是从图片上认识它,晓得那里有一个宏村,一个西递,有数以百计的牌坊与靠山而水的黑白民居.后来又从文字上了解,知道那片神秘的土地上,与很多名人有着千丝万缕的关系.     

新渔坝古错落体形成演变探讨

本文对阳安线新渔坝古错落体的基本特征作了阐述 ,并探讨了该错落体的变形演变过程及形成机理 ,在此基础上提出了同类地区的工作方法及建议。     

某拟建高速公路古滑坡特征及稳定性分析

滑坡稳定性评价是重大工程地质问题之一。通过对某拟建高速公路古滑坡进行详细的地质勘察并取样试验,系统地揭示了古滑坡的特征、成因;确定了滑坡计算的参数和边界条件;采用传递系数法分别对该古滑坡在工程开挖前与开挖后进行稳定性计算,认为工程开挖后,该古滑坡在降雨工况下极有可能复活,在地震工况下处于失稳下滑状态。     

村镇规划如何规避地质灾害

中国很多区域处于地震断裂带,小城镇和村庄的规划不像城市规划那样备受重视,可以自主选择地势平坦的平原或盆地中的良好位置。很多村庄和城镇沿袭了祖辈的选择,多处在地形复杂的深山中,居住地常常位于陡崖边或不稳定的斜坡上,一些居民甚至居住在古滑坡体、古崩塌体或者断裂带上,发生地震后地表错位、滑坡、崩塌、滚石、水库溃坝等灾害直接影响农村地区,因此,农村地区更容易受到地震破坏。     

大型古滑坡的防治对策研究

滑坡形成机理、稳定性评价滑坡成因分析通过对滑坡区的地质条件、滑坡特征等进行深入系统地调查研究,认为影响古滑坡发生的内部因素和外部因素主要有以下几点。内部因素。岩性不良为本区滑坡发育产生提供基本的物质条件。白鹿塬塬边边坡上覆为上百米厚黄土．下伏岩性主要为新近系泥岩、砂岩和粘土岩．胶结程度较差．在天然情况下,岩土体强度大,不易滑动。但在降雨情况下．大量地表水通过黄土入渗坡体,而泥岩、粘土岩起到隔水作用．     

张掖是否需要WRC?

尽管中国汽车拉力锦标赛(CRC)张掖站因摄影师于永钢的不幸遇难汇聚了太多的悲情与泪水,但这个古丝绸之路上的重镇未来的赛车发展方向以及何时能正式成为WRC分站一直都是关注的热点。2011年张掖首次承办CRC便得到了车队和车手的广泛好评。当时参赛人员抵达张掖只