验收规范若干问题的讨论 《混凝土结构工程施工质量验收规范》(GB50204-2002)讲座(六)

本文归纳了规范公布以来所提出的一些共性问题,从规范执行的角度加以解释,可供有关施工质量验收人员参考。     

电信增值业务市场发展趋势分析

在阐述电信增值业务市场发展现状和存在问题的基础上,通过对电信增值业务市场发展的驱动因素和用户对增值业务需求的分析,预测了电信增值业务将向互联网无线化、接入自由化、内容集成化和客户集团化的方向发展,提出了电信增值业务市场发展的策略.认为电信运营商应以用户需求为导向,突出品牌战略,在加快向综合信息服务提供商转型的同时,以增值业务组合为手段,依靠政蓑法规和自身的规范来解决现存的问题,实现电信增值业务的快速发展.     

基于关键节点和多播节点的多播路由算法

在视频会议等多播应用中，降低多播树网络费用非常重要。本文提出了基于关键节点和目的节点的多播路由KDDMC算法。由于在算法中优先考虑采用关键节点，实现更多链路的共享，从而降低网络费用。在随机网络上的仿真结果表明，KDDMC算法的多播树网络费用优于SPH算法。同时证明了KDDMC算法的复杂度为O(n^3)，且利用所提出的路由表算法易于分布式实现。     

基于多路径自适应的无线网拓扑发现算法

拓扑发现在网络管理中起着非常重要的作用。本文提出了一种基于多路径自适应的无线网拓扑发现算法,并将其与已有的一些无线网络的拓扑算法进行比较,从而得出我们的算法在带宽消耗和拓扑发现准确性方面的优势。     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.     

应当规范排(进)气阀的生产

输、配水管网因排气不畅而引发气爆型水锤，从而导致爆管的事故时有发生，经补救后再次发生爆管事故的也并不鲜见。近年来，我国的长距离、大口径管道输水工程快速发展，管道输水的排（进）气设计和排（进）气阀的规范生产问题应当引起重视。文中列举了有压管道输水系统中气体产生的原因、赋存形态和危害，对规范排（进）气阀的生产提出了建议。     

下一代网络（NGN）在移动通信中的影响

下一代网络(NGN)是电信行业的一个目标，表征了一种宽带化、光纤化、大容量、包交换、数据化、层次化、呼叫承载分离、快速开发业务、集中部署业务等的理想网络，下一代网络系统可以向用户提供PSTN话音业务、无线话音业务、基础数据业务、多媒体数据业务等。     

刍议建筑小区室外排水管道工程设计要求

结合呼兰区电业花园示范小区排水规划,以呼兰区室外排水工程规划、设计、施工为例,论述了室外排水设计应掌握的要点,并介绍了排水管材的特点及选用.