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.     

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

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.     

Review of Forms of feeling: The heart of psychotherapy.

Reviews the book, Forms of feeling: The heart of psychotherapy by Robert F. Hobson. Robert Hobson calls this book his autobiography as a therapist. As such it provides interesting glimpses into some of his more meaningful sessions with clients, illuminating his approach to therapy and enabling the reader to see a master therapist at work. Hobson also presents a new method of therapy, which he calls the conversational model. On this level, his book is considerably less satisfying. Hobson succinctly outlines the general principles of the conversational model and basic skills required of the therapist, but in so doing offers essentially little new information, however valid the points may be. According to Hobson, the conversational model is designed for clients whose problems arise from disturbances in their significant relationships, and those problems are best solved not by talking about them but by being in a relationship such as therapy that provides "a special kind of friendship." Hobson puts great stress on the use of metaphorical language in therapy and learning how to use the language of art as well as of science. He relies heavily on literary quotations, prefacing each section with one or two, and liberally interspersing many more within the pages of text. The net result is not so much illuminating as it is wearisome, and the general tone is slightly pretentious and, when Hobson addresses his "dear Reader" directly, somewhat condescending. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Simultaneous translation of lectures and speeches

With increasing globalization, communication across language and cultural boundaries is becoming an essential requirement of doing business, delivering education, and providing public services. Due to the considerable cost of human translation services, only a small fraction of text documents and an even smaller percentage of spoken encounters, such as international meetings and conferences, are translated, with most resorting to the use of a common language (e.g. English) or not taking place at all. Technology may provide a potentially revolutionary way out if real-time, domain-independent, simultaneous speech translation can be realized. In this paper, we present a simultaneous speech translation system based on statistical recognition and translation technology. We discuss the technology, various system improvements and propose mechanisms for user-friendly delivery of the result. Over extensive component and end-to-end system evaluations and comparisons with human translation performance, we conclude that machines can already deliver comprehensible simultaneous translation output. Moreover, while machine performance is affected by recognition errors (and thus can be improved), human performance is limited by the cognitive challenge of performing the task in real time.     

C51嵌套汇编子程序在阻抗测试仪研制中的应用

C51嵌套汇编子程序，充分发挥了两种语言自的优势，介绍了C51调用汇编子程序的接品规则，并通过阻抗测试仪程序开发的例子予以详细说明。     

定容气田开发规划概算法

基于物质平衡方程、产能方程和递减方程的结合,提出了定容气田开发规划的概算法.该法可用于预测地层压力、井底流动压力、井口流动压力和稳产年限.实际应用表明,本文提供的方法是实用有效的.     

CETRAN系统中的英语词汇结构与功能

本文介绍了汉英机器翻译系统中从中间媒介语言生成英语的生成系统的词汇结构和功能，描述了生成系统各个层次之间的转换原理。为了说明清楚，在叙述中注意了列举从中间媒介中间媒介语言到目标语句的生成实例。     

Have it your way and mine: The theory of styles

Olsen is right to note what can be done with a good theory and the right machine. His particular theory, however, is not transferable to literary studies. If we need a new model, I would suggest that cognitive science can provide a few interesting ones. I have begun to do some work based on David Marr's VISION, in which he hypothesizes two levels of processing within the visual module. My speculation has been on the parallel existence of distinguishable levels of conceptual or language organization which would correspond to the viewer and object centered perspectives Marr describes for vision. I propose to explore the possibility that we may find here the model for the existence of stylistic individualism within overarching historical stylistic generalizations, and even more, that this may be what feminists are searching for when they try to resist being coopted by the masculine language of objectivity. Ellen Spolsky teaches English literature and literary theory and is the Director of the Lechter Institute for Literary Research at Bar-Ilan University, Israel. Her latest book is Gaps in Nature: Literary Interpretation and the Modular Mind(SUNY Press, 1993).