Catalytic current polarographic determination of traces of titanium in water after preconcentration by coflotation

A new method is reported for the determination of trace levels of Ti(IV) in water by coflotation and polargraphy. Ti(IV) is preconcentrated and separated by coflotation using aluminium hydroxide as coprecipitant and sodium oleate as surfactant. Polarographic determination of titanium content in the froth is based on the catalytic wave of Ti(IV) in the presence of chlorate and oxalate. The effect of various cations and anions on the flotation and determination of titanium has been investigated. The method has been applied to estimation of titanium in natural fresh water samples.

Discovery of Application Workloads from Network File Traces

An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level helps in designing efficient storage systems. Second, it helps create benchmarks that mimic realistic application behavior closely. Third, it enables autonomic systems as the information obtained can be used to adapt the system in a closed loop.All these use cases require the ability to extract the application-level semantics of I/O operations. Methods such as modifying application code to associate I/O operations with semantic tags are intrusive. It is well known that network file system traces are an important source of information that can be obtained non-intrusively and analyzed either online or offline. These traces are a sequence of primitive file system operations and their parameters. Simple counting, statistical analysis or deterministic search techniques are inadequate for discovering application-level semantics in the general case, because of the inherent variation and noise in realistic traces.In this paper, we describe a trace analysis methodology based on Profile Hidden Markov Models. We show that the methodology has powerful discriminatory capabilities that enable it to recognize applications based on the patterns in the traces, and to mark out regions in a long trace that encapsulate sets of primitive operations that represent higher-level application actions. It is robust enough that it can work around discrepancies between training and target traces such as in length and interleaving with other operations. We demonstrate the feasibility of recognizing patterns based on a small sampling of the trace, enabling faster trace analysis. Preliminary experiments show that the method is capable of learning accurate profile models on live traces in an online setting. We present a detailed evaluation of this methodology in a UNIX environment using NFS traces of selected commonly used applications such as compilations as well as on industrial strength benchmarks such as TPC-C and Postmark, and discuss its capabilities and limitations in the context of the use cases mentioned above.

Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

A Novel Cache Architecture and Placement Framework for Packet Forwarding Engines

Packet forwarding is a memory-intensive application requiring multiple accesses through a trie structure. With the requirement to process packets at line rates, high-performance routers need to forward millions of packets every second with each packet needing up to seven memory accesses. Earlier work shows that a single cache for the nodes of a trie can reduce the number of external memory accesses. It is observed that the locality characteristics of the level-one nodes of a trie are significantly different from those of lower level nodes. Hence, we propose a heterogeneously segmented cache architecture (HSCA) which uses separate caches for level-one and lower level nodes, each with carefully chosen sizes. Besides reducing misses, segmenting the cache allows us to focus on optimizing the more frequently accessed level-one node segment. We find that due to the nonuniform distribution of nodes among cache sets, the level-one nodes cache is susceptible t high conflict misses. We reduce conflict misses by introducing a novel two-level mapping-based cache placement framework. We also propose an elegant way to fit the modified placement function into the cache organization with minimal increase in access time. Further, we propose an attribute preserving trace generation methodology which emulates real traces and can generate traces with varying locality. Performanc results reveal that our HSCA scheme results in a 32 percent speedup in average memory access time over a unified nodes cache. Also, HSC outperforms IHARC, a cache for lookup results, with as high as a 10-fold speedup in average memory access time. Two-level mappin further enhances the performance of the base HSCA by up to 13 percent leading to an overall improvement of up to 40 percent over the unified scheme.

Biosynthesis of Long-Chain Alcohols by Developing and Regenerating Rat Sciatic Nerve

Cell-free preparations of rat sciatic nerve were found to catalyze the reduction of fatty acid to alcohol in the presence of NADPH as reducing cofactor. The reductase was membrane-bound and associated primarily with the microsomal fraction. When fatty acid was the substrate, ATP, coenzyme A (CoA), and Mg2+ were required, indicating the formation of acyl CoA prior to reduction. When acyl CoA was used as substrate, the presence of albumin was required to inhibit acyl CoA hydro-lase activity. Fatty acid reductase activity was highest with palmitic and stearic acids, and somewhat lower with lauric and myristic acids. It was inhibited by sulfhydryl reagents, indicating the participation of thiol groups in the reduction. Only traces of long-chain aldehyde could be detected or trapped as semicarbazone. Fatty acid reductase activity in rat sciatic nerve was highest between the second and tenth days after birth and decreased substantially thereafter. Microsomal preparations of sciatic nerve from 10-day-old rats exhibited about four times higher fatty acid reductase activity than brain or spinal cord microsomes from the same animals. Wallerian degeneration and regeneration of adult rat sciatic nerve resulted in enhanced fatty acid reductase activity, which reached a maximum at about 12 days after crush injury.

Number and proportion of selenocucleosides in the transfer RNA of escherichia-coli

tRNA isolated from escherichia-coli grown in a medium containing [75Se] sodium selenosulfate was converted to nucleosides and analysed for selenonucleosides on a phosphocellulose column. Upon chromatography of the nucleosides on phosphocellulose column, the radioactivity resolved into three peaks. The first peak consisted of free selenium and traces of undigested nucleotides. The second peak was identified as 4-selenouridine by co-chromatographing with an authentic sample of 4-selenouridine. The identity of the third peak was not established. The second and third peaks represented 93% and 7% of the selenium present in nucleosides respectively.

Number and proportion of selenocucleosides in the transfer RNA of Image Image

tRNA isolated from . grown in a medium containing [75Se] sodium selenosulfate was converted to nucleosides and analysed for selenonucleosides on a phosphocellulose column. Upon chromatography of the nucleosides on phosphocellulose column, the radioactivity resolved into three peaks. The first peak consisted of free selenium and traces of undigested nucleotides. The second peak was identified as 4-selenouridine by co-chromatographing with an authentic sample of 4-selenouridine. The identity of the third peak was not established. The second and third peaks represented 93% and 7% of the selenium present in nucleosides respectively.

A study of the deformation slip lines in quenched and aged Al-2% Ge alloy

Optical microscopy has been employed to observe the slip lines in deformed Al-2% Ge alloy samples. Slip lines have been observed in the as-quenched, partially-aged, fully-aged and over-aged states. The lines tend to traverse fairly straight paths in the case of quenched and partially-aged conditions. Fully-aged samples also reveal such straight running lines when tested at low-temperatures. However, the density of the lines generally decreases as the peak-aged state is approached. These results are in agreement with the idea that thermally activated shearing of the precipitates is occurring in the alloy aged up to peak-hardness. The irregular lines for the over-aged specimens support the view that the moving dislocations by-pass the precipitates during deformation. The influence of test-temperature on the appearance of slip traces has been briefly examined.

Catalytic vapor-phase oxidation of p-xylene over tin vanadate

Rates of oxidation of p-xylene were measured in the temperature range 320 to 420 °C using tin vanadate as catalyst in an isothermal differential flow reactor. The amounts of p-xylene converted were determined by analyzing the main products (p-tolualdehyde, maleic anhydride, p-toluic acid and traces of terephthalic acid). Negligible amounts of products of complete combustion were formed. The reaction rates obtained for p-xylene followed the relation, Image based on the redox model. The mechanism of the reaction was determined by conducting different sets of experiments and it was found that the reaction followed the parallel-consecutive mechanism, in which p-tolualdehyde and maleic anhydride were formed from the parallel route whereas p-toluic acid was formed from the consecutive route.

Grids with multiple batch systems for performance enhancement of multi-component and parameter sweep parallel applications

In this work, we evaluate the benefits of using Grids with multiple batch systems to improve the performance of multi-component and parameter sweep parallel applications by reduction in queue waiting times. Using different job traces of different loads, job distributions and queue waiting times corresponding to three different queuing policies(FCFS, conservative and EASY backfilling), we conducted a large number of experiments using simulators of two important classes of applications. The first simulator models Community Climate System Model (CCSM), a prominent multi-component application and the second simulator models parameter sweep applications. We compare the performance of the applications when executed on multiple batch systems and on a single batch system for different system and application configurations. We show that there are a large number of configurations for which application execution using multiple batch systems can give improved performance over execution on a single system.

Polypyrrole based amperometric glucose biosensors

Biosensors have gained immense acceptance in the field of medical diagnostics, besides environmental, food safety and biodefence applications due to its attributes of real-time and rapid response. This synergistic combination of biotechnology and microelectronics comprises a biological recognition element coupled with a compatible transducer device. Diabetes is a disease of major concern since the ratio of world population suffering from it is increasing at an alarming rate and therefore the need for development of accurate and stable glucose biosensors is evident. There are many commercial glucose biosensors available yet some limitations need attention. This review presents a detailed account of the polypyrrole based amperometric glucose biosensors. The polymer polypyrrole is used extensively as a matrix for immobilization of glucose oxidase enzyme owing to its favourable features such as stability under ambient conditions, conductivity that allows it to be used as an electron relay, ability to be polymerized under neutral and aqueous mild conditions, and more. The simple one-step electrodeposition on the electrode surface allows easy entrapment of the enzyme. The review is structured into three categories (a) the first-stage biosensors: which report the studies from the inception of use of polypyrrole in glucose biosensors during which time the role of the polymer and the use of mediators was established. This period saw extensive work by two separate groups of Schuhmann and Koopal who contributed a great deal in understanding the electron transfer pathways in polypyrrole based glucose biosensors, (b) the second-stage biosensors: which highlight the shift of polypyrrole from a conventional matrix to composite matrices with extensive use of mediators focused at improving the selectivity of response, and (c) third-stage biosensors: the remarkable properties of nanoparticles and carbon nanotubes and their outstanding ability to mediate electrontransfers have seen their indispensable use in conjugation with polypyrrole for development of glucose biosensors with improved sensitivity and stability characteristics which is accounted in the review, which thus traces the evolution of polypyrrole from a conventional matrix, to composites and thence to the form of nanotube arrays, with the objective of addressing the vital issue of diabetes management through the development of stable and reliable glucose biosensors.

Compact fiber Bragg grating dynamic strain sensor cum broadband thermometer for thermally unstable ambience

An instrument for simultaneous measurement of dynamic strain and temperature in a thermally unstable ambience has been proposed, based on fiber Bragg grating technology. The instrument can function as a compact and stand-alone broadband thermometer and a dynamic strain gauge. It employs a source wavelength tracking procedure for linear dependence of the output on the measurand, offering high dynamic range. Two schemes have been demonstrated with their relative merits. As a thermometer, the present instrumental configuration can offer a linear response in excess of 500 degrees C that can be easily extended by adding a suitable grating and source without any alteration in the procedure. Temperature sensitivity is about 0.06 degrees C for a bandwidth of 1 Hz. For the current grating, the upper limit of strain measurement is about 150 mu epsilon with a sensitivity of about 80 n epsilon Hz(-1/2). The major source of uncertainty associated with dynamic strain measurement is the laser source intensity noise, which is of broad spectral band. A low noise source device or the use of optical power regulators can offer improved performance. The total harmonic distortion is less than 0.5% up to about 50 mu epsilon, 1.2% at 100 mu epsilon and about 2.3% at 150 mu epsilon. Calibrated results of temperature and strain measurement with the instrument have been presented. Traces of ultrasound signals recorded by the system at 200 kHz, in an ambience of 100-200 degrees C temperature fluctuation, have been included. Also, the vibration spectrum and engine temperature of a running internal combustion engine has been recorded as a realistic application of the system.

A Petri net model for evaluating packet buffering strategies in a network processor

Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri net model of IP forwarding application on IXP2400 that models the different levels of the memory hierarchy. The cell based interface used to receive and transmit packets in a network processor leads to some small size DRAM accesses. Such narrow accesses to the DRAM expose the bank access latency, reducing the bandwidth that can be realized. With real traces up to 30% of the accesses are smaller than the cell size, resulting in 7.7% reduction in DRAM bandwidth. To overcome this problem, we propose buffering these small chunks of data in the on chip scratchpad memory. This scheme also exploits greater degree of parallelism between different levels of the memory hierarchy. Using real traces from the internet, we show that the transmit rate can be improved by an average of 21% over the base scheme without the use of additional hardware. Further, the impact of different traffic patterns on the network processor resources is studied. Under real traffic conditions, we show that the data bus which connects the off-chip packet buffer to the micro-engines, is the obstacle in achieving higher throughput.

Data mining approaches to software fault diagnosis

Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior and the use of appropriate data mining techniques on the chosen representation. In this paper, we use the sequence of system calls to characterize program execution. The data mining tasks addressed are learning to map system call streams to fault labels and automatic identification of fault causes. Spectrum kernels and SVM are used for the former while latent semantic analysis is used for the latter The techniques are demonstrated for the intrusion dataset containing system call traces. The results show that kernel techniques are as accurate as the best available results but are faster by orders of magnitude. We also show that latent semantic indexing is capable of revealing fault-specific features.