您的位置： 专家智库 > >

广西省自然科学基金(0640032)

作品数：4 被引量：6H指数：2
相关作者：廖伟志古天龙唐波董荣胜彭月英更多>>
相关机构：广西师范学院桂林电子科技大学桂林电子工业学院更多>>
发文基金：广西省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇实时系统
  • 1篇区间速率连续...
  • 1篇流体随机PE...
  • 1篇模糊控制
  • 1篇模糊逻辑
  • 1篇混杂PETR...
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 3篇广西师范学院
  • 2篇桂林电子科技...
  • 1篇桂林电子工业...
  • 1篇西安电子科技...

作者

  • 4篇廖伟志
  • 3篇古天龙
  • 1篇彭月英
  • 1篇董荣胜
  • 1篇唐波

传媒

  • 2篇计算机科学
  • 1篇小型微型计算...
  • 1篇计算机仿真

年份

  • 1篇2009
  • 1篇2008
  • 2篇2007
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
区间速率连续Petri网的模糊模型被引量：1
2009年
为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri网的模糊控制的可行性。
廖伟志彭月英古天龙
关键词：区间速率连续PETRI网模糊逻辑模糊控制
一种混杂Petri网模型动态演变研究被引量：2
2007年
为了实现R.David和H.Alla所定义的混杂Petri网模型行为分析的正确性,提出了一个通用的模型动态演变方法.该方法给出了基于线性规划方法的混杂Petri网瞬时引发速率求解方法,解决了有效冲突情形下的瞬时引发速率求解问题.分析了改变不变行为(Invariant Behavior,简称IB)状态事件之间的相互作用及其对模型演变正确性的影响,同时提出了判定改变IB状态事件的方法.例子表明了所提出的理论与方法对混杂Petri网模型动态演变正确求解的重要性和有效性.
廖伟志古天龙
关键词：混杂PETRI网
流体随机Petri网的一阶混杂Petri网模型被引量：2
2008年
为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性。
廖伟志古天龙董荣胜
关键词：流体随机PETRI网形式化方法
统一建模语言状态图的测试用例生成方法被引量：2
2007年
目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试。
唐波廖伟志
关键词：测试用例实时系统
全选 清除 导出
共1页<1>
聚类工具0