位置：立项数据库 > 立项详情页
大规模网络分布式管理模型的形式化描述、分析与评价
  • 项目名称：大规模网络分布式管理模型的形式化描述、分析与评价
  • 项目类别：重大研究计划
  • 批准号：90604004
  • 申请代码：F0208
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：罗军舟
  • 负责人职称：教授
  • 依托单位：东南大学
  • 批准年度：2006
中文摘要：

计算机网络技术的发展要求网络管理必然走向分布化和智能化，符合这两个特征的网管模型层出不穷。但是，当前已有的各种分布式管理模型和管理机制以自然语言描述为主，缺乏可分析性、一致性和标准性，不利于发现模型中的不安全、不可靠、不完整等隐患，不利于现有各种网管模型的系统实现。本项目在项目组现已提出的大规模网络分布式管理模型的基础上，通过对大规模网络分布式管理模型的形式化描述方法、分析验证技术、模型评价指标和

中文主题词： 网络管理模型;分布式处理;形式化建模;Petri网
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 87
  • 44
  • 0
  • 0
  • 0
期刊论文
一种可信可控的网络体系及协议结构
基于多目标粒子群优化的服务选择算法
可控网络中多agent系统信念可达性和收敛速度分析
动态多代理协作联盟的扰动稳定性
基于Mesh结构的网格资源发现机制
一种自管理的轻量化网格平台参考模型
适合大规模网络的一种新型智能网管模型及性能分析
Some Issues on Computer Networks: Architecture and Key Technologies
Deadline guaranteed packet scheduling for overloaded traffic in input-queued switches
Agent-Based Task Representation and Processing in Pervasive Computing Environment
A Novel Spectrum of Epoch Convergent Congestion Control
基于QoS的网格资源管理
具有QoS保证的服务资源联合分配与管理
不可否认协议分析的增广CSP方法
面向网络管理知识获取的一种序列模式挖掘新算法
基于Petri网的Web个性化服务
一个公平的多方不可否认协议
Dynamic Scheduling of Multi-agent in Agent-based Distributed Network Management
基于挑战-响应的安全协议分析
Analysis of Security Protocols Based on Challenge-Response
An Efficient Packet Scheduling Algorithm With Deadline Guarantees for Input-Queued Switches
Implementation of Learning Path in Process Control Model
Dynamic Multi-resource Advance Reservation in Grid Environment
A Trust Degree Based Access Control in Grid Environment
A Clustering Analysis and Agent Based Trust Model in Grid Environment Supporting Virtual Organizatio
基于T-不变量消除的Petri网合法变迁引发序列判定算法
基于多Agent系统网管模型的形式化建模
基于颜色Petri网的多agent动态调度建模与分析
基于合作博弈的移动代理网管任务协作模型
一种交叉点小缓存CICQ交换机高性能调度算法
不可否认协议时限性的形式化分析
基于嵌套EMD的钓鱼网页检测算法
多方不可否认协议时限性分析与改进
会议论文
Measurement Model of Grid QoS and Multi-dimensional QoS Scheduling
QoS Matching Offset Oriented Resource Clustering Scheduling Algorithm in Grid Environment
AMS Mass Data Processing Grid
Control Information Description Model and Processing Mechanism in the Trustworthy and Controllable N
A Cooperative Game Theory Based Coalitional Agent Negotiation Model in Network Service
Process Control Model in Web-based e-Learning
A VO-Based Two-Stage Replica Replacement Algorithm
Dynamic Multi-resource Advance Reservation in Grid Environment
QoS Deviation Distance Based Negotiation Algorithm in Grid Resource Advance Reservation
A Clustering Analysis Based Trust Model in Grid Environment Supporting Virtual Organizations
A Grid Task Scheduling Algorithm Based on QoS Priority Grouping
A Free-Roaming Mobile Agent Security Protocol Based on Anonymous Onion Routing and k Anonymous Hops
A Method of Agent Task Representation and Processing in Pervasive Computing Environment
Semi-Online Task Allocation Algorithm Among Cooperative Agents
A Trust Degree Based Access Control for Multi-domains in Grid Environment
A Collaboration Scheme for Making Peer-to-Peer Anonymous Routing Resilient
An HMM Approach to Anonymity Analysis of Continuous Mixes
A Scalable and Adaptive Distributed Service Discovery Mechanism in SOC Environments
Grid Service Discovery Based on Cross-VO Service Domain Model
基于Petri网的网络管理模型描述与分析
QoS-Resource Graph Model for Web Service Composition in Service Oriented Computing
A Trust Aware Access Control in Service Oriented Grid Environment
An Adaptive QoS Group Guided Grid Scheduling Algorithm with Task Replicas
The Measurement Model of Grid QoS
A Grid Information Services Architecture based on Structured P2P Systems
A Cooperative Game Model for Agent Negotiation in Network Service
A Heterogeneous Dynamic Critical Path and Duplication based Task Scheduling Algorithm for Pervasive
A Prediction-based Two-Phase Replica Replacement Algorithm
Courseware Recommendation in E-learning System
Ant Colony System Based Algorithm for QoS-Aware Web Service Selection
A Replica Replacement Algorithm based on Value-Cost Prediction
A Maximum Entropy Based Multi-Dimensional Trust Model
An Evidence Theory Based Anonymity Metrics
Formal Analysis of Anonymity Based on Strand Space Model
A Fuzzy Trust Evaluation Based Access Control in Grid Environment
AMS海量数据处理网格
AMS海量数据处理网格
A Prefetching-based Replication Algorithm in Data Grid
A Multicontext-aware Resource Recommendation Mechanism for Service-oriented Ubiquitous Learning Envi
SQUARE: A New TCP Variant for Future High Speed and Long Delay Environments
Agent Based Automated Negotiation for Grid
An Improved DHT-based Grid Information Services Architecture
QoS Adaption aware Algorithm for Grid Service Selection
Implementation of Learning Path in Process Control Model
相关项目
跨组织协同工作流挖掘的Petri网融合机理与保性控制技术研究
期刊论文 32 会议论文 15 获奖 22
面向传感器网络的不确定数据查询处理与优化
期刊论文 29 会议论文 5
基于资源约束Petri网的过程建模与集成方法
期刊论文 6 获奖 1
面向网格服务的开放式移动计算模型、理论及方法研究
期刊论文 13 会议论文 5
自动制造系统死锁控制性能分析与优化
期刊论文 36 会议论文 10 著作 2
基于PETRI网基本信标的自动制造系统死锁控制研究
期刊论文 34 会议论文 23 著作 1
高速行车条件下列车智能分布式实时监控形式化理论研究
期刊论文 29
离散事件系统的监督控制重构及其优化方法的研究
期刊论文 14 会议论文 7 专利 1
Petri网的活性判定问题
期刊论文 19
罗军舟的项目
　基于流水印的匿名通信追踪技术研究
中美日“科学、社会与因特网”科技政策论坛
基于Petri网的CIM信息系统设计方法
期刊论文 1
工业互联网体系结构及关键技术研究
期刊论文 1
AMS数据计算环境应用示范
期刊论文 32 会议论文 15
　基于流水印的匿名通信追踪技术研究
AMS数据计算环境的研究和实现
期刊论文 24
AMS大数据处理关键技术研究
期刊论文 21
大规模网络的分布式管理及参考模型的研究
期刊论文 6