检索结果-内蒙古大学图书馆

北京邮电大学学报 1998年第1期21卷 23-28页

作者：刘云龙陈俊亮北京邮电大学程控交换技术与通信网国家重点实验室

首次提出了一种基于数据流分析技术的软件容错新方法，简要地介绍了软件容错技术，指出数据错是一切控制系统软件失效的根源与最终表现，以及对数据采取强有力容错措施的必要性．深入地论述了数据流分析方法在软件容错中的应用，得出了... 详细信息

首次提出了一种基于数据流分析技术的软件容错新方法，简要地介绍了软件容错技术，指出数据错是一切控制系统软件失效的根源与最终表现，以及对数据采取强有力容错措施的必要性．深入地论述了数据流分析方法在软件容错中的应用，得出了最小充分卷回定理与备查点数据范围定理，从而解决了时间冗余容错途径中必须回答的两个基本问题．此外，还给出了恢复块定义有效的充分条件．最后以电信系统为应用实例简要论述了这种新方法的实施策略．本文提出的方法在简单地扩展后可被广泛应用于各种容错软件的设计中．

关键词：容错技术有限状态机数据流分析软件

来源：评论

学校读者我要写书评

暂无评论

交互式多媒体表现的同步规范方法

引用

北京邮电大学学报 1998年第1期21卷 29-34页

作者：魏铁军陈俊亮北京邮电大学程控交换技术与通信网国家重点实验室

讨论了交互式多媒体表现中的同步问题，提出了一种新的基于Ｐｅｔｒｉ网的多媒体同步规范方法，这种多媒体同步规范方法可以灵活地描述确定性的时态剧情和非确定性的时态剧情。

关键词：数据通信多媒体同步同步规范

来源：评论

学校读者我要写书评

暂无评论

多米诺效应的解决策略研究

引用

软件学报 1998年第12期9卷 942-945页

作者：刘云龙陈俊亮北京邮电大学程控交换技术与通信网国家重点实验室

定义了备查点间隔之间的先于关系，并对分布式系统执行的语义正确性进行了约束，证明了逆时先于现象是产生多米诺效应的本质，提出了多米诺避免、多米诺检测与消除、多米诺容忍三大解决策略．

关键词：多变诺效应容错技术分布式计算机

来源：评论

学校读者我要写书评

暂无评论

TMN中被管对象间相关关系的一种表示方法

引用

北京邮电大学学报 1998年第4期21卷 83-85页

作者：杨正球亓峰孟洛明北京邮电大学程控交换技术与通信网国家重点实验室

阐述了电信管理网中被管对象间相关关系的概念，提出了使用作用属性来表示被管对象间相关关系的方法，此方法利用被管对象类定义中的属性，明确表示了被管对象间存在的相关关系，并以接入网管理信息模型为例讲述了作用属性定义法的应用．

关键词：网络管理电信管理网被管对象相关关系

来源：评论

学校读者我要写书评

暂无评论

基于数据流分析的软件容错策略

引用

软件学报 1998年第7期9卷 537-541页

作者：刘云龙陈俊亮北京邮电大学程控交换技术与通信网国家重点实验室

该文就软件容错中备查点与卷回机制展开深入讨论，提出一种基于数据流分析技术的软件容错新方法．首先对软件容错进行简介，指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性．然后将数据流分... 详细信息

该文就软件容错中备查点与卷回机制展开深入讨论，提出一种基于数据流分析技术的软件容错新方法．首先对软件容错进行简介，指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性．然后将数据流分析技术应用于软件容错，通过求解程序变量的到达－定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回，通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合，得出最小充分卷回定理与备查点数据范围定理，从而解决了时间冗余容错途径中必须回答的两个基本问题．此外，还给出了恢复块定义有效的充分条件．最后，以电信系统为应用实例，介绍了该方法的一种具体实施．该方法在简单地扩展后可被广泛应用于各种容错软件的设计中．

关键词：软件容错数据流分析软件开发

来源：评论

学校读者我要写书评

暂无评论

优先级业务量管制机制及其性能模拟