您的位置： 专家智库 > >

湖南省科技计划项目(2008CK3075)

作品数：3 被引量：1H指数：1
相关作者：龚红仿李军义周任军刘春平童小娇更多>>
相关机构：长沙理工大学湖南大学更多>>
发文基金：国家自然科学基金湖南省科技计划项目更多>>
相关领域：自动化与计算机技术电气工程更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电气工程

主题

  • 1篇电力
  • 1篇电力系统
  • 1篇电能
  • 1篇用户
  • 1篇用户解释
  • 1篇输电
  • 1篇输电能力
  • 1篇稳定性
  • 1篇线性方程组
  • 1篇可用输电能力
  • 1篇交互测试
  • 1篇方程组
  • 1篇非线性
  • 1篇非线性方程组
  • 1篇分岔
  • 1篇鞍结分岔
  • 1篇ATC
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 3篇长沙理工大学
  • 2篇湖南大学

作者

  • 2篇李军义
  • 2篇龚红仿
  • 1篇童小娇
  • 1篇刘春平
  • 1篇周任军

传媒

  • 1篇湖南大学学报...
  • 1篇小型微型计算...
  • 1篇中南大学学报...

年份

  • 2篇2010
  • 1篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
考虑静态安全性和鞍结分岔稳定性的ATC的计算
2009年
提出了包括传统静态安全性和鞍结分岔稳定性的可用输电能力(Available Transfer Capability,ATC)的新模型.该模型将系统安全性约束的众多不等式转化为一个半光滑等式约束方程组,结合鞍结分岔稳定性的约束条件,构建了一类同时考虑安全性和稳定性的ATC模型的半光滑方程系统.基于光滑化策略和方法,建立了模型求解的Levenberg-Marquardt计算方法.9节点和30节点系统的计算结果表明该模型和计算方法的可行性和有效性.
童小娇刘春平周任军
关键词：电力系统鞍结分岔非线性方程组
一种类间交互测试的约束型标记驱动Petri网模型
2010年
面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记驱动Petri网(C-LDPN)模型描述对象间的消息交互,给出了UML协作图转换为C-LDPN的规则.在定义对象活跃点以及对象活跃格局概念的基础上,根据对象所关联的变迁得出对象状态集上的等价类,提出一种消除C-LDPN中分支冲突的类间交互测试用例生成算法,求出对象的每个等价类中所有的活跃点数,得出对象的总状态数,用对象的分割连接子分割对象的状态域得到可达性C-LDPN,用合并连接子合并子对象得到标准型C-LDPN,最终生成类间交互测试用例--标记-变迁路径(LTPaths).
龚红仿李军义
基于类间依赖集约简的类簇测试用例生成算法被引量：1
2010年
针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。
龚红仿李军义
全选 清除 导出
共1页<1>
聚类工具0