蟛蜞菊化学防治研究

利用两种常用的除草剂草甘膦和克无踪对野外及盆栽的蟛蜞菊进行杀灭试验，结果表明：利用克无踪杀灭蟛蜞菊用药量少．见效快．克无踪200倍液对蟛蜞菊有较好的抑制效果，但药效期短，对蟛蜞菊起不到彻底防治的作用；草甘膦药效慢但持久，100倍以上的浓度对蟛蜞菊有较好的控制作用，是防治蟛蜞菊的适合药剂。     

建筑火灾事故的混沌特性及其控制方法研究

针对火灾事故的严峻形势,在建筑火灾事故特性进行分析的基础上,应用混沌理论对建筑火灾事故的混沌特性及控制方法进行了初步探讨,并初步建立建筑火灾事故混沌特性分析模型,对预防和控制建筑火灾事故的发生具有指导意义.图3,参8.     

上海软土冻结加固冻胀防治技术的模拟试验研究

结合上海地铁建设工程实际，采用模拟试验的方法，分别对预留管拔除法和热盐水循环法抑制冻胀的机理、防治冻胀的效果以及影响冻胀的相关因素进行综合分析和试验研究，从而为上海软土冻结加固冻胀的防治提供了理论依据和有关的参考数据。     

生物入侵的危害、原因及防治措施

从生物入侵对经济的影响,对生态系统及人类健康等方面的危害入手,对生物入侵的原因及入侵机理进行了分析,并对其防治措施提出一些建议.     

磷肥对苎溪河的污染初探

由于施用不当，磷肥对苎溪河的水环境造成了一定的污染；在讨论磷肥对苎溪河污染的现状、原因等基础上，提出一些防治对策．     

煤炭城市自然灾害的防治及可持续发展的探讨

从煤炭城市可持续发展的角度出发，对采煤引起的自然灾害进行了系统的论述，并为煤炭城市可持续发展战略的顺利实施提出了切实可行的防治对策。     

森林火灾的烟尘危害及烟呛救护

论述了森林火灾发生的条件及在燃烧过程中产生的烟尘危害，针对防火队员进行救护教育要求，在扑救森林火灾过程中扑火人员应密切注视火势，在遇到各种紧急情况时，学会避险和突围，必要时采取自救措施，把扑火人员的伤亡降到最低限度。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

乐果在环境水体中消解的影响因素与污染防治

近年来我国高毒性和具有“三致”作用的水溶性农药对环境水的污染受到人们的普遍关注，作为危险级水溶性农药的代表——乐果对环境水中的污染日趋严重，为此，通过对稻田环境水乐果流失量的估算，结合国内外研究成果，就乐果在环境水中消解的影响因素与污染防治对策进行了综述。     

深井硬岩矿山岩爆灾害防治研究

采用室内试验、数值计算和现场岩爆研究相结合的综合研究方法,以冬瓜山矿床开采为对象,对深井矿床开采岩爆防治进行了系统的研究.由矿岩力学试验,采用岩爆综合评判指标确定了矿岩的岩爆倾向性,指出岩爆倾向性具有本源性和诱导性两种属性;电镜试验、物理模型试验和现场岩爆研究发现岩爆主要由张拉断裂引起,具有明显的岩石破坏和工程施工异常性前兆;现场岩爆研究和数值计算表明岩爆危险区位于应力集中、能量贮存大及具有快速释放能力和条件的区域;从岩爆预防角度,采用数值分析方法以能量释放率为衡量指标,对采场结构参数、开采步骤等进行了优化;从减少能量贮存、控制能量释放、采用柔性支护和建立岩爆监测系统4个方面,得出了具体的岩爆防治措施.图3,表2,参11.