GC/MS研究茶叶中拟除虫菊酯类农药残留的提取方法

针对茶叶中拟除虫菊酯类农药残留的提取方法进行研究,比较了加水浸泡对农残提取的影响。结果表明,加水浸泡的样品农残提取率反而降低,通过对样品净化淋洗剂种类和体积的优化选择,总结出一套简便实用的前处理方法。茶叶不用水浸泡,直接用50 mL V（丙酮）∶V（正己烷） =1∶1的溶液超声提取,提取液过活性炭柱,浓缩后再过Florisil柱,用15 mL V（正己烷）∶V（乙酸乙酯）=2∶1的溶液淋洗,浓缩后用GC/MS法测定。回收率为81%~120%,RSD为2.2%~7.8%,检测限为0.002~0.01 mg•kg^-1。     

程序设计法则

本文对Dijkstra的不确定性顺序程序设计语言,给出完整的一组代数法则。用Scott的域论把迭代和递归解释为连续泛函的不动点。提出了类似于最弱前置谓词的演算,以帮助人们从程序的规格说明中推导程序。     

程序的结构化和变换

本文在Prather程序分解理论和Williams程序变换的基础上,把非结构程序归结为由二种基本非结构情况造成,提出并实现了把非结构程序变换为等价的结构程序的一组变换和算法。本文提出的把分解和变换结合在一起的算法具有一定的简捷性。     

通信顺序进程的证明规则

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。     

循环断言生成系统

本文提出一个在WANG-2200计算机上实现的循环断言生成系统,它不仅对没有数组的循环程序而且对具有数组的循环程序都能生成循环断言。     

FFT处理机的形式化模型及正确性验证

快速傅立叶变换的应用领域非常广泛,其硬件实现方法多种多样,验证这些电路的正确性具有很强的实用价值。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是随着参与运算的点数的增加,穷尽模拟全部输入情况所耗费的时间越来越长,甚至难以实现。而形式化方法使用纯数学手段证明电路的正确性,克服了传统方法的缺点。首先用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,然后给出它的正确性验证,探索了验证处理复数的复杂电路正确性的方法。     

基于连续消除的六边形自适应搜索算法

结合连续消除算法提出了一种新的运动估计算法——基于连续消除的六边形自适应搜索算法，该算法采用六边形和小菱形搜索模板，并利用连续消除算法对每个待匹配点进行判断，减少待匹配点的个数。试验结果表明，该算法的搜索速度优于现有的快速运动估计算法，搜索精度接近于全搜索算法。     

基于GIS的地层信息数据库在线路工程中的应用

新建线路经常会交叉穿越若干条已经建成线路,已建成线路交叉处的杆塔位地层信息对新建线路具有借鉴、引用以及互相验证作用。本文通过具体实例,介绍对已建成线路杆塔位地层信息建立数据库的方法,以便于杆塔位地层信息浏览、查询与管理。