基于操作概图的软件系统测试

介绍了操作概图的基本概念及其列表表示法和图示表示法,提出了操作概图的多级列表表示法。说明了操作概图的开发方法,包括操作发起者标识、表示方法选择、操作列表创建和发生概率确定。讨论了基于操作概图的软件测试方法,主要包括测试用例数确定、测试用例数分配、测试用例确定和失效密度分析。

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统，对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂，使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例，介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式，并确定每个操作模式所运行的相关软件；然后给出了识别每个软件的操作发起者和操作方法；最后对不同类型的操作给出了确定其发生概率的方法。

一种基于多层概图的高维聚类算法研究

提出一种基于多层概图的高维聚类算法 ,通过定义对象属性分布特征向量和对象间属性分布相似度 ,建立数据对象之间的联系 ,构造基图 ;运用边抽取法产生一系列逐步缩小的概图 ;并应用图分割法对最小的概图进行分割 ;概图分割反向映射到原始数据集 ,形成最终的聚类结果。分析表明 ,该算法可以有效地进行聚类知识挖掘。

基于SuperMap Objects的水资源系统网络概化图绘制

水资源系统网络概化图绘制是进行水资源调配研究的重要基础,而利用GIS技术进行水资源系统网络图绘制是发展方向。从阐述目前水资源调配中网络概化图绘制过程中的问题着手,介绍了基于SuperMapObjects的GIS平台的水资源系统网络概化图软件开发技术,实现的功能和工作流程等,并利用该软件完成了黑河流域水资源调配中系统网络概化图的制作。

图概要技术研究进展

图的概要化,简称图概要,旨在寻找一组简洁的超图或稀疏图,阐明原始图的主要结构信息或变化趋势.当前图概要的研究大多结合原始图的应用领域和背景,使用不同的概要技术构建一个特定的概要图,解决目前大图面临的信息过载、查询优化、空间压缩、影响分析、社交网络可视化等问题.对现有的图概要技术进行了汇总,以概要主要目的作为分类标准划分为基于空间压缩的图概要、基于查询优化的图概要、基于模式可视化的图概要和基于影响分析的图概要四大类,针对部分属性图和无属性图概要算法在真实数据集上进行了相关实验,并从压缩率、信息保持率、信息熵和时间进行对比分析.点明图概要的发展趋势,并指出图概要面临的挑战和可深入探索的研究方向,结合热门的深度学习技术提出了部分有价值的的宏观想法用以解决当前挑战.

流域防洪工程现状概化图介绍

该文简要介绍了流域防洪工程现状概化图产生的背景及对正常防汛工作、洪水实时调度和运行管理的重要作用,并以闽江防汛调度概化图制作为例,简要介绍概化图制作过程。

水库调度图优化方法研究评述

随着能源的日益紧缺,水能的有效利用对社会经济的有效发展起到了至关重要的作用。作为水库优化调度的关键,调度图的优化也成为学者关心的研究重点。在大量文献调研的基础上,对国内外在调度图优化方面的研究进展进行了归纳,基于此对调度图优化进行了分类,从问题复杂性以及不同优化方法两方面对调度图优化问题进行了分析,阐述了单一水库及水库群调度图优化研究的发展状况,对各方法的基本原理、流程、优化模型以及采用的算法进行了归纳和总结。通过对众多研究成果的整理和分析指出目前在调度图优化领域存在的问题,并提出将来的发展方向。

美国推求可能最大降水的暴雨时—面—深概化法在我国西南地区的应用研究

选取受同纬度带大气环流影响 ,天气系统发展产生降水所涉及的金沙江、雅砻江、大渡河、岷江、涪江、嘉陵江流域 ,研究美国推求可能最大降水的时—面—深概化法在我国西南地区的应用。研究以雅砻江为设计流域。成果已用于二滩水电站的设计洪水复核和官地水电站的设计洪水计算 。

基于测试执行的失效数据建模研究

目前 ,软件可靠性研究和实践者普遍感到 ,由于缺乏失效数据 ,严重影响了工作的进展 .该文通过研究和分析软件测试与软件可靠性度量之间的关系 ,提出了一种基于测试执行的失效数据模型JBFDM(Jade Bird failure data model) ,并探讨了基于此模型的数据收集和管理技术 .最后 ,给出了基于此模型的失效数据收集工具

软件可靠性测试技术研究

针对软件可靠性测试前的操作概图难以确定和传统的软件可靠性测试数据没有考虑故障等级的问题,提出了一种通过统计用户操作日志确定操作概图的失效数据收集方法。该方法将故障等级引入到软件可靠性测试数据中,并分别统计不同故障级别的数据。通过分析GEMS(基于GJB5000A的项目管理系统)的可靠性测试数据,验证了新方法较传统方法优越,能更好地满足系统可靠性估计和保障系统没有严重缺陷。

面向多用户的模块化软件系统的可靠性分配

模块化的软件系统的质量不仅与各模块的可靠性有关，而且与软件的操作概图有关．当模块化的软件系统是面向多用户时，便会有多个不同的操作概图，因此不同的用户对软件质量的评价也会不同．本文提出并解决了两个关于面向多用户的软件系统的可靠性分配问题．

试论“中国英语”语料库建设

“中国英语”以国际规范英语为核心,把中国独有的文化、事物、意念和传统等通过音译、译借及语义再生等手段传入国际(英语)社会,同时也融入许多具有中国特色的表达方式。在中国的语料库语言学界至今无人建立“中国英语”语料库,而建设该语料库具有重要的作用和意义。“中国英语”语料库的建设可以借鉴国际英语语料库(ICE)各个分库的建设经验。众多的文本来源使建设“中国英语”语料库成为可能。

跨流域调水条件下水库群联合调度图概化降维方法研究

由于单纯采用优化算法求解大规模水库群联合调度图存在搜索效率低和求解结果不合理的问题,所以本文以辽宁省水资源联合调度北线工程为研究背景,进行水库群联合调度图概化降维方法研究。首先根据聚合水库中主要用水户供水限制线的基本型式、聚合水库时段平均余缺水分布和反映水库调度经验规律的启发式信息,确定调度图概化降维方法;然后建立基于概化调度图的模拟-优化求解模型。实例研究表明,调度图概化降维方法不仅降低了优化算法搜索最优解的难度,而且提高了调度图的合理性和实用性。

基于可行空间搜索遗传算法的水库调度图优化

本文从调度图概化、调度图模拟模型、目标函数以及优化算法等方面全面介绍了基于可行空间搜索遗传算法的调度图优化模型的原理及建模方法。针对调度图优化问题可行空间搜索困难的特点,在传统遗传算法概念基础上提出了可行空间搜索的概念。根据决策变量间的几何关系,设计了调度图优化问题的编码结构以及信息交互机制,以NSGA-Ⅱ算法为基础实现了优化模型的构建。将研究成果应用于寺坪水库调度图优化,与设计调度图模拟结果相比,发电效益及保证率均得到了明显提高。