嵌入式实时操作系统μC/OS-Ⅱ在C8051F020上的移植

通过对嵌入式实时操作系统应用背景的分析，论述了在嵌入式控制系统中采用嵌入式实时操作系统的必要性.简略介绍了源代码开放的嵌入式实时操作系统μC/OS-Ⅱ及微控制器C8051F020的特点，重点阐述了μC/OS-Ⅱ在以微控制器C8051F020为运行平台的移植.对μC/OS-Ⅱ的移植条件及各个组成模块进行说明，讨论了移植过程中遇到的问题，并对需要编写的底层硬件的相关函数进行了深入细致的分析，提出了相应的示意性代码.在此基础上，根据实际系统的要求优化改进了原有的任务堆栈结构.     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

Sidle的远程执行设备

Ｓｉｄｌｅ系统是运行在ＳＵＮ工作站网络上的一组实用程序，利用空闲的处理机资源进行大粒度的并行计算．同其它远程执行设备相比，它能支持程序内部并行和嵌套的远程执行，允许一个服务员机接受多个远程执行任务．本文介绍了这些特点和透明性的实现方法．     

大坝施工混凝土质量的评价体系

本文介绍了大坝施工混凝土质量的评价系统软件的设计思路和设计成果。它利用现代计算机技术和应用模糊数学理论评价混凝土重力坝和拱坝单块和整体的质量。在采用模糊综合评价工程质量中，对不同工艺环节，对坝体不同部位，鉴于其质量要求的差异应赋予不同的权重，在权重的取值上采用了专家调查排序，定量转化的方法是比较适宜的。在程序设计中，评价数学模型采用了BASIC程序，访膜块通过*TXT文件实现了与整个大坝混凝土质量微机管理系统的接口及数据传递。操作运行方便灵活。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

热敏绘图仪驱动模块及曲线输出通用算法

热敏绘图仪驱动模块由状态诊断、表头输出、曲线输出三部分组成。曲线输出的核心是曲线输出通用算法,它分三步进行:超界判断,填充字节和线型处理。该算法能完成对离散值的曲线处理、线型变换和超界处理。它不仅适用于热敏绘图仪的曲线记录,也适用于曲线的屏幕显示。     

一种自制硬件诊断磁带的方法

牛哲成．一种自制硬件诊断磁带的方法．测并技术，１９９４，１８（２）：１４９～１５４硬件诊断磁带是由用于对计算机硬件系统各组成部分进行功能检查、状态测试和故障检测的诊断测试程序集构成的一种专用工具磁带。本文提出了一种用户在ＰＥ３２００系列计算机裸机环境下自己制作硬件诊断磁带的方法，井涉及到具体的程序实现。用该方法制作的硬件诊断磁带操作简单。对进一步搞好ＰＥ３２００系列计算机的维护，开发完善ＰＥ３２００系列计算机硬件诊断系统具有实际意义。     

浅谈程序设计中一题多解的教学方法

中等职业学校一般开设VB、VC及数据库等涉及程序设计的计算机课程。本文拟就程序设计中一题多解的教学方法进行探讨。     

如何构建工程项目管理企业知识管理框架

就工程项目管理企业知识管理建设框架进行了理论的阐述，从建立支持企业知识共享、创新的平台和促进该平台运作的机制提出了知识管理中最重要的两点，指出进行企业知识管理建设对企业未来发展具有重要的影响。