排序方式: 共有20条查询结果,搜索用时 0 毫秒
1.
软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型,如用例图、顺序图、活动图,可以生成软件使用模型,进而可据此产生测试用例。 相似文献
2.
3.
4.
近年来,以风电、光伏为代表的分布式能源发展迅速,然而其出力的不确定性可能会导致出力严重偏离预测值,出现极端恶劣的场景,从而给配电网规划工作与可靠、稳定运行带来挑战。在上述背景下,文章以适应分布式能源以及负荷的不确定性为目标,以分布式电源的接入位置、安装数量以及新建线路为投资决策内容,提出了一种考虑极限场景的配电网鲁棒扩展规划方法。首先建立了配电网双层规划模型,通过大M法和二阶锥松弛将非线性模型转化为混合整数线性模型;其次,采用极限场景法处理随机变量,建立了基于极限场景法的配电网两阶段鲁棒规划模型;然后,采用了基于极限场景法的列和约束生成(column and constraint generation,C&CG)算法进行求解;最后,仿真算例表明,文章采用的鲁棒规划方法可以增强配电网在极端情况下的普遍适应能力,提高了配电网的可靠性和经济性。 相似文献
5.
基于UML的软件Markov链使用模型构造研究 总被引:16,自引:1,他引:16
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性. 相似文献
6.
基于UML的软件使用模型的研究与实现 总被引:2,自引:1,他引:2
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。 相似文献
7.
文章以校园餐厨垃圾为原料,以水热炭化的方法处理餐厨垃圾,对得到的水热炭化固体产物生物煤的特性参数进行测定,得出生物煤的热值及灰分均达到GB/T 17608-2006精煤的一级标准。通过3水平3因素正交试验,对水热炭化工艺条件进行优化,得到影响因素的主次顺序为温度pH反应时间,合适的工艺条件为180℃,pH为4,反应时间为3 h。在温度160~220℃范围内,随着反应温度的增高,生物煤的热值增加,而其转化率则是先增高,后趋于平缓,最后急速下降。在优化工艺条件下对餐厨垃圾进行水热炭化,得到生物煤热值为30.18 MJ/kg,转化率为54.08%。对餐厨垃圾及优化条件下得到的生物煤进行元素分析,得出经过水热炭化后,碳的质量百分含量从49.00%提高到65.93%,而氧元素的质量分数降低了17.98%。同时,水热炭化改变了餐厨垃圾的极性及芳香性。 相似文献
8.
9.
10.
应用固态变压器的综合能源互联系统的可靠性与组成固态变压器的级联多电平变换器的可靠性紧密相关。冗余变换器模块的引入使得固态变压器具备了承受元件故障的能力,从而提高了固态变压器以及相关电网的可靠性。基于可用于综合能源系统以及主动配电网的固态变压器,提出了一种基于冗余子模块的容错控制策略。对几种冗余配置的容错控制策略以及运行原理进行对比研究,基于Saber仿真平台对由级联多电平变换器模块组成的单相九电平固态变压器进行建模,并对所提出的冗余子模块容错控制方法进行了仿真。其仿真结果证明所提出的冗余子模块容错控制策略可以减少故障引起的用户侧电力中断时间以及降低对固态变压器设备的损害。 相似文献