大规模网络分布式管理模型的形式化描述、分析与评价
基本信息
批准号：90604004
项目类别：重大研究计划
资助金额：33.00
负责人：罗军舟
学科分类：
依托单位：东南大学
批准年份：2006
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：姜浩,方宁生,曹玖新,王健,宋爱波,吴俊,李伟,刘波,卞正皑
关键词：
网络管理模型分布式处理形式化建模Petri网
结项摘要
计算机网络技术的发展要求网络管理必然走向分布化和智能化，符合这两个特征的网管模型层出不穷。但是，当前已有的各种分布式管理模型和管理机制以自然语言描述为主，缺乏可分析性、一致性和标准性，不利于发现模型中的不安全、不可靠、不完整等隐患，不利于现有各种网管模型的系统实现。本项目在项目组现已提出的大规模网络分布式管理模型的基础上，通过对大规模网络分布式管理模型的形式化描述方法、分析验证技术、模型评价指标和
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
监管的非对称性、盈余管理模式选择与证监会执法效率?
监管的非对称性、盈余管理模式选择与证监会执法效率?
DOI：
发表时间：2016
3
跨社交网络用户对齐技术综述
跨社交网络用户对齐技术综述
DOI：10.12198/j.issn.1673 − 159X.3895
发表时间：2021
4
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
5
黄河流域水资源利用时空演变特征及驱动要素
黄河流域水资源利用时空演变特征及驱动要素
DOI：10.18402/resci.2020.12.01
发表时间：2020
罗军舟的其他基金
批准号：90204009
批准年份：2002
资助金额：40.00
项目类别：重大研究计划
批准号：61632008
批准年份：2016
资助金额：285.00
项目类别：重点项目
批准号：90912002
批准年份：2009
资助金额：100.00
项目类别：重大研究计划
批准号：69873009
批准年份：1998
资助金额：14.00
项目类别：面上项目
批准号：90412014
批准年份：2004
资助金额：60.00
项目类别：重大研究计划
相似国自然基金
1
大规模网络的分布式管理及参考模型的研究
批准号：90204009
批准年份：2002
负责人：罗军舟
学科分类：F0207
资助金额：40.00
项目类别：重大研究计划
2
安全协议的形式化描述和分析
批准号：90104026
批准年份：2001
负责人：陈火旺
学科分类：F0203
资助金额：30.00
项目类别：重大研究计划
3
面向大规模网络的分布式入侵检测和预警模型
批准号：90104031
批准年份：2001
负责人：龚俭
学科分类：F0207
资助金额：50.00
项目类别：重大研究计划
4
面向大规模网络的分布式入侵检测和预警模型
批准号：90104030
批准年份：2001
负责人：荆继武
学科分类：F01
资助金额：50.00
项目类别：重大研究计划