摘要：利用静态代码缺陷分析技术对软件进行早期缺陷检测,是提高软件质量的重要途径。静态代码缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已经被证实可以成功地识别出大量的软件潜在缺陷[1-3]。然而,这类工具在可用性和有效性方面的不足严重限制了它们的进一步广泛使用。可用性不足包括a)每个独立缺陷检测工具只擅于检测特定类型的缺陷,需要配合使用才能全面检测缺陷;b)每个缺陷检测工具的安装、配置和运行占用了用户大量的时间、精力。有效性不足包括静态缺陷分析结果往往存在大量误报,并且会包括许多不重要的(不会引起程序员修复行为的)缺陷报告。为了解决上述问题,提出并构建了一个易扩展的"静态代码缺陷分析"服务(Code Defect Analysis Service,CODAS)。CODAS基于一个高度可扩展的架构设计,对多个独立的缺陷检测工具进行了封装和集成,并对缺陷检测报告进行了有效汇总和排序,从而充分发挥了各个独立工具的优势,大大提升了静态缺陷分析工具的可用性和有效性。

摘要：基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.

摘要：本文首先建立了大型水轮发电机定子三维温度场的数学模型和物理模型,给出了边界条件和假设条件,同时也给出了求解域内的流场计算模型,采用有限体积法计算了通风沟内流体分布,得出了求解域内各表面散热系数。在此基础上,采用有限元法计算了排间绝缘故障时的定子温度场,并分析了导热系数的变化对温度场的影响,得出了一些有益的结果,为电机设计人员和运行人员提供一定的依据。

摘要：随着水电机组单机容量的增加,推力负荷越来越大,对推力轴承运行可靠性的要求也越来越高。目前普遍采用的钨金瓦因其设计参数已接近材料的允许极限,为保证推力轴承的可靠运行,不得不采取一些辅助设备,如利用供油系统对摩擦表面强迫供油,以增加推力轴承在启动、停机时的油膜厚度。然而,这将增加一些辅助设备,不仅使机组运行复杂,造价增加,而且当这些辅助设备损坏时(如在启动过程中油泵发生故障或者逆止阀密封破坏、高压油管破裂等),也将导致推力轴承的损坏和事故停机。为此。