Anionic polymerization of ethylene oxide with cryptates as counterions: 2

A kinetic study of the anionic polymerization of ethylene oxide has been made in tetrahydrofuran at 20°C, with the cryptate Cs⁺ + [TC] as counterion, [TC] being a spheroidal macrotricyclic ligand. Conductance measurements have been made on THF solutions of ?₄BCs + [TC]. Ionic associations higher than cryptated ion pairs are negligible for living end concentrations lower than 3 × 10^?4 moll^?1. k_± and the alkoxide ion pair dissociation constant K_D were determined from both sets of kinetic data obtained with and without added salt knowing the value of k_? from kinetic data performed with K⁺ + [222] as counterion. Free alkoxide ions are about twenty times more reactive than cryptated caesium ion pairs.     

Effect of special structure of clam shell powder on structure and properties of castor oil-based composites

Castor oil (CO) is an environmentally friendly renewable green resource and ideal alternative to petroleum resources. The preparation of high strength and high toughness castor oil-based polyurethane prepolymer (COPU) composites has significant applications such as supporting material and engineering plastic sheet. In this study, unmodified clam shell powder (CSP) with a unique CaCO₃-proteoglycan structure was used as a filler to prepare compatible reinforced COPU composite materials. Investigation of the mechanical properties revealed that the elastic modulus of the composite COPU reinforced with 50 wt% of CSP had increased to 5859.0 ± 8.4 MPa representing 187.77% to obtain stiffer and stronger material over pure COPU (2036.6 ± 196.9 MPa). Moreover, the scanning electron microscopy, thermogravimetric analysis and contact angle results demonstrated that the reinforced COPU composites have better compatibility, thermal stability, and water resistance than pure COPU. This work will promote the application prospects of CO-based polyurethane.     

Analysis of two authorization protocols using Colored Petri Nets

To prevent unauthorized access to protected trusted platform module (TPM) objects, authorization protocols, such as the object-specific authorization protocol (OSAP), have been introduced by the trusted computing group (TCG). By using OSAP, processes trying to gain access to the protected TPM objects need to prove their knowledge of relevant authorization data before access to the objects can be granted. Chen and Ryan’s 2009 analysis has demonstrated OSAP’s authentication vulnerability in sessions with shared authorization data. They also proposed the Session Key Authorization Protocol (SKAP) with fewer stages as an alternative to OSAP. Chen and Ryan’s analysis of SKAP using ProVerif proves the authentication property. The purpose of this paper was to examine the usefulness of Colored Petri Nets (CPN) and CPN Tools for security analysis. Using OSAP and SKAP as case studies, we construct intruder and authentication property models in CPN. CPN Tools is used to verify the authentication property using a Dolev–Yao-based model. Verification of the authentication property in both models using the state space tool produces results consistent with those of Chen and Ryan.     

Severity of delayed (“secondary”) cerebral energy failure after acute hypoxia-ischemia is related to the time integral of acute ATP depletion

The aim of this study was to reproduce the delayed (secondary) cerebral energy failure previously described in birth-asphyxiated newborn infants and to investigate relationships between primary insult severity and the extent of the delayed energy failure. Phosphorus (³¹P) magnetic resonance spectroscopy (MRS) at 7 T was used to study the brains of 12 newborn piglets during an acute, reversible, cerebral hypoxic-ischemic episode which continued until nucleotide triphosphates (NTP) were depleted. After reperfusion and reoxygenation, spectroscopy was continued for 48 h. High-energy metabolite concentrations returned to near normal levels after the insult, but later they fell as delayed energy failure developed. The time integral of NTP depletion in the primary insult correlated strongly with the minimum [phosphocreatine (PCr)]/[inorganic orthophosphate (P_i)] observed 24–48 h after the insult. (Linear regression analysis gave slope –8.04 h^–1; ordinate intercept=1.23;r=0.92;P<0.0001.) This model is currently being used to investigate the therapeutic potential of various cerebroprotective strategies including hypothermia.     

Plasmon resonant amplification of a hot electron-driven photodiode

Nano Research - We report plasmon resonant excitation of hot electrons in a photodetector based on a metal/oxide/metal (Au/Al2O3/graphene) heterostructure. In this device, hot electrons, excited...     

Designing a secure e-tender submission protocol

This paper investigates the fundamental difference between a simple e-tender box and a traditional physical tender box, and highlights a series of security traps created by the functional differences. Based on our findings, we have defined the security requirements for an e-tender submission protocol. We also discuss functional limitations of cryptographic technologies. As a result, two secure e-tender submission protocols are proposed which enable a secure e-tender submission. Protocols are assumed to run under the condition that all tendering parties (principal and tenderers) are dishonest players. Our informal and formal security analysis show that these protocols meet their security goals under well known collusion scenarios. Because security is a process not a product, our approach will have broad industry application for developing secure electronic business processes in areas other than e-tendering.

Improving the definition of general constraints in UML

An important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed by the predefined constructs provided by conceptual modeling languages. This is generally achieved by using general-purpose languages like OCL. In this paper we propose a new approach that facilitates the definition of such general constraints in UML. More precisely, we define a profile that extends the set of predefined UML constraints by adding certain types of constraints that are commonly used in conceptual schemas. We also show how our proposal facilitates reasoning about the constraints and their automatic code generation, study the application of our ideas to the specification of two real-life applications, and present a prototype tool implementation.