A divide-and-conquer approach for analysing overlaid data structures

We present a static program analysis for overlaid data structures such that a node in the structure includes links for multiple data structures and these links are intended to be used at the same time. These overlaid data structures are frequently used in systems code, in order to impose multiple types of indexing structures over the same set of nodes. Our analysis implements two main ideas. The first is to run multiple sub-analyses that track information about non-overlaid data structures, such as lists. The second idea is to control the communication among the sub-analyses using ghost states and ghost instructions. The purpose of this control is to achieve a high level of efficiency by allowing only necessary information to be transferred among sub-analyses and at as few program points as possible. Our analysis has been successfully applied to prove the memory safety of the Linux deadline IO scheduler and AFS server.     

Analysis of ethanol in soy sauce using electronic nose for halal food certification

The purpose of this study was to analyze ethanol content in soy sauce using mass spectrometry (MS) with electronic nose (e-nose) to determine if MS e-nose can replace gas chromatographic analysis for halal certification. Gas chromatography–flame ionization detector (GC-FID), the standard method of ethanol content, was used to analyze 24 different kinds of soy sauce. Ethanol was detected from 13 soy sauce samples in the concentration range of 0.0004–1.7wt%. The MS e-nose data were analyzed by discriminant function analysis (DFA). Based on an addition method, the results were more than 96.6% accurate when the ethanol concentrations were greater than 0.5%. A high correlation between the first score of the DFA plot and the ethanol concentration was observed. Thus, mass spectrometry based on e-nose is an efficient method for determining ethanol as a primary screening tool for halal certification.     

A geometric approach to animating thin surface features in smoothed particle hydrodynamics water

We propose a geometric approach to animating thin surface features of smoothed particle hydrodynamics‐based water. Explicit interparticle connections are created among smoothed particle hydrodynamics particles to approximate the geometries of thin surfaces while addressing the issue of unresolved surface areas. The deformations measured on the connections actuate the animations of the surfaces by disconnecting the stretched and bent connections. The reconstruction of thin surfaces and the accuracy of the animation are improved by adding auxiliary particles over the connections via Poisson‐disk sampling. Copyright © 2014 John Wiley & Sons, Ltd.     

Structural and Piezoelectric Properties of (Na1−xKx)NbO3 Platelets and Their Application for Piezoelectric Nanogenerator

(Na_1?xK_x)NbO₃ (NKN) platelets synthesized at 600°C for 12 h have an Amm2 orthorhombic structure. However, the structure of NKN platelets synthesized at 500°C is a mixture of R3m rhombohedral and Amm2 orthorhombic structures. The formation of a rhombohedral structure is attributed to the presence of OH^? and H₂O defects in the NKN platelets. The piezoelectric strain constant (d₃₃) of NKN platelets synthesized at 600°C for 12 h is 100 pmV^?1, whereas that of NKN platelets synthesized at 500°C is lesser (50 pmV^?1) due to the presence of these defects. Piezoelectric nanogenerators (PNGs) are fabricated using composites consisting of NKN platelets and polydimethylsiloxane. A large output voltage of 25 V and output current of 2.7 μA were obtained for the PNG with NKN platelets synthesized at 600°C for 6 h. This PNG shows a high output electrical energy of 3.0 μW at an external load of 5.1 MΩ.     

Novel Role of Ghrelin Receptor in Gut Dysbiosis and Experimental Colitis in Aging

Chronic low-grade inflammation is a hallmark of aging, which is now coined as inflamm-aging. Inflamm-aging contributes to many age-associated diseases such as obesity, type 2 diabetes, cardiovascular disease, and inflammatory bowel disease (IBD). We have shown that gut hormone ghrelin, via its receptor growth hormone secretagogue receptor (GHS-R), regulates energy metabolism and inflammation in aging. Emerging evidence suggests that gut microbiome has a critical role in intestinal immunity of the host. To determine whether microbiome is an integral driving force of GHS-R mediated immune-metabolic homeostasis in aging, we assessed the gut microbiome profiles of young and old GHS-R global knockout (KO) mice. While young GHS-R KO mice showed marginal changes in Bacteroidetes and Firmicutes, aged GHS-R KO mice exhibited reduced Bacteroidetes and increased Firmicutes, featuring a disease-susceptible microbiome profile. To further study the role of GHS-R in intestinal inflammation in aging, we induced acute colitis in young and aged GHS-R KO mice using dextran sulfate sodium (DSS). The GHS-R KO mice showed more severe disease activity scores, higher proinflammatory cytokine expression, and decreased expression of tight junction markers. These results suggest that GHS-R plays an important role in microbiome homeostasis and gut inflammation during aging; GHS-R suppression exacerbates intestinal inflammation in aging and increases vulnerability to colitis. Collectively, our finding reveals for the first time that GHS-R is an important regulator of intestinal health in aging; targeting GHS-R may present a novel therapeutic strategy for prevention/treatment of aging leaky gut and inflammatory bowel disease.     

Protective Immunity against Listeria monocytogenes in Rats,Provided by HCl- and NaOH-Induced Listeria monocytogenes Bacterial Ghosts (LMGs) as Vaccine Candidates

Listeria monocytogenes (Lm) bacterial ghosts (LMGs) were produced by the minimum inhibitory concentration (MIC) of HCl, H₂SO₄, and NaOH. Acid and alkali effects on the LMGs were compared by in vitro and in vivo analyses. Scanning electron microscope showed that all chemicals form lysis pores on the Lm cell envelopes. Real-time qPCR revealed a complete absence of genomic DNA in HCl- and H₂SO₄-induced LMGs but not in NaOH-induced LMGs. HCl-, H₂SO₄- and NaOH-induced LMGs showed weaker or missing protein bands on SDS-PAGE gel when compared to wild-type Lm. Murine macrophages exposed to the HCl-induced LMGs showed higher cell viability than those exposed to NaOH-induced LMGs or wild-type Lm. The maximum level of cytokine expression (TNF-α, iNOS, IFN-γ, and IL-10 mRNA) was observed in the macrophages exposed to NaOH-induced LMGs, while that of IL-1β mRNA was observed in the macrophages exposed to HCl-induced LMGs. To investigate LMGs as a vaccine candidate, mice were divided into PBS buffer-injected, HCl- and NaOH-induced LMGs immunized groups. Mice vaccinated with HCl- and NOH-induced LMGs, respectively, significantly increased in specific IgG antibodies, bactericidal activities of serum, and CD4⁺ and CD8⁺ T-cell population. Antigenic Lm proteins reacted with antisera against HCl- and NOH-induced LMGs, respectively. Bacterial loads in HCl- and NaOH-induced LMGs immunized mice were significantly lower than PBS-injected mice after virulent Lm challenges. It suggested that vaccination with LMGs induces both humoral and cell-mediated immune responses and protects against virulent challenges.     

Solvent- and Light-Sensitive AIEE-Active Azo Dye: From Spherical to 1D and 2D Assemblies

Fluorescent molecular assembly systems provide an exciting platform for creating stimuli-responsive nano- and microstructured materials with optical, electronic, and sensing functions. To understand the relationship between (i) the plausible molecular structures preferentially adopted depending on the solvent polarity (such as N,N-dimethylformamide [DMF], tetrahydrofuran [THF], and toluene), (ii) the resulting spectroscopic features, and (iii) self-assembled nano-, micro-, and macrostructures, we chose a sterically crowded triangular azo dye (3Bu) composed of a polar molecular core and three peripheral biphenyl wings. The chromophore changed the solution color from yellow to pink-red depending on the solvent polarity. In a yellow DMF solution, a considerable amount of the twisted azo form could be kept stable with the help of favorable intermolecular interactions with the solvent molecules. By varying the concentration of the DMF solution, the morphology of self-assembled structures was transformed from nanoparticles to micrometer-sized one-dimensional (1D) structures such as sticks and fibers. In a pink-red toluene solution, the periphery of the central ring became more planar. The resulting significant amount of the keto-hydrazone tautomer grew into micro- and millimeter-sized 1D structures. Interestingly, when THF-H₂O (1:1) mixtures were stored at a low temperature, elongated fibers were stacked sideways and eventually developed into anisotropic two-dimensional (2D) sheets. Notably, subsequent exposure of visible-light-irradiated sphere samples to solvent vapor resulted in reversible fluorescence off↔on switching accompanied by morphological restoration. These findings suggest that rational selection of organic dyes, solvents, and light is important for developing reusable fluorescent materials.     

Lower Tropospheric Aerosol Measurements by MAX-DOAS During Severe Asian Dust Period

A recently developed aerosol retrieval algorithm based on O₄ slant column densities (SCDs) measured at a visible wavelength (476 nm) was utilized to derive aerosol information (e.g., aerosol optical depth (AOD) and vertical distributions of aerosol extinction coefficients (AECs)) in the lower troposphere during a severe Asian dust period. The MAX-DOAS measurements were carried out at Gwangju, Korea for nearly three months from February through May 2008. Comparison with AOD and surface PM₁₀, measured by collocated sunphotometer and beta gauge sampler, were made to validate the retrieved AODs and AECs in the atmospheric layer surface to 1 km height above ground. On the Asian dust days, temporal variations of the AODs retrieved from MAX-DOAS measurements show similar patterns, but with reduced magnitudes, to those measured by sunphotometer whereas similar AOD magnitude and temporal variation was observed between MAX-DOAS and sunphotometer measurements during the non-episodic days. Smaller correlation was observed between the surface PM₁₀ and AECs at 0.5 km during the Asian dust period compared to the correlation obtained for the non episodic days. This study demonstrates the ability of MAX-DOAS as a remote sensing technique for surface aerosol measurements under conditions of homogeneously distributed pollution in the planetary boundary layer. However, for the measurement of significantly enhanced aerosol loads with heterogeneous vertical distribution (e.g., Asian dust), measured AODs and AECs are underestimated at altitudes above 1 km due to decreased sensitivity of MAX-DOAS measurements at high altitudes.