A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Integration of solvent extraction and liquid membrane separation: An efficient tool for recovery of bio-active substances from botanicals

An integrated process based on simultaneous solid-liquid extraction and liquid membrane separation is proposed for recovery and isolation of valuable species from botanicals. This integration provides complete exhausting of the solid material even in the case of very low solubility of the specified solute in the extracting solvent. Selectivity of the liquid membrane ensures a preferential transport of the desired solute from the native extract into the strip solution, while the other co-extracted species remain predominantly in the native extract.     

The block to HIV-1 envelope glycoprotein-mediated membrane fusion in animal cells expressing human CD4 can be overcome by a human cell component(s)

Membrane fusion mediated by interaction of the human immunodeficiency virus type 1 (HIV-1) envelope glycoprotein with the human CD4 molecule generally requires that the CD4 be expressed on a human cell. The failure of murine or simian cells expressing human CD4 to form syncytia upon mixing with cells expressing envelope glycoprotein could not be corrected by expression of both molecules at extremely high surface levels using vaccinia virus expression vectors. Video fluorescence microscopic analysis of fluorescent dye transfer between fusing cells indicated that the block occurred at the level of membrane fusion between individual pairs of cells. To gain insight into the basis for this fusion block, we tested the ability of fluorescent probe cells expressing envelope glycoprotein to fuse with transient animal x human hybrid giant cells expressing human CD4. The hybrid giant cells were generated either by low-pH-induced fusion of vaccinia-infected cells or by CD4/HIV-1 envelope glycoprotein-mediated cell fusion. We observed that envelope glycoprotein-expressing probe cells efficiently fused with CD4-expressing animal x human hybrid giant cells, independent of whether the CD4 was originally expressed on the animal or on the human cell. Fusion did not occur with CD4-expressing giant cells derived from animal cells alone. These results indicate that the fusion block is not due to dominant inhibitory components in the animal cell. Rather, they suggest that human cells contain an additional component(s) which, when transferred to the CD4-bearing animal cell, confers the ability to undergo membrane fusion mediated by the HIV-1 envelope glycoprotein.     

Surface Hardening of Alloy Steels Using a High Intensity Electron Beam

Energy sources such as electron or laser beams have been extensively used for materials processing. Surface hardening is an established process used in industry. A combination of nitriding and electron beam treatment is used to modify alloy steel with nominal composition (wt.%) of 0.42% C, 0.96% Cr, 0.6% Mn, 0.37% Si, balance Fe. The hardness of the hardened layer varies in the range 800-850 HV. The high hardness is due to a refined microstructure consisting of a -solid solution (nitrous martensite) and γ - solid solution (nitrous austenite) and dispersed fine nitride precipitates. The wear resistance the of electron beam treated layer is double that of the ion nitrided specimens.     

Role of Chiral Configuration in the Photoinduced Interaction of D- and L-Tryptophan with Optical Isomers of Ketoprofen in Linked Systems

The study of the L- and D-amino acid properties in proteins and peptides has attracted considerable attention in recent years, as the replacement of even one L-amino acid by its D-analogue due to aging of the body is resulted in a number of pathological conditions, including Alzheimer’s and Parkinson’s diseases. A recent trend is using short model systems to study the peculiarities of proteins with D-amino acids. In this report, the comparison of the excited states quenching of L- and D-tryptophan (Trp) in a model donor–acceptor dyad with (R)- and (S)-ketoprofen (KP-Trp) was carried out by photochemically induced dynamic nuclear polarization (CIDNP) and fluorescence spectroscopy. Quenching of the Trp excited states, which occurs via two mechanisms: prevailing resonance energy transfer (RET) and electron transfer (ET), indeed demonstrates some peculiarities for all three studied configurations of the dyad: (R,S)-, (S,R)-, and (S,S)-. Thus, the ET efficiency is identical for (S,R)- and (R,S)-enantiomers, while RET differs by 1.6 times. For (S,S)-, the CIDNP coefficient is almost an order of magnitude greater than for (R,S)- and (S,R)-. To understand the source of this difference, hyperpolarization of (S,S)-and (R,S)- has been calculated using theory involving the electron dipole–dipole interaction in the secular equation.     

Organic Nanoparticles with Polypropyleneoxide Chains as Support for Metallocene Catalysts: Ethylene Homopolymerization and Ethylene/α-olefin Copolymerization

Summary Novel organic nanoparticles functionalized with nucleophilic polypropyleneoxide (PPO) chains on their surfaces for supporting metallocene catalysts in heterogeneous olefin polymerization are presented. The nanoparticles (60–100 nm) were obtained by miniemulsion polymerization of styrene, divinylbenzene and PPO functionalized styrene. It is demonstrated that Me₂Si(2MeBenzlnd)₂ZrCl₂/MAO supported on these nanoparticles is suitable for the homopolymerization of ethylene, resulting in excellent product morphologies and high activities. lt is shown that by varying the MAO/Zr ratios and Zr concentrations the activities and productivities of the catalysts as well as the qualities of the polyethylene products can be tuned. These new supported catalysts are also suitable for the copolymerization of ethylene with several comonomers (1-hexene, 1-octene, 1-decene or norbornene). As the obtained product properties like crystallinity, melting temperature or bulk density match the results of silica supported systems, these organic nanoparticles can be considered as alternative carriers in comparison to the established inorganic ones.     

Engineering Analysis and Design with ALE-VMS and Space–Time Methods

Flow problems with moving boundaries and interfaces include fluid–structure interaction (FSI) and a number of other classes of problems, have an important place in engineering analysis and design, and offer some formidable computational challenges. Bringing solution and analysis to them motivated the Deforming-Spatial-Domain/Stabilized Space–Time (DSD/SST) method and also the variational multiscale version of the Arbitrary Lagrangian–Eulerian method (ALE-VMS). Since their inception, these two methods and their improved versions have been applied to a diverse set of challenging problems with a common core computational technology need. The classes of problems solved include free-surface and two-fluid flows, fluid–object and fluid–particle interaction, FSI, and flows with solid surfaces in fast, linear or rotational relative motion. Some of the most challenging FSI problems, including parachute FSI, wind-turbine FSI and arterial FSI, are being solved and analyzed with the DSD/SST and ALE-VMS methods as core technologies. Better accuracy and improved turbulence modeling were brought with the recently-introduced VMS version of the DSD/SST method, which is called DSD/SST-VMST (also ST-VMS). In specific classes of problems, such as parachute FSI, arterial FSI, ship hydrodynamics, fluid–object interaction, aerodynamics of flapping wings, and wind-turbine aerodynamics and FSI, the scope and accuracy of the FSI modeling were increased with the special ALE-VMS and ST FSI techniques targeting each of those classes of problems. This article provides an overview of the core ALE-VMS and ST FSI techniques, their recent versions, and the special ALE-VMS and ST FSI techniques. It also provides examples of challenging problems solved and analyzed in parachute FSI, arterial FSI, ship hydrodynamics, aerodynamics of flapping wings, wind-turbine aerodynamics, and bridge-deck aerodynamics and vortex-induced vibrations.     

Encoding Invariance in Average Case Complexity

When we represent a decision problem, like CIRCUIT-SAT, as a language over the binary alphabet, we usually do not specify how to encode instances by binary strings. This relies on the empirical observation that the truth of a statement of the form “CIRCUIT-SAT belongs to a complexity class C” does not depend on the encoding, provided both the encoding and the class C are “natural”. In this sense most of the Complexity theory is “encoding invariant”. The notion of a polynomial time computable distribution from Average Case Complexity is one of the exceptions from this rule. It might happen that a distribution over some objects, like circuits, is polynomial time computable in one encoding and is not polynomial time computable in the other encoding. In this paper we suggest an encoding invariant generalization of a notion of a polynomial time computable distribution. The completeness proofs of known distributional problems, like Bounded Halting, are simpler for the new class than for polynomial time computable distributions.     

A conformance test suite for TTCN-3 tools

With more than 10 years of maturing through industrial use and standardization, the Testing and Test Control Notation (TTCN-3) has become a widely used technology that many businesses depend upon for ensuring their product quality. With the rising number of supporters and tools, the demand for a means to assess the standards compliance of TTCN-3 tools has increased. In this article, we describe the motivation, approach, methodology, and results of the still ongoing project to develop a standardized conformance test suite for TTCN-3 tools. We discuss the challenges involved in creating such a test suite, the way to deal with imposed resource limitations of the project, and where we think the effort is heading.