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.     

Observation of higher order NMR larmor lines by SQUID in solids at low magnetic field

We describe an apparatus allowing the observation of the NMR static longitudinal component of nuclear magnetizationM _z by a SQUID at low magnetic fields and atT=4.2 K in Plexiglas, Teflon, and CaF₂. The higher order NMR Larmor lines at 2f ₀, 3f ₀, and 4f ₀, wheref ₀ is the Larmor frequency of the allowed NMR line, were measured. These lines correspond to a flip of two, three, and four spins, respectively, by one photon. The amplitudes of 2f ₀ and 3f ₀ lines and their field dependences show that the common assertion that the forbidden lines at 2f ₀ and 3f ₀ appear in the same order of perturbation theory and that their intensity decreases with static magnetic fieldB ₀ asB ₀ ^–2 is wrong. In fact, the third Larmor line 3f ₀ appears at higher order than the second Larmor line 2f ₀ and its intensity decreases asB ₀ ^–4 . This is also shown by a theoretical calculation of its intensity. For the first time the NMR SQUID technique allowed the detection of the 4f ₀ line, corresponding to the simultaneous flip of four spins by one photon.     

DC and ac Josephson effects observed in high-temperature superconductor YBaCuO

We report the observation of the dc and ac Josephson effect and quasiparticle tunnelling in the high-temperature superconductor YBaCuO. The observation is made at 4.2 K. These effects were observed in a junction made by a niobium tip pressed against a high-T _c sample of YBaCuO ceramic. We observed a clean dc Josephson effect with a critical currentI _c 2 A and the ac effect with Shapiro steps corresponding toV=(hf/2e)n. The nature of the junction is not clear; however, we suggest that all observed effects can be explained by assuming a singlet pairing state in the ceramic. We have also observed a very peculiar noise behavior along theV-I characteristic.     

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.     

Target following with motion prediction for unmanned surface vehicle operating in cluttered environments

The capability of following a moving target in an environment with obstacles is required as a basic and necessary function for realizing an autonomous unmanned surface vehicle (USV). Many target following scenarios involve a follower and target vehicles that may have different maneuvering capabilities. Moreover, the follower vehicle may not have prior information about the intended motion of the target boat. This paper presents a trajectory planning and tracking approach for following a differentially constrained target vehicle operating in an obstacle field. The developed approach includes a novel algorithm for computing a desired pose and surge speed in the vicinity of the target boat, jointly defined as a motion goal, and tightly integrates it with trajectory planning and tracking components of the entire system. The trajectory planner generates a dynamically feasible, collision-free trajectory to allow the USV to safely reach the computed motion goal. Trajectory planning needs to be sufficiently fast and yet produce dynamically feasible and short trajectories due to the moving target. This required speeding up the planning by searching for trajectories through a hybrid, pose-position state space using a multi-resolution control action set. The search in the velocity space is decoupled from the search for a trajectory in the pose space. Therefore, the underlying trajectory tracking controller computes desired surge speed for each segment of the trajectory and ensures that the USV maintains it. We have carried out simulation as well as experimental studies to demonstrate the effectiveness of the developed approach.     

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