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

作品数：4被引量：5H指数：2
导出分析报告
相关作者：廖伟志古天龙唐波董荣胜彭月英更多>>
相关机构：广西师范学院桂林电子科技大学桂林电子工业学院西安电子科技大学更多>>
相关期刊：《计算机仿真》《小型微型计算机系统》《计算机科学》更多>>
相关主题：测试用例生成方法测试用例形式化方法混杂PETRI网流体随机PETRI网更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
区间速率连续Petri网的模糊模型被引量：1
《计算机科学》2009年第2期234-237,共4页廖伟志 彭月英 古天龙 
国家自然科学基金项目(60563005);广西科学基金项目(桂科基0640032)资助
为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述...
关键词：区间速率连续PETRI网 模糊逻辑 模糊控制 
流体随机Petri网的一阶混杂Petri网模型被引量：2
《计算机科学》2008年第1期294-297,共4页廖伟志 古天龙 董荣胜 
国家自然科学基金项目(60563005);广西科学基金项目(桂科基0640032)
为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网...
关键词：流体随机PETRI网 一阶混杂Petri网 模型转换 形式化方法 
统一建模语言状态图的测试用例生成方法被引量：2
《计算机仿真》2007年第8期90-92,101,共4页唐波 廖伟志 
广西科学基金项目(桂科青0640032)
目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到...
关键词：统一建模语言状态图 混合时间佩特里网 测试用例 实时系统 
一种混杂Petri网模型动态演变研究被引量：1
《小型微型计算机系统》2007年第4期645-650,共6页廖伟志 古天龙 
国家自然科学基金项目(60563005)资助;广西科学基金项目(桂科青0640032)资助;广西教育厅项目(200508174;自筹项目)资助.
为了实现R.David和H.Alla所定义的混杂Petri网模型行为分析的正确性,提出了一个通用的模型动态演变方法.该方法给出了基于线性规划方法的混杂Petri网瞬时引发速率求解方法,解决了有效冲突情形下的瞬时引发速率求解问题.分析了改变不变行...
关键词：混杂PETRI网 动态演变 瞬时引发速率 有效冲突 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部