CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

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

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

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.     

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.     

自适应DBF与空间谱估计

讨论了自适应数字波束形成(DBF)技术和超分辨空间谱估计技术,并提出了一种基于信号协方差矩阵特征分解的时-空二维信号高分辨谱估计算法。以上技术应用于相控阵雷达系统,可以精确获得多个运动目标的方位信息和多普勒信息。文章最后给出了计算机模拟结果。     

数字化技术在叶轮研制中的应用

本文通过分析归纳建立了一种叶轮数字化建模方法，并利用该方法成功实现了某型叶轮三维模型创建，同时也根据该数字化模型实现了模具数字化设计及其数控加工。     

Modeling visuospatial reasoning

I apply my proposed modification of Soar/Spatial/Visual System and Kosslyn’s (1983) computational operations on images to problems within a 2 × 2 taxonomy that classifies research according to whether the coding involves static or dynamic relations within an object or between objects (Newcombe & Shipley, 2015). I then repeat this analysis for problems that are included in mathematics and science curricula. Because many of these problems involve reasoning from diagrams Hegarty’s (2011) framework for reasoning from visual-spatial displays provides additional support for organizing this topic. Two more relevant frameworks specify reasoning at different levels of abstraction (Reed, 2016) and with different combinations of actions and objects (Reed, 2018). The article concludes with suggestions for future directions.