Petri网系统的子系统相关性研究

基本信息
批准号:60803032
项目类别:青年科学基金项目
资助金额:19.00
负责人:丁志军
学科分类:
依托单位:山东科技大学
批准年份:2008
结题年份:2011
起止时间:2009-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:杜玉越,潘美芹,张鹏,刘关俊,胡运红,陈欣,郭保琪,汤海波
关键词:
语言建模分析性质Petri网
结项摘要

本项目针对复杂系统Petri网建模与分析的关键科学问题,从系统综合的角度,开展Petri网系统的子系统相关性的研究。在分析和归纳子系统交互模式基础上,提供系统混合建模方法,构建系统综合的基础模型。提供子系统相关性子类的判定算法和语义表达,建立子系统相关性的分类谱系。给出子系统相关性的语言和性质关系,揭示子系统相关性的行为机理。进而提供一套有效的系统行为分析、性质验证、性能评价和优化控制方法,实现系统综合的有效分析、验证和控制。。建立高级网系统的子系统相关性理论,为实际系统的Petri网建模与分析提供可行方法。基于上述理论成果,为服务动态组合系统建模、行为分析和QoS评价提供解决方案,研制相应的服务动态组合软件支持工具。本项目的研究,将为复杂系统的Petri网建模与分析提供解决方案,丰富和发展Petri网科学理论,为计算机系统协作和集成提供理论指导。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

基于LS-SVM香梨可溶性糖的近红外光谱快速检测

基于LS-SVM香梨可溶性糖的近红外光谱快速检测

DOI:
发表时间:
2

基于文献计量学和社会网络分析的国内高血压病中医学术团队研究

基于文献计量学和社会网络分析的国内高血压病中医学术团队研究

DOI:10.11842/wst.20190724002
发表时间:2020
3

血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展

血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展

DOI:10.13191/j.chj.2017.0028
发表时间:2016
4

高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析

高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析

DOI:10.7498/aps.68.20181682
发表时间:2019
5

铁路大跨度简支钢桁梁桥车-桥耦合振动研究

铁路大跨度简支钢桁梁桥车-桥耦合振动研究

DOI:10.3969/j.issn.1000-0844.2017.05.0820
发表时间:2017

丁志军的其他基金

相似国自然基金

1

Petri网代数

批准号:69273003
批准年份:1992
负责人:吴哲辉
学科分类:F0204
资助金额:4.00
项目类别:面上项目
2

Petri网用于分布式复杂系统的研究

批准号:69773016
批准年份:1997
负责人:陆维明
学科分类:F0214
资助金额:12.00
项目类别:面上项目
3

Petri网系统合成与性质保持研究

批准号:60473007
批准年份:2004
负责人:焦莉
学科分类:F0201
资助金额:22.00
项目类别:面上项目
4

基于Petri网的离散事件系统活性监控理论

批准号:60774081
批准年份:2007
负责人:吴维敏
学科分类:F0301
资助金额:29.00
项目类别:面上项目