Trace theory

The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.

非言语学习不良青少年空间关系推理及其影响因素研究

It has reported that individuals with nonverbal learning disabilities (NLD) have deficits in visual-spatial organization and strengths in rote language abilities. At present, there are few studies on higher order cognitive abilities of adolescents with NLD, such as the reasoning about spatial relations. The study sampled three groups: a normal group (a control group, C), a nonverbal learning disabilities group (NLD), and a verbal learning disabilities group (VLD). The aim of this study was to examine spatial and nonspatial relation reasoning abilities in adolescents with NLD under figure and word conditions, and assessed the relative involvement of different working memory components in four types of reasoning tasks: reasoning about figure-spatial, figure-nonspatial, verbal-spatial, and verbal-nonspatial relations. Using the double-tasks methodology, visual, spatial, central-executive, and phonological loads were realized. We tried to find how working memory components impact on adolescents with NLD spatial and nonspatial reasoning. The main results of present research are as follows. (1) The NLD group didn’t differ from normal group on reasoning about figure-nonspatial relations. The NLD group scored lower than the C group in spatial problems. So, adolescents with NLD showed a dissociation between spatial and non-spatial relation reasoning. They scored higher in non-spatial problems than in spatial ones. Adolescents with VLD developed well in reasoning about figure-nonspatial relations, but showed deficits in other three tasks. (2) For each reasoning task, the difficult of four types of reasoning problem had different changing trend. For figure and verbal spatial problems, mental model approach can interpret performance of the four problems well. For verbal nonspatial problems, a logical rule approach can interpret performance of the four problems well. (3) Adolescents with NLD did not differ from adolescents with VLD and normal adolescents in phonological, central-executive, and visual dual tasks. But the NLD group had lower performance than the other two groups in spatial dual task. The results showed a dissociation between visual and spatial working memory in NLD group. The VLD group only experienced deficits in central-executive subsystem. (4) The studies found that spatial reasoning mainly loaded spatial working memory, whist the involvement of spatial resources in nonspatial reasoning was little. Visual working memory mainly involved in reasoning about spatial and figure-nonspatial relations, especially in figure-nonspatial problems, and had few impacts on verbal-nonspatial reasoning. Central executive system was involved in all reasoning tasks. The role of phonological loop in the reasoning tasks required further explored. (5) According to the findings, we concluded that the deficits in spatial working memory resulted in poor spatial reasoning abilities for teenagers with NLD, whist because of the limited central executive capability, teenagers with VLD showed poor reasoning abilities. (6) The three groups can used multiple strategies during the reasoning process. They didn’t differ from each other in reasoning strategies. They all used mental model strategy to solve figure and verbal spatial problems, and used logic rule strategy to solve verbal nonspatial problems.

Theoretical analysis about the influence of channel layer thickness on the 2D electron gas and its distribution in InP-based high-electron-mobility transistors

The principle of high-electron-mobility transistor (HEMT) and the property of two-dimensional electron gas (2DEG) have been analyzed theoretically. The concentration and distribution of 2DEG in various channel layers are calculated by numerical method. Variation of 2DEG concentration in different subband of the quantum well is discussed in detail. Calculated results show that sheet electron concentration of 2DEG in the channel is affected slightly by the thickness of the channel. But the proportion of electrons inhabited in different subbands can be affected by the thickness of the channel. When the size of channel lies between 20-25 nm, the number of electrons occupying the second subband reaches the maximum. This result can be used in parameter design of materials and devices.

Hydroacoustic study of spatial and temporal distribution of Gymnocypris przewalskii (Kessler, 1876) in Qinghai Lake, China

Gymnocypris przewalskii (Kessler 1876) is an endangered and state-protected rare fish species in Qinghai Lake, China. To further understand the life history and distribution of this fish, five surveys were carried out in Qinghai Lake between 2002-2006. Results of these surveys indicate that fishes were predominantly distributed about 2 m under the surface. In July, significant differences in fish density were found between surface and bottom layers (P = 0.001), and/or between middle and bottom layers (P = 0.025). Fish density was the greatest in the surface layer. In August and October, no significant differences were found between the different layers, but the bottom layer had a greater fish density. Furthermore, there were very large differences among different zones in fish distribution density. Differences in horizontal distribution were not significantly correlated to factors such as water depth and inshore distance, possibly because of very low and uniform fish density. Feeding, changes in water temperature, over-wintering and spawning appeared to influence fish distribution. Hydroacoustic estimates of G. przewalskii biomass in Qinghai Lake increased significantly between 2002 and 2006. We attribute this increase to the management measures put in place to protect this species.