-
题名模糊时间Petri网及扩展的模糊时间Petri网
被引量：3
- 1
-
-
作者
董玉梅
张立臣
-
机构
广东工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2005年第11期241-246,共6页
-
基金
国家自然科学基金(No.60474072
No.60174050)
+2 种基金
广东省自然科学基金(No.04009465
No:010059)
广东省高校自然科学研究项目(No.Z03024)基金
-
文摘
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间 Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间 Petri网及可扩展的时间 Petri网,可扩展的时间 Petri网的网精简方法,使用 design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。
-
关键词
形式化建模
网精简
实时系统
模糊时间petri网
扩展的模糊时间petri网
时间petri网
可扩展
模糊集合理论
design
形式化模型
-
Keywords
Formal modeling, net-reducing, Real-time system, fuzzy-timing petri net（ftn）, fuzzy-timing petri net （ftn）
-
分类号
TP37
[自动化与计算机技术—计算机系统结构]
TP393
[自动化与计算机技术—计算机科学与技术]
-
-
题名面向方面的时间特性建模
- 2
-
-
作者
高娜
张立臣
刘东星
-
机构
广东工业大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第13期281-282,285,共3页
-
基金
国家自然科学基金资助重大项目(90818008)
国家自然科学基金资助项目(60774095
+2 种基金
60474072Z)
广东省自然科学基金资助项目(07001774
04009465)
-
文摘
基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。
-
关键词
面向方面软件设计
统一建模语言
模糊时间petri网
随机实时时序逻辑
实时系统
-
Keywords
aspect-oriented software design
Unified Modeling Language（UML）
fuzzy-timing petri net（ftn）
Stochastic and Real-time Temporal Logic（SQTL）
real-time system
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
