关于“思考函数式编程”几点注记

看了2008年第7期蔡学镛先生的“思考函数式编程”，我觉得有几个问题需要澄清。     

D／C＋＋浯言中表达式的求值

经常可以在一些讨论组里看到下面的提问：“谁知道下面C语句培n赋什么值?”     

IBM-PC上的Smalltalk/v系统

Smalltalk/v 是美国 digitalk 公司开发的一个 Smalltalk 系统,它以著名的 Smalltalk—80为蓝本,以 IBM—PC、PC/XT、PC/AT 或基兼容机为硬件资源,形成了一个此较完整的以 Smalltalk 语言为基础的软件开发环境。本文将介绍该系统的一些基本情况.更详细的情况请查阅系统手册。     

C^＋＋语言异常处理机制的研究

Here we make a detailed investigation on the exception handling mechanism of C^ ,have much discussion on many design and implementation problems ,and offer many suggestions on the use of it.     

两维时间域上的一种区间逻辑

为了给超稠密计算模型建立一种逻辑工具,首先定义了一个两维的超稠密时间域,在这个时间域上定义了一种区间逻辑,并提出了该逻辑的一个推理系统。并用轨道概念定义了两维超稠密空间中的计算,最后讨论了一些相关的问题。     

一种无线传感器网络数据收集协议的研究与优化

PEADG(Power Efficient Algorithm for Data Gathering)协议是基于WSN的抄表系统数据收集协议,PEADG协议建立的网络拓扑结构由多棵树组成,树根节点分担了网络负载,较好地延长了网络生命期,但PEADG协议仍然存在一些问题,如:没有考虑多棵树上节点个数的平衡等。针对协议中存在的问题,提出了三方面的改进:①平衡了拓扑结构中多棵树的网络负载;②增加了对节点剩余能量的考虑;③利用基站收集了网络拓扑信息。利用MATLAB工具对改进后的协议进行了仿真,结果表明改进后的协议延长了网络的生命期。     

实时废料收集方法的空间特性

实时废料收集方法(下面简称为RGC方法)的一个主要目的是保证系统能不间歇地工作,这对实时应用非常重要。为此需要研究RGC方法的运行特征。文[3]中分析了On-the-Fly方法的时间特性,本文着重探讨两类RGC方法的空间特性。     

两维时间域上的实时程序语言

超稠密计算模型是实时系统的一种抽象模型。该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言（类Ｏｃｃａｍ语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述。     

两维时间域上的实时程序语义

超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言（类Ｏｃｃａｍ 语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述     

语言的抽象、封装与变换型开发方法

该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.