110kV单相接地短路对220kV联络变中后备保护的影响

按常规，方向指向变压器的220kV侧复压闭锁方向过流保护和方向指向母线的110kV零序方向过流保护，从方向上看均可作为110kV线路单相接地的后备保护，方向指向变压器的110kV侧复压闭锁方向过流保护作为变压器及其他两侧相邻元件的后备保护，从方向上看不应该作为110kV线路单相故障的后备，因此其时限上可以不和220kV侧复压闭锁方向过流保护相配合。可情况真是这样吗？     

路径测试中基本路径集的自动生成

路径测试是一种重要的白盒测试技术，具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支，该文测试了基本路径集中的路径，在测试资源有限的情况下得到较好的测试效果，并提出了基于图的深度优先搜索的基本路径集的生成方法，该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程，提高路径生成的效率。 关键词：     

基于面向对象语言和MapX组件的雷电定位监测系统

采用面向对象语言Delphi集成MapX组件进行地理信息系统GIS开发．解决了雷电数据在电子地图上的处理与显示问题。文中详细介绍了MapX组件的引入、地图数据的预处理以及雷电数据同地图的绑定。对将GIS引入到气象业务中进行尝试。     

利用变量状态转换模型进行部分软件错误的检测

应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。     

数据流相关软件故障的静态检测

建立了数据流相关的软件故障模型，对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析．该类故障的检测需要数据流分析的支持．基于程序控制结构的精确数据流分析方法，充分考虑了不同程序路径上变量的定值情况，在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息．根据引用-定值链建立的故障诊断规则，为有效地进行故障检测提供了依据．     

程序中不可达路径的检测方法

对于大型软件来说，程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响，有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过对条件分支相关性的探测进而确定了程序中的不可达路径，并通过适当地选取条件谓词，提高了检测分支的覆盖率。     

动态内存错误的静态检测

内存泄漏、空指针引用等动态内存错误在C，C 等支持动态内存操作的程序中普遍存在．在程序中，动态内存管理错误是导致动态内存错误的根本原因．动态内存错误的静态检测方法是在对程序进行静态分析的基础上，应用路径别名分析方法，确定动态内存变量之间存在的过程内和过程间的路径别名关系，在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析，以确定程序中存在的动态内存错误．     

软件原型开发中领域知识的研究

为使领域知识更了的支持领域的应用软件的开发,本提出了一种领域知识分类与管理的方法。在此基础上,通过使用基于领域知识的软件原型支持工具,进行原型的快速开发 。     

地尔硫(艹卓)联合低分子肝素治疗慢性肺源性心脏病的临床观察

目的观察地尔硫联合低分子肝素治疗慢性肺源性心脏病的疗效。方法随机将54例确诊为慢性肺源性心脏病患者分为治疗组和对照组,两组抗感染药物、氧疗等常规治疗不变,治疗组加地尔硫联合低分子肝素治疗,分别在治疗前,治疗后1,2,4周行心电图、心脏彩超、血气分析、6min步行试验,对心功能Borg呼吸困难与疲劳评分。结果治疗组的肺动脉压较对照组下降更显著,心功能分级6min步行试验显著改善(P<0.05),不良反应事件少。结论地尔硫联合低分子肝素治疗慢性肺源性心脏病效果显著可靠。