The use of binary mixtures of 1-butyl-1-methylpyrrolidinium bis{(trifluoromethyl)sulfonyl}imide and aliphatic nitrile solvents as electrolyte for supercapacitors

Abstract The development of high voltage electrolytes is one of the key aspects for increasing both energy and power density of electrochemical double layer capacitors (EDLCs). The usage of blends of ionic liquids and organic solvents has been considered as a feasible strategy since these electrolytes combine high usable voltages and good transport properties at the same time. In this work, the ionic liquid 1-butyl-1-methylpyrrolidinium bis{(trifluoromethyl)sulfonyl}imide ([Pyrr14][TFSI]) was mixed with two nitrile-based organic solvents, namely butyronitrile and adiponitrile, and the resulting blends were investigated regarding their usage in electrochemical double layer capacitors. Both blends have a high electrochemical stability, which was confirmed by prolonged float tests at 3.2 V, as well as, good transport properties. In fact, the butyronitrile blend reaches a conductivity of 17.14 mS·cm−1 and a viscosity of 2.46 mPa·s at 20 °C, which is better than the state-of-the-art electrolyte (1 mol·dm−3 of tetraethylammonium tetrafluoroborate in propylene carbonate).

Binary Mixtures of 1-Butyl-1-Methylpyrrolidinium Bis{(trifluoromethyl)Sulfonyl}Imide and Aliphatic Nitrile Solvents As Electrolyte for Electrochemical Double Layer Capacitors (Invited).

Electrochemical double layer capacitors (EDLCs), also known as supercapacitors, are promising energy storage devices, especially when considering high power applications [1]. EDLCs can be charged and discharged within seconds [1], feature high power (10 kW·kg-1) and an excellent cycle life (>500,000 cycles). All these properties are a result of the energy storage process of EDLCs, which relies on storing energy by charge separation instead of chemical redox reactions, as utilized in battery systems. Upon charging, double layers are forming at the electrode/electrolyte interface consisting of the electrolyte’s ions and electric charges at the electrode surface.In state-of-the-art EDLC systems activated carbons (AC) are used as active materials and tetraethylammonium tetrafluoroborate ([Et4N][BF4]) dissolved in organic solvents like propylene carbonate (PC) or acetonitrile (ACN) are commonly used as the electrolyte [2]. These combinations of materials allow operative voltages up to 2.7 V - 2.8 V and an energy in the order of 5 Wh·kg-1[3]. The energy of EDLCs is dependent on the square of the operative voltage, thus increasing the usable operative voltage has a strong effect on the delivered energy of the device [1]. Due to their high electrochemical stability, ionic liquids (ILs) were thoroughly investigated as electrolytes for EDLCs, as well as, batteries, enabling high operating voltages as high as 3.2 V - 3.5 V for the former [2]. While their unique ionic structure allows the usage of neat ILs as electrolyte in EDLCs, ILs suffer from low conductivity and high viscosity increasing the intrinsic resistance and, as a result, a lower power output of the device. In order to overcome this issue, the usage of blends of ionic liquids and organic solvents has been considered a feasible strategy as they combine high usable voltages, while still retaining good transport properties at the same time.In our recent work the ionic liquid 1-butyl-1-methylpyrrolidinium bis{(trifluoromethyl)sulfonyl}imide ([Pyrr14][TFSI]) was combined with two nitrile-based organic solvents, namely butyronitrile (BTN) and adiponitrile (ADN), and the resulting blends were investing regarding their usage in electrochemical double layer capacitors [4,5]. Firstly, the physicochemical properties were investigated, showing good transport properties for both blends, which are similar to the state-of-the-art combination of [Et4N][BF4] in PC. Secondly, the electrochemical properties for EDLC application were studied in depth revealing a high electrochemical stability with a maximum operative voltage as high as 3.7 V. In full cells these high voltage organic solvent based electrolytes have a good performance in terms of capacitance and an acceptable equivalent series resistance at cut-off voltages of 3.2 and 3.5 V. However, long term stability tests by float testing revealed stability issues when using a maximum voltage of 3.5 V for prolonged time, whereas at 3.2 V no such issues are observed (Fig. 1).Considering the obtained results, the usage of ADN and BTN blends with [Pyrr14][TFSI] in EDLCs appears to be an interesting alternative to state-of-the-art organic solvent based electrolytes, allowing the usage of higher maximum operative voltages while having similar transport properties to 1 mol∙dm-3 [Et4N][BF4] in PC at the same time.

Carbon Dioxide Uptake from Natural Gas by Binary Ionic Liquid-Water mixtures

Carbon dioxide solubility in a set of carboxylate ionic liquids formulated with stoicheiometric amounts of water is found to be significantly higher than for other ionic liquids previously reported. This is due to synergistic chemical and physical absorption. The formulated ionic liquid/water mixtures show greatly enhanced carbon dioxide solubility relative to both anhydrous ionic liquids and aqueous ionic liquid solutions, and are competitive with commercial chemical absorbers, such as activated N-methyldiethanolamine or monoethanolamine.

Multiclass Adaboost Based on an Ensemble of Binary Adaboosts

This paper presents a multi-class AdaBoost based on incorporating an ensemble of binary AdaBoosts which is organized as Binary Decision Tree (BDT). It is proved that binary AdaBoost is extremely successful in producing accurate classification but it does not perform very well for multi-class problems. To avoid this performance degradation, the multi-class problem is divided into a number of binary problems and binary AdaBoost classifiers are invoked to solve these classification problems. This approach is tested with a dataset consisting of 6500 binary images of traffic signs. Haar-like features of these images are computed and the multi-class AdaBoost classifier is invoked to classify them. A classification rate of 96.7% and 95.7% is achieved for the traffic sign boarders and pictograms, respectively. The proposed approach is also evaluated using a number of standard datasets such as Iris, Wine, Yeast, etc. The performance of the proposed BDT classifier is quite high as compared with the state of the art and it converges very fast to a solution which indicates it as a reliable classifier.

Durability performance of self-compacting concrete (SCC) with binary and ternary mixes of fly ash and limestone filler

The basic objective of this work is to evaluate the durability of self-compacting concrete (SCC) produced in binary and ternary mixes using fly ash (FA) and limestone filler (LF) as partial replacement of cement. The main characteristics that set SCC apart from conventional concrete (fundamentally its fresh state behaviour) essentially depend on the greater or lesser content of various constituents, namely: greater mortar volume (more ultrafine material in the form of cement and mineral additions); proper control of the maximum size of the coarse aggregate; use of admixtures such as superplasticizers. Significant amounts of mineral additions are thus incorporated to partially replace cement, in order to improve the workability of the concrete. These mineral additions necessarily affect the concrete's microstructure and its durability. Therefore, notwithstanding the many well-documented and acknowledged advantages of SCC, a better understanding its behaviour is still required, in particular when its composition includes significant amounts of mineral additions. An ambitious working plan was devised: first, the SCC's microstructure was studied and characterized and afterwards the main transport and degradation mechanisms of the SCC produced were studied and characterized by means of SEM image analysis, chloride migration, electrical resistivity, and carbonation tests. It was then possible to draw conclusions about the SCC's durability. The properties studied are strongly affected by the type and content of the additions. Also, the use of ternary mixes proved to be extremely favourable, confirming the expected beneficial effect of the synergy between LF and FA.

On the reduction theory of binary forms

Cremona developed a reduction theory for binary forms of degree 3 and 4 with integer coefficients, the motivation in the case of quartics being to improve 2-descent algorithms for elliptic curves over Q. In this paper we extend some of these results to forms of higher degree. One application of this is to the study of hyperelliptic curves.

A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

Segregation predictions for a binary mixture of granular material under flow conditions in a continuum mechanics framework

Abstract not available

X-Ray Absorption Spectroscopy and Computer Modelling Study of Nanocrystalline Binary Alkaline Earth Fluorides

Nanocrystalline samples of Ba1-xCaxF2 prepared by high-energy milling show an unusually high F-ion conductivity, which exhibit a maximum in the magnitude and a minimum in the activation energy at x = 0.5. Here, we report an X-ray absorption spectroscopy (XAS) at the Ca and Sr K edges and the Ba L-3 edge and a molecular dynamics (MD) simulation study of the pure and mixed fluorides. The XAS measurements on the pure binary fluorides, CaF2, SrF2 and BaF2 show that high-energy ball-milling produces very little amorphous material, in contrast to the results for ball milled oxides. XAS measurements of Ba1-xCaxF2 reveal that for 0 < x < 1 there is considerable disorder in the local environments of the cations which is highest for x = 0.5. Hence the maximum in the conductivity corresponds to the composition with the maximum level of local disorder. The MD calculations also show a highly disordered structure consistent with the XAS results and similarly showing maximum disorder at x = 0.5.

Learning Binary Code Representations for Effective and Efficient Image Retrieval

The size of online image datasets is constantly increasing. Considering an image dataset with millions of images, image retrieval becomes a seemingly intractable problem for exhaustive similarity search algorithms. Hashing methods, which encodes high-dimensional descriptors into compact binary strings, have become very popular because of their high efficiency in search and storage capacity. In the first part, we propose a multimodal retrieval method based on latent feature models. The procedure consists of a nonparametric Bayesian framework for learning underlying semantically meaningful abstract features in a multimodal dataset, a probabilistic retrieval model that allows cross-modal queries and an extension model for relevance feedback. In the second part, we focus on supervised hashing with kernels. We describe a flexible hashing procedure that treats binary codes and pairwise semantic similarity as latent and observed variables, respectively, in a probabilistic model based on Gaussian processes for binary classification. We present a scalable inference algorithm with the sparse pseudo-input Gaussian process (SPGP) model and distributed computing. In the last part, we define an incremental hashing strategy for dynamic databases where new images are added to the databases frequently. The method is based on a two-stage classification framework using binary and multi-class SVMs. The proposed method also enforces balance in binary codes by an imbalance penalty to obtain higher quality binary codes. We learn hash functions by an efficient algorithm where the NP-hard problem of finding optimal binary codes is solved via cyclic coordinate descent and SVMs are trained in a parallelized incremental manner. For modifications like adding images from an unseen class, we propose an incremental procedure for effective and efficient updates to the previous hash functions. Experiments on three large-scale image datasets demonstrate that the incremental strategy is capable of efficiently updating hash functions to the same retrieval performance as hashing from scratch.

Calculation of sample size for stroke trials assessing functional outcome: comparison of binary and ordinal approaches

Background Many acute stroke trials have given neutral results. Sub-optimal statistical analyses may be failing to detect efficacy. Methods which take account of the ordinal nature of functional outcome data are more efficient. We compare sample size calculations for dichotomous and ordinal outcomes for use in stroke trials. Methods Data from stroke trials studying the effects of interventions known to positively or negatively alter functional outcome – Rankin Scale and Barthel Index – were assessed. Sample size was calculated using comparisons of proportions, means, medians (according to Payne), and ordinal data (according to Whitehead). The sample sizes gained from each method were compared using Friedman 2 way ANOVA. Results Fifty-five comparisons (54 173 patients) of active vs. control treatment were assessed. Estimated sample sizes differed significantly depending on the method of calculation (Po00001). The ordering of the methods showed that the ordinal method of Whitehead and comparison of means produced significantly lower sample sizes than the other methods. The ordinal data method on average reduced sample size by 28% (inter-quartile range 14–53%) compared with the comparison of proportions; however, a 22% increase in sample size was seen with the ordinal method for trials assessing thrombolysis. The comparison of medians method of Payne gave the largest sample sizes. Conclusions Choosing an ordinal rather than binary method of analysis allows most trials to be, on average, smaller by approximately 28% for a given statistical power. Smaller trial sample sizes may help by reducing time to completion, complexity, and financial expense. However, ordinal methods may not be optimal for interventions which both improve functional outcome

Use of ordinal outcomes in vascular prevention trials: comparison with binary outcomes in published trials

Background and Purpose—Vascular prevention trials mostly count “yes/no” (binary) outcome events, eg, stroke/no stroke. Analysis of ordered categorical vascular events (eg, fatal stroke/nonfatal stroke/no stroke) is clinically relevant and could be more powerful statistically. Although this is not a novel idea in the statistical community, ordinal outcomes have not been applied to stroke prevention trials in the past. Methods—Summary data on stroke, myocardial infarction, combined vascular events, and bleeding were obtained by treatment group from published vascular prevention trials. Data were analyzed using 10 statistical approaches which allow comparison of 2 ordinal or binary treatment groups. The results for each statistical test for each trial were then compared using Friedman 2-way analysis of variance with multiple comparison procedures. Results—Across 85 trials (335 305 subjects) the test results differed substantially so that approaches which used the ordinal nature of stroke events (fatal/nonfatal/no stroke) were more efficient than those which combined the data to form 2 groups (P0.0001). The most efficient tests were bootstrapping the difference in mean rank, Mann–Whitney U test, and ordinal logistic regression; 4- and 5-level data were more efficient still. Similar findings were obtained for myocardial infarction, combined vascular outcomes, and bleeding. The findings were consistent across different types, designs and sizes of trial, and for the different types of intervention. Conclusions—When analyzing vascular events from prevention trials, statistical tests which use ordered categorical data are more efficient and are more likely to yield reliable results than binary tests. This approach gives additional information on treatment effects by severity of event and will allow trials to be smaller. (Stroke. 2008;39:000-000.)

Vapor–liquid equilibrium of binary mixtures containing isopropyl acetate and alkanols at 101.32 kPa

Isobaric vapor-liquid equilibria of binary mixtures of isopropyl acetate plus an alkanol (1-propanol, 2-propanol, 1-butanol, or 2-butanol) were measured at 101.32 kPa, using a dynamic recirculating still. An azeotropic behavior was observed only in the mixtures of isopropyl acetate + 2-propanol and isopropyl acetate + 1-propanol. The application of four thermodynamic consistency tests (the Herington test, the Van Ness test, the infinite dilution test, and the pure component test) showed the high quality of the experimental data. Finally, both NRTL and UNIQUAC activity coefficient models were successfully applied in the correlation of the measured data, with the average absolute deviations in vapor phase composition and temperature of 0.01 and 0.16 K, respectively.