软件测试工具综述

系统地介绍了软件测试的方法,提出一种对软件测试工具的分类方法,分别介绍了白盒测试工具、黑盒测试工具、专用测试工具、测试管理工具以及辅助测试工具,最后指出在实际应用中测试工具的选择方法以及自动测试工具的局限性.     

基于故障传递概率的故障源位置诊断方法

提出一种基于故障传递矩阵的大系统故障源位置确定方法.它利用能观察到的装置的输出信息,结合故障传递矩阵和装置的历史信息来确定故障源位置.仿真结果表明所提出的方法简单有效,特别适用于复杂系统的故障源诊断.     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

光刻图形转移技术

通过对预烘、光刻胶旋涂、软烘焙、对准曝光、后烘、显影、坚膜的光刻工艺过程分析,主要介绍了光刻工艺中容易出现的问题及解决方法,并通过实验和分析得出了可靠的技术方案.     

透射式小型光学相关器的光学设计

光学相关探测与目标识别是光学信息处理范畴。利用光学相关原理对搜索探测的目标进行实时探测,自动识别,高精度定位,结合电寻址液晶和CCD达到实时联合变换相关。所以有处理速度快,结构简单,并行度高,容量大的优点。光学相关器即傅立叶变换透镜是光学探测装置的核心。本文总结了傅立叶变换透镜的发展过程,并设计了一个小型傅立叶变换透镜。先用P,w法计算出光学系统的初始结构,再利用光学设计软件Zemax自动优化,进行象差校正,最后使该系统能满足光学相关探测的要求。     

还贷性高速公路成本分担比例及计算方法

为了公平地对还贷性高速公路成本进行分担,在分析了各种定价方法如何分担成本之后,以公共产品理论界定了还贷性高速公路产品属性,结合"受益支付主体相一致"的原则,提出成本应由使用者和政府共同承担的观点,认为影响分担比例的因素为政府收益和使用者收益;厘清政府和使用者收益的概念之后,用投入产出表建立政府收益的核算方法,综合速度-流量模型、速度-油耗模型以及旅客和货物时间价值模型构建使用者收益的核算方法,最后给出成本分担比例计算公式。研究结果表明:在算例的环境中,使用者成本分担比例取53.85%~83.82%为宜;根据成本分担比例定价,使公路收费更加公平。     

多频调制信号通过失谐电路的数学表示与波形

给出了多频调制信号通过单谐振失谐电路的数学表达式，用科学与工程计算软件(MATLAB)实现了对信号的分析与描绘．通过改变程序中的电路参数或者信号参数，可以模拟多种情况下的信号时域波形，从而对信号通过谐振电路进行理论分析或对电路进行改进．     

帕金森病步态障碍发生机制及动物模型

帕金森病(Parkinson’s disease, PD)是一种常见的神经退行性疾病,在65岁以上的老年人群中的发病率约为1%. PD通常伴随着静止性震颤、步态障碍、运动迟缓、肌僵直和姿势不稳等症状. PD病因极为复杂,可能与年龄、遗传、环境及行为习惯等因素的交互作用有关.步态障碍是PD患者常见的致残症状,通常表现为步态速度降低、步长缩短、僵直程度上升和步态节律受损等;步态障碍随着病情进展而恶化,严重影响患者的运动独立性和生活质量.本文总结了运动控制的神经环路和异常步态的表型,归纳了PD动物模型特别是啮齿类动物模型的造模原理和特点,探讨了异常步态的发生机制和治疗康复进展.最后,对PD动物模型的步态控制研究方向进行了展望,并提出了可能的解决方案,以期为人类治疗PD相关症状提供诊疗思路.     

混联式混合动力客车控制策略参数优化研究

文章针对传统遗传算法(genetic algorithm,GA)易陷于局部收敛和"早熟"的缺点,提出了基于自适应交叉概率和变异概率的改进GA,并通过Ackley函数寻找全局最小值证明了该改进GA的有效性;根据混联式混合动力城市客车的结构特点,制定了逻辑门限值整车控制策略,并采用Matlab与Cruise联合仿真的方式,建立了整车动态性能仿真分析模型;以百公里油耗为优化目标,运用改进GA,分别针对中国和欧洲典型的城市公交循环工况对控制策略参数进行优化,得到了最优解。结果表明,优化后的百公里油耗分别改善了20.29%和9.29%。     

化学反应中吉布斯自由能不同表示方法的区别与联系

本讨论了化学反应中吉布斯自由能不同表示方法（△rG,△rGm,△rG∧Фm,（∨eG/∨eξ）T,P）的区别和联系。