彭蓉
- 作品数：6 被引量：10H指数：3
- 供职机构：教育部更多>>
- 发文基金：湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于Agent的Ada95分布计算调度算法被引量：1
- 2000年
- 为实现 Ada95的分布并行计算 ,本文探讨了如何利用 Agent实现分布计算的基本模型 ,提出了一个综合考虑计算量、通讯量的预分配算法和基于 Agent的动态负载平衡算法 ,预分配算法旨在均匀分配计算量和减少分布单元间的通讯开销 ,基于 Agent的动态负载平衡算法是为了弥补静态分配的不足 ,根据各工作站完成的计算量来进行均衡调度 .
- 朱福喜傅建明彭蓉金涛
- 关键词：分布计算ADA95AGENT调度算法
- Multicast中的多级反馈抑制方法
- 2000年
- 分析了Ｍｕｌｔｉｃａｓｔ中的ＡＣＫ和ＮＡＣＫ的反馈内爆问题，介绍了反馈控制的相关工作，提出了一种多级反馈抑制方法，并给出了分析结果，此方法综合了乐观传送抑制、代表集抑制和非代表集抑制，从而避免ＡＣＫ和ＮＡＣＫ内爆。
- 傅建明朱福喜彭蓉
- 关键词：可靠性MULTICASTTCP/IP协议
- 基于Petri网的一种时序分析方法被引量：3
- 2000年
- Petri网由于有强大的建模能力和成熟的理论支持 ,被广泛应用于各种系统的建模 .本文通过把 Petri网转换成转移系统 ,利用转移系统和 Kripke结构给出了时序逻辑语义的解释 ,从而建立一种在 Petri网上进行时序分析的方法 .这种方法是根据不动点理论 ,用模型检查验证公式正确性 .通过对 Ada程序会合性质进行模型检查 。
- 傅建明朱福喜彭蓉
- 关键词：PETRI网
- FLL语言的说明性语义与过程性语义被引量：4
- 1999年
- 阐明了 Ｆ Ｌ Ｌ（ Ｆｕｚｚｙ Ｌｏｇｉｃ Ｌａｎｇｕａｇｅ）语言的说明性语义，并从过程性角度提出了 Ｆ Ｌ Ｌ的执行模式。
- 陈世鸿彭蓉吴志远
- 关键词：真度置信度
- Ada中实时结构的Petri网建模与分析
- 2002年
- 本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种时间特性。这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为。
- 傅建明朱福喜彭蓉
- 关键词：PETRI网ADA语言
- 模糊逻辑语言FLL的并行计算模型FPCM被引量：4
- 2002年
- 该文在研究模糊逻辑语言 FLL 语义的基础上 ,提出了并行计算模型 FPCM(FuzzyParallel Compute Model) .该模型描述了模糊逻辑程序设计语言 FLL的并行计算结构 ,以此实现了“AND并行”和“OR并行”计算 ,并利用所提出的警卫条件、计算负影响等机制进一步提高了 FLL语言的并行执行效率 。
- 陈世鸿彭蓉
- 关键词：程序设计语言并行计算模型
