嵌入式实时操作系统VxWorks在惯性导航系统中的应用

详细介绍了嵌入式实时操作系统VxWorks的性能特点，叙述了基于VxWorks操作系统的开发过程和在导航接口机中的应用实例，提出了现行惯导系统软件从汇编语言到OS，高级语言的必要性和可能性，从而在提升软件的可维护性，可测试性和可靠性的同时，充分的发挥导航计算机的性能，以适应日益复杂的导航计算要求。     

线性规划在最优火力分配辅助决策中的应用

采用层次分析法和线性规划法对坦克连冲击时目标价值和火力分配问题进行了分析.在理论分析的基础上,用C++Builder开发火力分配辅助决策软件,该软件以报告文件的形式显示目标价值结果,以报告文件或图形的方式显示火力分配结果.     

母线含非圆曲线的超声变幅杆精确加工的研究

介绍在普通数控车床上准确加工母线含非圆曲线的超声变幅杆的两种通用程序的编制方法及应用。方法一以等弦长划分待加工曲线决定节点,以平均曲率半径作为插补圆半径,以C语言编制出加工代码生成软件。方法二采用VB6编程,使用双圆弧法进行插补,伸缩步长法进行误差控制和决定节点,可设定并控制插补误差理论值,运行时生成的NC代码指令条数少,适应任何超声变幅杆的加工,界面友好易用。上述两程序在进行切削加工前,均可全程模拟加工过程。两软件经分别在GSK-928和G-CNC6135A(G)数控车床上应用,效果良好。而第一软件较完善。     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

关于PW－1480 X44软件中的数学通式问题

本文讨论ＰＷ－１４８０Ｘ４４软件中的数学通式问题。作者指出，软件中所提供的数学通式不妥，应该改正，软件应作适当修改。     

HIRFL 束流相位测量系统性能的改进

 在研究HIRFL 相位测量系统工作原理的基础上, 用自行设计的电缆电子学长度校正方法校正了探针电缆的长度, 并重新设计了信号预选器和系统控制软件; 利用自行设计的自检系统找出并校正了影响系统测量精度的因素。提高了系统的可靠性和测量精度, 使系统可以投入实际的调束运行。     

Current state of the art of algorithms and computer software for geometric programming

This paper attempts to consolidate over 15 years of attempts at designing algorithms for geometric programming (GP) and its extensions. The pitfalls encountered when solving GP problems and some proposed remedies are discussed in detail. A comprehensive summary of published software for the solution of GP problems is included. Also included is a numerical comparison of some of the more promising recently developed computer codes for geometric programming on a specially chosen set of GP test problems. The relative performance of these codes is measured in terms of their robustness as well as speed of computation. The performance of some general nonlinear programming (NLP) codes on the same set of test problems is also given and compared with the results for the GP codes. The paper concludes with some suggestions for future research.An earlier version of this paper was presented at the ORSA/TIMS Conference, Chicago, 1975.This work was supported in part by the National Research Council of Canada, Grant No. A-3552, Canada Council Grant No. S74-0418, and a research grant from the School of Organization and Management, Yale University. The author wishes to thank D. Himmelblau, T. Jefferson, M. Rijckaert, X. M. Martens, A. Templeman, J. J. Dinkel, G. Kochenberger, M. Ratner, L. Lasdon, and A. Jain for their cooperation in making the comparative study possible.     

Automated measurement of ultrasound velocity and attenuation

A fully-automated system has been developed to measure changes in ultrasonic velocity and the attenuation coefficient resulting from changes in temperature and magnetic field. Accuracy and sensitivity comparable to the pulse-echo overlap technique have been achieved together with an increase in temperature resolution and sample throughput as a result of the automation. All components of the instrumentation are commercially available.     

机、电、微机控制一体化

通过平面电机绘图机系统的设计,描述了机、电、微机控制技术一体化的优越性。一个重要的优点是机械、电气技术的结合将会大大地简化平面电机绘图系统的结构和制造工艺,因而降低了成本。另一个重要优点是微机控制技术将会大大地扩大机电产品的功能。最后结论:机、电、微机控制技术一体化是机电产品今后的发展趋势。     

Parallel computation of the flow of integral viscoelastic fluids on a heterogeneous network of workstations

We consider the parallel computation of flows of integral viscoelastic fluids on a heterogeneous network of workstations. The proposed methodology is relevant to computational mechanics problems which involve a compute-intensive treatment of internal variables (e.g. fibre suspension flow and deformation of viscoplastic solids). The main parallel computing issue in such applications is that of load balancing. Both static and dynamic allocation of work to processors are considered in the present paper. The proposed parallel algorithms have been implemented in an experimental, parallel version of the commercial POLYFLOW package developed in Louvain-la-Neuve. The implementation uses the public domain PVM software library (Parallel Virtual Machine), which we have extended in order to ease porting to heterogeneous networks. We describe parallel efficiency results obtained with three PVM configurations, involving up to seven workstations with maximum relative processing speeds of five. The physical problems are the stick/slip and abrupt contraction flows of a K.B.K.Z. integral fluid. Using static allocation, parallel efficiencies in the range 67%–85% were obtained on a PVM network with four workstations having relative speeds of 2:1:1:1. Parallel efficiencies higher than 90% were obtained on the three PVM configurations using the dynamic load-balancing schemes.