Very true operators in effect algebras

We introduce the concept of very true operator on an effect algebra. Although an effect algebra is only partial, we define it in the way which is in accordance with traditional definitions in residuated lattices or basic algebras. This is possible if we require monotonicity as an additional condition. We prove that very true operators on effect algebras can be characterized by means of certain subsets which are conditionally complete.     

Energy-Efficient Thermal-Aware Autonomic Management of Virtualized HPC Cloud Infrastructure

Virtualized datacenters and clouds are being increasingly considered for traditional High-Performance Computing (HPC) workloads that have typically targeted Grids and conventional HPC platforms. However, maximizing energy efficiency and utilization of datacenter resources, and minimizing undesired thermal behavior while ensuring application performance and other Quality of Service (QoS) guarantees for HPC applications requires careful consideration of important and extremely challenging tradeoffs. Virtual Machine (VM) migration is one of the most common techniques used to alleviate thermal anomalies (i.e., hotspots) in cloud datacenter servers as it reduces load and, hence, the server utilization. In this article, the benefits of using other techniques such as voltage scaling and pinning (traditionally used for reducing energy consumption) for thermal management over VM migrations are studied in detail. As no single technique is the most efficient to meet temperature/performance optimization goals in all situations, an autonomic approach that performs energy-efficient thermal management while ensuring the QoS delivered to the users is proposed. To address the problem of VM allocation that arises during VM migrations, an innovative application-centric energy-aware strategy for Virtual Machine (VM) allocation is proposed. The proposed strategy ensures high resource utilization and energy efficiency through VM consolidation while satisfying application QoS by exploiting knowledge obtained through application profiling along multiple dimensions (CPU, memory, and network bandwidth utilization). To support our arguments, we present the results obtained from an experimental evaluation on real hardware using HPC workloads under different scenarios.     

Modeling guided wave propagation with application to the long-range defect detection in railroad tracks

The aim of this work is to demonstrate the use of a commercial finite element package, ABAQUS EXPLICIT, to model ultrasonic guided waves in structural components. The particular application of interest is modeling the interaction of a broadband vertical bending mode with transverse-type defects in railroad tracks. This topic is part of a broader project on high-speed defect detection in rails by long-range ultrasonic inspections. Reflection coefficient spectra in the 20–45 kHz range are obtained for four different sizes and three different orientations of transverse head flaws. A preliminary study of Lamb waves in a free plate helps drawing modeling guidelines for the rail.     

Different Expression of Mitochondrial and Endoplasmic Reticulum Stress Genes in Epicardial Adipose Tissue Depends on Coronary Atherosclerosis

The aim of our study was to analyze mitochondrial and endoplasmic reticulum (ER) gene expression profiles in subcutaneous (SAT) and epicardial (EAT) adipose tissue, skeletal muscle, and myocardium in patients with and without CAD undergoing elective cardiac surgery. Thirty-eight patients, 27 with (CAD group) and 11 without CAD (noCAD group), undergoing coronary artery bypass grafting and/or valvular surgery were included in the study. EAT, SAT, intercostal skeletal muscle, and right atrium tissue and blood samples were collected at the start and end of surgery; mRNA expression of selected mitochondrial and ER stress genes was assessed using qRT-PCR. The presence of CAD was associated with decreased mRNA expression of most of the investigated mitochondrial respiratory chain genes in EAT, while no such changes were seen in SAT or other tissues. In contrast, the expression of ER stress genes did not differ between the CAD and noCAD groups in almost any tissue. Cardiac surgery further augmented mitochondrial dysfunction in EAT. In our study, CAD was associated with decreased expression of mitochondrial, but not endoplasmic reticulum stress genes in EAT. These changes may contribute to the acceleration of coronary atherosclerosis.     

Hydrolysis of fish oils containing polymers of triacylglycerols by pancreatic lipasein vitro

Fish oils containing different levels of polymers of triacylglycerols formed during autoxidation were incubated with pancreatic lipase to establish whether these polymers are substrates for lipase hydrolysis. With oils containing low amounts (less than 4%) of triacylglycerol polymers as substrates, both triacylglycerols and polymers of triacylglycerols were almost completely hydrolyzed, and fatty acid monomers and monoacylglycerols were the major lipid products. Under the same incubation conditions, some triacylglycerols remained intact when highly oxidized oils containing 20 or 30% triacylglycerol polymers were the substrate. The fatty acid composition of these residual triacylglycerols was almost identical to that of triacylglycerols present at the start of the assay. When fish oil containing 30% triacylglycerol polymers was incubated with the lipase, the component triacylglycerols and polymers of triacylglycerols were hydrolyzed at similar rates, and fatty acid dimers were detected as a product. It is concluded that the high molecular weight polymers of triacylglycerols present in oxidized fish oils can be hydrolyzed by pancreatic lipasein vitro.     

New aspects in cationization of lignocellulose materials. IX. Flame retardancy effect of modification with nitrogen and sulfur containing groups

Lignocellulose materials were modified with 3-chlor-2-hydroxypropyltrimethylammoniumchloride, 1,3-bis(3-chlor-2-hydroxypropyl)imidazoliumhydrogensulphate, and 2-chlorethyl-sodiumsulphonate and the flame-retardant properties of materials obtained were studied. The flame-retardant effect was proved using the limited oxygen index (LOI) method and values up to 32.8 vol % of oxygen were determined. The LOI values were higher when the modification was done without using NaOH for activation, but in that case the alkylating groups were not chemically bonded to the material. The NaOH activation was necessary to obtain material with flame-retardant properties stable against washing. No synergistic effects were observed when the material was modified with both nitrogen- and sulfur-containing groups.     

Mechanical properties of wollastonite‐reinforced polypropylene composites modified with SEBS and SEBS‐g‐MA elastomers

Mechanical properties of isotactic polypropylene/wollastonite/styrene rubber block copolymers (iPP/wollastonite/SRBC) composites were studied as a function of elastomeric poly(styrene‐b‐ethylene‐co‐butylene‐b‐styrene) triblock copolymer (SEBS) and SEBS grafted with maleic anhydride (SEBS‐g‐MA) content from 0 to 20 vol%. Microphase morphology was stronger influenced by SRBC elastomers than by different wollastonite types. Higher encapsulation ability of SEBS‐g‐MA than SEBS caused more expressive core‐shell morphology and consequently higher notched impact strength as well as yield parameters, but lower Young's modulus. Higher ductility of the composites with SEBS than with SEBS‐g‐MA has been primarily caused by better miscibility of the polypropylene chains with SEBS molecules. Surface properties of components and adhesion parameters also indicated that adhesion at SEBS‐g‐MA/wollastonite interface, which was stronger than the one at the SEBS/wollastonite interface, influenced higher encapsulation of wollastonite particles by SEBS‐g‐MA. POLYM. ENG. SCI., 47:1873–1880, 2007. © 2007 Society of Plastics Engineers     

Experiences with Ozone Treatment Of Drinking Water in Yugoslavia

Ozone currently is being used in several drinking water treatment plants in Yugoslavia. The new Belgrade water treatment plant “Makis” is the largest one with 42 kg/h of installed ozone generating capacity and has been in operation since 1987. This paper describes the main features of ozone application in drinking water treatment. The experimental results of “Makis” pilot-plant investigations and a few examples of ozone application in Yugoslavia are presented.     

Physical crosslinking effects in α,ω-dihydroxy terminated polybutadienes

Structure and molecular dynamics of α,ω-dihydroxy terminated polybutadienes of varying number averaged molecular weight (1320-10?500 g/mol) have been investigated by Fourier-transformed infrared (FTIR) spectroscopy, nuclear magnetic resonance (NMR) spectroscopy, dielectric relaxation spectroscopy (DRS), differential scanning calorimetry (DSC) and wide-angle X-ray scattering (WAXS). DSC and DRS revealed an increase in the glass transition temperature upon decrease of the molecular weight, accompanied by an increasing dynamic fragility m (or steepness index) of the dielectric α-process. This correlation between T_g and m for different molecular weights indicates the presence of a physical network, where H-bonded end-group clusters act as temporary crosslinks. From the dielectric relaxation strength Δ?_α(M_n), the fraction of associated hydroxy groups (f_bond) was estimated showing a peak value for the two but shortest polymers, a behaviour that strongly resembles the molecular weight dependence of the fragility. By considering the quantity f_bond(M_n) in a modified Fox-Flory approach, the measured T_g(M_n) behaviour could be reproduced in a satisfying way. FTIR results support this general picture and show a considerable dependence of the extent of hydrogen bonding and formation of hydroxy groups associates on the molecular weight. Further, WAXS and DSC results disprove the idea of formation of pseudo-crystalline hydrophobic microdomains in these compounds as suggested by other authors.     

Continuous Levels‐of‐Detail and Visual Abstraction for Seamless Molecular Visualization

Molecular visualization is often challenged with rendering of large molecular structures in real time. We introduce a novel approach that enables us to show even large protein complexes. Our method is based on the level‐of‐detail concept, where we exploit three different abstractions combined in one visualization. Firstly, molecular surface abstraction exploits three different surfaces, solvent‐excluded surface (SES), Gaussian kernels and van der Waals spheres, combined as one surface by linear interpolation. Secondly, we introduce three shading abstraction levels and a method for creating seamless transitions between these representations. The SES representation with full shading and added contours stands in focus while on the other side a sphere representation of a cluster of atoms with constant shading and without contours provide the context. Thirdly, we propose a hierarchical abstraction based on a set of clusters formed on molecular atoms. All three abstraction models are driven by one importance function classifying the scene into the near‐, mid‐ and far‐field. Moreover, we introduce a methodology to render the entire molecule directly using the A‐buffer technique, which further improves the performance. The rendering performance is evaluated on series of molecules of varying atom counts.