Polymer ultrapermeability from the inefficient packing of 2D chains

The promise of ultrapermeable polymers, such as poly(trimethylsilylpropyne) (PTMSP), for reducing the size and increasing the efficiency of membranes for gas separations remains unfulfilled due to their poor selectivity. We report an ultrapermeable polymer of intrinsic microporosity (PIM-TMN-Trip) that is substantially more selective than PTMSP. From molecular simulations and experimental measurement we find that the inefficient packing of the two-dimensional (2D) chains of PIM-TMN-Trip generates a high concentration of both small (<0.7 nm) and large (0.7–1.0 nm) micropores, the former enhancing selectivity and the latter permeability. Gas permeability data for PIM-TMN-Trip surpass the 2008 Robeson upper bounds for O2/N2, H2/N2, CO2/N2, H2/CH4 and CO2/CH4, with the potential for biogas purification and carbon capture demonstrated for relevant gas mixtures. Comparisons between PIM-TMN-Trip and structurally similar polymers with three-dimensional (3D) contorted chains confirm that its additional intrinsic microporosity is generated from the awkward packing of its 2D polymer chains in a 3D amorphous solid. This strategy of shape-directed packing of chains of microporous polymers may be applied to other rigid polymers for gas separations

Operational support systems for satellite communications

The role of satellite communications is changing from providing bandwidth linking network operators interconnections towards providing IP enabled communications to end users. This migration from few high-value routes towards many low-value routes means that integration and automation of processes with terrestrial networks becomes critical in driving down unit costs. Integration and automation is necessary on all planes: user, control and management. In satellite communications, management aspects, underpinned by Operational Support Systems (OSS) have received the least research attention, making this a valuable topic for study. In most areas, OSS for satellite systems are similar to other domains. However there are some notable areas of difference which have been the focus of this research. The eTOM business framework, developed by the TMF, has been used to highlight aspects of OSS unique to satellite. Since satellite capacity represents the highest operational cost of a satellite route, effective management while minimising the overhead traffic is critical. The transmission of IP packets is assumed and the real-time measurement of QoS parameters such as packet delay and loss emerged as the most important differences. A number of approaches to QoS measurement are feasible, however the use of trace packets is most promising especially for high network loads. An experiment compares the results from simulations, mathematical models and from a test network, using Poisson and self-similar traffic flows. The relationship between measurement accuracy and trace packet intensity is explored and the measurement response time to steps in traffic load is estimated. It is discovered that measurement accuracy improves as the queue load increases, in contrast to alternative approaches such as sampling of user packets. The response time to steps depends upon the degree of self-similarity and is generally longer than the times recommended by standards. A pragmatic approach to management of different modes is proposed where the measurement method is changed depending on the load

Towards Automated Network Configuration Management

Modern networks are designed to satisfy a wide variety of competing goals related to network operation requirements such as reachability, security, performance, reliability and availability. These high level goals are realized through a complex chain of low level configuration commands performed on network devices. As networks become larger, more complex and more heterogeneous, human errors become the most significant threat to network operation and the main cause of network outage. In addition, the gap between high-level requirements and low-level configuration data is continuously increasing and difficult to close. Although many solutions have been introduced to reduce the complexity of configuration management, network changes, in most cases, are still manually performed via low--level command line interfaces (CLIs). The Internet Engineering Task Force (IETF) has introduced NETwork CONFiguration (NETCONF) protocol along with its associated data--modeling language, YANG, that significantly reduce network configuration complexity. However, NETCONF is limited to the interaction between managers and agents, and it has weak support for compliance to high-level management functionalities. We design and develop a network configuration management system called AutoConf that addresses the aforementioned problems. AutoConf is a distributed system that manages, validates, and automates the configuration of IP networks. We propose a new framework to augment NETCONF/YANG framework. This framework includes a Configuration Semantic Model (CSM), which provides a formal representation of domain knowledge needed to deploy a successful management system. Along with CSM, we develop a domain--specific language called Structured Configuration language to specify configuration tasks as well as high--level requirements. CSM/SCL together with NETCONF/YANG makes a powerful management system that supports network--wide configuration. AutoConf supports two levels of verifications: consistency verification and behavioral verification. We apply a set of logical formalizations to verifying the consistency and dependency of configuration parameters. In behavioral verification, we present a set of formal models and algorithms based on Binary Decision Diagram (BDD) to capture the behaviors of forwarding control lists that are deployed in firewalls, routers, and NAT devices. We also adopt an enhanced version of Dyna-Q algorithm to support dynamic adaptation of network configuration in response to changes occurred during network operation. This adaptation approach maintains a coherent relationship between high level requirements and low level device configuration. We evaluate AutoConf by running several configuration scenarios such as interface configuration, RIP configuration, OSPF configuration and MPLS configuration. We also evaluate AutoConf by running several simulation models to demonstrate the effectiveness and the scalability of handling large-scale networks

New insights into the molecular mechanisms of general anaesthetics

This paper provides new insights of how general anaesthetic research should be carried out in the future by an analysis of what we know, what we do not know and what we would like to know. I describe previous hypotheses on the mechanism of action of general anaesthetics (GAs) involving membranes and protein receptors. I provide the reasons why the GABA type A receptor, the NMDA receptor and the glycine receptor are strong candidates for the sites of action of GAs. I follow with a review on attempts to provide a mechanism of action, and how future research should be conducted with the help of physical and chemical methods