交互作用网理论分析

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.

交互概念图及应用

良好的知识表示形式能方便问题的求解 .文中将用于刻画复杂对象结构的概念图知识表示方法推广为主动语义网络 ,引入复制功能体、删除功能体 ,在关系节点中增加主端口标识 ,给出了交互概念图及相应的交互概念图语言的定义 .通过示例给出了交互概念图的良好表示能力 .

Spatial Interaction and Network Structure Evolvement of Cities in Terms of China's Rail Passenger Flows

Cities separated in space are connected together by spatial interaction (SI) between them. But the studies focusing on the SI are relatively few in China mainly because of the scarcity of data. This paper deals with the SI in terms of rail passenger flows, which is an important aspect of the network structure of urban agglomeration. By using a data set consisting of rail O-D (origin-destination) passenger flows among nearly 200 cities, intercity rail distance O-D matrixes, and some other indices, it is found that the attenuating tendency of rail passenger is obvious. And by the analysis on dominant flows and spatial structure of flows, we find that passenger flows have a trend of polarizing to hubs while the linkages between hubs upgrade. However, the gravity model reveals an overall picture of convergence process over time which is not in our expectation of integration process in the framework of globalization and economic integration. Some driven factors for the re-organization process of the structure of urban agglomeration, such as technique advance, globalization, etc. are discussed further based on the results we obtained.

The retromer component SNX6 interacts with dynactin p150Glued and mediates endosome-to-TGN transport

The retromer is a protein complex that mediates retrograde transport of transmembrane cargoes from endosomes to the trans-Golgi network （TGN）. It is comprised of a cargo-selection subcomplex of Vps26, Vps29 and Vps35 and a membrane-binding coat subcomplex of sorting nexins （SNXs）. Previous studies identified SNX1/2 as one of the components of the SNX subcomplex, and SNX5/6 as candidates for the second SNX. How the retromer-associated cargoes are recognized and transported by molecular motors are largely unknown. In this study, we found that one of SNX1/2＇s dimerization partners, SNX6, interacts with the p150Gued subunit of the dynein/dynactin motor complex. We present evidence that SNX6 is a component of the retromer, and that recruitment of the motor complex to the membrane-associated retromer requires the SNX6-pl50Gued interaction. Disruption of the SNX6-pl50Glued interaction causes failure in formation and detachment of the tubulovesicular sorting structures from endosomes and results in block of CI-MPR retrieval from endosomes to the TGN. These observations indicate that in addition to SNX1/2, SNX6 in association with the dynein/dynactin complex drives the formation and movement of tubular retrograde intermediates.

Predicting heartbeat arrival time for failure detection over internet using auto-regressive exogenous model

Predicting heartbeat message arrival time is crucial for the quality of failure detection service over intemet. However, intemet dynamic characteristics make it very difficult to understand message behavior and accurately predict heartbeat arrival time. To solve this problem, a novel black-box model is proposed to predict the next heartbeat arrival time. Heartbeat arrival time is modeled as auto-regressive process, heartbeat sending time is modeled as exogenous variable, the model＇ s coefficients are estimated based on the sliding window of observations and this result is used to predict the next heartbeat arrival time. Simulation shows that this adaptive auto-regressive exogenous （ARX） model can accurately capture heartbeat arrival dynamics and minimize prediction error in different network environments.

Effects of Probability of Accurately Predicting and Ascertaining Defection on Cooperation and its Application to Simulated Internet Dealing

Without cooperative behaviors, our society or organization falls into social dilemma situations where every member selects uncooperative （defective） behaviors, and the situation gets worse and worse. Such a situation in a society or an organization leads to violation of social or organizational rules, and at the worst case it suffers from serious accidents or scandals. Therefore, it is important for us to make efforts and take measures to elicit cooperative behaviors. It was demonstrated theoretically that altruism strategy and adaptive prediction and ascertainment strategy are in some cases better than rational strategy under the situation of social dilemma. We built up a mathematical model in order to examine how the probability of correctly predicting and ascertaining the behavior （cooperation or defection） of opponents and the mixture of （a） altruism （all cooperation） strategy, （b） individualism （all defection） strategy, and （c） adaptive prediction and ascertainment strategy affected the expected profit. Simulation results showed that the tit-for-tat strategy was better than the rational （individualism） strategy when the probability of correctly predicting and ascertaining defection of the opponent was considerably higher. As an application of the basic study above, it was explored, using a simulation method, how such a system as opening reputation or peer review in public could work satisfactorily to prevent defective behaviors in auction dealing. The result showed that the information on the handle name and the reputation effectively worked to prevent defective behaviors.

Transferring Multi-Dimensional Quantum States and Preparing Quantum Networks in Cavity QED

In this paper we propose a scheme for transferring quantum states and preparing quantum networks. Compared with the previous schemes, this scheme is more efficient, since three or four-dimensional quantum states can be transferred with a single step and information interchange of three-dimensional quantum states can be realized, which is a significant improvement. It is based on the resonant interaction of a three-mode cavity field with an atom. As a consequence, the interaction time is shortened greatly. Furthermore, we give some discussions about the feasibility of the scheme.

Persistent variation in spatial behavior affects the structure and function of interaction networks

The function of a network is affected by its structure. For example, the presence of highly interactive individuals, or hubs, influences the extent and rate of information spread across a network. In a network of interactions, the duration over which individual variation in interactions persists may affect how the network operates. Individuals may persist in their behavior over time and across situations, often referred to as personality. Colonies of social insects are an example of a biological system in which the structure of the coordinated networks of interacting workers may greatly influence information flow within the colony, and therefore its collective behavior. Here I investigate the effects of persistence in walking patterns on interaction networks us- ing computer simulations that are parameterized using observed behavior of harvester ants. I examine how the duration of persis- tence in spatial behavior influences network structure. Furthermore, I explore how spatial features of the environment affect the relationship between persistent behavior and network structure. I show that as persistence increases, the skewness of the weighted degree distribution of the interaction network increases. However, this relationship holds only when ants are confined in a space with boundaries, but not when physical barriers are absent. These findings suggest that the influence of animal personalities on network structure and function depends on the environment in which the animals reside [Current Zoology 61 （1）： 98-106, 2015].

Do networks of social interactions reflect patterns of kinship？

The underlying kin structure of groups of animals may be glimpsed from patterns of spatial position or temporal as- sociation between individuals, and is presumed to facilitate inclusive fitness benefits. Such structure may be evident at a finer, behavioural, scale with individuals preferentially interacting with kin. We tested whether kin structure within groups of meerkats Suricata suricatta matched three forms of social interaction networks： grooming, dominance or foraging competitions. Networks of dominance interactions were positively related to networks of kinship, with close relatives engaging in dominance interactions with each other. This relationship persisted even after excluding the breeding dominant pair and when we restricted the kinship network to only include links between first order kin, which are most likely to be able to discern kin through simple rules of thumb. Conversely, we found no relationship between kinship networks and either grooming networks or networks of foraging competitions. This is surprising because a positive association between kin in a grooming network, or a negative association be- tween kin in a network of foraging competitions offers opportunities for inclusive fitness benefits. Indeed, the positive association between kin in a network of dominance interactions that we did detect does not offer clear inclusive fitness benefits to group members. We conclude that kin structure in behavioural interactions in meerkats may be driven by factors other than indirect fit- ness benefits, and that networks of cooperative behaviours such as grooming may be driven by direct benefits accruing to indi- viduals perhaps through mutualism or manipulation