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及数据库等涉及程序设计的计算机课程。本文拟就程序设计中一题多解的教学方法进行探讨。     

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

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

Paper remote: an augmented television guide and remote control

The television (TV) is one of the most common entertainment devices in homes. Searching and finding TV programs is a common task and using TV guides is one way of performing this. This paper presents three studies that are focused on examining audiences’ TV habits and TV guide usage, evaluating a new concept based on linking paper and pen with TV technology, and studying the audiences’ attitudes toward and anticipated interest in the future guide. The results of our first study emphasize the value of using paper based TV guides and also identify the deficiencies. We also found indications that the advantages and disadvantages of paper-based TV guides are related to the physical properties of paper. Thus, we suggest a solution that uses digital pen and paper technology to offer a new interaction method for TV. A research system “Paper Remote”, is developed and used in the two subsequent studies. Viewers tick designated areas on the paper-based guide to perform actions such as channel switching. However, this solution is not a substitute for the remote control device. We argue that these user studies on linking digital paper to the TV for everyday information navigation illuminate the possibilities of providing innovative solutions also for home information systems also.     

An alcohol expectancy-challenge prevention program for at risk college women.

Alcohol expectancy-challenge programs are effective in changing expectancies and reducing drinking in college men (J. Darker & M. S. Goldman. 1993. 1998); however, recent evidence suggests this protocol might not be effective for women (M. E. Dunn, C. Lau, & I. Y. Cruz, 2000). This study was designed to reevaluate the effectiveness of a social/sexual expectancy-challenge intervention in college women reporting moderate to heavy alcohol use. Forty-six undergraduate women were randomly assigned to the prevention or control condition. Participants reported alcohol expectancies at pre- and posttest and monitored their drinking patterns daily for 6 weeks. The program was effective in changing some expectancies but did not reduce drinking. This further confirms differences in the mechanisms by which expectancy-challenge programs function for men and women. (PsycINFO Database Record (c) 2010 APA, all rights reserved)