一个用户接口管理系统

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

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

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

初春施工技术要点探讨

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

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

根据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系统网络技术指标分配初探

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

润滑油添加剂的升级换代和需求预测

简要介绍了润滑油添加剂的供需现状和发展预测，分析了推动润滑油添加剂升级换代的动力，阐述了即将推出的GF—4发动机油规格对添加剂的新要求。     

Optimal implementations of UPGMA and other common clustering algorithms

In this work we consider hierarchical clustering algorithms, such as UPGMA, which follow the closest-pair joining scheme. We survey optimal O(n²)-time implementations of such algorithms which use a ‘locally closest’ joining scheme, and specify conditions under which this relaxed joining scheme is equivalent to the original one (i.e. ‘globally closest’).