Spray dryer processed graphene oxide/reduced graphene oxide for high-performance supercapacitor

This study deals with the utility of mini spray dryer process to improve the dispersibility, of graphene oxide(GO) and its application for high-performance supercapacitor. Initially, the neutral solution of GO was obtained using the modified Hummer's method. After this, the prepared GO solution was processed by mini spray dryer to obtain a more purified, lighter, and dispersed form of GO which is named as spray dryer processed GO (SPGO). The SPGO thus obtained showed excellent dispersibility behavior with various solvents, which is not found in case of conventional oven drying. Furthermore, utility of SPGO and its reduced form (r-SPGO) for supercapacitor applications have been investigated. Results obtained from the cyclic voltammetry(CV) analysis, impedance, and charge-discharge behavior of supercapacitor fabricated using r-SPGO shows enhanced features. Therefore, the simple spray dried GO and its reduced form, that is, r-SPGO can be utilized as a potential candidate for the supercapacitor application. Herein, as synthesized SPGO exhibited the specific capacitance of 12.07 and 37.6 F/g with PVA-H₃PO₄ and 1 mol/L H₃PO₄, respectively, at a scan rate of 5 mV/s. On the other hand, reduced form of SPGO, that is, r-SPGO showed the specific capacitance of 27.16 and 230 F/g with PVA-H₃PO₄ and 1 mol/L H₃PO₄, respectively.     

Proving termination of GHC programs

A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort, merge-sort, merge, split, fair-split and append, etc., can be proved. This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687 Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074. M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für Informatik, Saarbrücken until January 1997. Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science. R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International Conferences and has been on the Editorial Committees.     

Minimizing power dissipation in optical interconnects at low voltage using optimal modulator design

A strong motivation for insertion of optical interconnects in short-distance applications such as chip-to-chip or back-plane communication, apart from high bit rates, is their potential to achieve these bit rates at low power compared to the currently prevalent copper based interconnects. Thus, it is imperative to construct design methodologies which minimize the total optical link power dissipation. We present one such methodology, where we optimize the quantum-well modulators to minimize the power dissipation in modulator-based optical interconnects. In the first part of the paper, the focus is on obtaining the optimal modulator metrics [contrast ration (CR) and insertion loss], which yield the lowest total power (receiver and the modulator). The trends are studied as a function of the input laser power and bit rate. Having obtained the desirable modulator metrics and the corresponding power dissipation, in the second part, the focus is on the feasibility of these metrics in the light of voltage swing constraints. The biggest concern with the modulator based optical link is the low CR, especially at low voltage swing. While studying these concerns, we also provide insight into the physical design of the modulator including, its intrinsic region thickness, pre-bias voltage, and the size and the number of quantum-wells. Specifically, we outline the method to obtain the design parameters, which allows minimum power dissipation with the least laser power. This ultimately yields higher aggregate I/O bandwidth for chip to chip communication in power limited chips.     

Flexible and light weight copper indium diselenide solar cells on polyimide substrates

Thin film flexible CuInSe₂ (CIS) solar cells have been fabricated for the first time on light-weight polymeric substrates. Evaporated Cu---In alloy precursors were selenized in H₂Se atmosphere at around 400°C to grow the CIS absorber layers. Low temperature techniques which are compatible with the polymeric substrates were used to deposit the window layers of CdS and ZnO. The demonstrated active area conversion efficiency of 9.3% makes this light-weight device very attractive for many terrestrial and space power generation applications where high specific power and mechanical flexibility are needed.     

Electricity generation from rice husk in Indian rice mills: Potential and financial viability

Rice husk generated as a by-product of rice processing is an important energy resource. The availability of this resource in India has been assessed and the technologies for exploitation of its energy potential in rice processing industry discussed. Nomographs have been developed for estimation of the husk required to meet the energy demand of parboiling, drying and milling operations. The unit cost of electricity using rice husk gasifier-based power generation systems has been calculated and its financial feasibility assessed in comparison with utility-supplied and diesel-generated electricity. With the cost and efficiency data assumed here, the unit cost of electricity produced by rice husk gasifier-dual fuel engine-generator system varies between Rs 2/kWh and Rs 7/kWh. (Note: 35 Rs approximates to $US 1.)     

Integrated model-driven dashboard development

Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach for dashboard development that is model-driven and can be integrated with the business performance models. We adopt the business performance modeling framework, and we extend it in order to capture the reporting aspect of the business operation. We describe models that can effectively represent all the elements necessary for the business performance reporting process, and the interactions among them. We demonstrate how all these models can be combined and automatically generate the final solution. We further extend the proposed framework with mechanisms that can detect changes in the models and incrementally update the deployed solutions. Finally, we discuss our experience from the application of our technique in a real-world scenario. This case study shows that our technique can be efficiently applied to and handle changes in the underlying business models, delivering significant benefits in terms of both development time and flexibility.     

Fabrication and selective surface modification of 3-dimensionally textured biomedical polymers from etched silicon substrates

A new method is described for producing biomedically relevant polymers with precisely defined micron scale surface texture in the x, y, and z planes. Patterned Si templates were fabricated using photolithography to create a relief pattern in photoresist with lateral dimensions as small as 1 micron. Electroless Ni was selectively deposited in the trenches of the patterned substrate. The Ni served as a resilient mask for transferring the patterns onto the Si substrate to depths of up to 8.5 microns by anisotropic reactive ion etching with a fluorine-based plasma. The 3-dimensional (3-D) textured silicon substrates were used as robust, reusable molds for pattern transfer onto poly (dimethyl siloxane), low density poly (ethylene), poly (L-lactide), and poly (glycolide) by either casting or injection molding. The fidelity of the pattern transfer from the silicon substrates to the polymers was 90 to 95% in all three planes for all polymers for more than 60 transfers from a single wafer, as determined by scanning electron microscopy and atomic force microscopy. Further, the 3-D textured polymers were selectively modified to coat proteins either in the trenches or on the mesas by capillary modification or selective coating techniques. These selectively patterned 3-D polymer substrates may be useful for a variety of biomaterial applications.     

Clinical outcome of patients infected with hepatitis C virus infection on survival after primary liver transplantation under tacrolimus

In 1994, as a result of both programme evaluations which identified students' fears and apprehensions about their practical ability, and a review of the literature on skill acquisition, experiential skills teaching was resumed within the faculty. Having invested considerable finance into the reconstruction of a skills centre to teach skills, it is now imperative that its use be formally evaluated. Part of the evaluative process includes a review of the empirical literature on the acquisition of psychomotor skills in nursing. This paper summarizes this review.