A process oriented semantics of the PRAM-language FORK

The parallel language FORK [1], based on a scalable shared memory model, is a PASCAL-like language with some additional parallel constructs. A PRAM (Parallel Random Access Machine) algorithm can be expressed on a high level of abstraction as a FORK program which is translated into efficient PRAM code guaranteeing theoretically predicted runtimes.

In this paper, we concentrate on those features of the language FORK related to parallelism, such as the group concept, a shared memory access and synchronous or asynchronous execution. We present a trace-based denotational interleaving semantics where processes describe synchronous computations. Processes are created or deleted dynamically and run asynchronously. Interleaving rules reflect the underlying CRCW (concurrent-read-concurrent-write) PRAM model.     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

我国天然彩棉的研发现状及发展趋势

对天然彩棉的历史、纤维特点、纤维的形态结构及性能作了简要介绍，重点介绍了我国彩棉的研发现状及研发中亟待解决的瓶颈问题，最后对彩棉在我国的发展前景进行了展望。     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

天然气供热供冷的技术经济分析

对冬季采用天然气热水锅炉供热，夏季采用电动离心式冷水机组供冷和冬夏季都采用天然气直燃型溴化锂吸收式冷热水机组进行供热供冷的两种方案进行了技术经济比较。指出天然气价和电价是影响供热供冷成本的最敏感因素。     

TBM地区低孔渗高产气储层预测

 本文从TBM地区目的层的地质和地球物理特征分析出发，以三维地震资料为基础，综合利用人工和神经网络波形分类等定性储层预测方法和利用反演及敏感地震属性分析，对TBM地区低孔渗砂岩分布区开展了砂体展布特征分析和天然气高产区预测研究。根据研究结果部署了10口钻井，已完钻的4口井中有3口获得高产气流（其中DK27井日产天然气36.8×10⁴m³）。值得指出的是，目前所用的预测方法还不能预测厚度小于6m的单砂层或砂层组构成的储层。     

The time course of plausibility effects on eye movements in reading: Evidence from noun-noun compounds.

Readers' eye movements were monitored as they read sentences containing noun-noun compounds that varied in frequency (e.g., elevator mechanic, mountain lion). The left constituent of the compound was either plausible or implausible as a head noun at the point at which it appeared, whereas the compound as a whole was always plausible. When the head noun analysis of the left constituent was implausible, reading times on this word were inflated, beginning with the first fixation. This finding is consistent with previous demonstrations of very rapid effects of plausibility on eye movements. Compound frequency did not modulate the plausibility effect, and all disruption was resolved by the time readers' eyes moved to the next word. These findings suggest (contra Kennison, 2005) that the parser initially analyzes a singular noun as a head instead of a modifier. In addition, the findings confirm that the very rapid effect of plausibility on eye movements is not due to strategic factors, because in the present experiment, unlike in previous demonstrations, this effect appeared in sentences that were globally plausible. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

靖边气田分离器分离效果对比分析

从理论计算分离器处理能力和现场开展试验两方面入手，对靖边气田目前在用的不同规格分离器的分离效果进行了对比分析，通过对现场数据统计和整理，得到了靖边气田不同规格分离器合理的处理气量，给气田开发建设中分离器的选型和维护改造中分离器的调整提供了依据。     

《C语言程序设计》课堂教学方法的探讨

《C语言程序设计》一直是计算机专业及相关专业的专业基础课。该课程既难教又难学。传统的教学方法往往过分注重语法形式的介绍，却忽视了算法的讲解，使得学生无法解决一些实际编程，也很容易挫伤学生的学习兴趣。为此应以算法教学为主。因材施教，合理使用教材，在改用多媒体教学的同时，适当配以板书。调动学生的主观能动性，提高其编程能力。     

Influences of land use/cover on water quality in the upper and middle reaches of River Njoro, Kenya

Data from 10 sampling sites along the River Njoro are used to examine the contribution of nutrients from upstream land uses draining each of the sampling sites. The data also are used to assess whether both the proportion of land uses and the size of the subwatersheds account for the variability in water quality in the River Njoro watershed. Geographical Information System analysis was used to determine the spatial distribution of land‐cover types and subwatersheds contributing run‐off to the sampling sites in the River Njoro. Standard Digital Elevation Model‐based routines were used to establish the watershed area contributing run‐off to each sampling site. Water and sediment samples were collected for chemical analysis, and the nutrient levels were related to the upstream land‐use types and the size of the subwatersheds. The mid‐stream portion of the River Njoro (near Egerton University) accounts for the highest nutrient contributions. The percentage contribution is magnified by additions from industrial, human settlements and agricultural land uses around the University. There is a significant decrease in nutrient levels downstream, however, indicating natural purification as the river flows through an area of large‐scale farming with intense, well‐preserved riparian and in‐stream vegetation. Steep slopes of the land upstream of Egerton University enhance erosion and nutrient losses from those subwatersheds. Mixed small‐scale agricultural and bare lands contribute over 55% of the phosphorus load to the upper and mid‐reaches of the River Njoro. The size of the subwatershed accounts for about 53% of the variability in the soluble phosphorus in the river. The land‐use subwatershed proportions are important for characterizing and modelling water quality in the River Njoro watershed. Upland land uses are as important as near‐stream land uses. We suggest that conservation of intact riparian corridor along the river and its tributaries contributes significantly to natural purification processes and recovery of the ecological integrity of the River Njoro ecosystem.