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话音业务、无线话音业务、基础数据业务、多媒体数据业务等。     

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

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

沂河堤防工程管理的现状与对策

沂河山东境内及其主要支流邳苍分洪道和礻方河共计270多公里河道,堤防350多公里。随着东调南下工程的逐步实施,目前已有240多公里新培堤达到了20年一遇防洪标准。为搞好堤防工程管理,近年来,沂河水利管理局不断总结堤防工程管理经验,积极探索堤防管理新路子,1996年成立了堤防养护专业队,并配备了拖拉机等养护设备。2000年对部分重要堤段配备了专职护堤员,有效地提高了堤防工程管理水平,但仍不能完全满足目前堤防工程管理工作的需要。一、堤防管理存在的主要问题1、缺少堤防正常维护费由于堤防维护费严重不足,堤防雨淋冲沟及管护设施损坏得不…     

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

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

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

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

监管改革趟深水

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

楼房主体加固施工

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