Artificial ageing of low density polyethylene film containing chemically bound UV - stabilizer

This paper deals with photostabilization of low density polyethylene films (LDPE) grafted with the UV-stabilizer 2-hydroxy-4-(3-methacryloxy-2-hydroxy-propoxy) benzophenone (HMB). The influence of grafting yield and the other grafting conditions upon photostabilization efficiency of LDPE films were then studied. The chemically bound monomer (HMB) was localized mainly near the surface of an LDPE film. The grafted LDPE film was exposed to an ultraviolet radiation source, and the degree of oxidation and other photooxidative changes were determined by transmission IR and ATR IR spectroscopy. Experimental results show that radiation grafting of a UV-stabilizer upon LDPE films is an efficient photostabilization method.     

3-D/2-D registration of CT and MR to X-ray images

A crucial part of image-guided therapy is registration of preoperative and intraoperative images, by which the precise position and orientation of the patient's anatomy is determined in three dimensions. This paper presents a novel approach to register three-dimensional (3-D) computed tomography (CT) or magnetic resonance (MR) images to one or more two-dimensional (2-D) X-ray images. The registration is based solely on the information present in 2-D and 3-D images. It does not require fiducial markers, intraoperative X-ray image segmentation, or timely construction of digitally reconstructed radiographs. The originality of the approach is in using normals to bone surfaces, preoperatively defined in 3-D MR or CT data, and gradients of intraoperative X-ray images at locations defined by the X-ray source and 3-D surface points. The registration is concerned with finding the rigid transformation of a CT or MR volume, which provides the best match between surface normals and back projected gradients, considering their amplitudes and orientations. We have thoroughly validated our registration method by using MR, CT, and X-ray images of a cadaveric lumbar spine phantom for which "gold standard" registration was established by means of fiducial markers, and its accuracy assessed by target registration error. Volumes of interest, containing single vertebrae L1-L5, were registered to different pairs of X-ray images from different starting positions, chosen randomly and uniformly around the "gold standard" position. CT/X-ray (MR/ X-ray) registration, which is fast, was successful in more than 91% (82% except for L1) of trials if started from the "gold standard" translated or rotated for less than 6 mm or 17 degrees (3 mm or 8.6 degrees), respectively. Root-mean-square target registration errors were below 0.5 mm for the CT to X-ray registration and below 1.4 mm for MR to X-ray registration.     

Automated visual inspection of imprint quality of pharmaceutical tablets

Visual appearance is an important quality factor of pharmaceutical tablets. Moreover, it plays a key role in identification of tablets, which is needed to prevent mix-ups among various types of tablets. Since identification of tablets is most frequently done by imprints, good imprint quality, a property that makes the imprint readable, is of utmost importance in preventing mix-ups among the tablets. In this paper, we propose a novel method for automated visual inspection of tablets. Besides defect detection, imprint quality inspection is also considered. Performance of the method was evaluated on three different real tablet image databases of imprinted tablets. A “gold standard” was established by manually classifying tablets into a good and a defective class. The receiver operating characteristics (ROC) analysis indicated that the proposed method yields better sensitivity and specificity than the previous defect detection method.     

Efficient SAT-based bounded model checking for software verification

This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program.     

Applications of heat-diffusion equation for surface wrapping: hole detection and normal orientation

This paper presents a method for detecting holes during the surface wrapping process which cause surface leaks into the volume parts that shall not be meshed. The method solves a heat-diffusion equation on the background octree mesh, which is generated based on user-defined parameters, and its resolution corresponds to the resolution of the wrapper surface mesh. The heat problem is posed with the constant heat source in the volume, and the holes are detected as regions of high temperature gradients. The method detects both holes with open-boundary edges and semantic holes due to some missing parts. The sensitivity of the method is controlled via user-adjustable parameter which represents the ratio between the volume that shall not be meshed and the area of the hole. In addition, it is demonstrated that the method can be used to correct the orientation of normals in the surface mesh by utilising the property that high temperature is always found inside the volume. The potential of the method is presented on complex engineering examples.     

Prediction of the natural gas consumption in chemical processing facilities with genetic programming

Cinkarna Ltd. is a chemical processing company in Slovenia and the country’s largest manufacturer of titanium oxides (TiO₂). Chemical processing and titanium oxide manufacturing in particular requires high natural gas consumption, and it is difficult to accurately pre-order gas from suppliers. In accordance with the Energy Agency of the Republic of Slovenia regulations, each natural gas supplier regulates and determines the charges for the differences between the ordered (predicted) and the actually supplied quantities of natural gas. Yearly charges for these differences total 1.11 % of supplied natural gas costs (average 50,960 EUR per year). This paper presents natural gas consumption prediction and the minimization of associated costs. The data on daily temperature, steam boilers, sulfur acid and TiO₂ production was collected from January 2012 until November 2014. Based on the collected data, a linear regression and a genetic programming model were developed. Compared to the specialist’s prediction of natural gas consumption, the linear regression and genetic programming models reduce the charges for the differences between the ordered and the actually supplied quantities by 3.00 and 5.30 times, respectively. Also, from January until November 2014 the same genetic programming model was used in practice. The results show that in a similar gas consumption regime the differences between the ordered and the actually supplied quantities are statistically significant, namely, they are 3.19 times lower (t test, p < 0.05) than in the period in which the specialist responsible for natural gas consumption made the predictions.     

稳定而无副作用——新型强假塑性聚氨酯增稠剂

通过应用实例介绍了一种新型强假塑性聚氨酯增稠剂,其流变行为可在较大范围内调整,增稠效果好而无其他副作用。     

Different Involvement of Vimentin during Invasion by Listeria monocytogenes at the Blood–Brain and the Blood–Cerebrospinal Fluid Barriers In Vitro

The human central nervous system (CNS) is separated from the blood by distinct cellular barriers, including the blood–brain barrier (BBB) and the blood–cerebrospinal fluid (CFS) barrier (BCSFB). Whereas at the center of the BBB are the endothelial cells of the brain capillaries, the BCSFB is formed by the epithelium of the choroid plexus. Invasion of cells of either the BBB or the BCSFB is a potential first step during CNS entry by the Gram-positive bacterium Listeria monocytogenes (Lm). Lm possesses several virulence factors mediating host cell entry, such as the internalin protein family—including internalin (InlA), which binds E-cadherin (Ecad) on the surface of target cells, and internalin B (InlB)—interacting with the host cell receptor tyrosine kinase Met. A further family member is internalin (InlF), which targets the intermediate filament protein vimentin. Whereas InlF has been shown to play a role during brain invasion at the BBB, its function during infection at the BCSFB is not known. We use human brain microvascular endothelial cells (HBMEC) and human choroid plexus epithelial papilloma (HIBCPP) cells to investigate the roles of InlF and vimentin during CNS invasion by Lm. Whereas HBMEC present intracellular and surface vimentin (besides Met), HIBCPP cells do not express vimentin (except Met and Ecad). Treatment with the surface vimentin modulator withaferin A (WitA) inhibited invasion of Lm into HBMEC, but not HIBCPP cells. Invasion of Lm into HBMEC and HIBCPP cells is, however, independent of InlF, since a deletion mutant of Lm lacking InlF did not display reduced invasion rates.