一个用户接口管理系统

本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点.     

液化天然气供气站的工艺设计

〗LNG供气站的设计核心是工艺设计，设计中应注意以下几点：正确处理技术先进性与经济合理性的关系，综合权衡设置费与运营费的比例，力求项目全寿命费用最低；大多数城市LNG供气站均利用空气气化LNG，单罐容积为100 m³的真空压力式储罐广泛用于储存量为1200 m³以下的LNG供气站；为正确设置储罐安全阀的开启压力和排放压力，必须根据储罐的最高工作压力按照规范正确确定储罐的设计压力；储罐上2套独立的液位计和高、低限报警自动切断装置可确保储罐安全运行；空温式气化器的气化能力按用气城市高峰小时计算流量的1.3~1.5倍确定，为便于自然化霜应设置2套空温式气化器切换使用；空温式气化器出口串接水浴式加热器可提高冬季或雨天出口天然气温度，保护碳钢管道并降低供销差；LNG储罐区应设置围堰，消防用水量为喷淋与水枪用水量之和。最后建议，必须尽快颁布国家LNG设计规范，以提高我国的LNG设计水平。     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

初春施工技术要点探讨

论述了初春施工这个特定的施工季节所具有的特征，从气候、施工人员、工程情况及受冻土体等方面对初春施工易出现的问题进行了分析，对施工过程及施工技术规律性问题做了细化性研究和探讨。     

关于询价招标订购文件的名称

根据Requisition的词义和询价、招标、订购文件的意义，建议将不能准确表达意思的中文译词“请购”改成“询购”。     

我国第一套Φ170mm三辊轧管机组

介绍了我国第一套Φ１７０ｍｍ三辊轧管机组热轧设备和产品规格及技术特点。     

A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

石家庄市CATV系统网络技术指标分配初探

在ＣＡＴＶ系统网络工程设计中，技术指标的分配产关键问题。本文介绍了石家庄市在系统设计时采用的符合实际的设计程序，并对系统前端，传输及用户网各部分技术指标的确定，计算与分配方法，指标的核算等作了较详细地阐述，以供同行参考。