Impact of deposit aging and surface roughness on thermal fouling: Distributed model

A kinetic model was recently proposed to describe the effect of aging on deposit thermal conductivity and the thermal performance of a shell‐and‐tube heat exchanger undergoing crude oil fouling. The model is adapted for implementation within a dynamic, distributed system with spatial and temporal distributions, relaxing several of the previous assumptions. The evolution of surface roughness is also considered, using conjectural linear and asymptotic functions. Simulations are performed for a single tube representative of a refinery exchanger. The results demonstrate the substantial effects over time of aging and roughness on heat transfer and pressure drop. Roughness effects yield apparently negative initial fouling resistances, as reported in some experimental tests. The importance of accounting for roughness dynamics in short time scale pilot plant scale tests and aging over longer time scales in industrial applications is highlighted. © 2010 American Institute of Chemical Engineers AIChE J, 2010     

The antioxidant capacity of complex mixtures by kinetic analysis of crocin bleaching inhibition

The capability of a compound or of a mixture of compounds to quench peroxyl radicals was measured by analyzing the kinetics of the competition of a parallel reaction where peroxyl radicals bleach the carotenoid crocin. This kinetic approach, originally described for the analysis of antioxidants reacting with hydroxyl radicals in water, was modified by both decreasing the polarity of the solvent, thus allowing the analysis of lipophilic compounds, and by substituting a source of peroxyl radicals for the hydroxyl radical generating system. Single compounds as well as complex mixtures were analyzed by kinetic data processing. Overall antioxidant capacity, relative to that of α-tocopherol or of its soluble analog Trolox C, was calculated. As examples of the use of this test, the antioxidant capacities of a crude rosemary extract, Maillard reaction products, and virgin olive oils were measured.     

Understanding users and their needs

Gaze-control enables people to control a computer by using eye-gaze to select items on screen. Gaze-control is a necessity for people who have lost all motor control of their body and only have control over eye movements. In addition, gaze-control can be the quickest and least tiring option for a far broader group of people with varying disabilities. This paper reports findings from gaze-control user trials involving users from both groups: people who are totally paralyzed, as well as people with a wide range of complex disabilities. The trials conducted involved four different centres supporting people with disabilities in three different European countries. Several gaze-control systems were trialled by a large number of users with varying needs and abilities. The perceived benefits of gaze-control are described, and recommendations for successful assessment and implementation of gaze-control are provided.     

Resolution proof transformation for compression and interpolation

Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases.     

Poly(ADP-ribose)-polymerase-catalyzed hydrolysis of NAD+: QM/MM simulation of the enzyme reaction

Poly(ADP-ribose) polymerase (PARP) is a nuclear enzyme which uses NAD+ as substrate and catalyzes the transfer of multiple units of ADP-ribose to target proteins. PARP is an attractive target for the discovery of novel therapeutic agents and PARP inhibitors are currently evaluated for the treatment of a variety of pathological conditions such as brain ischemia, inflammation, and cancer. Herein, we use the PARP-catalyzed reaction of NAD+ hydrolysis as a model for gaining insight into the molecular details of the catalytic mechanism of PARP. The reaction has been studied in both the gas-phase and in the enzyme environment through a QM/MM approach. Our results indicate that the cleavage reaction of the nicotinamide-ribosyl bond proceeds through an SN2 dissociative mechanism via an oxacarbenium transition structure. These results confirm the importance of the structural water molecule in the active site and may constitute the basis for the design of transition-state-based PARP inhibitors.     

Preparation and characterization of comb-shaped polyesters from 2,2-dioctadecyl-1,3-propanediol and phthalic acids

Summary New types of comb-shaped polyesters have been prepared by transesterification of 2,2-dioctadecyl-1,3-propanediol and the three isomeric diphenyl phthalates. Intrinsic viscosity and SEC analyses allowed determination of DPs (60–89) and molar masses; results compare well with absolute average weight molar masses (56,000–118,000) determined by low-angle laser light scattering. High-resolution ¹³C NMR reveals the characteristic aromatic and glycol polyester patterns; it resolves many side-chain methylene carbons, but shows no evidence of end-groups. All the polyesters are crystalline as shown by X-ray diffractometry and DSC, the crystallinity being exclusively due to the octadecyl side-group crystallization in the hexagonal form. The results indicate that the crystallinity decreases substantially when going from the ortho- to the terephthalate polyester.     

Thermo‐hydraulic analysis of refinery heat exchangers undergoing fouling

A complete, systematic approach is presented for the analysis and characterization of fouling and cleaning in refinery heat exchangers. Bringing together advanced thermo‐hydraulic dynamic models, some new formulations, and a method for dynamic analysis of plant data, it allows: extracting significant information from the data; evaluating the fouling state of the units based on thermal measurements and pressure drops, if available; identifying the range of deposit conductivity leading to realistic pressure drops, if pressure measurements are unavailable; estimating key fouling and ageing parameters; estimating the effectiveness of cleaning and surface conditions after a clean; and predicting thermal and hydraulic performance with good accuracy for other periods/exchangers operating in similar conditions. An industrial case study demonstrates the performance prediction in seamless simulations that include partial and total cleanings for over 1000 days operation. The risks of using thermal effects alone and the significant advantages of including pressure drop measurements are highlighted. © 2016 American Institute of Chemical Engineers AIChE J, 63: 984–1001, 2017