露天煤矿矿山地质环境因子提取与环境恢复治理分区综合评价研究

为进一步探究露天煤矿矿山的现存风险因素,以及后续的环境恢复治理路径,以西南地区渝南煤矿废弃露天煤矿矿山为研究案例,基于无人机倾斜摄影方法获取该矿山的基本影像信息,建立矿山区域三维模型图,综合应用ArcGIS、FLAC3D等软件对该矿山区域地质条件进行综合分析,明确该矿山的坡度、坡高、边坡稳定性、土地压占损毁情况、危岩分布和边坡类型分布情况。通过专家访谈法建立露天煤矿环境恢复治理分区综合评价模型,结合评价因子数据对恢复治理分区进行综合评价。结果显示:矿区土地占压与损毁严重,因此,在后续的工作中,应当对压占现有土壤的矿渣和岩石等材料进行转运,而后结合土壤污染情况实施针对性土壤治理措施。该区域存在较严重的地质环境问题,需要进行岩土工程治理。这主要是由于矿山开采放炮引起的震动,导致了不稳定的高陡岩质边坡。

Radl算法到Apla程序的生成系统

算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进行形式化推导和证明.通过深入剖析Radl算法特性,揭示Radl算法与抽象顺序程序Apla(abstract programming language)间本质关系,定义基于Radl语法产生式的Apla程序生成规则,实现了Apla程序自动生成系统,并对其可靠性进行系统研究,着重形式化验证了实现系统的核心算法.使用PAR方法开发的算法是正确的,采用形式化证明的生成系统具有可靠性保证,从而保证了算法从设计到实现的高可靠性,并通过实现自动化开发工具提高了程序的开发效率.

基于方面构件模型及其组装与实现

将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中提取出方面元素,很好地解决了传统的基于构件开发方法中构件间关注点横切所导致系统混乱的问题,提高了构件的可复用性以及软件的开发效率。

无线射频RFID识别协议自动验证方法研究

Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自稳定性,为分析与验证无线传感器网络中协议的正确性提供了一种行之有效的方法。

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。

最小测试用例集生成方法改进及应用

软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集。这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率。将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率。

论高校学生公寓火灾隐患及应对策略

加强师生的消防意识,改善高校学生宿舍消防的硬件设施,健全学生公寓消防管理体制及加大管理力度,预防高校学生宿舍火灾,显得极其重要和迫切。

论高校消防面临的问题及对策

消防工作是高校行政管理工作的重要工作,是高校安全工作的重中之重,本文就高校消防面临的问题及解决方法提出几点建议,希望与同仁们一起探讨,群策群力,关注消防,破解消防工作难题,全面推进高校消防安全工作的发展。

高校建设和谐校园的协调保障机制的构建

构建和谐校园是构建和谐社会的重要环节,本文阐述了高校在建设和谐校园中,学校全体师生员工(分为三个群体:学校管理人员、教师、学生)各自需要尽到的责任。

我国建立存款保险制度的必要性初探

存款保险制度作为一种处理金融风险的经济方法与手段,对金融业的发展具有重要的意义。从我国银行业现状来看,潜在的风险相当严重,为促进银行体系改革,所以有必要尽快建立存款保险制度。

泛型编程在面向对象语言中的对比研究

泛型程序设计通过从更高的层次对具体的算法和数据结构进行抽象,提高了软件的可扩展性、复用性和类型安全性,它主要是基于一系列自定义的类型约束而不是仅局限于预定义类型.该文对C++、Concepts C++、Java、C#以及Python等5种不同的、支持泛型程序设计的面向对象程序设计语言进行综合比较,并执行一个典型的且能够较好支持泛型编程机制的例子来分析这些面向对象语言的特征及对泛型编程机制的支撑程度,从而探寻泛型编程的本质特性,为减少程序开发的冗余、增强程序的可维护性提供参考.

岩溶地区桩基础施工技术研究

随着经济、社会的迅速发展和人口的高速增长,以及我国工程建设的大规模开展,修筑在岩溶地区的铁路、公路、桥梁、机场、水利工程、地下工程、高层建筑也日渐增多,岩溶对建筑物的危害也越来越引起人们的重视。在岩溶地区进行工程建设,首先要掌握岩溶的形态特征、发育规律及分布状况,从而认识不同岩溶作用的特点,以便因地制宜,充分利用有利条件,对不利因素采取相应的对策和措施,确实可靠地保证结构物的基础牢固地建立在岩溶体上,因此研究岩溶地区工程项目的桩基础施工对工程整体设计和施工都具有非常重要的指导意义。

软基处理深度快速计算的分析与探讨

本文结合上万高速公路软土地基的特征,将软基处理计算简化为软弱下卧层验算,采用Excel工作表进行编程,经简化计算获得最为经济的换填深度,避免了浪费,大大降低工程造价。文章最后提出可同时采用地基处理与基础尺寸变更两项措施来确保承载力满足要求,寻求施工最简化、造价最低化以及质量最可靠是未来软基处理的方向。

四川名山白马沟危岩体稳定性评价与落石轨迹分析

危岩体是指由结构面切割形成的在一定诱发因素下失稳破坏的岩体,其作为常见的自然地质灾害之一,严重影响山区人类生命财产安全。对危岩体的勘查、稳定性评价、风险评价是地质灾害预防的研究难题。受人类工程活动影响,名山县新店镇白马沟内存在多处危岩体。通过对国内外研究文献的查阅分析并结合白马沟危岩体的分布特征、发育特征、崩塌落石运动特性进行分析与研究,初步总结出了白垩系上统灌口组(K_(2)g)危岩体的形成、分布规律及成灾机理,并对该区4个危岩体利用Rockfall进行数值模拟计算,计算其运动速度及运动轨迹,计算岩石弹跳高度及距离等。为此类工程地质条件下的的危岩体稳定性评价及运动轨迹的分析提供参考,同时对于崩塌危岩体灾害预防与减灾技术研究有积极意义。

典型填土滑坡支护工程施工难点分析对策

在城市发展进程中,受场地及运距限制,弃土一直是一个大问题,不少公司、笔者为减少成本开支,往往选择就近弃(填)土,其施工工艺不按规范执行,受暴雨等影响,引发的边坡失稳,如处理不当会造成不可估量的损失,且治理费用高、施工难度大。本文通过对永州市湘江东路滑坡处治工程施工难点进行分析,并制定对策。

矿区高陡边坡生态修复技术应用分析

矿产资源是国民经济发展的重要物质基础。但是,在大规模开采推进经济发展的同时,也不可避免地形成了裸露的高陡岩质边坡,使矿区生态系统遭到严重破坏。鉴于此,本文对高陡岩质边坡特征及其危害性进行了分析,对高陡岩质边坡生态修复技术进行了探讨,在此基础上,提出了高陡岩质边坡生态修复建议。

探讨高层建筑工程深基坑支护施工技术

本文主要论述了高层建筑工程深基坑支护的特点,并介绍了几种支护技术以及支护施工要点,并从施工质量的角度,提出了几点提升支护施工质量的建议.

岩土工程勘察中水文地质的问题分析

在岩土工程勘察工作中,水文地质问题成为了其中非常重要的内容。然而,在具体的勘察阶段,可以提高岩土工程的安全性和经济性。强化水文地质勘测,避免人为因素引发岩土水文地质灾害的发生。采用科学的方法进行勘测,对勘测结果进行合理的分析,保证岩土工程的稳定性和安全性。基于此,通过探讨岩土工程勘察中水文地质的问题,旨在提供有效的优化方法和建议,以改善岩土工程勘察中的水文地质问题。

精细化管理视角下工程项目造价管理工作的开展策略

在工程项目实施过程中,工程项目造价管理对项目的成本进行全面控制和管理的一项重要工作。随着社会经济的发展和竞争的加剧,工程项目的规模和复杂性不断增加,项目造价管理也面临着更高的要求和挑战。在这样的背景下,精细化管理成为工程项目造价管理的重要视角。从精细化管理的视角出发,探讨工程项目造价管理工作的开展策略,以期能够为提升工程项目造价管理的水平和能力提供帮助。