聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 随机时序逻辑的模糊时间扩展方法
出处:计算机工程与应用 2006年第1期 61-63,共3页
摘要:基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系。并实现一种表达能力更强的时序逻... 显示全部
关键词: 时序逻辑 模糊时间 实时系统 可能性
期刊文章 面向方面的时间特性建模
出处:计算机工程 2010年第13期 281-282,285,共3页
摘要:基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统... 显示全部
关键词: 面向方面软件设计 统一建模语言 模糊时间 随机实时时序逻辑 实时系统
在线阅读 下载全文
期刊文章 面向方面的性能分析过程
出处:现代计算机:下半月版 2009年第4期 25-28,共4页
摘要:面向方面技术能够将性能关注点模块化,它的一个核心思想是,不同方面可以独立开来使用不同方法来描述。分... 显示全部
关键词: 面向方面 性能分析 模糊时间 分布式实时系统
在线阅读 下载全文
期刊文章 扩展的模糊时间Petri网
出处:微电子学与计算机 2005年第6期 23-27,共5页
摘要:网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模... 显示全部
关键词: 模糊时间 形式化建模 网精简 实时系统
期刊文章 基于面向方面的实时系统建模方法
出处:计算机科学 2006年第7期 262-265,共4页
摘要:分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确... 显示全部
关键词: 面向方面软件设计 形式化方法 时间自动机 模糊时间 随机实时时序逻辑 实时系统
在线阅读 下载全文
找到5条结果
`