符号流生成器在教学中的应用

简要介绍了美国ＵＮＩＳＹＳ公司１１００、２２００系列中型计算机上符号流生成器的使用，并用它编制了一些常用的运行流，简化了用户的上机操作，提高了上机效率。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

Rats in a transparent morris water maze use elemental and configural geometry of landmarks as well as distance to the pool wall

The aim of this study is to evaluate whatare the dimensions of a panorama of discretelandmarks that a rodent will store in order toreturn to a previously visited target. Ratswere trained to locate a hidden platform in acircular pool of clouded water set within aquasi-spherical enclosure. In order to find theplatform, they had to learn the geometricrelations between the platform and asurrounding set of three discrete landmarks,highly visible through the transparent wall ofthe pool. In test trials without a platform,the array of landmarks was so manipulated as todissociate the effect of actual distance to thelandmarks, of their angular separation, and oftheir apparent dimension. Animals were shown torely equally on angular separation and apparentdimension. The role of actual distance couldnot be definitely ascertained, as animals wereshown to additionally rely on the distance tothe pool wall in order to locate theplatform.     

Function,geometry and spatial prepositions: Three experiments

In this paper the results of three experiments are reported whichaddress the issue of the relative extent to which functionalrelations versus geometric relations affect spatial language. Theexperiments examine the role of a discourse context on the useand rating of the preposition in to describe a visual scenewhere the constraint of spatial containment between figure(object located) and ground (reference object) does not hold. Allthree experiments demonstrate that in is used more andrated to be significantly more appropriate in a functionalcontext than in a no context condition. The implications of thesestudies for spatial language and spatial representation arediscussed.     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

Representing a stable environment by egocentric updating and invariant representations

To represent a stable environment despite the experience of changes during self movements, one can either develop an invariant allocentric representation, or update the egocentric representations as one moves. Using a disorientation paradigm, three sets of studies investigated these mechanisms in human navigation and scene recognition. Accuracy in the configuration of multiple object localization is impaired by disorientation, an effect not due to artifacts such as memory deterioration over time, intervening physical activities, uncertainty in self position and orientation, etc., suggesting one can locate objects primarily by updating their egocentric positions as she or he moves. Disorientation also impaired the judgment of changes to a scene after viewer movements, suggesting a similar egocentric updating process. On the contrary, representation of the shape of the surroundings is invariant and persists through disorientation. The coexistence of multiple mechanisms may increase the flexibility and robustness of the system.     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。