管道完整性管理标准及其支持体系

通过对美国管道完整性管理标准ASME B31.8S和API 1160内容的论述，总结了管道完整性管理标准的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话音业务、无线话音业务、基础数据业务、多媒体数据业务等。     

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

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

广播电视中心技术工艺的设计和实践

本文从理论到实践，较为全面地阐述了广播电视中心建设中技术工艺系统的设计思想、功能设置、技术特点以及可供参考引用的规范和标准。     

数码相机国家标准年内出台

由信息产业部标准委员会牵头、多家数码相机巨头参与的数码相机国家标准已确定 ,现由国家相关部委审批之中 ,有望年内出台。数码相机国家标准的出台 ,对于规范数码影像市场标准起到积极作用。一些质量不达标、不合格的数码相机将被清理出局数码相机国家标准年内出台@京友     

监管改革趟深水

物极必反，千古不易之理。种种迹象表明，目前电信运营业出现的诸多乱象，乃是这个行业走向规范的前兆。     

楼房主体加固施工

某砖混结构综合楼，5层，建筑面积为2500m^2，钢筋混凝土条形基础，建于1995年，由于地基早期不均匀沉降，出现了不少质量问题，经有关部门鉴定如F：(1)少部分独立柱混凝土的强度达不到设计强度等级标准值的要求，但其余主体结构混凝土强度经实测能满足《混凝土结构设计规范》(GB50010-2002)要求；(2)部分砌体砂浆的强度等级达不到设计要求，但其静力承载力能满足《砌体结构设计规范》(GB50003—2001)的要求；(3)墙体出现倒八字裂缝，但该变形与裂缝已趋于稳定，且基础宽度、高度及强度达到设计要求。