您的位置： 专家智库 > >

浙江省自然科学基金(M603145)

作品数：11 被引量：63H指数：4
相关作者：魏仰苏蒋国明宋瑾钰孟兆航朱金华更多>>
相关机构：浙江理工大学浙江水利水电学院浙江越秀外国语学院更多>>
发文基金：浙江省自然科学基金浙江省重点科技计划浙江省科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 11篇自动化与计算...

主题

  • 2篇统一建模
  • 2篇网络
  • 2篇路由
  • 2篇路由协议
  • 2篇SDL
  • 2篇SDL语言
  • 2篇TTCN-3
  • 2篇MPLS
  • 2篇MSC
  • 2篇QOS
  • 1篇代数
  • 1篇代数语义
  • 1篇形式化
  • 1篇形式化开发
  • 1篇序列图
  • 1篇映射
  • 1篇有限状态机
  • 1篇语法分析
  • 1篇语法分析器
  • 1篇语义

机构

  • 7篇浙江理工大学
  • 6篇浙江水利水电...
  • 1篇浙江大学
  • 1篇浙江越秀外国...
  • 1篇浙江工程学院

作者

  • 10篇魏仰苏
  • 4篇蒋国明
  • 4篇宋瑾钰
  • 3篇孟兆航
  • 1篇舒挺
  • 1篇于宁宁
  • 1篇李伟
  • 1篇梁曦
  • 1篇朱金华
  • 1篇胡文红

传媒

  • 4篇计算机工程与...
  • 2篇计算机工程与...
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇微计算机信息
  • 1篇杭州电子科技...
  • 1篇浙江理工大学...

年份

  • 1篇2008
  • 5篇2007
  • 2篇2006
  • 1篇2005
  • 2篇2004
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于MPLS-DiffServ的LSP动态抢占算法研究被引量：2
2006年
在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别内最优化被抢占的带宽和LSP数目。最后,通过引入一个抢占策略对于路由过程的反馈机制,减少抢占引起的重路由,增强网络稳定性。仿真结果验证了算法的有效性、优越性。
魏仰苏蒋国明宋瑾钰
关键词：抢占MPLS
MPLS的基于最小干涉的负载均衡算法研究被引量：8
2007年
当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法解决了MPLS网络中所有“入口/出口对”之间的业务流相互干扰的问题,为后续业务流路由预留了必要的“关键链路”。
蒋国明魏仰苏孟兆航
关键词：负载均衡MPLSQOS
MSC代数语义研究被引量：3
2004年
文章介绍了MSC(MessageSequenceCharts)的形式化语义及其进程理论。在原有消息机制的基础上对状态操作符进行扩展,增加了全局顺序对事件发生轨迹的约束。结合MSC2000中新增的时间概念,提出了时间事件与时限归并,用于分析包含时间概念的MSC系统进程轨迹。
李伟魏仰苏
关键词：MSC代数语义
Ad Hoc网络QoS路由协议研究被引量：3
2006年
AdHoc网络自身固有的特点使得AdHoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测(ticket-based probing,TBP)协议和在TBP协议基础上提出的延时约束最小费用的Ad Hoc网络中的完全分布式QoS路由协议——基于熵的长寿的分布式QoS路由(entropy-based long-life distributed QoS routing,EBLLD)协议进行的详细地分析和比较,可以得出以下结论:EBLLD协议有较高的路由成功率,具有可扩展性,可应用于较大规模的Ad Hoc网络。
孟兆航魏仰苏蒋国明
关键词：ADHOC网络路由协议QOS
基于BISON的UML语法分析器设计被引量：1
2007年
目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了软件测试效率。在VC6.0环境下对该分析器仿真,实验结果表明,软件能正确提取测试需要的信息。
蒋国明魏仰苏宋瑾钰
关键词：统一建模语言语法分析器类图状态图
UML2.0 Testing Profile到TTCN-3的映射研究
2007年
分析了U2TP与标准化测试描述语言测试和测试控制标记法之间的对应关系,提出了一种从U2TP到测试和测试控制标记法的映射方法,并给出了一个图书馆借阅系统的应用实例。应用该映射方法,可在建模初期基于系统模型构造完整的测试思想,从而在初始阶段就能够有效限定测试例的数量并产生真正有价值的测试例。
梁曦魏仰苏
关键词：统一建模模型驱动架构
SDL语言动态语义模型的研究被引量：1
2004年
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。
宋瑾钰魏仰苏
关键词：SDL
无线自组织网络AODV路由协议研究被引量：28
2007年
Ad Hoc网络是随着无线通信技术的快速发展而出现的一种新型网络,网络层的路由协议对于Ad Hoc网络来说尤为重要。首先阐述了Ad hoc网络的概念和特点,分析了自组网路由协议的有关情况。重点研究了按需路由协议中的AODV协议及其中断链恢复的改进,结果表明在数据传输延迟和路由开销方面,采用改进的本地修复方法都可以使性能获得一定程度的提高。
朱金华于宁宁
关键词：ADHOC网络路由协议AODV协议
基于SDL的PPP协议软件形式化开发
2005年
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述。
宋瑾钰魏仰苏
关键词：SDL语言PPP协议
基于MSC的TTCN-3测试例生成研究被引量：4
2008年
提出了从消息序列图(MSC)生成TTCN-3测试例的方法。测试者可以先针对被测系统(SUT)中感兴趣的部分利用MSC描述出具体的测试场景,再从MSC映射成TTCN-3测试例。将MSC映射成TTCN-3的方法主要包括对MSC文档、基本MSC和高级MSC这3部分的映射。
胡文红魏仰苏
关键词：消息序列图测试例映射
全选 清除 导出
共2页<12>
聚类工具0