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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种新的支持FPLMTS的IN-CS2功能模型

引用

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

作者：李彤红廖建新陈俊亮北京邮电大学程控交换技术与通信网国家重点实验室

介绍了当前ＩＴＵ建议支持ＦＰＬＭＴＳ（未来公用陆地移动通信系统）的ＩＮＣＳ２功能模型，根据现有和将来网络的特点，指出了这些功能模型的不足．提出了对ＣＳ２功能模型的修改建议，将原来属于ＳＣＦ中的终端鉴权和位置登记从Ｓ... 详细信息

介绍了当前ＩＴＵ建议支持ＦＰＬＭＴＳ（未来公用陆地移动通信系统）的ＩＮＣＳ２功能模型，根据现有和将来网络的特点，指出了这些功能模型的不足．提出了对ＣＳ２功能模型的修改建议，将原来属于ＳＣＦ中的终端鉴权和位置登记从ＳＣＦ中独立出来，形成了独立的功能实体ＬＲＦ和ＴＡＦ．

关键词：智能网网间互连移动通信 FPLMTS

来源：评论

学校读者我要写书评

暂无评论

智能网用户业务数据的面向对象建模

引用

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

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

按照电信管理网（ＴＭＮ）的管理信息模型建模思想，将智能网中的用户业务数据抽象成被管理对象类，采用ＧＤＭＯ描述方法为用户业务数据建立面向对象的语义数据模型．在对用户业务数据进行描述时，引入了新的描述符来描述业务数据上可... 详细信息

按照电信管理网（ＴＭＮ）的管理信息模型建模思想，将智能网中的用户业务数据抽象成被管理对象类，采用ＧＤＭＯ描述方法为用户业务数据建立面向对象的语义数据模型．在对用户业务数据进行描述时，引入了新的描述符来描述业务数据上可施加的操作。

关键词：智能网电信管理网管理信息模型通信网数字网

来源：评论

学校读者我要写书评

暂无评论

基于对象事务管理器技术来实现支持关键性任务的CORBA系统

引用

小型微型计算机系统 2002年第2期23卷 210-213页

作者：郭乐深苏森杨放春刘锦德北京邮电大学程控交换与通信网国家重点实验室北京100876

支持关键性任务是分布式系统的不可缺少的特性之一 .OMG组织提出的 CORBA分布式系统可以跨越多种异种平台 ,在其建立支持关键性任务的 CORBA系统可以适用于异质环境 ,所以它正成为技术界和市场的热点 .本文针对分布式环境 CORBA提出了... 详细信息

支持关键性任务是分布式系统的不可缺少的特性之一 .OMG组织提出的 CORBA分布式系统可以跨越多种异种平台 ,在其建立支持关键性任务的 CORBA系统可以适用于异质环境 ,所以它正成为技术界和市场的热点 .本文针对分布式环境 CORBA提出了解决异质环境中支持关键性任务的技术——基于对象管理器 (OTM) ,及其方案的设计和实现 .分析表明 ,本文提出方案是一种有效。

关键词：中间件服务质量 CORBA系统对象事务管理器关键性任务计算机网络

来源：评论

学校读者我要写书评

暂无评论

分层与分割概念及其在ATM网管系统中的应用