软件测试中的新方法--区间代数方法

软件测试是提高软件可靠性、保证软件质量的重要手段,尤其在航天领域软件的研制过程中,软件测试更是起着至关重要的作用。但是,传统的软件测试方法在软件测试的某些方面还不尽人意,特别是对航天领域软件中涉及大量数值计算模块的测试更是力不从心。为此,提出软件测试的区间代数方法,能够很好地弥补传统测试方法在这方面的局限,发挥更好的作用。     

王屋水库科学调度洪水增效益

王屋水库位于龙口市黄水河中上游 ,控制流域面积 32 0 km2 ,总库容 1.2 1亿 m3,兴利库容 0 .72 5亿 m3,是集防洪、灌溉、城市供水、养鱼多种功能于一体的大(二 )型水库 ,也是龙口市最大的城市生活用水、工业用水水源地。王屋水库大坝距黄水河入海口 2 5 km,其间建有 6座自动翻板拦河闸和 1座地下水库 ,6座拦河闸一次拦蓄总量为 4 5 4.5万 m3,地下水库的总库容为 5 0 0 0万 m3。 2 0 0 3年 ,王屋水库洪水调度采取下游拦河闸、地下水库联合防洪、蓄水、补源的科学措施 ,成功地进行了洪水资源化的实践。1　 2 0 0 3年洪水特点王屋水库控制流域…     

基于双排队系统的软件可靠性增长模型

针对基于有限排队系统的软件可靠性增长模型(SRGM)忽略软件交付与检测之间的时间延迟问题,提出双排队系统建模技术,构建一个引入故障检测等待延迟和排错等待延迟的SRGM。建模中考虑测试工作量函数(TEF)参与构成的复合型故障检测率(FDR)和不完美排错现象,在4个公开发表的失效数据集上与5个经典SRGM进行比较与分析,验证建立模型的拟合能力和预测能力。实验结果表明,建立的模型在软件可靠性评估和预测方面具有良好性能。     

轧机配电系统末端电压谐波抑制及应用

针对配电系统非线性负载造成系统电力污染,影响电力系统末端用电装置的正常使用,通过对工业现场电能质量情况的测试分析和建模理论仿真,提出解决配电系统电压污染的方法,并以实际应用为例进行验证.