蒋国明
- 作品数：11 被引量：26H指数：3
- 供职机构：浙江理工大学更多>>
- 发文基金：浙江省自然科学基金浙江省教育厅科研计划浙江省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 协议形式化模型及建模技术研究
- 协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议变得越来越复杂，通信协议的设计已经成为通信网络设计和实现的关键。
本文首先介绍协议工程...
- 蒋国明
- 关键词：MDAUML形式化语义
- 文献传递
- 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
- 一种基于mRMR算法挑选可疑度公式的程序错误定位方法
- 本发明公开了一种基于mRMR算法挑选可疑度公式的程序错误定位方法，其对已有的软件程序错误定位方法进行了分析和改进，在原来的方法基础上使用基因编程生成可疑度计算公式并引入mRMR算法进行挑选。新方法考虑公式之间相关性而引入...
- 李天舒舒挺蒋国明
- 将UML模型转换成SDL模型的方法被引量：2
- 2007年
- 提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。
- 吴柏青魏仰苏蒋国明
- 关键词：统一建模语言形式化语义
- 基于MPLS-DiffServ的LSP动态抢占算法研究被引量：2
- 2006年
- 在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别内最优化被抢占的带宽和LSP数目。最后,通过引入一个抢占策略对于路由过程的反馈机制,减少抢占引起的重路由,增强网络稳定性。仿真结果验证了算法的有效性、优越性。
- 魏仰苏蒋国明宋瑾钰
- 关键词：抢占MPLS
- “开放共享、灵活弹性”的校园无线网络建设实践
- 2018年
- 学校以"一个基础网络平台,一个无线控制平台,多个无线认证网关平台"为架构,构建以用户角色为核心的多维度校园无线网络云平台。该平台提供统一开放标准的以太网和无线网协议接口,兼容主流厂商的交换机、路由器、无线接入点、无线控制器、认证网关和业务认证软件,实现了网络架构与软硬件的解耦。
- 蒋国明
- 关键词：校园无线网共享
- MPLS的基于最小干涉的负载均衡算法研究被引量：8
- 2007年
- 当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法解决了MPLS网络中所有“入口/出口对”之间的业务流相互干扰的问题,为后续业务流路由预留了必要的“关键链路”。
- 蒋国明魏仰苏孟兆航
- 关键词：负载均衡MPLSQOS
- 基于COM原理的UML模型信息提取技术被引量：5
- 2007年
- 提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信息有其现实意义。利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息。
- 吴柏青魏仰苏蒋国明
- 关键词：统一建模语言状态图软件测试组件对象模型
- 基于BISON的UML语法分析器设计被引量：1
- 2007年
- 目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了软件测试效率。在VC6.0环境下对该分析器仿真,实验结果表明,软件能正确提取测试需要的信息。
- 蒋国明魏仰苏宋瑾钰
- 关键词：统一建模语言语法分析器类图状态图
- 一种基于mRMR算法挑选可疑度公式的程序错误定位方法
- 本发明公开了一种基于mRMR算法挑选可疑度公式的程序错误定位方法，其对已有的软件程序错误定位方法进行了分析和改进，在原来的方法基础上使用基因编程生成可疑度计算公式并引入mRMR算法进行挑选。新方法考虑公式之间相关性而引入...
- 李天舒舒挺蒋国明
- 文献传递
