Compositional trend analysis on poly(phenylene ether) based thermoplastic elastomers

Detailed statistical trend analysis of thermoplastic elastomers based on poly (phenylene ether) (PPE), polystyrene (PS), ethylene vinyl acetate (EVA) and styrene‐ethylene‐butylene‐styrene (SEBS) was done through Design Expert software by Stat‐Ease. D optimal crossed design was followed to capture the interaction with the parameters. Effect of blend ratio, vinyl acetate (VA) content of EVA, molecular weight (MW) of SEBS and intrinsic viscosity (IV) of PPE on the blend performance (response) was studied in detail. Design of Experiment (DOE) analysis showed the “optimized formulation” of the blend. Increase in PPE‐polystyrene (PS) content increased tensile strength and modulus of the blend, followed by a decrease in strain at break. However, EVA had a reverse effect on tensile strength and modulus. Strain at break increased significantly with increasing SEBS content in the blend. Graphical and numerical optimization showed that superior mechanical properties (tensile strength, strain at break and modulus) could be achieved at VA content ～ 50% at a particular loading of EVA. Low MW SEBS was found to be more compatible with the other components of the blend. Mechanical properties of the quaternary blend were marginally affected with change in IV of PPE in the range of 0.33 to 0.46. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 2007     

Investigation on energy storage and conversion properties of multifunctional PANI-MWCNT composite

Polyaniline-multiwalled carbon nanotube (PANI-MWCNT) composite synthesized through chemical polymerization is investigated as a possible electrode material for supercapacitor as well as an electro-catalyst for hydrogen evolution reaction (HER) in acidic medium. UV–Vis spectroscopy, FTIR spectroscopy and field emission scanning electron microscopy (FESEM) have been used to characterize the electrode material. The binder-free electrodes were prepared and they exhibit a specific capacitance of 540.29 F g^?1 at a scan rate of 2 mV s^?1 in 1 M H₂SO₄ electrolyte. The material exhibits excellent pseudocapacitive behaviour due to the presence of PANI with long-term cyclic stability of 87.4% retention after 5000 cycles. PANI-MWCNT composite also shows good HER activity, with overpotential of ?395 mV.     

Thermal Management Enables Bright and Stable Perovskite Light-Emitting Diodes

The performance of lead-halide perovskite light-emitting diodes (LEDs) has increased rapidly in recent years. However, most reports feature devices operated at relatively small current densities (<500 mA cm⁻²) with moderate radiance (<400 W sr⁻¹ m⁻²). Here, Joule heating and inefficient thermal dissipation are shown to be major obstacles toward high radiance and long lifetime. Several thermal management strategies are proposed in this work, such as doping charge-transport layers, optimizing device geometry, and attaching heat spreaders and sinks. Combining these strategies, high-performance perovskite LEDs are demonstrated with maximum radiance of 2555 W sr⁻¹ m⁻², peak external quantum efficiency (EQE) of 17%, considerably reduced EQE roll-off (EQE > 10% to current densities as high as 2000 mA cm⁻²), and tenfold increase in operational lifetime (when driven at 100 mA cm⁻²). Furthermore, with proper thermal management, a maximum current density of 2.5 kA cm⁻² and an EQE of ≈1% at 1 kA cm⁻² are shown using electrical pulses, which represents an important milestone toward electrically driven perovskite lasers.     

Rapid Synthesis of High Surface Area Imine-Linked 2D Covalent Organic Frameworks by Avoiding Pore Collapse During Isolation

Imine-linked 2D covalent organic frameworks (COFs) form more rapidly than previously reported under Brønsted acid-catalyzed conditions, showing signs of crystallinity within a few minutes, and maximum crystallinity within hours. These observations contrast with the multiday reaction times typically employed under these conditions. In addition, vacuum activation, which is often used to isolate COF materials significantly erodes the crystallinity and surface area of the several isolated materials, as measured by N₂ sorption and X-ray diffraction. This loss of material quality during isolation for many networks has historically obscured otherwise effective polymerization conditions. The influence of the activation procedure is characterized in detail for three COFs, with the commonly used 1,3,5-tris(4-aminophenyl)benzene-terephthaldehyde network (TAPB-PDA COF), the most prone to pore collapse. When the networks are activated carefully, rapid COF formation is general for all five of the imine-linked 2D COFs studied, with all exhibiting excellent crystallinity and surface areas, including the highest surface areas reported to date for three materials. Furthermore, to simplify the workup of COF materials, a simple nitrogen flow method provides high-quality materials without the need for specialized equipment. These insights have important implications for studying and understanding how 2D COFs form.     

Improvement of lubrication and cooling in grinding

The presence of air boundary layer around a grinding wheel impedes the proper entry of cutting fluid into grinding zone and thereby lubrication and cooling are hampered. It leads to the thermal damage to the workpiece and rapid wheel wear. This experimental work is aimed at increasing the lubrication and cooling effects in grinding by a novel method of using scraper board. The experiments are conducted, using the scraper board, to find the critical region where the air pressure is zero. The coolant jet has then impinged into the grinding zone which is maintained within the critical region. The requirement of specific energy, surface texture, and mechanical properties of the ground surface are analyzed and compared with the traditional grinding and the grinding at various positions of scraper board. Results show that the grinding ratio improved by 35.6and 119%, surface roughness decreased by 36 and 54.2%, while the requirement of specific energy is reduced by 50.8 and 57.3% when scraper board is positioned at the critical distance in comparison to the 57.5° position and no scraper board, respectively. The results indicate that the introduction of fluid in the present method can improve the process efficiency and the product quality effectively.     

Modelling the spread of American foulbrood in honeybees

We investigate the spread of American foulbrood (AFB), a disease caused by the bacterium Paenibacillus larvae, that affects bees and can be extremely damaging to beehives. Our dataset comes from an inspection period carried out during an AFB epidemic of honeybee colonies on the island of Jersey during the summer of 2010. The data include the number of hives of honeybees, location and owner of honeybee apiaries across the island. We use a spatial SIR model with an underlying owner network to simulate the epidemic and characterize the epidemic using a Markov chain Monte Carlo (MCMC) scheme to determine model parameters and infection times (including undetected ‘occult’ infections). Likely methods of infection spread can be inferred from the analysis, with both distance- and owner-based transmissions being found to contribute to the spread of AFB. The results of the MCMC are corroborated by simulating the epidemic using a stochastic SIR model, resulting in aggregate levels of infection that are comparable to the data. We use this stochastic SIR model to simulate the impact of different control strategies on controlling the epidemic. It is found that earlier inspections result in smaller epidemics and a higher likelihood of AFB extinction.     

Local Module Checking for CTL Specifications

Model checking is a well known technique for the verification of finite state models using temporal logic specification. While model checking is suitable for transformational systems (also called closed systems), it is unsuitable for open systems (also known as reactive systems) where the nondeterminism in the environment must be considered during verification. Module checking is an approach for the verification of open systems which have both closed (internal) and open (environment or external) states. It has been demonstrated in [Orna Kupferman, Moshe Y. Vardi, and Pierre Wolper. Module checking. Information and Computation, 164:322–344, 2001] that the complexity of module checking branching time logic CTL is EXPTIME-complete. The approach to module checking is global and the method tries to establish that the property in question holds over all possible environments.This papers develops a local approach to CTL module checking using tableau rules. The proposed approach tries to determine a single environment under which the negation of the property is satisfied over the given module. Such a strategy, thus, leads to a local approach to module checking where we only explore states that are relevant to proving that the negation of the property can be satisfied over the given module using an appropriate witness (environment) that the algorithm also generates. While the worst case complexity of our algorithm is identical to the earlier complexity, we demonstrate that practical implementation of the proposed approach is feasible and yields much better results than the global approach.     

Compositional model checking of software product lines using variation point obligations

This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product line. As the use of product lines has increased, so has the need to verify the models used to construct the products in the product line. However, this effort is currently hampered by the difficulty of composing model-checking results for the features in a way that allows reuse for subsequent products. The contributions of this paper are to remove restrictions on how the features can be sequentially composed, to describe how to generate obligations such that all sequentially composed systems can be verified, and to show how to compositionally model check the product in the product line by reusing the variation-point obligations. The paper develops the technique and its implementation in the context of a medical-device product line.