GC/MS技术在蔬菜农残快速检测中的应用

采用GC／MS技术对上市蔬菜中有机磷类农药残留同时进行测定。蔬菜样品经超声波提取、简单的净化处理后可直接进样分析。样品加标回收率在70％-127％之间，检测限为0．02-0．20mg／kg。结果表明，该分析方法简便、快速、准确，适用于蔬菜中农残的定性定量分析。     

提高自主创新能力的理论与对策研究

创新是一个民族进步的灵魂,是国家兴旺发达的不竭动力。一个国家、一个民族要真正赢得发展、造福人类,必须注重自主创新。从中医中药、丝绸陶瓷、十进位制到“四大发明”,千百年来,中华民族生生不息、创新不已,用智慧和汗水锻造出众多影响世界历史进程的创新成果,为人类的文明进步作出了重大贡献。     

STL中Generic算法的扩展

Generic程序设计是实现软件重用的重要方法之一，文章介绍了generic程序设计与C＋＋标准模板库（STL），探讨了STL中generic算法的扩展方法。     

网络应用中的用户认证方法

近年来,计算机网络的飞速发展,特别是Internet的广泛应用,网络应用的发展也产生了新的问题——系统安全。特别在刚刚兴起的电子商务面前,信息网络安全问题更显得严重。简单地说,任何人都希望在Internet上发送或接收信息能得到安全保证,如信息不会被别人窃取、篡改,对商家、银行而言更为关心电子支票、电子合同、密码、账号的安全发送,以及确认发送与接收者的身份。     

命令的指称语义在谓词域上的一种表示

文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的.     

不恢复余数阵列除法器的形式化描述和验证方法

本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本文成功地用重写归纳法对它进行了描述和验证,说明重写归纳法在硬件电路正确性验证方面有广阔的应用前景。     

一种改进的功能点分析方法

功能点分析是一种广泛使用的软件功能规模度量方法，它不依赖于实现语言，度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足，提出了模糊功能点分析方法。该方法能更准确地估算出功能点数量，具有很强的实际可操作性。     

复杂流道构件组合放电加工技术研究

复杂流道构件的高效、高精度加工是液体火箭发动机的核心制造技术之一,随着发动机涡轮泵功率及涡轮效率的不断提升,涡轮泵复杂流道构件的加工去除量大幅增加,同时对加工精度的要求也越来越严格。故提出了高速放电铣削粗加工与多轴联动电火花成形精密加工复合的加工工艺,通过对复杂流道构件的高速放电铣削加工电极损耗补偿和多轴联动电火花成形加工轨迹规划等技术的研究,实现了复杂流道构件的高效、高精度放电加工。     

一种改进的功能点分析方法

指出了功能点分析（Function Point Analysis,FPA）方法的复杂度等级划分标准的不精确性,提出了一种改进的FPA方法。该方法运用数值分析中插值函数的思想,将复杂度矩阵拟合成连续的复杂度函数,从而产生新的复杂度等级来扩展FPA复杂度矩阵。利用一个度量实例与已有的改进方法进行了比较。     

基于重写的成批归纳证明技术

1 引言 归纳法是刻划软硬件行为和性质的一种重要方法,归纳证明的自动化始终是一个研究热点.近二十年来,涌现出了大批证明方法和实验系统.这些成果大致可分为两类:第一类方法使用项结构上的显式归纳论证,其典型工具是1979年由Boyer和Moore提出的NQTHM证明器[1].