钟发荣
- 作品数：43 被引量：28H指数：3
- 供职机构：浙江师范大学数理与信息工程学院更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金浙江省公益性技术应用研究计划项目更多>>
- 相关领域：自动化与计算机技术理学一般工业技术文化科学更多>>
- 一种新的启发式边排序策略及其性能分析
- 可靠度BDD分析方法的计算复杂度与BDD尺度线性相关,而BDD尺度严重依赖边排序质量.由于求解最优边排序是一个NP问题,在实际应用中,通常采用启发式边排序策略如BFS(Breadth-First-Search)和DFS(...
- 潘竹生莫毓昌钟发荣刘轩
- 关键词：网络可靠度二叉决策图
- 电力数据的采集及处理方法
- 本发明属于电力自动化测控技术类，具体是一种电力数据的采集及处理方法，其特征在于：采用高性能嵌入式处理器DSP+ARM架构，在采集处理端和控制端分别基于DSP/BIOS和嵌入式Linux部署软件设施，同时采用同步采样方法，...
- 钟发荣潘竹生
- 文献传递
- 故障树BDD分析方法中变量排序问题研究
- 变量排序问题是故障树BDD分析方法中的NP完全问题．本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖关系，分析了变量排序问题的复杂性并定义了复杂性度量MA，通过实验数据揭示了随着MA增加深度优先...
- 莫毓昌钟发荣杨全胜
- 关键词：故障树分析方法
- 文献传递
- 带路径约束的双端网络可靠性分析
- 世纪以来，随着信息技术的飞速发展，人类社会加快了网络化进程。网络已经成为人类社会生产、生活小可或缺的一部分。网络一旦发生故障，将给人们带来重大的影响甚至灾难性的后果。网络可靠性是衡量网络正常工作能力的重要指标，因此有必要...
- 宋凤莫毓昌潘竹生钟发荣
- 关键词：可靠性
- 非对称带不等算子的χ~≠-演算(英文)
- 2006年
- 文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.
- 钟发荣
- 关键词：互模拟公理化
- 带长度约束的K端网络可靠性分析
- 在网络视频和实时通信应用中需要研究带长度约束的K端网络可靠性分析问题,即任意两端点之间在给定时间延迟D约束内的K端网络可靠性.论文对带长度约束的K端网络可靠性问题进行了研究,主要是在传统不带路径约束的双端和K端网络可靠性...
- 宋凤莫毓昌潘竹生钟发荣
- 关键词：可靠性分析信息传输
- 文献传递
- 基于截断边扩展图的网络可靠度近似分析被引量：1
- 2015年
- 小型网络可以快速计算出可靠度精确值,但对于大型网络,可靠性精确值的计算非常困难,因此提出一种基于截断边扩展图的网络可靠性近似分析算法。实验结果证明,该算法能够在生成较小边扩展图和等价BDD(Binary Decision Diagrams)的基础上得到误差较小的近似值。
- 孙云钟发荣莫毓昌潘竹生
- 关键词：网络可靠度
- 一个基于规范变换的定理证明方法被引量：1
- 1999年
- 在规范变换方法的基础上，给出了在有序类规范上的归纳定理的证明方法。该方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏｕｎａｌｉｓ方法中所谓归纳可归约性检查这一很费时的过程，并且终止性检查不依赖于合流性检查。
- 钟发荣
- 关键词：重写定理证明计算机
- 非对称x<'≠>-演算的代数语义研究
- 徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统固有的复杂性,我们并发分布式计算的本质的认识尚处于初级阶段.形式化方法是认识并发分布式系统、提高并...
- 钟发荣
- 关键词：进程代数Π-演算X-演算互模拟
- 文献传递
- 多视图软件过程模型研究
- 软件过程是保障软件质量的重要手段.本文改进了RUP的'驼峰模型'使之全面地支持软件过程的要素.基于OMG通过的UML2.0和SPEM标准,提出了一个多视图的软件过程模型PPTOM,该模型比较完整地表达了产品、过程、时间、...
- 韦银星曹健张申生钟发荣
- 关键词：元模型体系结构软件工程
- 文献传递
