广东省自然科学基金(8151030007000002)
- 作品数：4 被引量：8H指数：2
- 相关作者：李师贤苏锦钿余珊珊严玉清梅晓勇更多>>
- 相关机构：中山大学华南理工大学广东外语外贸大学更多>>
- 发文基金：广东省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术天文地球电子电信更多>>
- WDM网状网自适应动态流量疏导算法被引量：2
- 2009年
- 针对WDM网状网络中的动态流量疏导问题,基于分层辅助图网络模型,提出了一个自适应动态流量疏导算法,根据不同的业务请求和网络疏导能力,启动相应的流量疏导策略,达到合理地分配网络资源,从而降低网络平均阻塞概率的目的。仿真结果表明,提出的算法可以有效地改善网络性能。
- 孙素云唐林燕
- 关键词：光纤网络波分复用网状网
- 对象行为等价的终结共代数语义被引量：1
- 2012年
- 终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。
- 余珊珊李师贤苏锦钿
- 关键词：行为等价
- 缺陷需求分析与管理模型被引量：5
- 2009年
- 需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷。从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类。建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型。指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示。
- 严玉清李师贤梅晓勇
- 一种基于共代数的面向对象形式语义被引量：1
- 2011年
- 针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。
- 余珊珊李师贤苏锦钿
- 关键词：面向对象方法形式语义
