Lexical state analyzer for JavaCC grammars

Lexical states in JavaCC provide a powerful mechanism to scan regular expressions in a context sensitive manner. But lexical states also make it hard to reason about the correctness of the grammar. We first categorize the related correctness issues into two classes: errors and warnings. We then extend the traditional context sensitive and a context insensitive analysis to identify errors and warnings in context‐free grammars. We have implemented these analyses as a standalone tool (LSA ), the first of its kind, to identify errors and warnings in JavaCC grammars. The LSA tool outputs a graph that depicts the grammar and the error transitions. Importantly, it can also generate counter example strings that can be used to establish the errors. We have used LSA to analyze a host of open‐source JavaCC grammar files to good effect. Copyright © 2015 John Wiley & Sons, Ltd.     

Mitigating the gateway bottleneck via transparent cooperative caching in wireless mesh networks

Wireless mesh networks (WMNs) have been proposed to provide cheap, easily deployable and robust Internet access. The dominant Internet-access traffic from clients causes a congestion bottleneck around the gateway, which can significantly limit the throughput of the WMN clients in accessing the Internet. In this paper, we present MeshCache, a transparent caching system for WMNs that exploits the locality in client Internet-access traffic to mitigate the bottleneck effect at the gateway, thereby improving client-perceived performance. MeshCache leverages the fact that a WMN typically spans a small geographic area and hence mesh routers are easily over-provisioned with CPU, memory, and disk storage, and extends the individual wireless mesh routers in a WMN with built-in content caching functionality. It then performs cooperative caching among the wireless mesh routers.We explore two architecture designs for MeshCache: (1) caching at every client access mesh router upon file download, and (2) caching at each mesh router along the route the Internet-access traffic travels, which requires breaking a single end-to-end transport connection into multiple single-hop transport connections along the route. We also leverage the abundant research results from cooperative web caching in the Internet in designing cache selection protocols for efficiently locating caches containing data objects for these two architectures. We further compare these two MeshCache designs with caching at the gateway router only.Through extensive simulations and evaluations using a prototype implementation on a testbed, we find that MeshCache can significantly improve the performance of client nodes in WMNs. In particular, our experiments with a Squid-based MeshCache implementation deployed on the MAP mesh network testbed with 15 routers show that compared to caching at the gateway only, the MeshCache architecture with hop-by-hop caching reduces the load at the gateway by 38%, improves the average client throughput by 170%, and increases the number of transfers that achieve a throughput greater than 1 Mbps by a factor of 3.     

Biological hydrogen production from probiotic wastewater as substrate by selectively enriched anaerobic mixed microflora

Biohydrogen production from probiotic wastewater using mixed anaerobic consortia is reported in this paper. Batch tests are carried out in a 5.0 L batch reactor under constant mesophillic temperature (37 °C). The maximum hydrogen yield 1.8 mol-hydrogen/mol-carbohydrate is obtained at an optimum pH of 5.5 and substrate concentration 5 g/L. The maximum hydrogen production rate is 168 ml/h. The hydrogen content in the biogas is more than 65% and no significant methane is observed throughout the study. In addition to hydrogen, acetate, propionate, butyrate and ethanol are found to be the main by-products in the metabolism of hydrogen fermentation.     

Efficient lock-step synchronization in task-parallel languages

Many modern task-parallel languages allow the programmer to synchronize tasks using high-level constructs like barriers, clocks, and phasers. While these high-level synchronization primitives help the programmer express the program logic in a convenient manner, they also have their associated overheads. In this paper, we identify the sources of some of these overheads for task-parallel languages like X10 that support lock-step synchronization, and propose a mechanism to reduce these overheads. We first propose three desirable properties that an efficient runtime (for task-parallel languages like X10, HJ, Chapel, and so on) should satisfy, to minimize the overheads during lock-step synchronization. We use these properties to derive a scheme to called uClocks to improve the efficiency of X10 clocks; uClocks consists of an extension to X10 clocks and two related runtime optimizations. We prove that uClocks satisfies the proposed desirable properties. We have implemented uClocks for the X10 language+runtime and show that the resulting system leads to a geometric mean speedup of 5.36× on a 16-core Intel system and 11.39× on a 64-core AMD system, for benchmarks with a significant number of synchronization operations.     

Dynamic state restoration using versioning exceptions

We explore the semantics and analysis of a new kind of control structure called a versioning exception that ensures the state of the program, at the point when an exception handler is invoked, reflects the program state at the point when the handler is installed. Versioning exceptions provide a transaction-like versioning semantics to the code protected by a handler: modifications performed within the dynamic context of the corresponding handler are versioned, and committed to the store only if the computation completes normally. Similar to the role of backtracking in logic programming, this facility allows unwanted effects of computations to be discarded when exceptional or undesirable conditions are detected. We define a novel points-to analysis to efficiently track changes to the store within handler-protected scopes. The role of the analysis is to facilitate optimizations that minimize the number of locations which must be restored when a versioning exception is raised. The analysis is defined by a reachability approximation over locations that indicates which objects have been potentially modified within a handler scope. The analysis is defined for programs which support first-class procedures, locations, and exceptions.     

Engineering, characterization and directional self-assembly of anisotropically modified nanocolloids

Along with traditional attributes such as the size, shape, and chemical structure of polymeric micro-objects, control over material distribution, or selective compartmentalization, appears to be increasingly important for maximizing the functionality and efficacy of biomaterials. The fabrication of tri- and tetracompartmental colloids made from biodegradable poly(lactide-co-glycolide) polymers via electrohydrodynamic co-jetting is demonstrated. The presence of three compartments is confirmed via flow cytometry. Additional chemical functionality is introduced via the incorporation of acetylene-functionalized polymers into individual compartments of the particles. Direct visualization of the spatioselective distribution of acetylene groups is demonstrated by confocal Raman microscopy as well as by reaction of the acetylene groups with azide-biotin via 'click chemistry'. Biotin-streptavidin binding is then utilized for the controlled assembly and orientation of bicompartmental particles onto functionalized, micropatterned substrates prepared via chemical vapor deposition polymerization.     

Usability study of digital libraries: ACM, IEEE-CS, NCSTRL, NDLTD

If digital libraries are to be used effectively, their user interfaces should be tested and enhanced. We observed 48 participants as they worked with the following digital libraries: ACM, IEEE-CS, NCSTRL, and NDLTD. We discuss how the features of these digital libraries influence the subjects’ efforts to perform search and retrieval tasks. Data analysis indicates that the IEEE-CS digital library was rated the best overall and NDLTD had the best search time. We present user recommendations and propose a taxonomy of features that we believe are essential for the design of future digital libraries. Noteworthy is the observation that users’ judgements on the importance of different features varied widely between the beginning and end of their test sessions. Received: 15 December 1997 / Revised: June 1999     

Comparison of various advanced oxidation processes for the degradation of 4-chloro-2 nitrophenol

In the present study an attempt is made efficiently to degrade USEPA listed 4-chloro-2-nitrophenol (4C-2-NP), widely available in bulk drug and pesticide wastes using various advanced oxidation processes (AOPs). A comparative assessment using various AOPs (UV, H(2)O(2,) UV/H(2)O(2), Fenton, UV/Fenton and UV/TiO(2)) was attempted after initial optimization studies, viz., varying pH, peroxide concentration, iron concentration, and TiO(2) loading. The degradation of the study compound was estimated using chemical oxygen demand (COD) reduction and compound reduction using spectrophotometric methods and further validated with high performance liquid chromatography (HPLC). The degradation trends followed the order: UV/Fenton > UV/TiO(2) > UV/H(2)O(2) > Fenton > H(2)O(2) > UV(.) It can be inferred from the studies that UV/Fenton was the most effective in partial mineralization of 4C-2-NP. However, lower costs were obtained with H(2)O(2). Kinetic constants were evaluated using first order equations to determine the rate constant K.     

Vacuum system of SST-1 Tokamak

Vacuum chambers of Steady State Superconducting (SST-1) Tokamak comprises of the vacuum vessel and the cryostat. The plasma will be confined inside the vacuum vessel while the cryostat houses the superconducting magnet systems (TF and PF coils), LN₂ cooled thermal shields and hydraulics for these circuits. The vacuum vessel is an ultra-high (UHV) vacuum chamber while the cryostat is a high-vacuum (HV) chamber. In order to achieve UHV inside the vacuum vessel, it would be baked at 150 °C for longer duration. For this purpose, U-shaped baking channels are welded inside the vacuum vessel. The baking will be carried out by flowing hot nitrogen gas through these channels at 250 °C at 4.5 bar gauge pressure. During plasma operation, the pressure inside the vacuum vessel will be raised between 1.0 × 10^?4 mbar and 1.0 × 10^?5 mbar using piezoelectric valves and control system. An ultimate pressure of 4.78 × 10^?6 mbar is achieved inside the vacuum vessel after 100 h of pumping. The limitation is due to the development of few leaks of the order of 10^?5 mbar l/s at the critical locations of the vacuum vessel during baking which was confirmed with the presence of nitrogen gas and oxygen gas with the ratio of ～3.81:1 indicating air leak. Similarly an ultimate vacuum of 2.24 × 10^?5 mbar is achieved inside the cryostat. Baking of the vacuum vessel up to 110 °C with ±10 °C deviation was achieved with a net mass flow rate of 0.8 kg/s at 1.5 bar gauge inlet pressure and supply temperature of 230 °C at the heater end. Also during gas feed system installation, the pressure inside the VV was raised from 3.01 × 10^?5 mbar to 1.72 × 10^?4 mbar by triggering a pulse of lower amplitude of 25 voltage direct current (VDC) for 100 s to piezoelectric valve. This paper describes in detail the design and implementation of the various vacuum subsystems including relevant experimental results.     

Eucaloric Ketogenic Diet Reduces Hypoglycemia and Inflammation in Mice with Endotoxemia

Dietary strategies to alter the immune response to acute inflammation have the potential to improve outcomes in critically ill patients. A eucaloric ketogenic diet (EKD), composed predominantly of fat with very small amounts of carbohydrate, can provide adequate caloric support while minimizing spikes in blood glucose and reducing oxidative stress. The purpose of this study was to evaluate the effects of an EKD on glycemic control and the inflammatory response after acute endotoxemia in mice. Mice received either an EKD or a carbohydrate‐based control diet (CD) for 4 weeks. Animals subsequently underwent either a 2‐h fast (postprandial) or an overnight fast (postabsorptive), and half of the animals in each diet group were randomized to receive either intraperitoneal lipopolysaccharide (1 mg/kg) or an equivalent volume of saline. Glycemic response, insulin resistance, inflammatory cytokine levels, and the expression of key inflammatory and metabolic genes were measured. After endotoxin challenge, hypoglycemia was more frequent in mice fed a CD than an EKD in the postprandial period. This was due in part to the preservation of hepatic glycogen stores despite endotoxin exposure and prolonged fasting in mice fed an EKD. Furthermore, mice fed the CD had higher levels of IL‐6 and TNF‐α in the postabsorptive period, with a fivefold higher expression of hepatic NFκB compared to mice fed the EKD in both fasting periods. These results suggest that the unique metabolic state induced by an EKD can alter the response to acute inflammation in mice.