叶新铭
- 作品数：149 被引量：449H指数：9
- 供职机构：内蒙古大学更多>>
- 发文基金：国家自然科学基金内蒙古自治区自然科学基金内蒙古自治区科技厅科技攻关项目更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 安全Petri网位置不变式的一种生成算法被引量：1
- 2005年
- Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.
- 刘亮叶新铭
- 关键词：可达树完全图
- 集成移动IP与移动Ad Hoc网络环境中的资源定位
- 2006年
- 移动IP与移动Ad Hoc网络(MANET)结合可以充分扩大网络的覆盖范围,然而在这种集成环境下两个节点间的应用程序进行通讯目前还存在着问题,如名字唯一分配、域间域名解析、IP地址不固定造成的通讯中断等等。本文提出一种新的体系框架综合考虑名字唯一分配、地址自动配置、域名解析与移动IP机制,解决了上述问题。
- 李茹叶新铭王浩宏张巨萍
- 关键词：移动AD移动IP域名解析系统地址自动配置
- 一种CPN模型驱动的IOCO一致性测试生成方法
- 文中将IOCO一致性测试理论与着色PETRI网(COLORED PETRI NETS,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(CONFORMAN...
- 刘靖李茹叶新铭李军
- 关键词：着色PETRI网
- 文献传递网络资源链接
- MSC时间表示方法与UML序列图结合建模被引量：1
- 2004年
- 介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图,对时间进行建模,提高了UML序列图的时间建模能力,进一步满足了实际系统,尤其是实时系统建模的要求.
- 刘亮叶新铭
- 关键词：统一建模语言UML序列图消息序列图MSC
- 基于SDL和MSC模型的一致性测试生成方法被引量：1
- 2004年
- 本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套。
- 叶新铭吴铁楠
- 关键词：SDL形式化描述自动生成MSC
- 慢速网络下一种分布式数据库数据复制机制与应用
- 试图提出一种慢速网络下的数据异步复制方法。该方法不依赖于具体数据库,对资源要求低,可以按实际业务定制复制数据,避免复制不必要的数据,有较少的通信量.
- 许智君叶新铭张珺
- 关键词：分布式数据库数据复制
- 基于扩展Petri网模型的LDP协议一致性测试
- 本文主要研究多协议标记转换系统(MPLS)中的一个重要核心协议标记分发协议(LDP)的一致性测试问题.我们首先在形式化描述工具Petri网的基础上,提出更适合描述LDP协议的扩展Petri模型概念,对LDP协议进行形式化...
- 徐晓东叶新铭
- 关键词：LDP协议PETRI网
- 文献传递
- BGP4+互操作性测试研究
- 2008年
- BGP4是最主要的域间路由协议,BGP4+是对BGP4进行扩展之后支持IPv6的,对于它的互操作性测试很重要。本文首先介绍了互操作性测试的目的,分析了BGP4以及BGP4+的功能、路由类型以及数据包种类。根据BGP4的说明生成了协议的输入输出有限状态机,基于该模型生成了部分BGP4+的互操作性测试套。然后对于协议的不同实现进行了互操作性测试设计与实践,最后给出了结论以及下一步的研究工作。
- 李华张涛叶新铭
- 关键词：BGP4BGP4+互操作性
- 图形LOTOS和Petri同模型在PC机上的实现
- 1996年
- 在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．
- 叶海薇叶新铭
- 关键词：PETRI网PC机
- IPv6邻居发现协议的形式化验证被引量：4
- 2005年
- 采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(messagesequencecharts)来描述,并通过线性时序逻辑说明该协议的属性.还提出了由MSC模型的线性化自动抽取协议属性的方法.
- 叶新铭郝松侠
- 关键词：形式化验证自动机理论
