Upgrading coal-derived liquids to diesel fuel

Distilled fractions of a coal-derived liquid from the H-Coal process were upgraded to diesel fuel by catalytic hydrotreatment. The total hydrotreated products were distilled into naphtha (<180°C) and diesel fuel fractions (>180°C) and the diesel fractions were analysed for hydrocarbon-type composition, hydrogen content and some diesel fuel properties. GC—MS-analyses were carried out on the hydrocarbon-type fractions to identify individual chemical compounds. To investigate the effect of different distillation cut points on diesel fuel yield and properties, cut points for one hydrotreated product were varied. The diesel fuel cetane numbers were correlated with percentage hydrogen, total aromatics and saturates. Cetane numbers above 40 were obtained for diesel fuels containing (i) more than 75% saturates, (ii) less than 15% total aromatics and (iii) a hydrogen content above 12.8%. Compounds identified by GC—MS-analyses (in the diesel fractions) were typical aromatic and cycloparaffin compounds. Normal-and iso-paraffin compounds were not detected. By varying the distillation cut point from 135 to 180°C, the cetane number of the residual diesel fraction improved from 37 to 44. This increase is ascribed to the removal of aromatic compounds in the 135–180°C boiling point range.     

A case of cognac adulteration

Summary Linear discriminant analysis of GLC-aromagram data is used to separate several classes of wine distillates, namely cognac, armagnac and brandy. In this paper we demonstrate how this method was used to detect adulteration. The adulteration was confirmed by the presence of ethyl heptanoate and limonene, which are well-known flavour compounds. They were analysed by means of a Purge and Trap headspace technique. Mass spectrometry was used to identify these flavours.

---

Ein Beispiel für die Verfälschung von Cognac

Zusammenfassung Die Linear-Discriminanz-Analyse von GLC-Aromagramm-Daten wird zur Klassifizierung von Weindestillaten wie Cognac, Armagnac und Brandy verwendet. In dieser Arbeit werden mit dieser Methode Verfälschungen nachgewiesen, die durch die Gegenwart der Ethylester der Heptansäure und des Limonen belegt werden konnten. Diese Substanzen wurden mit der Purge- und Trap-Methode erfaßt und massenspektrometrisch identifiziert.

     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Multi-field packet classification using ternary CAM

A new method for multi-field packet classification using a ternary CAM (TCAM) is presented. It is based on a preprocessing step that encodes classification rule information in the form of prefixes within an intermediate search key. The scheme enables TCAMs to handle larger rule sets more efficiently     

是天使？是魔鬼？——IE7正式版体验

10月19日,历经5年的等待,姗姗来迟的InternetExplorer7正式版终于出现在世人面前。有别于以往渐近式的改进,本次的IE7不管是外观,还是内涵,都发生了翻天覆地的变化。不过,资源占用情况依然不容乐观,本文将带你了解这一切。     

Cholesteryl ester transfer protein gene polymorphism is a determinant of HDL cholesterol and of the lipoprotein response to a lipid-lowering diet in type 1 diabetes

The TaqIB cholesteryl ester transfer protein (CETP) gene polymorphism (B1B2) is a determinant of HDL cholesterol in nondiabetic populations. Remarkably, this gene effect appears to be modified by environmental factors. We evaluated the effect of this polymorphism on HDL cholesterol levels and on the lipoprotein response to a linoleic acid-enriched, low-cholesterol diet in patients with type 1 diabetes. In 44 consecutive type 1 diabetic patients (35 men), CETP polymorphism, apolipoprotein (apo) E genotype, serum lipoproteins, serum CETP activity (measured with an exogenous substrate assay, n = 30), clinical variables, and a diet history were documented. The 1-year response to diet was assessed in 14 type 1 diabetic patients, including 6 B1B1 and 6 B1B2 individuals. HDL cholesterol was higher in 10 B2B2 than in 14 B1B1 homozygotes (1.63 +/- 0.38 vs. 1.24 +/- 0.23 mmol/l, P < 0.01). HDL cholesterol, adjusted for triglycerides and smoking, was 0.19 mmol/l higher for each B2 allele present. CETP activity levels were not significantly different between CETP genotypes. Multiple regression analysis showed that VLDL + LDL cholesterol was associated with dietary polyunsaturated:saturated fatty acids ratio (P < 0.02) and total fat intake (P < 0.05) in the B1B1 homozygotes only and tended to be related to the presence of the apo E4 allele (P < 0.10). In response to diet, VLDL + LDL cholesterol fell (P < 0.05) and HDL cholesterol remained unchanged in 6 B1B1 homozygotes. In contrast, VLDL + LDL cholesterol was unaltered and HDL cholesterol decreased (P < 0.05) in 6 B1B2 heterozygotes (P < 0.05 for difference in change in VLDL + LDL/HDL cholesterol ratio). This difference in response was unrelated to the apo E genotype. Thus, the TaqIB CETP gene polymorphism is a strong determinant of HDL cholesterol in type 1 diabetes. This gene effect is unlikely to be explained by a major influence on the serum level of CETP activity, as an indirect measure of CETP mass. Our preliminary data suggest that this polymorphism may be a marker of the lipoprotein response to dietary intervention.     

Estimation of failure intensity for the Weibull process

A Weibull process/non-homogeneous Poisson process is commonly used to analyze the failure behavior of repairable systems. The object of the present study is to obtain exact estimates of the failure intensity of this model at the time of n failures. The resulting MLE estimate is biased and the corrected version for biasedness along with some approximate estimates is given. An analytical and numerical comparison of the relative efficiencies of the MLE of the exact biased, approximated biased, exact unbiased and approximated unbiased of the intensity function is presented. It will be shown that for small n (n < 30) there is quite a large relative difference between the mean squared errors of the exact and approximate estimates of the intensity function. Real failure data are used to illustrate the difference between the exact and approximate estimates of the intensity function.