心电图信号的频域分析

提出了一种简便有效的、由心电图（ECG）曲线提取QRS-T复合波的新方法，从而获得P波（当房颤未发生时）或f波（当房颤时）；利用功率谱、自相关、互相关等信号处理技术，对它进行了处理和分析，特别是，比较了未房颤时和发生房颤时的相关信息的显著差别。     

一个用户接口管理系统

本文介绍了一个用户接口管理系统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

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

初春施工技术要点探讨

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

可焊性高强度钢筋的开发与生产

为进一步开发国际钢材市场，研制开发了符合加拿大可焊性高强度钢筋标准要求的高强度钢筋．制定了化学成分及力学性能内控标准，分析了生产工艺各环节对成分和性能的影响，依据试验结果，在全面统计分析的基础上，调整了冶炼成分，生产的531批钢筋全部合格．通过直方图及回归分析，说明了制定的产品生产工艺可行，也为今后的生产提供了理论依据。     

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

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

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