SnO2:Pt薄膜和SnO2/SnO2:Pt双层膜气敏响应的次方因子

用粉末溅射方法制备了体掺杂型SnO2Pt薄膜和表面层掺杂SnO2/SnO2Pt双层膜,测量了薄膜在不同CO体积分数下的灵敏度和电导. 研究了两种薄膜对CO响应的次方因子,测定了工作温度和薄膜厚度对次方因子的影响.实验结果表明,由室温至200 ℃,这两种薄膜对CO气体都显示了较高的灵敏度和选择性,两种薄膜电导对CO的响应服从次方定律关系,薄膜工作温度及厚度对次方因子均有影响,次方因子在0.5～0.8之间,次方因子在膜厚60～70 nm附近存在极大值.对两种薄膜测量结果的比较说明,这两种薄膜的气敏响应主要发生在薄膜表面.     

基于用户行为和会话的Web应用测试方法

Web应用程序难以创建有效的测试用例,使其既能满足测试的需求,又能测试Web应用程序的多用户交互行为。针对上述问题,采用从Web日志数据中得到域数据创建测试用例的方法,从Web日志中获取用户行为数据和用户会话数据。提出一种基于用户行为和用户会话的测试新方法,通过实验验证该方法在功能覆盖和故障检测方面的有效性。     

具有约束条件的组合测试用例集的构建方法

针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法.该方法是对待测系统中的约束条件进行处理,将约柬条件先转化为合取范式再转化为布尔表达式的形式.利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例.最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性.     

覆盖矩阵在参数组合配对测试中的应用

在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试案例集,扩大其应用范围,提高测试效率。用.net工具实现该算法,证明其能够有效、快速地找到一个较优测试集。     

面向对象软件开发过程中演化阶段的分类法

从逻辑设计的角度,研究了一种分类方法,用于对面向对象软件系统的演化过程进行分类.该方法基于UML区分算法,将系统的一系列相邻版本的源代码所对应的逻辑设计UML类模型进行比较,产生一组描述两个版本之间结构层面上所发生修改的变化记录.从系统中每一个独立的类的角度进行分析,为每一个类生成一个演化雏形.使用该分类方法将每个类的演化雏形高层次地抽象为若干独立的演化阶段.     

可控源音频大地电磁法及在地质勘探中的应用

介绍了一种用于地球深部勘察的可控源音频大地电磁方法,该方法具有快速、受地形影响小、可穿透高阻屏蔽层等特点,并具有较大的勘探深度和较高的分辨率,其成果精度较高,且稳定可靠。将该方法用于广西桂中乐滩水库引水工程的工程地质勘察中,取得较好的效果,所布设的两条剖面勘察成果均为钻探和后期施工所证实。     

基于改进FSM的RBAC测试集约简方法

使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。     

递归程序的计算规则分析与研究

在程序设计中 ,为了处理重复性的计算 ,最常用的办法是采用递归计算。理论上讲 ,对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨 ,在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上 ,对递归程序计算规则进行了总结     

高精度电磁成像技术及其工程应用

针对长大深埋输水隧洞轴线周围的隐伏断层的空间发育,地下水活动与赋存等工程地质与水文地质等问题,在陕西省引红济石调水工程的地质勘探中,利用EH4张量电导率测量系统,采用电磁反演成像技术,重构目标体地下空间形态,对工程区域进行精细勘探,取得了较好的应用效果.该方法与传统的地球物理勘探方法比较,在勘探的深度和分辨率上均有较大提高,且快速.具有更高的稳定性和准确性.     

荧光法测定乳酸环丙沙星的含量

荧光分光光度法测定乳酸环丙沙星的含量,当缓冲溶液ｐＨ值为２．００,激发波长为２８１．５ｎｍ,发射波长为４４７．６ｎｍ处,荧光强度与浓度成线性关系。线性范围为０￣６．０μｇ／ｍＬ,平均回收率为１０４．９％（ｎ＝６）。