Metric-based reasoning about pseudocode design in the partial metrics system

The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics.     

面向对象的程序设计语言CLUSTER86的设计与实现

本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.     

SD2300在新型TMS320F28x DSP实时监测系统中的应用

SD2300是兴威帆电子公司生产的一种新型高精度实时时钟芯片。TMS320F2812是TI公司最新推出的DSP芯片，该芯片广泛地运用于测控和控制场合。文中给出了基于SD2300和TMS320F2812的时钟输入、低功耗“软件时间锁”的硬件和软件设计方法。     

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

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

Implementing software metrics — the critical success factors

This paper reviews the current state of industry with regard to the introduction of software metrics. It discusses the benefits that organizations have derived from metrication, it looks at why organizations have sought to introduce metrics programmes, how they have gone about introducing those programmes and the problems that they have encountered during implementation. The review found that, on the whole, only the sanitized aspects of metrics experiences have actually been published. This seems to be especially the case with respect to practitioner resistance. Very few organizations admit to having encountered resistance during the introduction of a metrics programme. The paper also includes the results of a pilot study, conducted by the first author, which examines the attitudes that developers hold towards the introduction of software metrics. The key findings of this pilot study are that positive attitudes to metrics correlate highly with levels of education and to job satisfaction.     

新型复合弹簧的研究

提出一种金属圆锥弹簧与橡胶圆锥弹簧复合而成的弹簧．分析表明：它可以应用于弹性耦合激励振动筛和座式直线振动筛。     

逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

有限周期梁用动力消振器抑振的特性

本文用弯曲波方法导出了多支承梁加动力消振器位移响应的普遍表达式。理论分析发现了周期结构用动力消振器抑制振动的一些新特性：（１）仅用一个动力消振器可抑制周期结构对应传递频带内的一组共振峰。被抑制的共振峰的数量与跨距的数量和消振器的布置位置有关；（２）动力消振器调谐频率与对应传递频带的第一个共振频率相关联。当动力消振器与作用在梁上的外载荷作用在同一点时，最佳调谐频率比总是大于１，否则最佳调谐频率比小于１。     

COMAS制丝线振动输送机的振动分析

本文根据振动理论对卷烟厂ＣＯＭＡＳ制丝生产线上的振动输送机建立了相应的力学模型及其振动方程。通过对振动方程的求解，分析了该振动输送机的振动特点，并提出了主要参数的选取原则，以期减少基础的振动。     

Equipment for Testing Sheet Structural Materials under Biaxial Tension. Part 2. Testing by Biaxial Loading in the Plane of the Sheet

We analyze specific features of the design of equipment used for mechanical testing of sheet structural materials under the conditions of biaxial static, cyclic, or dynamic loading. We propose original solutions of the problems related to the fatigue testing of crosslike specimens performed without using complex hydraulic systems and their dynamic testing carried out by using very simple testing machines for uniaxial tension–compression.